用于内联静态成员时对齐是否合法？

Question

当 alignas 与 inline static 成员变量一起使用而 Clang 不使用时，MSVC 会引发错误。哪一个是正确的？ clang 的标志：-O2 -std=c++2a。 MSVC 的标志：/std:c++latest。

错误：

错误 C2024：“alignas”属性仅适用于变量、数据成员和标签类型

#include <iostream> //https://godbolt.org/z/q4ScM7
#include <atomic>
#include <random>
class PRNG {
public:
    alignas(128) inline static std::atomic<uint64_t> state{ [] {
        auto rd{ std::random_device{} };
        return static_cast<uint64_t>(rd()) << 32
            | static_cast<uint64_t>(rd());
    }() };
};

int main()
{
    std::cout << PRNG::state;
}

以下变体，其中初始化与定义分开并且不使用inline，两者都成功：

#include <iostream> //https://godbolt.org/z/rvq6AP
#include <atomic>
#include <random>
class PRNG {
public:
    alignas(128) static std::atomic<uint64_t> state;
};
alignas(128) std::atomic<uint64_t> PRNG::state{ [] {
    auto rd{ std::random_device{} };
    return static_cast<uint64_t>(rd()) << 32
        | static_cast<uint64_t>(rd());
}() };

int main()
{
    std::cout << PRNG::state;
}

当inline static 不是成员变量时，两者都接受alignas：

#include <iostream> //https://godbolt.org/z/Kd9NEV
#include <atomic>
#include <random>

alignas(128) inline static std::atomic<uint64_t> state{ [] {
    auto rd{ std::random_device{} };
    return static_cast<uint64_t>(rd()) << 32
        | static_cast<uint64_t>(rd());
}() };

int main()
{
    std::cout << state;
}

Answer 1

在 C++17 [dcl.align]/1 中它说：

对齐说明符可以应用于变量或类数据成员，但不能应用于位字段、函数参数或异常声明。

在您的代码中，state 是数据成员（静态数据成员是数据成员），因此允许使用对齐说明符。

所以我建议报告编译器错误。

Answer 2

在 MSVC 2019 中，std:c++latest 指的是最新工作草案中的预览功能，我认为它仍然存在问题。 所以你应该使用 std:c++17 并且它会编译没有错误。 /std

/std:c++latest 选项启用当前在编译器和库中实现的后 C++17 语言和库功能。这些功能可能包括 C++20 工作草案的更改、C++17 中未包含的缺陷更新以及标准草案的实验性提案。有关受支持的语言和库功能的列表，请参阅 Visual C++ 的新增功能。 /std:c++latest 选项不启用由 /experimental 开关保护的功能，但可能需要启用它们。