qq_40788199的博客

std::byte 是一种独立类型，它实现指定于 C++ 语言定义中的字节的概念。同 char 与 unsigned char ，它能用于访问其他对象所占据的生内存（对象表示），但不同于这些类型，它不是字符类型且非算术类型。 byte 只是位的汇集，而且只对它定义逐位运算符。

变参数函数是接收可变数量参数的函数（例如 std::printf ）。为声明变参数函数，要以省略号为最后的形参，例如 int printf(const char* format, ...); 。语法上的额外细节、自动参数转换及替用项见变参数。

std::integral_constant 包装特定类型的静态常量。它是 C++ 类型特性的基类。

构建类型特性 B 的逻辑否定。类型 std::negation 是基特征 (BaseCharacteristic) 为 std::bool_constant 的一元类型特征 (UnaryTypeTrait) 。

组成类型特性 B... 的逻辑析取，等效地在特性序列上进行逻辑或。特化 std::disjunction 有一个公开且无歧义的基类，即若 sizeof...(B) == 0 ，则为 std::false_type ；否则若 B1, ..., BN 中有 bool(Bi::value) == true ，则为首个 Bi ，或者若无这种类型则为 BN 。不隐藏 disjunction 和 operator= 以外的基类成员名，而它们在 disjunction 中无歧义地可用

组成类型特性 B... 的逻辑合取，等效地在特性序列上进行逻辑与。特化 std::conjunction 有一个公开且无歧义的基类，即若 sizeof...(B) == 0 ，则是 std::true_type ；否则若 B1, ..., BN 中有 bool(Bi::value) == false ，则为首个 Bi ，否则若无这种类型，则为 BN 。

展开成拥有其实参所指定的值且类型分别为 int_least8_t、int_least16_t、int_least32_t、int_least64_t 的整数常量表达式。展开成拥有其实参所指定的值且类型为 intmax_t 的整数常量表达式。展开成拥有其实参所指定的值且类型分别为 uint_least8_t、uint_least16_t、uint_least32_t、uint_least64_t 的整数常量表达式。展开成拥有其实参所指定的值且类型为 uintmax_t 的整数常量表达式。

有符号整数：最小值有符号整数：最大值无符号整数：最大值

分别为宽度恰为 8、16、32 和 64 位的有符号整数类型,无填充位并对负值使用补码分别为宽度至少有 8、16、32 和 64 位的最快的有符号整数类型分别为宽度至少有 8、16、32 和 64 位的最小的有符号整数类型最大宽度的有符号整数类型足以保有指针的有符号整数类型

宏 NULL 是实现定义的空指针常量，std::max_align_t 是一个平凡的标准布局类型，其对齐要求至少与每个标量类型一样严格（一样大）。宏 offsetof 展开成 std::size_t 类型的整数常量表达式，其值是从指定类型对象开始到其指定成员的字节数偏移，

std::size_t 是 sizeof 运算符还有 sizeof... 运算符和 alignof 运算符 (C++11 起)所返回的一种无符号整数类型。std::ptrdiff_t 是二个指针相减结果的有符号整数类型。std::nullptr_t 是空指针字面量 nullptr 的类型。它是既非指针类型亦非指向成员指针类型的独立类型。

对象、引用、函数（包括函数模板特化）和表达式具有称为类型的性质，它限制了对这些实体所容许的操作，并给原本寻常的位序列提供了语义含义。