使用 std::distance 初始化 const 成员有时会出错

Question

我对刚刚遇到的错误感到有些困惑。我正在使用 Visual Studio 2015，但我遇到了不一致的行为。我已经从它所在的项目中删除了代码并重新创建了行为，请允许我引导您完成代码：

template <typename Ty>
struct Simple_Array
{
    Ty* data;
    const size_t size;

    Simple_Array(size_t size) :
        size(size),
        data(new Ty[size])
    {
    }

    virtual ~Simple_Array() {
        delete[] data;
    }
};

如您所见，我在代码中为 c 数组使用了一个简单的包装器，我想使用 c 数组来进行自学，因此不使用 std::vector 或 std::array 之类的东西。在使用它时，我发现需要一个构造函数，该构造函数在任何其他容器上都采用第一个和最后一个迭代器，所以我决定使用 std::distance(first, last) 来计算大小。

    template <class It>
    Simple_Array(It first, It last) :
        size(std::distance(first, last)),
        data(new Ty[size])
    {
        for (int i = 0; first != last; ++first, ++i)
            data[i] = *first;
    }

现在，当我使用这个构造函数时，大小被初始化为疯狂的大值，例如 3435973836。为什么？这特别令人困惑，因为以下代码可以正常工作：

    template <class It>
    Simple_Array(It first, It last) :
        Simple_Array(std::distance(first, last))
    {
        for (int i = 0; first != last; ++first, ++i)
            data[i] = *first;
    }

为了测试这一点，我编写了以下主函数：

int main() {
    auto list = { 1, 2, 3, 4 };

    try {
        Simple_Array<int>(list.begin(), list.end());
    }
    catch (...) {
        std::cout << "Failed." << std::endl;
    }

    std::cin.get();

    return 0;
}

我看了一眼反汇编，但我还没有弄清楚问题出在哪里。好消息是因为我有一个解决方法，我不需要这个问题的答案来继续我的项目，但我仍然很想知道这里出了什么问题。

我将整个文件粘贴到这里：pastebin.com/ebNrsLaB

Answer 1

哇！这是我有生以来第一次真正看到臭名昭著的 gcc 警告中关于初始化顺序的一点。

特别是，类成员按照它们在类中定义的顺序进行初始化，而不是按照它们在构造函数初始化列表中列出的顺序。由于您的Ty* data; 是在size 之前定义的，因此在将大小设置为实际值之前对其进行初始化（分配） - 使用来自未初始化大小的随机值。

要解决此问题，请确保在类中的数据之前定义大小。

Answer 2

struct Simple_Array
{
    Ty* data;            // (1)
    const size_t size;   // (2)

    Simple_Array(size_t size) :
        size(size),         // (2)
        data(new Ty[size])  // (1)
    {
    }

成员变量按照它们在结构中声明的顺序进行初始化，不是按照您在构造函数初始化列表中的写入顺序。

编译器应该对此发出警告。