整型字面量
来自 cppreference.cn
容许整数类型的值被直接用于表达式中。
目录 |
[edit] 语法
整型字面量有如下形式
十进制字面量 整数后缀 (可选) | (1) | ||||||||
八进制字面量 整数后缀 (可选) | (2) | ||||||||
十六进制字面量 整数后缀 (可选) | (3) | ||||||||
二进制字面量 整数后缀 (可选) | (4) | (自 C++14 起) | |||||||
其中
- 十进制字面量 是一个非零十进制数字(
1
、2
、3
、4
、5
、6
、7
、8
、9
),后随零或更多个十进制数字(0
、1
、2
、3
、4
、5
、6
、7
、8
、9
) - 八进制字面量 是数字零(
0
)后随零或更多个八进制数字(0
、1
、2
、3
、4
、5
、6
、7
) - 十六进制字面量 是字符序列
0x
或字符序列0X
后随一个或多个十六进制数字(0
、1
、2
、3
、4
、5
、6
、7
、8
、9
、a
、A
、b
、B
、c
、C
、d
、D
、e
、E
、f
、F
) - 二进制字面量 是字符序列
0b
或字符序列0B
后随一个或多个二进制数字(0
、1
) - 整数后缀,若提供,可以包含以下的一个或两个(若两者都提供,则可以以任何顺序出现)
- 无符号后缀 (字符
u
或字符U
) - 之一
- 长整型后缀 (字符
l
或字符L
)
- 长整型后缀 (字符
- 无符号后缀 (字符
|
(自 C++11 起) |
|
(自 C++23 起) |
可选的单引号 (') 可以插入到数字之间作为分隔符;在确定字面量的值时它们会被忽略。 |
(自 C++14 起) |
整型字面量(如同任何字面量)是主表达式。
[edit] 解释
1) 十进制整型字面量(十进制基数 10)。
2) 八进制整型字面量(八进制基数 8)。
3) 十六进制整型字面量(十六进制基数 16,字母 'a' 到 'f' 表示值(十进制)10 到 15)。
4) 二进制整型字面量(二进制基数 2)。
整型字面量的首位数字是最高位。
示例。下列变量被初始化为相同的值
int d = 42; int o = 052; int x = 0x2a; int X = 0X2A; int b = 0b101010; // C++14
示例。下列变量也被初始化为相同的值
unsigned long long l1 = 18446744073709550592ull; // C++11 unsigned long long l2 = 18'446'744'073'709'550'592llu; // C++14 unsigned long long l3 = 1844'6744'0737'0955'0592uLL; // C++14 unsigned long long l4 = 184467'440737'0'95505'92LLU; // C++14
[edit] 字面量的类型
整型字面量的类型是值可容纳于其中的首个类型,来自类型列表,列表取决于所用的数值基数和所用的 整数后缀
后缀 | 十进制基数 | 二进制、八进制或十六进制基数 |
---|---|---|
(无后缀) |
|
|
u 或 U |
|
|
l 或 L |
|
|
l /L 与 u /U 两者与 u /U 两者 |
|
|
ll 或 LL |
|
|
ll /LL 与 u /U 两者与 u /U 两者 |
|
|
z 或 Z |
|
|
z /Z 与 u /U 两者与 u /U 两者 |
|
|
若整型字面量的值(不带 尺寸后缀)(自 C++23 起) 大到无法置入任何后缀/基数组合所容许的类型,且编译器支持可以表示字面量值的扩展整型类型(诸如 __int128),则字面量可以被给予该扩展整型类型——否则程序为谬构。
[edit] 注解
整型字面量中的字母是大小写不敏感的:0xDeAdBeEfU
和 0XdeadBEEFu
表示同一数字(一个例外是 长长整型后缀,其为 ll
或 LL
,绝非 lL
或 Ll
)(自 C++11 起)。
没有负整型字面量。诸如 -1 的表达式将一元负号运算符应用于字面量所表示的值,这可能涉及到隐式类型转换。
在 C99 前的 C (而非 C++) 中,不带后缀且不适于 long int 的十进制值容许拥有类型 unsigned long int。
当用于 #if 或 #elif 的控制表达式中时,所有有符号整型常量都如同拥有类型 std::intmax_t,而所有无符号整型常量都如同拥有类型 std::uintmax_t。 |
(自 C++11 起) |
由于最大程度吞噬,结尾为 e
和 E
的十六进制整型字面量,当后随运算符 +
或 -
时,必须在源代码中用空白或圆括号与运算符分隔
auto x = 0xE+2.0; // error auto y = 0xa+2.0; // OK auto z = 0xE +2.0; // OK auto q = (0xE)+2.0; // OK
否则,会形成单个无效的预处理数字记号,这会造成进一步分析失败。
特性测试宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_binary_literals |
201304L |
(C++14) | 二进制字面量 |
__cpp_size_t_suffix |
202011L |
(C++23) | std::size_t 及其有符号版本的字面量后缀 |
[edit] 示例
运行此代码
#include <cstddef> #include <iostream> #include <type_traits> int main() { std::cout << 123 << '\n' << 0123 << '\n' << 0x123 << '\n' << 0b10 << '\n' << 12345678901234567890ull << '\n' << 12345678901234567890u << '\n'; // the type is unsigned long long // even without a long long suffix // std::cout << -9223372036854775808 << '\n'; // error: the value // 9223372036854775808 cannot fit in signed long long, which is the // biggest type allowed for unsuffixed decimal integer literal std::cout << -9223372036854775808u << '\n'; // unary minus applied to unsigned // value subtracts it from 2^64, this gives 9223372036854775808 std::cout << -9223372036854775807 - 1 << '\n'; // correct way to calculate // the value -9223372036854775808 #if __cpp_size_t_suffix >= 202011L // C++23 static_assert(std::is_same_v<decltype(0UZ), std::size_t>); static_assert(std::is_same_v<decltype(0Z), std::make_signed_t<std::size_t>>); #endif }
输出
123 83 291 2 12345678901234567890 12345678901234567890 9223372036854775808 -9223372036854775808
[edit] 缺陷报告
下列行为更改缺陷报告被追溯性地应用于先前发布的 C++ 标准。
DR | 应用于 | 发布时的行为 | 正确行为 |
---|---|---|---|
CWG 2698 | C++23 | 带 尺寸后缀 的整型字面量可以拥有扩展整型类型 | 过大则为谬构 |
[edit] 引用
- C++23 标准 (ISO/IEC 14882:2024)
- 5.13.2 整型字面量 [lex.icon]
- C++20 标准 (ISO/IEC 14882:2020)
- 5.13.2 整型字面量 [lex.icon]
- C++17 标准 (ISO/IEC 14882:2017)
- 5.13.2 整型字面量 [lex.icon]
- C++14 标准 (ISO/IEC 14882:2014)
- 2.14.2 整型字面量 [lex.icon]
- C++11 标准 (ISO/IEC 14882:2011)
- 2.14.2 整型字面量 [lex.icon]
- C++98 标准 (ISO/IEC 14882:1998)
- 2.13.1 整型字面量 [lex.icon]
[edit] 参见
用户定义字面量(C++11) | 带用户定义后缀的字面量 |
C 文档 关于 整型常量
|