Declarations

• 1 简单声明
• 2 说明符
• 3 声明符
• 4 注解
• 5 示例
• 6 缺陷报告
• 7 参见

简单声明

简单声明是一条语句，用于引入、创建并可选地初始化一个或多个标识符，通常是变量。

init-declarator-list 仅当声明具名类或具名枚举时才能省略。

语法 init-declarator 定义如下：

说明符

声明说明符 （ decl-specifier-seq ）是以下空白符分隔的说明符按任意顺序组成的序列：

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

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

• 存储类说明符 ( register , (直至 C++17) static , thread_local , (自 C++11 起) extern , mutable )。仅允许使用一个存储类说明符 ，但 thread_local 可与 extern 或 static 同时出现 (自 C++11 起) 。
• 类型说明符 ( type-specifier-seq )，用于命名类型的说明符序列。声明引入的每个实体的类型均为此类型，可由声明符（见下文）选择性修饰。此说明符序列也用于 类型标识 。仅以下说明符以任意顺序构成 type-specifier-seq ：

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

• char , char8_t , (since C++20) char16_t , char32_t , (since C++11) wchar_t , bool , short , int , long , signed , unsigned , float , double , void

• 先前声明的类名（可选用 限定标识符 ）
• 先前声明的枚举名（可选用 限定标识符 ）
• 先前声明的 typedef名称 或 类型别名 (C++11 起) （可选用 限定标识符 ）
• 带模板参数的模板名（可选用 限定标识符 ，可选用 模板消歧符 ）

• 详细类型说明符

• 关键字 class 、 struct 或 union ，后接（可选 限定 的）标识符，该标识符先前已定义为类名。
• 关键字 class 、 struct 或 union ，后接带模板参数的模板名称（可选 限定 ，可选使用 template 消歧符 ），该名称先前已定义为类模板名。
• 关键字 enum 后接（可选 限定 的）标识符，该标识符先前已声明为枚举名称。

• typename 说明符
• cv限定符

在声明说明符序列中只允许存在一个类型说明符，以下情况除外：

• const 可与除自身外的任何类型说明符组合使用。
• volatile 可与除自身外的任何类型说明符组合使用。
• signed 或 unsigned 可与 char 、 long 、 short 或 int 组合使用。
• short 或 long 可与 int 组合使用。
• long 可与 double 组合使用。

属性 可以出现在 声明说明符序列 中，此时它们适用于由前序说明符确定的类型。

在 声明说明符序列 中重复任何说明符，例如 const static const 或 virtual inline virtual 均属于错误 ，但允许 long 出现两次的情况除外 (自 C++11 起) 。

声明符

每个 init-declarator-list 中的 init-declarator S D1, D2, D3 ; 都会被视为具有相同说明符的独立声明进行处理： S D1 ; S D2 ; S D3 ; 。

每个声明符精确引入一个对象、引用、函数或（对于typedef声明）类型别名，其类型由 decl-specifier-seq 提供，并可选择性地通过声明符中的运算符进行修改，例如 & （引用）或 [ ] （数组）或 ( ) （返回函数）。如下所示，这些运算符可以递归地应用。

一个 声明符 是以下之一：

cv 是由 const 与 volatile 限定符组成的序列，其中每个限定符在该序列中最多出现一次。

注释

当 块声明 出现在 块内部 时，若声明引入的标识符先前已在外部块中声明，则 外部声明将在该块的剩余部分被隐藏 。

如果声明引入了一个具有自动存储期的变量，该变量会在其声明语句执行时被初始化。所有在块中声明的自动变量都会在退出该块时被销毁（无论该块是通过 异常 、 goto 还是通过到达其末尾退出的），销毁顺序与它们的初始化顺序相反。

示例

#include <type_traits>
struct S
{
    int member;
    // 声明说明符序列是 "int"
    // 声明符是 "member"
} obj, *pObj(&obj);
// 声明说明符序列是 "struct S { int member; }"
// 声明符 "obj" 声明了一个 S 类型的对象
// 声明符 "*pObj" 声明了一个指向 S 的指针，
//     且初始化器 "(&obj)" 对其进行了初始化
int i = 1, *p = nullptr, f(), (*pf)(double);
// 声明说明符序列是 "int"
// 声明符 "i" 声明了一个 int 类型的变量，
//     且初始化器 "= 1" 对其进行了初始化
// 声明符 "*p" 声明了一个 int* 类型的变量，
//     且初始化器 "= nullptr" 对其进行了初始化
// 声明符 "f()" 声明（但未定义）
//     一个不接受参数且返回 int 的函数
// 声明符 "(*pf)(double)" 声明了一个指向函数的指针
//     该函数接受 double 参数并返回 int
int (*(*var1)(double))[3] = nullptr;
// 声明说明符序列是 "int"
// 声明符是 "(*(*var1)(double))[3]"
// 初始化器是 "= nullptr"
// 1. 声明符 "(*(*var1)(double))[3]" 是一个数组声明符：
//    声明的类型是："(*(*var1)(double))" 3个元素的数组
// 2. 声明符 "(*(*var1)(double))" 是一个指针声明符：
//    声明的类型是："(*var1)(double)" 指向3个元素数组的指针
// 3. 声明符 "(*var1)(double)" 是一个函数声明符：
//    声明的类型是："(*var1)" 接受 "(double)" 参数的函数，
//    返回指向3个元素数组的指针
// 4. 声明符 "(*var1)" 是一个指针声明符：
//    声明的类型是："var1" 指向函数的指针，该函数接受 "(double)" 参数，
//    返回指向3个元素数组的指针
// 5. 声明符 "var1" 是一个标识符
// 此声明声明了对象 var1，其类型为"指向函数的指针，
// 该函数接受 double 参数并返回指向3个 int 类型元素数组的指针"
// 初始化器 "= nullptr" 提供了此指针的初始值
// C++11 替代语法：
auto (*var2)(double) -> int (*)[3] = nullptr;
// 声明说明符序列是 "auto"
// 声明符是 "(*var2)(double) -> int (*)[3]"
// 初始化器是 "= nullptr"
// 1. 声明符 "(*var2)(double) -> int (*)[3]" 是一个函数声明符：
//    声明的类型是："(*var2)" 接受 "(double)" 参数的函数，返回 "int (*)[3]"
// ...
int main()
{
    static_assert(std::is_same_v<decltype(var1), decltype(var2)>);
}

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见