我应该在赋值运算符中检查 NULL 吗？

Question

我有课

class Node {

  public:
    int value;
    Node * next;

    Node();
    Node(const Node& other);
    Node& operator= (const Node& other);
};

它不是很有用，但它有一个重写的赋值运算符。里面的所有东西都是public，因为我是一个非常开放和合作的人。

现在我在其他地方有一个这些节点的数组：

Node * nodes = new Node[15];

当我尝试将一个节点分配给我的节点数组时：

nodes[0] = Node();

我遇到了严重的崩溃。

我的赋值运算符如下所示：

Node& Node::operator= (const Node& other) {

  // watch out for self assignment
  if (this == &other) return *this;

  delete this->next;
  this->next = new Node(*(other.next)); // call the copy constructor
  this->value = other.value;

  return *this;
}

我觉得在尝试取消引用其成员之前，我应该检查 this 是否为 NULL。对可能出了什么问题有任何想法吗？

Answer 1

你永远不应该检查this 是NULL；在有效对象上调用非静态成员函数是非法的。

您可能必须确保分配中源对象和目标对象的next 指针成员变量为空或指向有效对象。如果没有看到真实的代码，就不可能说你现在拥有的构造函数是否正确地做到了这一点。

Answer 2

问题是你取消引用other.next，它可能是NULL。所以你应该在取消引用之前检查other.next 是否为空：

this->next = other.next ? new Node(*other.next) : 0;

取消对 NULL 指针的引用是未定义的，因此如果您这样做，任何事情都可能发生——它可能不会立即崩溃，而是会跑到意想不到的地方，让您和调试器都感到困惑。

Answer 3

我加倍说你不应该检查这个是否为 NULL。 我相信您的所有权在此处设置不明确。谁拥有下一个节点？

This ->next 或 other ->next 可能为 null，因此请在删除/取消引用之前检查。

如果不了解您的代码的更多信息，就很难说出您想要实现的目标。

Answer 4

this 永远不会是 NULL，但是在您的示例中，this->next 将是 NULL 或 nodes[0] 的无效引用，因为该对象从未被初始化（我不太确定编译器做了什么，也许它用零填充数组，也许不是）。我建议你提防delete this->next; 使用NULL 指针，并确保你的数组在分配后是空白的。 IE。进行以下更改：

Node * nodes = new Node[15] {0};

和

if (this->next) delete this->next;