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

类型的分类

C++ 类型系统由以下类型组成:

    • void 类型(参阅 std::is_void );
    • std::nullptr_t 类型(C++11 起) (参阅 std::is_null_pointer );
    • 算术类型(参阅 std::is_arithmetic ):
      • 浮点类型( float 、 double 、 long double)(参阅 std::is_floating_point );
      • 整数类型(参阅 std::is_integral ):
        • bool 类型;
        • 字符类型:
          • 窄字符类型:
            • 通常字符类型( char 、 signed char 、 unsigned char )
            • char8_t 类型
          • 宽字符类型( char16_t 、 char32_t 、 wchar_t );
        • 有符号整数类型( short int 、 int 、 long int 、 long long int );
        • 无符号整数类型( unsigned short int 、 unsigned int 、 unsigned long int 、 unsigned long long int );

对于除引用和函数以外的每个类型,类型系统还支持该类型的三个附加 cv 限定版本( const 、 volatile 及 const volatile )。

根据类型的各项性质,将它们分组到不同的类别之中:

类型的命名

通过以下方式来声明一个指代类型的名字

常常需要在 C++ 程序中对没有名字的类型进行涉指;为此而设的语法被称为 type-id(类型标识)。指名类型 T 的类型标识的语法,完全就是省略了标识符的对 T 类型的变量或函数的声明语法,但声明文法的 decl-specifier-seq(声明说明符序列) 被制约到 type-specifier-seq(类型说明符序列) ,而且仅当类型标识出现于非模板类型别名声明的右侧时,它才可以定义新类型。

  1. int* p; // 声明 int 的指针
  2. static_cast<int*>(p); // 类型标识为 "int*"
  3.  
  4. int a[3]; // 声明 3 个 int 的数组
  5. new int[3]; // 类型标识为 "int[3]" (称为 new-type-id(new-类型标识))
  6.  
  7. int (*(*x[2])())[3]; // 声明返回 int 的 3 元素数组的指针的函数的指针的 2 元素数组
  8. new (int (*(*[2])())[3]); // 类型标识为 "int (*(*[2])())[3]"
  9.  
  10. void f(int); // 声明接收 int 并返回 void 的函数
  11. std::function<void(int)> x = f; // 类型模板形参为类型标识 "void(int)"
  12. std::function<auto(int) -> void> y = f; // 同上
  13.  
  14. std::vector<int> v; // 声明 int 的 vector
  15. sizeof(std::vector<int>); // 类型标识为 "std::vector<int>"
  16.  
  17. struct { int x; } b; // 创建新类型并声明该类型的对象 b
  18. sizeof(struct{ int x; }); // 错误:不能在 sizeof 表达式中定义新类型
  19. using t = struct { int x; }; // 创建新类型并声明 t 为该类型的别名
  20.  
  21. sizeof(static int); // 错误:存储类说明符并不是 type-specifier-seq 的一部分
  22. std::function<inline void(int)> f; // 错误:函数说明符也不是

声明文法的 declarator(声明符) 部分在移除了名字后被称为 abstract-declarator(抽象声明符)

类型标识可用于下列情形:

类型标识经过一些修改可用于下列情形:

  • 函数形参列表中(省略形参名时),类型标识中以 decl-specifier-seq 代替 type-specifier-seq (特别是允许使用某些存储类说明符);
  • 用户定义转换函数名中,其抽象声明符不能包含函数或数组运算符。
本节未完成原因:8.2[dcl.ambig.res] ,若能紧凑地总结
本节未完成原因:提及并链接到 decltypeauto

详述类型说明符

详述类型说明符能用于涉指先前声明过的类名(类、结构体或联合体)或先前声明过的枚举名,即使该名字被非类型声明隐藏仍可进行涉指。它们亦可用于声明新的类名。

细节见详述类型说明符

静态类型

对程序进行编译时分析所得到的表达式的类型被称为表达式的静态类型。程序执行时静态类型不会更改。

动态类型

若某个泛左值表达式指代某个多态对象,则其最终派生对象的类型被称为其动态类型。

  1. // 给定
  2. struct B { virtual ~B() {} }; // 多态类型
  3. struct D: B {}; // 多态类型
  4. D d; // 最终派生对象
  5. B* ptr = &d;
  6. // (*ptr) 的静态类型为 B
  7. // (*ptr) 的动态类型为 D

对于纯右值表达式,动态类型始终与静态类型相同。

不完整类型

下列类型是不完整类型

下列语境都要求类型 T 完整:

(通常在必须知道 T 的大小和布局时要求它完整。)

如果翻译单元中出现了这些情况中的任何情况,该类型的定义就必须在相同翻译单元中出现。否则不必出现。

不完整定义的对象类型可以变完整:

  • 类类型(例如 class X)可在翻译单元中的一处不完整而在其之后补充完整;类型 class X 在这两处是相同类型:
  1. class X; // X 是不完整类型
  2. extern X* xp; // xp 是指向不完整类型的指针
  3.  
  4. void foo() {
  5. xp++; // 非良构: X 不完整
  6. }
  7.  
  8. struct X { int i; }; // 现在 X 是完整类型
  9.  
  10. X x;
  11. void bar() {
  12. xp = &x; // OK:类型是“X 的指针”
  13. xp++; // OK:X 完整
  14. }
  • 数组对象的声明类型可以是不完整类类型的数组,从而它不完整;若类类型在翻译单元中的后面完整,则该数组类型变得完整;两处的数组类型是同一类型。
  • 数组对象的声明类型可为未知边界数组,从而在翻译单元的一处不完整,并在之后变完整;两处的数组类型(“T 的未知边界数组”与“T 的 N 元素数组”)是不同类型。
本节未完成原因:完成不完整数组类型的示例,来自 §3.9[basic.types]/6

未知边界数组的指针的类型,或由 typedef 声明定义为未知边界数组的类型,无法变得完整。