存储类说明符

< cpp‎ | language

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

  • auto - 自动存储期。
(C++11 前)
  • register - 自动存储期,另提示编译器将此对象置于处理器的寄存器。(弃用)
(C++17 前)
  • static - 静态线程存储期和内部连接。
  • extern - 静态线程存储期和外部连接。
  • thread_local - 线程存储期。
(C++11 起)


声明中只可以出现一个存储类说明符,但 thread_local 可以与 staticextern 结合 (C++11 起)

解释

1) auto 说明符仅允许搭配声明于块作用域或函数形参列表中的对象。它指示自动存储期,即这种声明的默认情况。此关键词的含义已于 C++11 更改。
(C++11 前)
2) register 说明符仅允许搭配声明于块作用域或函数形参列表中的对象。它指示自动存储期,即这种声明的默认情况。另外,此关键词的存在可用于提示优化器将此变量的值存储于 CPU 寄存器。此关键词已于 C++11 被弃用。
(C++17 前)
3) static 说明符仅允许搭配(函数形参列表外的)对象声明、(块作用域外的)函数声明及匿名联合体声明。当用于声明类成员时,它会声明一个静态成员。当用于声明对象时,它指定静态存储期(除非与 thread_local 协同出现)。在命名空间作用域内声明时,它指定内部连接。
4) extern 声明符仅允许搭配变量声明和函数声明(除了类成员或函数形参)。它指定外部连接,而且技术上不影响存储期,但它不能用来定义自动存储期的对象,故所有 extern 对象都具有静态或线程存储期。另外,使用 extern 且无初始化器的声明不是定义
5) thread_local 关键词仅允许搭配声明于命名空间作用域的对象、声明于块作用域的对象及静态数据成员。它指示对象具有线程存储期。它能与 staticextern 结合,以分别指定内部或外部连接(但静态数据成员始终拥有外部链接),但额外的 static 不影响存储期。
(C++11 起)

存储期

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

  • 自动(automatic)存储期。这类对象的存储在外围代码块开始时分配,并在结束时解分配。未声明为 staticexternthread_local 的所有局部对象均拥有此存储期。
  • 静态(static)存储期。这类对象的存储在程序开始时分配,并在程序结束时解分配。这类对象只存在一个实例。所有声明于命名空间(包含全局命名空间)作用域的对象,加上声明带有 staticextern 的对象均拥有此存储期。有关拥有此存储期的对象的初始化的细节,见非局部变量静态局部变量
  • 线程(thread)存储期。这类对象的存储在线程开始时分配,并在线程结束时解分配。每个线程拥有其自身的对象实例。只有声明为 thread_local 的对象拥有此存储期。 thread_local 能与 staticextern 一同出现,它们用于调整连接。关于具有此存储期的对象的初始化的细节,见非局部变量静态局部变量
(C++11 起)
  • 动态(dynamic)存储期。这类对象的存储是通过使用动态内存分配函数来按请求进行分配和解分配的。关于具有此存储期的对象的初始化的细节,见 new 表达式

连接

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

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

无连接

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

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

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

内部连接

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

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

另外,所有声明于无名命名空间或无名命名空间内的命名空间中的名字,即使显式声明为 extern,均拥有内部连接。

(C++11 起)
外部连接

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

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

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

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

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

模块连接

名字只能从同一模块单元或同一具名模块中的其他翻译单元的作用域指代。

声明于命名空间作用域的名字,若它们声明于具名模块,未被导出且无内部连接,则拥有模块链接。

(C++20 起)

静态局部变量

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

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

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

若多个线程试图同时初始化同一静态局部变量,则初始化严格发生一次(类似的行为也可对任意函数以 std::call_once 来达成)。

注意:此功能特性的通常实现均使用双检查锁定模式的变体,这使得对已初始化的局部静态变量检查的运行时开销减少为单次非原子的布尔比较。

(C++11 起)

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

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

翻译单元局部实体

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

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

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

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

以外指名 TU-局部实体,则坏事能发生(通常是违反 ODR )。

这种使用在模块接口单元(在其私有模块片段外,若有)或模块划分中被禁止,而在任何其他语境中被弃用。

出现于一个翻译单元的声明不能指名声明于另一非头单元的翻译单元的 TU-局部实体。对模板实例化的声明出现于特化的实例化点。

(C++20 起)

注解

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

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

在 C 中,不能取 register 变量的地址,但 C++ 中,声明为 register 的对象与声明不带任何存储类说明符的变量在语义上没有区别。

(C++17 前)

不同于 C,在 C++ 中不能将变量声明为 register

(C++17 起)

从不同作用域指代的且带内部或外部连接的 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++ 标准。

DR 应用于 出版时的行为 正确行为
CWG 2387 C++14 不明确 const 限定的变量模板是否默认有内部连接 const 限定符不影响变量模板或其实例的连接

参阅