例如:
int foo()
{
static int i = 0;
return i++;
}
变量i将在第一次调用foo时初始化为0.这是否自动意味着有一个隐藏的分支,以保持初始化不止一次?还是有更聪明的技巧来避免这种情况?
是的,它必须包含一个分支,并且还必须至少包含一个用于安全并发初始化的原子操作.标准要求它们以并发安全的方式在
功能输入上初始化.
如果可以证明在输入main()之前,延迟初始化和一些较早的初始化之间的区别是等效的,那么实现只能避开这个要求.例如,从常量初始化的简单POD,编译器可能会选择像文件范围全局初始化它,因为它是不可观察的,并且保存了延迟初始化代码,但这是一个不可观察的优化.