Question

以下代码将const指针引用传递给size()帮助函数。仅当我从帮助器功能中删除const或&引用运算符时，此方法才有效。

#include <iostream>

using namespace std;                                                                   

template <typename T>
class Test {
   public:
      Test();
      int size();
      void insert(T);
   private:
      struct Node {
         T value;
         Node* left;
         Node* right;                                                              
      };
      Node* root;
      int size(const Node*& node);
};

template <typename T>
Test<T>::Test() { root = nullptr;}                                                                                  

template <typename T>
int Test<T>::size() {return size(root);}                                                                                  

template <typename T>
int Test<T>::size(const Node*& node) {
   if (node != nullptr)
      return 1 + size(node->left) + size(node->right);                             
   return 0;
}

int main() {
   Test<int> t;
   cout << "Size: " << t.size() << endl;
}

当我将此代码编译为C ++ 11时，出现以下编译器错误：

main.cpp:31:11: error: no matching member function for call to 'size'
   return size(root);
          ^~~~
main.cpp:43:26: note: in instantiation of member function 'Test<int>::size' requested here
   cout << "Size: " << t.size() << endl;
                         ^
main.cpp:21:11: note: candidate function not viable: no known conversion from 'Test<int>::Node *' to 'const Test<int>::Node *&' for 1st argument
      int size(const Node*& node);
          ^
main.cpp:10:11: note: candidate function not viable: requires 0 arguments, but 1 was provided
      int size();
          ^
1 error generated.

但是，如果我只是从const调用的辅助函数中删除&或引用运算符（size()），它会完全按预期进行编译和运行。

换句话说，以下任何一项工作：

int size(Node*& node);
template <typename T> int Test<T>::size(Node*& node)

int size(const Node* node);
template <typename T> int Test<T>::size(const Node* node)

但这不是：

int size(const Node*& node);
template <typename T> int Test<T>::size(const Node*& node)

在这三种情况下，声明和实现似乎都是相同的，因此我很难弄清为什么使用const引用的情况失败了。

Answer 1

如果在预期要引用const对象的指针的地方传递指向非const对象的指针是合法的，则可能会违反const正确性。考虑：

const int c = 42;

void f(const int*& p) {
  // Make p point to c
  p = &c;
}

int* q;
f(q);  // hypothetical, doesn't compile
// Now q points to c
*q = 84;  // oops, modifying a const object

传递const参考指针无法匹配方法签名

1 个答案: