BSS段和数据段都属于 静态内存分配;不过,一个时未经初始化的全局变量和静态局部变量的一块区域。
另一个是 已经初始化的非0的全局变量的一块区域。
其实这句话“静态成员变量是需要初始化的”是有一定问题的,应该说“静态成员变量需要定义”才是准确的,而不是初始化。
两者的区别在于:初始化是赋一个初始值,而定义是分配内存。
静态成员变量在类中仅仅是声明,没有定义,所以要在类的外面定义,实际上是给静态成员变量分配内存。
对静态局部变量是在编译时赋初值的,即只赋值一次,在程序运行时它已有初值。以后每次调用函数时不再重新赋初值而只是保留上次函数调用结束时的值。如在定义局部变量时不赋初值的话,则对静态局部变量来说,编译时自动赋初值0或空字符。
所以就有一句类的静态成员变量必须要在类外进行初始化。(其实是定义时初始化,就是分配内存,没分配内存则不能访问)
例1:
int main()
{
for(int x = 5; x < 10; x++)
{
static int y = x; //第一次被引用时初始化,并且只初始化一次
cout << "x = " << x << ", y = " << y << endl;
}
return 0;
}
输出结果:
x = 5, y = 5
x = 6, y = 5
x = 7, y = 5
x = 8, y = 5
x = 9, y = 5
例2:
int main()
{
for(int x = 5; x < 10; x++)
{
static int y = x;
cout << "x = " << x << ", y = " << y << endl;
int *p = &y;
p++;
*p = 0;
}
return 0;
}
输出结果:
x = 5, y = 5
x = 6, y = 6
x = 7, y = 7
x = 8, y = 8
x = 9, y = 9
通过两个例子的结果我们可以知道,静态变量的初始化就是通过静态变量后面的一个32位内存位来做记录,以标识这个静态变量是否已经初始化。每次运行到当前位置,会先去判断这个地址:
如果不是1,就给它赋值1,然后给变量赋值;
如果是1,直接跳过赋值代码块这样它就做到了只赋值一次的效果;
在例2中我们每次都将这个值赋值为0,所以程序就一直认为变量一直没有被初始化过,并每次都初始化。该操作并非一个原子操作,因此从代码逻辑角度来说,static变量并不具有“线程安全”性能。
总结
如果是编译时和加载时初始化,是不会存在线程安全这个问题的。因为这两种初始化一定发生在Main函数执行之前,这个时候尚未进入程序运行空间,而这些初始化一定是在单线程环境下操作的。
如果是运行时初始化,因为无法保证访问这个静态变量一定只会从某个特定的线程中被访问,因此会存在"线程安全"的问题。
来自:原文链接:https://blog.csdn.net/qq_34139994/article/details/105157313