c – 函数本地静态变量是否自动产生分支？

例如：

int foo()
{
    static int i = 0;
    return i++;
}

变量i将在第一次调用foo时初始化为0.这是否自动意味着有一个隐藏的分支,以保持初始化不止一次？还是有更聪明的技巧来避免这种情况？

解决方法

是的,它必须包含一个分支,并且还必须至少包含一个用于安全并发初始化的原子操作.标准要求它们以并发安全的方式在功能输入上初始化.

如果可以证明在输入main()之前,延迟初始化和一些较早的初始化之间的区别是等效的,那么实现只能避开这个要求.例如,从常量初始化的简单POD,编译器可能会选择像文件范围全局初始化它,因为它是不可观察的,并且保存了延迟初始化代码,但这是一个不可观察的优化.