通过c ++类在默认参数中的静态数据成员（类指针）

Question

我的AvlTree类头文件代码如下：

template <typename T>
class AvlTree
{
public:
    template <typename T1>
    friend class AvlNode;
    AvlNode<T> *root;


    AvlTree<T>(AvlNode<T> * first=NULL);
    static inline AvlNode<T>* & create();
    const static AvlNode<T>* _default;
    void free(AvlNode<T>* &first=_default){
        if (first==NULL) {delete this->root;}
        first=NULL;
    }
    void Insert(AvlNode<T> *&t, T x);
    ...
}
template <typename T>
inline AvlNode<T>* & AvlTree<T>::create(){
    static AvlNode<T>* _default;
    return _default;
}

我的主要功能是

int main() {    
    using namespace std;
    AvlTree<int> tree;
    int value;
    int tmp;
    vector<int> value0{10,9,8,7,6,2,3,4,55,5,66,67};
    for (auto i = value0.begin(); i != value0.end() ; ++i) {
        tree.Insert(tree.root,*i);
    }
    tree.free();
    ...
}

我在AvlTree类的成员函数中遇到错误：free（）

E:\Cprojects\C1\C3\main.cpp: In member function 'void AvlTree<T>::free(AvlNode<T>*&) [with T = int]':
E:\Cprojects\C1\C3\main.cpp:65:15: error: invalid conversion from 'const AvlNode<int>*' to 'AvlNode<int>*' [-fpermissive]
     tree.free();
               ^
E:\Cprojects\C1\C3\main.cpp:65:15: error: cannot bind rvalue '(AvlNode<int>*)AvlTree<int>::_default' to 'AvlNode<int>*&'
E:\Cprojects\C1\C3\main.cpp: In function 'int main()':
E:\Cprojects\C1\C3\main.cpp:65:15: error: invalid conversion from 'const AvlNode<int>*' to 'AvlNode<int>*' [-fpermissive]
E:\Cprojects\C1\C3\main.cpp:65:15: error: cannot bind rvalue '(AvlNode<int>*)AvlTree<int>::_default' to 'AvlNode<int>*&'
In file included from E:\Cprojects\C1\C3\main.cpp:6:
E:\Cprojects\C1\C3\AvlTree.h:143:10: note: in passing argument 1 of 'void AvlTree<T>::free(AvlNode<T>*&) [with T = int]'
     void free(AvlNode<T>* &first=_default){
          ^~~~
mingw32-make.exe[3]: *** [CMakeFiles\C3.dir\build.make:63: CMakeFiles/C3.dir/main.cpp.obj] Error 1
mingw32-make.exe[2]: *** [CMakeFiles\Makefile2:72: CMakeFiles/C3.dir/all] Error 2
mingw32-make.exe[1]: *** [CMakeFiles\Makefile2:84: CMakeFiles/C3.dir/rule] Error 2
mingw32-make.exe: *** [Makefile:117: C3] Error 2

如果我更换

const static AvlNode * _default;

至

static AvlNode * _default;

我得到这样的错误：

CMakeFiles\C3.dir/objects.a(main.cpp.obj):main.cpp:(.rdata$.refptr._ZN7AvlTreeIiE8_defaultE[.refptr._ZN7AvlTreeIiE8_defaultE]+0x0): undefined reference to `AvlTree<int>::_default'
collect2.exe: error: ld returned 1 exit status
mingw32-make.exe[3]: *** [CMakeFiles\C3.dir\build.make:180: C3.exe] Error 1
mingw32-make.exe[2]: *** [CMakeFiles\Makefile2:72: CMakeFiles/C3.dir/all] Error 2
mingw32-make.exe[1]: *** [CMakeFiles\Makefile2:84: CMakeFiles/C3.dir/rule] Error 2
mingw32-make.exe: *** [Makefile:117: C3] Error 2

它只能在替换代码时成功运行

AvlNode *＆first = _default

至

AvlNode *＆first = create（）

为什么？这是使用默认参数在此类成员函数中成功运行的唯一方法吗？

Answer 1

const static AvlNode<T>* _default; 
void free(AvlNode<T>* &first=_default){

这些是不相容的。由于_default是指向const对象的指针，因此无法将其传递给期望引用指向可变对象的指针的函数。

第二个错误不相关：您还必须定义静态变量，而不仅仅是声明它们：

template <typename T>
AvlNode<T>* AvlTree<T>::_default = nullptr;