什么是 C++ 用户定义字面量（UDL）
它不是语法糖，是编译期介入机制：你写 123_km，编译器会调用你定义的 operator"" _km 函数，把字面量值和类型信息传进去，返回你想要的对象（比如 Distance 类实例）。关键在“编译期解析”——不是字符串拼接，不产生运行时开销。
常见错误现象：123_km 报错 “no matching literal operator”，通常是因为函数签名不对、命名空间没导出、或 C++ 标准版本太低（必须 C++11 起，且推荐 C++14+）。
- 只支持有限几种参数类型：整型（
unsigned long long）、浮点（long double）、字符序列（const char*+size_t）、宽字符等，不能直接接int或double - 后缀名必须以下划线开头（
_km合法，km非法），这是强制隔离标准字面量的保护机制 - 函数必须声明在全局或命名空间作用域，不能在类内或函数体内定义
怎么写一个带单位的距离字面量
目标是让 100.5_km 返回一个能参与计算、带单位语义的 Distance 对象。核心是匹配正确的参数类型，并控制单位换算逻辑。
示例（C++17）：
立即学习“C++免费学习笔记（深入）”；
struct Distance {
double m;
constexpr Distance(double m) : m{m} {}
};
constexpr Distance operator"" _km(long double v) {
return Distance{static_cast<double>(v) * 1000.0};
}
constexpr Distance operator"" _mi(long double v) {
return Distance{static_cast<double>(v) * 1609.344};
}注意点：
- 用
long double接浮点字面量（1.23_km），用unsigned long long接整数字面量（42_km），两者需分别重载 - 必须加
constexpr才能在常量表达式中使用（如static_assert或模板非类型参数） - 返回类型别乱设：如果返回
double，就丢失了单位信息；返回Distance才能链式调用或重载+等运算符
为什么不能直接用宏或普通函数代替
宏（如 #define KM(x) ((x)*1000)）无法参与类型系统，编译器看不到单位语义，也不能触发 Distance 的构造或运算符重载；普通函数（如 km(123)）多写括号、破坏字面量直觉、且无法在模板推导中被识别为“带单位的常量”。
UDL 的真实优势场景：
- 配置项硬编码：比如
timeout = 30_s，配合std::chrono类型可直接塞进std::this_thread::sleep_for - 物理引擎常量：如
9.81_mps2表示重力加速度，类型安全地约束只能和同维度量相加 - 避免魔法数字：用
4096_b替代裸数字4096，明确是字节而非页数或采样点
容易踩的坑：模板 UDL 和跨文件链接
想支持任意数值类型（int、float、std::int128_t）？别写模板字面量函数——C++ 不允许 template<typename t> T operator"" _km(T)</typename>。正确做法是为每种支持的底层类型单独重载（unsigned long long、long double、const char* 等）。
另一个高频问题：UDL 在头文件里定义，但链接时报 multiple definition。因为 inline 关键字在 C++17 前不适用于字面量操作符——必须加 inline（C++17+）或确保只在一个 TU 中定义（用 static 不行，它会让每个 TU 生成独立符号）。
还有个隐蔽点：字符序列字面量（如 "123.45"_km）走的是 const char*, size_t 路径，需要手动解析字符串，无法享受编译期数值计算，慎用。
单位系统真正难的不是定义几个后缀，而是维度一致性检查——比如禁止 10_kg + 5_m。这得靠类型系统（如 Boost.Units）或自定义模板约束，UDL 本身只管“怎么造出来”，不管“能不能混用”。
