用户定义字面量（UDL）是C++11引入的编译期隐式转换机制，通过operator""_suffix函数实现，支持整数、浮点、字符串、字符及宽字符五种形式，需在命名空间中定义且后缀为合法标识符；C++14起可为constexpr，用于编译期计算与类型安全封装。

用户定义字面量（User-Defined Literals，UDL）是 C++11 引入的特性，允许程序员为自定义类型提供直观、类型安全的字面量语法，比如 123_km、"hello"_s 或 3.14159_rad。它不是宏或函数调用，而是编译期绑定的隐式转换机制，关键在于“下划线 + 后缀”的形式必须合法且不与标准字面量冲突。

UDL 的基本语法和声明规则

UDL 本质是一个特殊的 operator"" 函数，后缀名必须是合法标识符（不能是纯数字、不能含特殊符号，如 operator""_m 合法，operator""_123 或 operator""_$ 非法）。支持五种参数形式：

• 整数字面量：形如 operator""_x(unsigned long long)，适用于 42_x
• 浮点字面量：形如 operator""_f(long double)，适用于 3.14_f
• 字符串字面量（C 风格）：形如 operator""_s(const char*, size_t)，适用于 "abc"_s
• 字符字面量：形如 operator""_c(char)，适用于 'a'_c
• 宽字符/UTF 字面量：类似上一条，但参数类型为 wchar_t、char16_t、char32_t

注意：UDL 函数必须在命名空间作用域中定义（不能在类内），且不能是模板（C++11/C++14），C++17 起允许 constexpr 模板形式（需满足常量表达式约束）。

常见实用场景与写法示例

UDL 最有价值的地方是提升领域代码可读性与安全性，避免魔数和隐式转换错误。

• 单位封装：定义长度、时间、质量等带单位的数值类型
    struct Distance { double m; constexpr Distance(double v) : m(v) {} };
    constexpr Distance operator"" _km(long double x) { return Distance{static_cast(x) * 1000}; }
    auto d = 5.5_km; // 类型明确，自动转为米
• 字符串视图速建：避免临时 std::string 构造开销
    constexpr std::string_view operator"" _sv(const char* s, size_t n) { return {s, n}; }
    auto sv = "hello"_sv; // 类型是 string_view，零拷贝
• 正则或格式字符串标记：配合编译期检查工具（如 Boost.YAP 或 future C++23 regex constexpr）
    struct Regex { const char* p; };
    constexpr Regex operator"" _re(const char* s, size_t) { return {s}; }
    auto r = R"(a+b+)"_re;

注意事项与限制

UDL 看似灵活，但误用易引发歧义或编译失败。

• 后缀名若与标准库或第三方库冲突（如 _s 在 C++20 中已用于秒），应加命名空间限定或换名（如 _sec）
• 字符串 UDL 的 const char* 参数指向的是字面量存储区，生命周期永久，但不可修改；若需处理转义或编译期解析，需用 C++14 起的 constexpr 字符串处理技巧
• 整数/浮点 UDL 接收的是字面量原始值（无符号长整、长双精度），不保留原字面量格式（如进制、小数位数），因此无法区分 0xFF 和 255
• 不能重载已有标准后缀（如 _z、_i、_ll），也不能定义空后缀（operator"" "" 不合法）

与字面量常量表达式的结合

C++14 起，UDL 函数可声明为 constexpr，使其参与编译期计算。例如：

• 定义角度转弧度的 constexpr UDL：
    constexpr double operator"" _deg(long double deg) { return deg * 3.14159265358979323846 / 180.0; }
    constexpr auto a = 90.0_deg; // 编译期求值，可用作数组大小、模板参数等
• 搭配 std::array 或 std::integral_constant 实现类型级配置，例如 42_b 表示 42 位宽整数类型选择器

只要函数体满足 constexpr 约束（无动态内存、无副作用、仅调用 constexpr 函数等），就能获得编译期能力。