存储类说明符

来自cppreference.com
< 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、枚举及枚举项。
  • 内部连接。名字可从当前翻译单元中的所有作用域使用。
声明于命名空间作用域的下列任何名字均具有内部连接;
  • 声明为 static 的变量、变量模板 (C++14 起)、函数或函数模板;
  • 不是 extern 的,且先前未声明为具有外部连接的,非 volatile 非模板 (C++14 起)非 inline (C++17 起)const 限定的变量(包含 constexpr);
  • 匿名联合体的数据成员。
另外,所有声明于无名命名空间或无名命名空间内的命名空间中名字,即使是显式声明为 extern 者,均拥有内部连接。
(C++11 起)
  • 外部连接。名字能从其他翻译单元中的作用域使用。具有外部连接的变量和函数亦具有语言连接,这使得可以连接到以不同编程语言编写的翻译单元。
声明于命名空间作用域的下列任何名字均具有外部连接,除非命名空间无名或为无名命名空间所包含 (C++11 起)
  • 以上未列出的变量与函数(即未声明为 static 的函数、命名空间作用域内未声明为 static 的非 const 变量,和所有声明为 extern 的变量);
  • 枚举;
  • 类名、其成员函数、静态数据成员(不论是否 const)、嵌套类及枚举,及首次以类体内的 friend 声明引入的函数;
  • 所有未列于上的模板名(即不声明为 static 的函数模板)。
任何首次声明于块作用域的下列名称拥有外部连接:
  • 声明为 extern 的变量名;
  • 函数名。

[编辑] 静态局部变量

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

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

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

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

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

(C++11 起)

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

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

[编辑] 注解

位于顶层命名空间作用域(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 << "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++ 标准。

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

[编辑] 参阅

存储类说明符C 文档