MSVC 2017 在单个翻译单元中违反静态初始化顺序

Question

MSVC 2017社区-std=c 17在以下示例中阻塞：

#include <iostream>

struct TC
{
    static TC const values[];
    static TC const& A;
    static TC const& B;
    static TC const& C;

    int const _value;
};

inline constexpr TC const TC::values[]{ { 42 }, { 43 }, { 44 } };
inline constexpr TC const& TC::A{ values[0U] };
inline constexpr TC const& TC::B{ values[1U] };
inline constexpr TC const& TC::C{ values[2U] };

int main(int, char**) noexcept
{
    std::cout << std::boolalpha
        << "&A == &values[0]? " << (&TC::A == &TC::values[0U]) << "\n" 
        << "&B == &values[1]? " << (&TC::B == &TC::values[1U]) << "\n"
        << "&C == &values[2]? " << (&TC::C == &TC::values[2U]) << "\n";
    return 0;
}

预期的输出是:

&A == &values[0]? true
&B == &values[1]? true
&C == &values[2]? true

这是gcc和clang产生的，但MSVC给出:

&A == &values[0]? true
&B == &values[1]? false
&C == &values[2]? false

如果移除了< code>_value成员，并且没有用户定义的构造函数，MSVC会给出正确的结果。

由于所有这些都在单个翻译单元内，我的理解是这属于部分有序动态初始化:

2）部分有序的动态初始化，适用于所有不是隐式或显式实例化的特化的内联变量。如果在每个翻译单元中，在有序或部分有序的W之前定义了部分有序的V，则V的初始化在W的初始化之前排序（或者发生-之前，如果程序启动一个线程）

我不能使用函数来确保初始化顺序，因为我需要的值和的引用它们。

所以问题是，MSVC 违反了这里的标准*，对吗？

*当然cppreference.com不是“标准”，但我假设那里的信息来源正确。

Answer 1

我将同样的问题归结为这个更简单的例子:

#include <iostream>

int values[3];
constexpr int& v{ values[1] };

int main()
{
    std::cout << &v << ", " << &values[1] << "\n";
    return 0;
}

使用最新的MSVC 2017社区，输出:

0119D035, 0119D038

如果删除 constexpr，则不会发生此问题。

所以我认为这是一个带有 constexpr 引用初始化的编译器错误。引用已初始化为

铌。如果有人不熟悉 constexpr 引用定义，请参阅此处或此处。constexpr 强制初始值设定项是具有静态存储持续时间的对象。