类中的 C++ 动态数组分配

Question

我目前正在学习 C++ 的基础知识，并且遇到了以下类数组的问题。

class Arrayclass {
private:
    int arraySize;
    float array[];

public:
    Arrayclass(int arraySize) {
        float * array = new float[arraySize]();
}

~Arrayclass() {
   delete[] array;
}
}

据我所知，在构造函数中初始化的数组实际上并不对应于新类中的存储数组，因此当我在我的主类中初始化一个新类时，创建的数组持有0 值。我很抱歉我的解释不清楚，只是想了解构造函数中初始化的数组与我私有的数组之间的关系。

Answer 1

float array[]

要么是扩展，要么就是无法编译。对于 C 样式的静态数组，使用 Type name[constexpr_size]。对于动态数组，Type* name 存储为指向已分配存储空间开头的指针。

动态数组

好的，我们需要第二个选项。然后，我们从你的 sn-p 开始

class Array { // "class Arrayclass" -> "class Array", no need to repeat ourselves
private:
    float* array{};
    int size{}; // "Array::arraySize" -> "Array::size", again
public:
    ~Array() { delete[] array; } // your destructor is fine
};

（请参阅 member initializer 作为对 float* array{} 和 int size{} 中的 {} 初始化器的解释）。

怎么样

Arrayclass(int arraySize) { float * array = new float[arraySize](); }

，你创建了一个本地的float*，它在作用域结束时死掉（=构造函数）。您可能打算将 newly 分配的数组存储在 (this->)array:

Array(int newSize) { // BAD CODE, see below
    array = new float[newSize]{};
    size = newSize;
}

但上面的代码就像写float* p; p = something（创建默认值，而不是初始化它）而不是float* p{something}（创建时初始化），让我们使用member initializer list改进它：

Array(int newSize): array{new float[newSize]{}}, size{newSize} {}

现在，您的数组（几乎）可以正确构造和销毁了。

===========

但是，还有一个问题：代码如

{
    Array a1{42};
    Array a2{a1}; // copy construction
}

有undefined behavior 并且在实践中（在这种情况下）应该/可能会使您的应用程序崩溃。为什么？因为它的工作方式类似于（sizes 省略）：

{
    float* array1{new float[42]{}};
    float* array2{array1};
    delete[] array1;
    delete[] array2; // that UB (double free); the same dynamic array is deleted twice
}

嗯，这是另一个“课程”的主题。见the rule of three (five) (zero)。一般来说，请参阅 RAII 和复制/移动语义。