constexpr 初始化是否应该在其他初始化之前发生

Question

我有以下代码，它在 gcc 和 clang 上的行为与预期一致。但是，MSVC 给了我一个意想不到的结果。

让我们先看看有问题的代码。

#include <iostream>

// -----------------------------------------------

class Test // Dummy for MCVE
{
public:
    Test();
    void Print();
private:
    int arr[5];
};

Test tst;

// -----------------------------------------------

template<typename T>
struct range // some stuff not needed by example removed
{
    constexpr range(T n) : b(0), e(n) {}
    constexpr range(T b, T e) : b(b), e(e) {}
    struct iterator
    {
        T operator*() { return i; }
        iterator& operator++() { ++i; return *this; }
        bool operator!=(iterator other) { return i != other.i ; }
        T i;
    };
    iterator begin() const { return{ b }; }
    iterator end() const { return{ e }; }
private:
    T b,e;
};

constexpr range<int> coord(5);

// -----------------------------------------------

Test::Test()
{
    for(auto i : coord)
        arr[i]=i;
}

void Test::Print()
{
    for(auto i : coord)
        std::cout << arr[i] << std::endl;
}

// -----------------------------------------------

int main()
{
    tst.Print();
}

现在，在 clang 和 gcc 上都会打印 '0 1 2 3 4'
但是，在 MSVC 上，这会打印 '0 0 0 0 0'
原因是当构造函数对全局变量tst 运行时，'coord' 尚未初始化（到 0,5），但它也不是随机的，而是 (0,0)。
对我来说，constexpr 初始化发生在常规初始化之前是有意义的。这种行为是否符合 MSVC？

我可能应该注意到我使用的是 MSVC 版本 14.0.22823.1，并且 可以通过改变顺序得到预期的结果 声明

Answer 1

对于静态存储持续时间对象的初始化必须按以下顺序进行：

1. 零初始化。
2. 不断初始化（即constexpr）。
3. 动态初始化。

相关标准，

C++14 §3.6.2/2：

” 具有静态存储持续时间 (3.7.1) 或线程存储持续时间 (3.7.2) 的变量应为零初始化 (8.5) 在任何其他初始化发生之前。 [...] 持续初始化 被执行：[...] 如果一个具有静态或线程存储持续时间的对象被构​​造函数调用初始化，并且如果 初始化全表达式是对象的常量初始化器； […] 零初始化和常量初始化一起称为静态初始化；所有其他初始化都是动态初始化。静态初始化应在任何动态初始化发生之前执行。

同一段定义（打断了文字的流动，所以我在上面去掉了）

” 对象o 的常量初始化器 是一个常量表达式，除了它还可以为o 调用constexpr 构造函数及其子对象，即使这些对象属于非文字类类型。

---

在我使用 Visual C++ 2015 验证的报告示例中，静态存储持续时间对象 tst 的动态初始化发生在静态存储持续时间对象 coord 的常量初始化之前，这是一个编译器错误。