按照C++语言标准,static变量只会初始化一次,是如何保证的。
static变量分为两种情况:第一种是初始化为常量,在编译的时候就可以确定初始值;第二种是初始值在运行的时候才能确定,比如赋值为函数的返回值或 某个类的实例。
第一种情况,在程序启动后,执行main函数前初始化,后续就不再初始化,保证只初始化一次。
第二种情况,编译器会在static变量初始化前插入一个if语句块,判断一个static标志位是否为0,该static标志位的初始值为0(属于第一种情况在main函数执行前就初始化),所以第一次执行if语句时会为true,进入if语句块后,首先设置static标志位为1,然后初始化static变量。由于static标志位为1,就再也不会进入if语句块,保证只初始化一次。
下面单例的实现存在什么问题呢?
static变量a属于上述的第2情况,运行的时候才进行初始化,虽然编译器增加一个static标志位保证只初始化一次,但是并没有保证多线程并发执行安全。
单例模式多线程安全的典型实现方法是双检锁。
第一次检查单例对象不为空,直接返回,减少不必要的加锁,提升性能。
第二次检查单例对象不为空,避免多次实例化。