Question

有时我喜欢将初始化代码放在静态对象的构造函数中，就像这样。

namespace
{
    struct Init {
        Init ();
    };

    Init :: Init () {
        // whatever
    }

    Init init;
}

是的，我知道这很糟糕，因为你不能依赖翻译单位之间的初始化顺序，但有时候，对某些事情来说，没关系。

无论如何我不喜欢语法，今天我尝试了这个。

namespace
{
    int init = [] () -> int {
        // whatever
        return 0;
    } ();
}

程序运行时，whatever代码在 main()后运行！

我知道这样的静态初始化是以任意顺序发生的，但我认为规范要求所有以任何顺序发生之前 main()进入。

编译器是否行为不端或是否存在进一步的细微之处？

#> gcc -v Using built-in specs. COLLECT_GCC=gcc COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-linux-gnu/4.8/lto-wrapper Target: i686-linux-gnu Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.8.1-10ubuntu9' --with-bugurl=file:///usr/share/doc/gcc-4.8/README.Bugs --enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.8 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.8 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.8-i386/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.8-i386 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.8-i386 --with-arch-directory=i386 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-targets=all --enable-multiarch --disable-werror --with-arch-32=i686 --with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=release --build=i686-linux-gnu --host=i686-linux-gnu --target=i686-linux-gnu Thread model: posix gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu9)

Answer 1

在标准中找到了这个（3.6.2非局部变量的初始化[basic.start.init]，4）：

它是实现定义的动态初始化   具有静态存储持续时间的非局部变量在之前完成   主要的第一个声明。如果初始化延迟到某个时间点   在第一次声明之后，它应该在任何第一次使用（3.2）之前发生   功能或变量   在与要初始化的变量相同的翻译单元中定义。*
  *具有静态存储持续时间的非局部变量必须具有带副作用的初始化   即使它没有使用（3.2,3.7.1），也要进行初始化。）

似乎明确地说，至少在某些情况下，初始化可以推迟到主要进入之后。

我的程序EXITS时初始化静态数据

1 个答案: