声明

声明将名字引入（或再引入）到 C++ 程序中。每种实体的声明方式都不同。定义是足以使该名字所标识的实体被使用的声明。

声明是下列之一：

• 函数定义
• 模板声明（包括部分模板特化）
• 显式模板实例化
• 显式模板特化
• 命名空间定义
• 连接说明
• 属性声明（attr ;）(C++11 èµ·)
• 空声明（;）(C++11 èµ·)
• æ—  声明说明符序列 的函数声明：

此声明必须声明构造函数、析构函数或用户定义的类型转换函数。它只能用作模板声明、显式特化或显式实例化的一部分。

• 块声明（能出现于块中的声明），它可以是下列之一：

• 汇编声明
• 类型别名声明 (C++11 èµ·)
• 命名空间别名定义
• using 声明
• using 指令
• static_assert 声明 (C++11 èµ·)
• 不可见 enum 声明 (C++11 èµ·)
• 简单声明

简单声明

简单声明是引入、创建并可选地初始化一个或数个标识符（典型地为变量）的语句。

结构化绑定声明亦为简单声明。 (C++17 起)

说明符

声明说明符（声明说明符序列）是下列以空白分隔的说明符的序列，顺序任意：

• typedef 说明符。若存在，则整个声明是 typedef 声明，且每个声明符引入一个新的类型名，而非对象或函数。
• 函数说明符（inline、virtual、explicit），仅在函数声明中允许使用。

• friend 说明符允许在类和函数声明中使用。

• 存储类说明符（register、static、thread_local (C++11 èµ·)、extern、mutable）。仅允许使用一个存储类说明符，但 thread_local 可以与 extern 或 static 一同出现。
• 类型说明符（类型说明符序列），指名一个类型的说明符的序列。声明所引入的每个实体均为此类型，可选地为声明符所修饰（见下文）。这个说明符序列也被类型标识（type-id）所用。唯有下列说明符是 类型说明符序列 的一部分，顺序任意：

• 类说明符
• 枚举说明符
• 简单类型说明符

• char、char8_t (C++20 èµ·)、char16_t、char32_t (C++11 èµ·)、wchar_t、bool、short、int、long、signed、unsigned、float、double、void

• 先前声明过的类名（可选地有限定）
• 先前声明过的枚举名（可选地有限定）
• 先前声明过的 typedef 名或类型别名 (C++11 èµ·)（可选地有限定）
• 带模板实参的模板名（可选地有限定，可选地用 template 消歧义符）

• 详述类型说明符

• 关键词 class、struct 或 union，后随先前已定义为 class、struct 或 union 名的标识符（可选地有限定）。
• 关键词 class、struct 或 union，后随带模板实参的、先前已定义为类模板名字的模板名（可选地有限定，可选地用 template 消歧义符）。
• 关键词 enum 后随先前已定义为枚举名的标识符（可选地有限定）。

• typename 说明符
• cv 限定符

每个 声明说明符序列 中只允许一个类型说明符，但有以下例外：

- const 能与自身外的任何类型说明符组合。

- volatile 能与自身外的任何类型说明符组合。

- signed 或 unsigned 能与 char、long、short 或 int 组合。

- short 或 long 能与 int 组合。

- long 能与 double 组合。

属性可出现于 声明说明符序列 中，该情况下它们应用于其之前的说明符所确定的类型。

声明符

初始化声明符列表（init-declarator-list）是一或多个 初始化声明符（init-declarator） 的逗号分隔列表，它拥有下列语法：

初始化声明符序列 S D1, D2, D3; 中的每个 初始化声明符，均按照如同它是拥有相同说明符的孤立声明来处理：S D1; S D2; S D3;。

每个声明符恰好引入一个对象、引用、函数或（对于 typedef 声明）类型别名，其类型由 声明说明符序列 提供，并可选地被声明符中的运算符，如 &（～的引用）或 []（～的数组）或 ()（返回～的函数）所修饰。可以递归应用这些声明符，如下所示。

声明符 是下列之一：

所有情况下，attr 均为可选的属性的序列。当其紧跟标识符之后出现时，它应用于所声明的对象。

cv 是 const 与 volatile 限定符的序列，其中任一限定符在序列中至多出现一次。

注解

块声明出现在代码块内，而当声明中引入的标识符之前已在某个外层代码块中声明时，该代码块的剩余部分中外层声明被隐藏。

若声明引入具有自动存储期的变量，则它在执行其声明语句时初始化。退出代码块时，所有声明于该块中的自动变量被以其初始化顺序的相反顺序销毁（无关乎如何退出代码块：通过异常、goto 或抵达其结尾）。

示例

class C {
    std::string member; // 声明说明符序列 为 "std::string"
                        // 声明符 为 "member"
} obj, *pObj(&obj);
// 声明说明符序列 为 "class C { std::string member; }"
// 声明符 "obj" 定义 C 类型的对象
// 声明符 "*pObj(&obj)" 声明并初始化指向 C 的指针
 
int a = 1, *p = nullptr, f(), (*pf)(double);
// 声明说明符序列 为 int
// 声明符 a=1 定义并初始化 int 类型的变量
// 声明符 *p=NULL 定义并初始化 int* 类型的变量
// 声明符 (f)() 声明（但不定义）不接收参数并返回 int 的函数
// 声明符 (*pf)(double) 定义指向接收 double 并返回 int 的函数的指针
 
int (*(*foo)(double))[3] = nullptr;
// decl-specifier-seq 为 int
// 1. 声明符 "(*(*foo)(double))[3]" 是数组声明符；
//    所声明类型是“int 的 3 元素数组 /嵌套声明符/ ”
// 2. 嵌套声明符是 "(*(*foo)(double))"，它是指针声明符
//    所声明类型是“int 的 3 元素数组 的指针 /嵌套声明符/”
// 3. 嵌套声明符是 "(*foo)(double)"，它是函数声明符
//    所声明类型是“以 int 的 3 元素数组 的指针 为返回值的接受一个 double 参数的函数 /嵌套声明符/”
// 4. 嵌套声明符是 "(*foo)"，它是（带括号，如函数声明符语法所要求的）指针声明符。
//    所声明类型是“以 int 的 3 元素数组 的指针 为返回值的接受一个 double 参数的函数 的指针 /嵌套声明符/”
// 5. 嵌套声明符是 "foo"，它是标识符。
// 该声明声明了对象 foo，其类型为“以 int 的 3 元素数组 的指针 为返回值的接受一个 double 参数的函数 的指针”
// 初始化器 "= nullptr" 提供此指针的初值。