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

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

由于所有这些都在一个翻译单元中，我的理解是这属于Partially-ordered dynamic initialization：

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

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

所以问题是，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 引用初始化的编译器错误。引用被初始化为&values[0] + 1 字节，而不是应有的&values[1]。

注意。如果有人不熟悉 constexpr 参考定义，see here 或 here。 constexpr 强制初始化器是一个具有静态存储持续时间的对象。