使用 new [重复] 实例化的结构上的未初始化内存警告

Question

所以我有一个节点结构

struct Node
{
    int x = 0;
};

我赚了 20 个Node*s。我的理解是Node** 是一个指向数组开头的指针，该数组包含指向Nodes 的指针。

constexpr int mazeSize = 20;
Node** testMaze = new Node * [mazeSize];

在此之后，当我尝试对其进行任何操作时，我开始收到警告和错误。例子：

testMaze[0]->position.x == 0; //->Using uninitialized memory `*testMaze` and 

我从这个错误中了解到：*testMaze 正在取消引用指针数组，这意味着它引用了该数组中的第一个 Node 对象。如果是这种情况，我将如何初始化它？如果我只是这样创建Node*：

Node* node = new Node;
node->x = 0; 

它工作得很好，不需要初始化它，那么为什么不按照我的方式做呢？我也不明白如何初始化一个结构。

另一个例子：

testMaze[0]->x == testMaze[1]->x //->Runtime error: Access violation reading error
testMaze[0]->x = 0; //->Runtime error: Access violation writing error

如何解决这些问题？谢谢。

Answer 1

问题：

    constexpr int mazeSize = 20;
    Node** testMaze = new Node *[mazeSize]; //this makes 20 pointers, but the pointers dont point to anything

    testMaze[0]->position.x == 0; //undefined, as testMaze's pointers do not point to anything

这是因为你创建了一个新的node，而不是一个指向node的新指针。

Node * node = new Node;
node->x = 0;

至于这个：

    testMaze[0]->x == testMaze[1]->x; //This is an undefined pointer, it doesn't point to anything, and you are trying to access it, so UNDEFINED behavior
    testMaze[0]->x = 0; //This is a undefined pointer, it doesn't point to anything, and you are trying to access it, so UNDEFINED behavior
}

我会这样做：

Node** Make(int size) {
    Node** temp = new Node * [size];
    Node* pool = new Node[size];
    for (int i = 0; i < size; ++i) {
        temp[i] = &pool[i];
    }
}

这使您的指针数组，使您的指针指向指向实际值的实际指针。

另外，不要忘记delete[] 你的Node**s 和Node*s，否则你会发生内存泄漏！

Answer 2

永远记住，指针类型是独立的、具体的类型，有自己的类型和大小。指向 T T* 的指针基本上归结为一小块内存，用于将地址存储到另一个内存区域，（希望）包含某种类型的实例 T。

有

Node** testMaze = new Node * [mazeSize];

您正在分配Node* 和sizeof(Node*) 类型的maxSize 指针大小 元素数组（在现代平台上通常为4 或8 字节，具体取决于您的可执行文件是否旨在在 32 位或 64 位模式下运行）。

这些新创建的指针没有被初始化，因此指向无效地址，除非你也零初始化数组：

Node** testMaze = new Node * [mazeSize] {};
assert (testMaze[0] == nullptr); // holds true

为了获得Node 的maxSize 实例，您必须创建maxSize 的Node 实例：

Node** testMaze = new Node* [mazeSize];
for (std::ptrdiff_t i {}; i < maxSize; ++i) {
    testMaze[i] = new Node { /* insert parameters here */ };
}

鉴于您使用的是constexpr，我推断您所针对的 C++ 版本是 C++11 或更高版本。在这种情况下，您应该知道，在编写现代 C++ 时，operator new 和 operator new[] 几乎总是错误的选择，因为它们只返回您必须手动管理其所有权和生命周期的指针。

您绝对应该开始使用 STL 容器，例如 std::vector 和 std::array，它们更易于使用，并且可以避免很多不必要的痛苦。如果你坚持使用new，至少看看std::unique_ptr，它包装了一个指针或C数组，一旦超出范围就会自动调用delete或delete[]。