存储类说明符

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

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

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

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

解释

存储期

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

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

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

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

连接

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

可以识别以下各种连接：

无连接

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

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

内部连接

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

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

外部连接

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

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

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

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

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

静态局部变量

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

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

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

块作用域静态变量的析构函数在程序退出时执行，但仅若初始化成功发生才执行。

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

注解

位于顶层命名空间作用域（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 << "Rage counter for " << 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 << "Rage counter for main: " << rage << '\n';
    }
 
    a.join();
    b.join();
}

Rage counter for a: 2
Rage counter for main: 1
Rage counter for b: 2

缺陷报告

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

参阅