C++中的用户定义字面量(User-defined literals)是什么?(代码示例)

C++用户定义字面量是编译期重载的operator""函数,支持整数、浮点、字符串、字符四类字面量,通过自定义后缀(如_km、_sv)构造任意类型对象,需声明为constexpr且无链接,提升可读性与类型安全。

C++中的用户定义字面量(User-defined literals)是一种允许程序员为自定义类型添加类似内置字面量语法(如 123_ms"hello"_s)的机制,本质是编译期重载的后缀操作符函数。

基本语法和声明形式

用户定义字面量以 operator "" 开头,后接自定义后缀名(必须以非下划线开头,如 km_deg),函数参数取决于字面量类型:

  • 整数字面量(如 42_km)→ 参数为 unsigned long long
  • 浮点字面量(如 3.14_rad)→ 参数为 long double
  • 字符串字面量(如 "abc"_s)→ 参数为 const char*std::size_t
  • 字符字面量(如 'a'_tag)→ 参数为 charwchar_t

常见实用示例

1. 单位转换(距离)

struct Distance {
    double km;
    Distance(double k) : km(k) {}
};

Distance operator"" _km(long double val) { return Distance(static_cast(val)); }

auto d = 5.5_km; // 类型为 Distance,d.km == 5.5

2. 字符串字面量转 std::string_view(C++17 起高效)

#include 

constexpr std::string_view operator"" _sv(const char* s, size_t len) { return std::string_view{s, len}; }

auto sv = "hello"_sv; // 类型为 std::string_view,零拷贝

3. 自定义整数解析(如二进制字面量)

constexpr int operator"" _bin(unsigned long long n) {
    int result = 0;
    unsigned long long mult = 1;
    while (n) {
        result += (n % 10) * mult;
        mult *= 2;
        n /= 10;
    }
    return result;
}

static_assert(1010_bin == 10); // 1010₂ = 10₁₀

关键规则与注意事项

用户定义字面量函数必须是 constexpr(若希望用于常量表达式)、无链接(通常定义在命名空间内或设为 inline),且后缀名不能与标准库冲突(如不能用 _s 表示秒,因为 std::chrono 已定义;但可自定义为 _sec)。

它不改变字面量本身的存储方式,只提供一种“语法糖”式的构造入口,返回值可以是任意类型(包括临时对象)。

基本上就这些。用得好能显著提升领域代码的可读性和类型安全性,比如物理*、嵌入式单位建模中很自然。