通过定义用户定义的后缀,允许整数、浮点数、字符及字符串字面量产生用户定义类型的对象。
语法
用户定义字面量是下列形式的表达式之一
十进制字面量 ud-后缀 | (1) | |
八进制字面量 ud-后缀 | (2) | |
十六进制字面量 ud-后缀 | (3) | |
二进制字面量 ud-后缀 | (4) | |
分数常量 指数部分(可选) ud-后缀 | (5) | |
数字序列 指数部分 ud-后缀 | (6) | |
字符字面量 ud-后缀 | (7) | |
字符串字面量 ud-后缀 | (8) | |
1-4) 用户定义整数字面量,例如 12_km
5-6) 用户定义浮点字面量,例如 0.5_Pa
7) 用户定义字符字面量,例如 'c'_X
8) 用户定义字符串字面量,例如 "abd"_L 或 u"xyz"_M
十进制字面量 | - | 与整数字面量中相同,非零的十进制数位后随零或多个十进制数位 |
八进制字面量 | - | 与整数字面量中相同,零后随零或多个八进制数位 |
十六进制字面量 | - | 与整数字面量中相同,0x 或 0X 后随一个或多个十六进制数位 |
二进制字面量 | - | 与整数字面量中相同,0b 或 0B 后随一或多个二进制数位 |
数字序列 | - | 与浮点字面量中相同,一个十进制数字序列 |
分数常量 | - | 与浮点字面量中相同,要么是一个后随小数点的 字符序列(123.),要么是一个可选的 字符序列 后随小数点和另一个 字符序列(1.0 或 .12) |
指数部分 | - | 与浮点字面量中相同,字母 e 或字母 E 后随可选的正负号,后随 字符序列 |
字符字面量 | - | 与字符字面量中相同 |
字符串字面量 | - | 与字符串字面量中相同,包括原始字符串字面量 |
ud-后缀 | - | 标识符,由字面量运算符或字面量运算符模板声明引入(见下文)。所有程序引入的 ud-后缀 必须以下划线字符 _ 开始。标准库的 ud-后缀 不以下划线开始。 |
在整数和浮点字符序列中,允许在任何两个数位间插入可选的分隔符 ' ,并忽略它们。 | (C++14 起) |
若一个记号同时匹配用户定义字面量的语法和常规字面量的语法,则它被假定为常规字面量(即不可能重载 123LL 中的 LL)
当编译器遇到一个带有 ud-后缀 X
的用户定义字面量时,它进行无限定名字查找,寻找名为 operator "" X
的函数。若找不到任何声明,则程序非良构。否则,
1) 对于用户定义整数字面量
a) 若重载集包含带有形参类型 unsigned long long 的字面量运算符,则用户定义字面量表达式被当做函数调用 operator "" X(nULL),其中 n 是无 ud-后缀 的字面量
b) 否则,重载集必须包含以下之一,但不是二者:原始字面量运算符或数值字面量运算符模板。若重载集包含原始字面量运算符,则用户定义字面量表达式被当做函数调用 operator "" X("n")
c) 否则,若重载集包含数值字面量运算符模板,则用户定义字面量表达式被当做函数调用 operator "" X<'c1', 'c2', 'c3'…, 'ck'>(),其中 c1..ck 是 n
中的各个字符。
2) 对于用户定义浮点字面量,
a) 若重载集包含带有形参类型 long double 的字面量运算符,则用户定义字面量表达式被当做函数调用 operator "" X(fL),其中 f
是无 ud-后缀 的字面量
b) 否则,重载集必须包含下列之一,但不是二者:原始字面量运算符或数值字面量运算符模板。若重载集包含原始字面量运算符,则用户定义字面量表达式被当做函数调用 operator "" X("f")
c) 否则,若重载集包含数值字面量运算符模板,则用户定义字面量表达式被当做函数调用 operator "" X<'c1', 'c2', 'c3'…, 'ck'>(),其中 c1..ck 是 f
中的各个字符。
3) 对于用户定义字符串字面量,令 str
为无 ud-后缀 的字面量:
a) 若重载集包含带非类型模板形参的字符串字面量运算符模板,且 str 对它是良构的模板实参,则用户定义字面量表达式被当作函数调用 operator "" X<str>(), | (C++20 起) |
b) 否则,用户定义字面量表达式被当做函数调用 operator "" X (str, len),其中 len
是字符串字面量的长度,不包含终止空字符
4) 对于用户定义字符字面量,用户定义字面量表达式被当做函数调用 operator "" X (ch),其中 ch
是无 ud-后缀 的字面量
- long double operator "" _w(long double);
- std::string operator "" _w(const char16_t*, size_t);
- unsigned operator "" _w(const char*);
- int main() {
- 1.2_w; // 调用运算符 "" _w(1.2L)
- u"one"_w; // 调用运算符 "" _w(u"one", 3)
- 12_w; // 调用运算符 "" _w("12")
- "two"_w; // 错误:无适用的字面量运算符
- }
当在翻译阶段 6 中发生字符串字面量的拼接时,用户定义字符串字面量也被拼接,且其 ud-后缀 在拼接时被忽略,但所有被拼接的字面量中只可以出现一个后缀:
- int main() {
- L"A" "B" "C"_x; // OK:同 L"ABC"_x
- "P"_x "Q" "R"_y;// 错误:二个不同的 ud-后缀(_x 与 _y)
- }
字面量运算符
用户定义字面量所调用的函数被称为字面量运算符(或若它是模板,则被称为字面量运算符模板)。它的声明恰如任何其他命名空间作用域的函数或函数模板一样(它可以是友元函数、函数模板的显式实例化或特化,或通过 using 声明引入),但有下列限制:
此函数的名称可拥有两种形式之一:
operator "" 标识符 | ||
operator 用户定义字符串字面量 (C++14 起) | ||
标识符 | - | 作为用户定义字面量所用的 ud-后缀 的标识符,其将调用此函数。必须以下划线 _ 开始:不以下划线开始的后缀为标准库提供的字面量运算符所保留。 |
用户定义字符串字面量 | - | 字符序列 "" 后不带空格,后随将作为 ud-后缀 的字符序列。这种特殊语法使得将语言关键词和保留标识符用作 ud-后缀 成为可能,并由来自头文件 <complex> 的 operator ""if 的声明所用。注意,使用此形式不改变用户定义字面量必须以下划线开始的规则:类似 operator ""if 的声明只可出现作标准库头文及的一部分。然而,它允许下划线后随大写字母的用法(其他情况下这是保留标识符)。 |
若字面量运算符是模板,则它必须有空形参列表,而且只能有一个模板形参,模板形参必须是元素类型为 char 的非类型模板形参包(该情况下称之为数值字面量运算符模板)
- template <char...> double operator "" _x();
或类类型的非类型模板形参(该情况下称之为字符串字面量运算符模板)
| (C++20 起) |
字面量运算符仅允许下列形参列表:
( const char ) | (1) | |
( unsigned long long int ) | (2) | |
( long double ) | (3) | |
( char ) | (4) | |
( wchar_t ) | (5) | |
( char8_t ) | (6) | (C++20 起) |
( char16_t ) | (7) | |
( char32_t ) | (8) | |
( const char , std::size_t ) | (9) | |
( const wchar_t , std::size_t ) | (10) | |
( const char8_t , std::size_t ) | (11) | (C++20 起) |
( const char16_t , std::size_t ) | (12) | |
( const char32_t , std::size_t ) | (13) | |
1) 拥有此形参列表的字面量运算符是原始字面量运算符,用于整数和浮点用户定义字面量的后备方式(见上文)
2) 拥有这些形参列表的字面量运算符是用户定义整数字面量的首选字面量运算符
3) 拥有这些形参列表的字面量运算符是用于定义浮点字面量的首选字面量运算符
4-8) 拥有这些形参列表的字面量运算符由用户定义的字符字面量所调用
9-13) 拥有这些形参列表的字面量运算符由用户定义的字符串字面量所调用
不允许默认实参
不允许 C 语言连接
除了上述限制外,字面量运算符和字面量运算符模板都是普通的函数(和函数模板),它们可声明为 inline 或 constexpr,它们可拥有内部或外部连接,它们可显式调用,可取其地址,等等。
- void operator "" _km(long double); // OK ,将为 1.0_km 所调用
- std::string operator "" _i18n(const char*, std::size_t); // OK
- template <char...> double operator "" _π(); // OK
- float operator ""_e(const char*); // OK
- float operator ""Z(const char*); // 错误:后缀必须以下划线开始
- double operator"" _Z(long double); // 错误:所有以下划线后随大写字母开始的名称受到保留
- double operator""_Z(long double); // OK:虽然 _Z 被保留,但允许 ""_Z
注解
自从引入用户定义字面量之后,使用定宽整数类型格式化宏常量却不在前导字符串字面量后加空格变为非法:std::printf("%"PRId64"\n",INT64_MIN); 必须替换成 std::printf("%" PRId64"\n",INT64_MIN);
由于最大吞噬规则,以 p
、P
、 (C++17 起){tt|e}} 和 E
结束的用户定义整数和浮点字面量,在后随运算符 +
或 -
时,必须在源码中以空白符或括号与运算符分隔:
- long double operator""_E(long double);
- long double operator""_a(long double);
- int operator""_p(unsigned long long);
- auto x = 1.0_E+2.0; // 错误
- auto y = 1.0_a+2.0; // OK
- auto z = 1.0_E +2.0; // OK
- auto q = (1.0_E)+2.0; // OK
- auto w = 1_p+2; // 错误
- auto u = 1_p +2; // OK
同样的规则适用于后随整数或浮点用户定义字面量的点运算符:
- #include <chrono>
- using namespace std::literals;
- auto a = 4s.count(); // 错误
- auto b = 4s .count(); // OK
- auto c = (4s).count(); // OK
否则会组成单个非法预处理数字记号(例如 1.0_E+2.0 或 4s.count),这导致编译失败。
示例
运行此代码
- #include <iostream>
- // 用于转换
- constexpr long double operator"" _deg ( long double deg )
- {
- return deg * 3.14159265358979323846264L / 180;
- }
- // 用于自定义类型
- struct mytype
- {
- unsigned long long m;
- };
- constexpr mytype operator"" _mytype ( unsigned long long n )
- {
- return mytype{n};
- }
- // 用作副作用
- void operator"" _print ( const char* str )
- {
- std::cout << str;
- }
- int main(){
- double x = 90.0_deg;
- std::cout << std::fixed << x << '\n';
- mytype y = 123_mytype;
- std::cout << y.m << '\n';
- 0x123ABC_print;
- }
输出:
- 1.570796
- 123
- 0x123ABC
标准库
标准库中定义了下列字面量运算符