コンパイラは、呼び出しに一致する関数がないことを示しています（プロトタイプに1つあります）

Question

バイナリ検索ツリークラスを実装しようとしていますが、コンパイラがエラーを投げています。

template <class Item, class Key> 
class bstNode 
{ 
public: 
    bstNode(); 
    bstNode(const Item& init_data, const Key& init_key, bstNode<Item, Key> *init_left, bstNode<Item, Key> *init_right); 
    ~bstNode(); 
    bstNode<Item, Key>* tree_copy(const bstNode<Item, Key>*& root); 
private: 
    Item data; 
    Key key; 
    bstNode* left; 
    bstNode* right; 
}; 

    template <class Item, class Key> 
    //line 83 in the original code is below 
bstNode<Item, Key>* bstNode<Item, Key>::tree_copy(const bstNode<Item, Key>*& root) 
{ 
    bstNode<Item, Key>* l_ptr; 
    bstNode<Item, Key>* r_ptr; 
    if (root == NULL) return NULL; 
    l_ptr = tree_copy(root -> left()); 
    r_ptr = tree_copy(root -> right()); 
    return new bstNode<Item, Key> (root -> data(), l_ptr, r_ptr); 
} 

.hファイルが空の主な機能と罰金コンパイルが、私はbstNode.cxxで次のコードビットでそれをしようとすると、それがエラーを与えて、クラッシュ：bstNode.hファイルはこちらです。

#include <cstddef> 
#include <algorithm> 
#include <math.h> 
#include <iostream> 
#include "bstNode.h" 

using namespace std; 

int main() 
{ 
    bstNode<int, size_t>* root_ptr = NULL; 
    bstNode<int, size_t>* copy_root_ptr = root_ptr -> tree_copy(root_ptr); 
    return 0; 
} 

し、エラーがある：コードがある

bstNode.cxx: In function ‘int main()’: 
bstNode.cxx:14: error: no matching function for call to ‘bstNode<int, long unsigned int>::tree_copy(bstNode<int, long unsigned int>*&)’ 
bstNode.h:83: note: candidates are: bstNode<Item, Key>* bstNode<Item, Key>::tree_copy(const bstNode<Item, Key>*&) [with Item = int, Key = long unsigned int] 

プロトタイプは、関数の実装と全く同じである、サンセリフbstNode ::ので、私は何が起こっているのかわかりません。私はg ++コンパイラを使用しています。何か案は？ありがとう、ありがとう。

EDIT：問題を強調表示するためにコードを縮小しました。

Answer 1

コンパイラは（ほとんどの場合のように）コードを拒否するのが正しいです。問題は、T*&からconst T*&への変換がないため、既存の関数を使用できないことです。

変換が存在しないのはなぜですか？

その変換が存在しない理由は、const-correctnessを破るためです。この例で考えてみましょう：あなたが関数に渡されたポインタを変更する必要がないので、可能な解決策、今

const int k = 10; 
void f(const int*& kp) { 
    kp = &k;     // Fine, the pointer promises not to change the object 
} 
int main() { 
    int *p; 
    f(p);     // Does not compile, but assume it would 
          // after the call, p points to k 
    *p = 20;    // Modifying a constant!!!! 
          // p never promised not to change the pointee 
} 

は署名にさらに多くのconst秒を追加することですやって

bstNode<Item, Key>* tree_copy(const bstNode<Item, Key>* const & root); 

したがって、上記の例の問題であるポインタの変更をコードからブロックしています。しかし、あなたが本当にそれについて考えるならば、

なぜ最初にポインタへの参照を渡すのですか？

ポインタがそうconst&によってそれらを渡すことはあまり意味がありません、コピーして安価であり、そしてあなたが渡しているポインタを変更する機能を必要としないので、値渡しすることは、潜在的に正しいとの両方になりますもっと効率的。

Answer 2

プロトタイプは全く同じではありません。constの違いがあるためです。あなたはそれが非constポインタへの参照を取得しています

bstNode<int, size_t>* root_ptr; 
tree_copy(root_ptr); 

としてそれを呼んでいるのに対し、宣言は

bstNode<Item, Key>* tree_copy(const bstNode<Item, Key>*& root); 

（のconstポインタを参照）です。 foo *をconst foo *とするものに渡すことができますが、const foo * &というものを参考にしてfoo *を渡すことはできません。