线程安全和静态变量/成员函数

Question

这不是关于静态初始化和线程安全的问题。 由于标准中使用的措辞，它们自 C++11 起就被保证在一起。
到现在为止还挺好。 请考虑以下类：

struct S {
    static int id() noexcept {
        static int v = 0;
        return v++;
    }

    template<typename>
    static int value() noexcept {
        static const int v = id();
        return v;
    }
};

在这种情况下，在不同线程上对S::value<MyType>()进行的两次并发调用是安全的（如果我错了，请纠正我）。

像S::value<AType>()和S::value<AnotherType>()这样的两个并发调用也安全吗？

在我看来，由于专业不同， value本身根本不是问题。 但是，在调用id ，第一行（静态初始化）保证是线程安全的，但同样不适用于紧随其后的行。
因此，对于 value 中的AType和AnotherType ， v可以具有相同的value 。
另一方面， id在v in value静态初始化期间被调用，所以我不太确定我的期望的有效性。
这就是为什么我要问。 我的推理有问题还是上面的代码实际上不是线程安全的？

Answer 1

不。您必须进行同步，但就您而言，这非常简单：

struct S {
    static int id() noexcept {
        static std::atomic<int> v { 0 };
        return ++v;
    }

    template<typename>
    static int value() noexcept {
        static const int v = id();
        return v;
    }
};

请注意，避免后增量是一个很好的做法。