C++自学手册 02 字面量 c++字面值常量

传统上，字面量是一个表达式，表示一个常量，其类型和值从其拼写中明显。例如，42 是一个字面量，而 x 不是，因为必须看到其声明才能知道其类型，并且必须阅读之前的代码行才能知道其值。

然而，C++11 还添加了用户定义的字面量，这些字面量在传统意义上不是字面量，但可以用作函数调用的简写。

2.1节：this

在类的成员函数中，关键字 this 是一个指向调用该函数的类的实例的指针。在静态成员函数中不能使用 this。

struct S {
    int x;
    S& operator=(const S& other) {
        x = other.x;
        // 返回被赋值的对象的引用
        return *this;
    }
};

this 的类型取决于成员函数的 cv-限定符：如果 X::f 是 const，则 this 在 f 内的类型为 const X*，因此不能在 const 成员函数内用来修改非静态数据成员。同样，this 从其出现的函数中继承 volatile 限定符。

版本 ≥ C++11

this 也可以在非静态数据成员的花括号或等号初始化器中使用。

struct S;
struct T {
    T(const S* s);
    // ...
};
struct S {
    // ...
    T t{this};
};

this 是一个 rvalue，所以它不能被赋值。

2.2节：整数字面量

一个整数字面量是一个基本形式的初等表达式。

十进制字面量

它是一个非零十进制数字（1、2、3、4、5、6、7、8、9），后跟零个或多个十进制数字（0、1、2、3、4、5、6、7、8、9）。

int d = 42;

八进制字面量

它是数字零（0）后跟零个或多个八进制数字（0、1、2、3、4、5、6、7）。

int o = 052;

十六进制字面量

它是字符序列 0x 或 0X，后跟一个或多个十六进制数字（0、1、2、3、4、5、6、7、8、9、a、A、b、B、c、C、d、D、e、E、f、F）。

int x = 0x2a;

int X = 0X2A;

二进制字面量（自 C++14 起）

它是字符序列 0b 或 0B，后跟一个或多个二进制数字（0、1）。

int b = 0b101010; // C++14

如果提供了整数后缀，可能包含以下一个或两个（如果提供了两者，它们可以以任何顺序出现）：

无符号后缀（字符 u 或 U）

unsigned int u_1 = 42u;

长整型后缀（字符 l 或 L）或长长整型后缀（字符序列 ll 或 LL）（自 C++11 起）

以下变量也初始化为相同值：

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

注意

整数字面量中的字母不区分大小写：0xDeAdBaBeU 和 0XdeadBABEu 表示相同的数字（一个例外是长长整型后缀，它只能是 ll 或 LL，从不是 lL 或 Ll）。

没有负整数字面量。表达式如 -1 应用了一元负号运算符到字面量表示的值，这可能涉及隐式类型转换。

在 C 语言的 C99 之前（但不在 C++ 中），未后缀的十进制值（如果不适合 long int）允许具有类型 unsigned long int。

当在 #if 或 #elif 的控制表达式中使用时，所有有符号整数常量表现得就像它们具有类型 std::intmax_t，所有无符号整数常量表现得就像它们具有类型 std::uintmax_t。

2.3节：true

一个关键字，表示类型 bool 的两个可能值之一。

bool ok = true;
if (!f()) {
    ok = false;
    goto end;
}

2.4节：false

一个关键字，表示类型 bool 的两个可能值之一。

bool ok = true;
if (!f()) {
    ok = false;
    goto end;
}

2.5节：nullptr

版本 ≥ C++11

一个关键字，表示空指针常量。它可以转换为任何指针或指向成员的指针类型，产生结果类型的空指针。

Widget* p = new Widget();
delete p;
p = nullptr; // 删除后将指针设置为空

注意 nullptr 本身不是一个指针。nullptr 的类型是一个基本类型，称为 std::nullptr_t。

void f(int* p);
template <class T> void g(T* p);
void h(std::nullptr_t p);
int main() {
    f(nullptr); // 好的
    g(nullptr); // 错误
    h(nullptr); // 好的
}