不同的输出取决于我是否打印返回值

Question

所以我有一个简单的 C++ 代码 sn-p，它应该将一个节点插入到二叉搜索树中。如果值被成功插入，则返回 true，如果值已经在树中，则返回 false。

struct Node {
  int data;
  Node* parent = nullptr;
  Node* left = nullptr;
  Node* right = nullptr;
};

bool insert(Node& root, int data) {
  if (data > (root.data)) {
    if ((root.right) == nullptr) {
      Node newNode = {data, &root};
      root.right = &newNode;
      return true;
    } else {
      return insert(*root.right, data);
    }
  }
  else if (data < (root.data)) {
    if ((root.left) == nullptr) {
      Node newNode = {data, &root};
      root.left = &newNode;
      return true;
    } else {
      return insert(*root.left, data);
    }
  }
  else {
    return false; // if both values are equal 
  }
}

在测试我的功能时，我发现了一些奇怪的东西。当我不打印函数的返回值时，它给出了正确答案（20）：

  Node root = {50};
  insert(root, 20);
  cout << (root.left->data) << endl;

然而，当我做打印返回值时，它给出了不正确的结果（0）：

  Node root = {50};
  cout << insert(root, 20) << endl;
  cout << (root.left->data) << endl;

我无法理解为什么会发生这种情况，但我最好的选择是因为一些奇怪的内存问题，也许没有为结构分配新内存？我来自 Python，内存管理是自动处理的，所以我仍然习惯这样的情况。

Answer 1

你在那里调用未定义的行为：

  Node newNode = {data, &root};
  root.right = &newNode;

这会在您的树中存储堆栈变量的地址。一旦函数返回，取消引用这个Node 的孩子就不再合法了。从那里开始，任何事情都可能发生。

你可能想要这样的东西：

  Node* newNode = new Node;
  newNode.data = data;
  newNode.root = root;
  ...
  root.right = newNode;

编辑：请记住，每当您将new 放入代码中时，您都需要一个匹配的delete。为了避免这种麻烦，现代方法是使用unique_ptr。你应该调查一下。在您的情况下，由于您保留指向根的反向指针，因此您需要 shared_ptr 和/或 weak_ptr。