存储类型说明
提前说明:
存储持续性 : C++使用三种不同的方案来存储诗句(区别:数据保留在内存中的时间)
- 自动存储持续性:在函数定义中声明的变量(包含函数参数)的存储持续性是自动的。他们在程序开始执行其所属的函数或者代码块时间时被创建,在执行完成函数或代码块时他们使用的内存自动被释放。其中C++中有两种存储持续性为自动的变量:自动变量、寄存器变量
- 静态存储持续性:在函数定义外的变量和使用关键字static定义的变量,他们在程序整个运行过程中都存在。C++中有三个存储持续性为静态的变量。静态无链接性、静态内部链接性、静态外部链接性
- 动态存储持续性:使用new运算符分配的内存将一直存在,知道使用delete运算符将其释放或者是程序结束为止。这种内存的存储持续性为动态,有时候被称为自由存储或者堆。
- 线程存储持续性(C++11):在cpu可同时处理多个执行任务,这让程序能够将计算放在可并行处理的不同线程中。如果变量是使用关键字thread_local声明的,则其生命周期与所属线程一样长。
作用域和链接性:
作用域描述了名称在文件中的可见范围,例如:函数体重的变量可在函数中使用,但是不能在其他函数中使用。在文件中定义的函数定义之前定义的变量可在所有函数中使用。
C++变量的作用域有多种:
- 作用域为局部的变量只在定义它的代码块中可用。例如:代码块是由花括号括起来的一系列语句。eg:函数体
- 作用域为全局(文件作用域)的变量在定义位置到文件结尾之间都可以使用,自动变量的作用域为局部,静态变量的作用域为全局还是局部取决于它的定义。
- 函数原型作用域中使用名称只在包含参数列表的括号内可用
- 在类声明的成员的作用域为整个类
- 在名称空间中声明的变量的作用域为整个名称空间
链接性描述了名称如何在不同单元之间共享。
其中:链接性为外部的名称可在文件间共享。链接性为内部的名称只能由一个文件中的函数共享,自动变量名称没有链接性,因为他们不能共享。
C++函数的作用域可以是整个类或者整个名称空间(包括全局),但不能是局部的(因为不能在代码块内定义函数,如果函数的作用域为局部,则只对它自己是可见的,因此不能被其他函数调用。这样的函数将无法运行)
存储类型说明符号
存储说明符是名称声明语法的一部分,与名称的范围一起,他们控制名称的两个独立属性:其存储持续时间和链接
-
无规范或者auto(C++11) - 自动的存储持续时间
-
register(C++17) - 自动存储持续时间,还提示编译器将对象放在处理器的寄存器中(弃用)
-
static - 静态或者线程存储持续时间和内部链接(或者不在匿名空间中的静态类成员的外部链接)
-
extern - 静态或者线程存储持续时间和外部链接
-
thread_local -线程存储持续时间
-
mutable - 不影响存储时间或链接
声明中只能出现一个存储类说明符,但thread_local可以与 static 或 extern 组合(自 C++11 起)。
示例代码:
#include <iostream>
#include <mutex>
#include <string>
#include <thread>thread_local unsigned int rage = 1;
std::mutex cout_mutex;void increase_rage(const std::string& thread_name)
{++rage; // modifying outside a lock is okay; this is a thread-local variablestd::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();
}