为何无法用static_block初始化类静态成员？求正确初始化方法

你遇到的错误核心原因是：类的静态成员变量的定义不能放在函数（包括static_block这种函数级代码块）内部。static_block本质属于函数作用域，而C++规定静态成员的定义必须处于命名空间或类的外部作用域，不能嵌套在函数里。

下面是几种可行的解决方案，按推荐程度排序：

方案1：利用静态局部变量的延迟初始化（最推荐） #

写一个静态成员函数封装复杂初始化逻辑，再将静态成员变量的定义指向该函数的返回值。C++11及以后标准保证静态局部变量的初始化是线程安全的，还能避免全局初始化顺序混乱的问题。

代码示例：

// 类声明
class bar {
public:
    static std::string transmogrified_foo;
private:
    static std::string init_transmogrified_foo() {
        myns::foo my_foo;
        auto s = my_foo.from_string("null");
        return s.good() ? my_foo.transmogrify() : "";
    }
};

// 类外部定义并初始化静态成员
std::string bar::transmogrified_foo = bar::init_transmogrified_foo();

方案2：C++17 inline静态成员（简化写法） #

如果编译器支持C++17，可以把静态成员声明为inline，直接在类内部用lambda封装初始化逻辑，无需再在类外单独定义：

class bar {
public:
    inline static std::string transmogrified_foo = []{
        myns::foo my_foo;
        auto s = my_foo.from_string("null");
        return s.good() ? my_foo.transmogrify() : "";
    }();
};

方案3：全局静态代码块（不推荐，需注意初始化顺序） #

如果一定要用类似static_block的全局代码块（比如GCC的__attribute__((constructor))扩展），可以先定义静态成员，再在全局函数中完成赋值，但要注意全局变量初始化顺序未定义，若transmogrified_foo被其他全局变量依赖，可能引发未定义行为：

// 先定义静态成员
std::string bar::transmogrified_foo;

// GCC扩展：程序启动时执行该函数
__attribute__((constructor))
void init_bar_static() {
    myns::foo my_foo;
    auto s = my_foo.from_string("null");
    bar::transmogrified_foo = s.good() ? my_foo.transmogrify() : "";
}

内容的提问来源于stack exchange，提问作者einpoklum