c++ - 为什么不允许将 this 的指针用作函数的默认参数？

Question

我刚刚为我的二叉树编写了一个有序函数，我遇到了这个困难。

class BinaryTree
{
private:
     struct Node* o_root;
public:
BinaryTree()
    {
              o_root = new Node();    
        o_root->data = 0;
        o_root->left = NULL;
        o_root->right = NULL;

    }
    void inorder(Node*root = o_root);//Invalid

};


void BinaryTree::inorder(Node* root = o_root)//Invalid
    {
         if(root==NULL)
         {
             return;
         }
         inorder(root->left);

         cout<< root -> data;

         inorder(root->right);

    }

我得到一个错误:非静态成员引用必须相对于特定对象

如果我将根节点设为静态，这将起作用。

为什么会这样？如果我有两棵二叉树，我会想要对象的特定根，而不是静态成员。我尝试使用 this 运算符，但这给了我另一个错误，基本上是说在默认参数中不允许使用此运算符。

谁能解释为什么这不起作用以及为什么 C++ 拒绝将此运算符用作默认参数？

Answer 1

那是因为 this 在实际调用该方法时既未定义也不存在(想象一下生成的代码)。实际成员变量也是如此(没有指向数据的指针，也无法访问数据)。

为了更详细地阐述这一点，它还会导致未真正定义的奇怪构造，如下所示(请记住 o_root 甚至是私有(private)的!):

sometree->inorder();
// ...would essentially be the same as...
sometree->inorder(sometree->o_root);

如何重载 inorder()，删除默认参数？

基本上使用以下内容:

void BinaryTree::inorder(void)
{
    inorder(o_root);
}

void BinaryTree::inorder(Node* root)
{
    // your code as-is
}