存储类说明符

存储类说明符是一个名字的声明语法的声明说明符序列的一部分。它与名字的作用域一同，控制名字的两个独立性质：其“存储期”与其“连接”。

• static - 静态或线程存储期和内部连接。
• extern - 静态或线程存储期和外部连接。

• mutable - 不影响存储期或连接。解释见 const/volatile 。

声明中只可以出现一个存储类说明符，但 thread_local 可以与 static 或 extern 结合 (C++11 起)。

解释

存储期

程序中的所有对象都具有下列存储期之一：

• 自动（automatic）存储期。这类对象的存储在外围代码块开始时分配，并在结束时解分配。未声明为 static、extern 或 thread_local 的所有局部对象均拥有此存储期。

• 静态（static）存储期。这类对象的存储在程序开始时分配，并在程序结束时解分配。这类对象只存在一个实例。所有声明于命名空间（包含全局命名空间）作用域的对象，加上声明带有 static 或 extern 的对象均拥有此存储期。有关拥有此存储期的对象的初始化的细节，见非局部变量与静态局部变量。

• 动态（dynamic）存储期。这类对象的存储是通过使用动态内存分配函数来按请求进行分配和解分配的。关于具有此存储期的对象的初始化的细节，见 new 表达式。

连接

指代对象、引用、函数、类型、模板、命名空间或值的名字，可具有连接。若某个名字具有连接，则其所指代的实体与另一作用域中的声明所引入的相同名字指代相同的实体。若变量、函数或其他实体声明于数个作用域但没有足够的连接，则将生成该实体的多个实例。

以下各种连接可以被识别：

无连接

名字只能从其所在的作用域使用。 声明于块作用域的下列任何名字均无连接：

• 未显式声明为 extern 的变量（不管有没有 static 修饰符）；
• 局部类及其成员函数；
• 声明于块作用域的其他名字，例如 typedef、枚举及枚举项。

未指定为拥有外部、模块 (C++20 起)或内部连接的名字亦无连接，这与其声明所处的作用域无关。

内部连接

名字可从当前翻译单元中的所有作用域使用。 声明于命名空间作用域的下列任何名字均具有内部连接；

• 声明为 static 的变量、变量模板 (C++14 起)、函数或函数模板；
• 未声明为 extern 且先前未声明为具有外部连接的非 volatile 非模板 (C++14 起)非 inline (C++17 起) 且未被导出 (C++20 起)的 const 限定的变量（包含 constexpr）；
• 匿名联合体的数据成员。

外部连接

名字能从其他翻译单元中的作用域使用。具有外部连接的变量和函数也具有语言连接，这使得以不同编程语言编写的翻译单元可以互相连接。 除了后述注解，声明于命名空间作用域的下列任何名字均具有外部连接：

• 以上未列出的变量与函数（即未声明为 static 的函数、命名空间作用域内未声明为 static 的非 const 变量，和所有声明为 extern 的变量）；
• 枚举；
• 类以及其成员函数、静态数据成员（不论是否 const）、嵌套类及枚举，及首次以类体内的 friend 声明引入的函数的名字；
• 所有未列于上的模板名（即未声明为 static 的函数模板）。

任何首次声明于块作用域的下列名称拥有外部连接：

• 声明为 extern 的变量名；
• 函数名。

然而，若名字声明于无名命名空间或内嵌于无名命名空间的命名空间，则该名字拥有内部连接。若名字声明于具名模块且未被导出，则该名字拥有模块连接。 (C++20 起)

静态局部变量

声明于块作用域且带有 static 或 thread_local (C++11 起) 说明符的变量拥有静态或线程 (C++11 起)存储期，但在控制首次经过其声明时才会被初始化（除非其初始化是零初始化或常量初始化，这可以在首次进入块前进行）。在其后所有的调用中，声明均被跳过。

若初始化抛出异常，则不认为变量被初始化，且控制下次经过该声明时将再次尝试初始化。

若初始化递归地进入正在初始化的变量的块，则行为未定义。

块作用域静态变量的析构函数在初始化已成功的情况下在程序退出时被调用。

相同内联函数（可以是隐式内联）的所有定义中，函数局域的静态对象均指代定义于一个翻译单元中的同一对象。

翻译单元局部实体

一个实体若满足下列条件之一，则为翻译单元局部（或简称为 TU-局部）

• 它拥有带内部连接的名字，或
• 它没有带连接的名字，并且在 TU-局部实体的定义内引入，或
• 它是模板或模板特化，其模板实参或模板声明使用 TU-局部实体。

若非 TU-局部实体的类型依赖 TU-局部实体，或若非 TU-局部实体的声明或推导指引 (C++17 起)在

• 非 inline 函数或函数模板的函数体
• 变量或变量名模板的初始化器
• 类定义中的友元声明
• 使用变量的值，若该变量可用于常量表达式

以外指名 TU-局部实体，则坏事能发生（通常是违反 ODR ）。

注解

位于顶层命名空间作用域（C 中的文件作用域），且是 const 而非 extern 的名字在 C 中具有外部连接，但在 C++ 中具有内部连接。

C++11 起，auto 不再是存储类说明符；它被用于指示类型推导。

从不同作用域指代的且带内部或外部连接的 thread_local 变量的名字可能指代相同或不同的实例，这取决于代码执行于相同还是不同的线程。

extern 关键词也能用于指定语言连接和显式模板实例化声明，但它在这些情况中不是存储类说明符（但当声明直接在语言连接说明中所包含时，该情况下将声明当做如同它含 extern 说明符）。

关键词 mutable 在 C++ 语言的文法中是存储类说明符，尽管它并不影响存储期或连接。

thread_local 以外的存储类说明符都不允许在显式特化及显式实例化中使用：

template <class T> struct S {
    thread_local static int tlm;
};
template <> thread_local int S<float>::tlm = 0; // "static" 不出现于此

关键词

auto, register, static, extern, thread_local, mutable

示例

#include <iostream>
#include <string>
#include <thread>
#include <mutex>
 
thread_local unsigned int rage = 1; 
std::mutex cout_mutex;
 
void increase_rage(const std::string& thread_name)
{
    ++rage; // 在锁外修改 OK；这是线程局域变量
    std::lock_guard<std::mutex> lock(cout_mutex);
    std::cout << thread_name << " 的愤怒计数：" << rage << '\n';
}
 
int main()
{
    std::thread a(increase_rage, "a"), b(increase_rage, "b");
 
    {
        std::lock_guard<std::mutex> lock(cout_mutex);
        std::cout << "main 的愤怒计数：" << rage << '\n';
    }
 
    a.join();
    b.join();
}

a 的愤怒计数：2
main 的愤怒计数：1
b 的愤怒计数：2

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

参阅