在 C++ 初始化程序列表中初始化动态 C 数组

Question

大多数人可能会建议我使用std::vector 甚至std::array，但是下面的自定义数组类使用C 数组并且它可以工作，我只需要解释一下它为什么工作。

作为参考，这里是初始化动态 C 样式数组的常用方法：

int* elements = new int[size];

现在下面，我们有自己的自定义数组类，它在初始化列表中初始化一个动态 C 样式数组。问题是我不明白 C 数组是如何在 初始化程序列表中初始化的。

class myArray 
{
public:

    myArray(int size) : size(size), elements(new int[size])
    {
        std::cout << "Constructed array of size " << size << std::endl;
    }

    ~myArray()
    {
        delete[] elements;
        std::cout << "Deleted elements" << std::endl;
    }

    int getSize() const { return size; }

private:
    int size;
    int* elements;  // our C style array
};

谢谢

更新

我想进一步澄清我的问题。下面是我通常初始化动态 C 数组的老式“赋值”方式：

myArray(int size)
{
    elements = new int[size];
    // elements(new int[size]); // why will line only work in initializer list?
    std::cout << "Constructed array of size " << size << std::endl;
}

但请参阅注释行。为什么这不起作用，但它在初始化列表中起作用？

Answer 1

我不明白 C 数组是如何在初始化列表中初始化的。

这里：

myArray(int size) : size(size), elements(new int[size])

elements基本上是new int[size]返回的赋值

你可以改写成：

myArray(int size)
{
    this->size = size;
    elements = new int[size];
    std::cout << "Constructed array of size " << size << std::endl;
}

[编辑]

这个：

// elements(new int[size]); // why will line only work in initializer list?

在函数体中不起作用，因为在这个地方编译器认为你要调用一个名为elements的函数，但是没有这个函数。

它在初始化列表中起作用的事实是因为这就是语言语法的制作方式。

Answer 2

有两种初始化方式。第一种方法是普通（文字）类型初始化。第二种方式是非平凡类型 init。

有关这些类型之间的区别，请参阅What is a non-trivial constructor in C++?

您还可以看到，如果您手动调用默认构造函数或可以隐式调用默认构造函数，那么微不足道的行为可能会有所不同。这将确定内存是否在分配时被初始化（zerofill）。

您可以在 Anthony Williams “C++ Concurrency in Action: Practical Multithreading”一书中找到有关隐藏初始化的一些有用信息