重载模板类的成员函数

overloading a member function of a template class

本文关键字:成员 函数 重载      更新时间:2023-10-16

我有一个模板类Tree,它向模板类NodeTree插入一个值。Tree是NodeTree的朋友。我向NodeTree插入值的函数是:

template<typename NODETYPE>
void Tree<NODETYPE>::insertNode(const NODETYPE &value)
{
    insertNodeHelper(&rootPtr, value);
}

insertNodeHelper是一个实用函数。我希望我的insertNodeHelper行为与conststring*不同。我想到的第一件事就是超载。类中的声明:

template<typename NODETYPE>
class Tree
{
public:
    Tree();
    void insertNode(const NODETYPE &);
private:
    TreeNode<NODETYPE>*rootPtr;
    void insertNodeHelper(TreeNode<NODETYPE> **, const NODETYPE &);
    void insertNodeHelper(TreeNode<NODETYPE> **, const char *);
};

定义:

 template<class NODETYPE>
    void Tree<NODETYPE>::insertNodeHelper(TreeNode<NODETYPE>**ptr, 
        const char *value)
    {
        if (*ptr == 0)
            *ptr = new TreeNode<const char *>(value);
        else
        {
            if (strcmp(value, (*ptr)->data) < 0)
                insertNodeHelper(&((*ptr)->leftPtr), value);
            else if (strcmp(value, (*ptr)->data) >= 0)
                insertNodeHelper(&((*ptr)->rightPtr), value);
        }
    }
template<typename NODETYPE>
void Tree<NODETYPE>::insertNodeHelper(
    TreeNode<NODETYPE>**ptr, const NODETYPE &value)
{
    if (*ptr == 0)
        *ptr = new TreeNode<NODETYPE>(value);
    else
    {
        if (value < (*ptr)->data)
            insertNodeHelper(&((*ptr)->leftPtr), value);
        else if (value >= (*ptr)->data)
            insertNodeHelper(&((*ptr)->rightPtr), value);
    }
}

但是我得到了这个错误:

1>c:usersshayandocumentsvisual studio 2013projectsfig21.20fig21.20tree.h(54): error C2244: 'Tree<NODETYPE>::insertNodeHelper' : unable to match function definition to an existing declaration

我知道,当你有一个模板函数和一个重载的普通函数时,当编译器寻找一个合适的函数时,它会为特定的类型选择普通函数。但在这里,它并没有做到这一点。如何实现成功的重载?

我意识到了我的错误。模板类中使用类模板参数的函数不是模板函数!考虑一下:

template<typename TYPE>
class foo
{
void f1(U);
void f1(char);
}

如果你认为f1(char)用于char值,那你就错了!当您声明foo<char>编译器时,会生成如下代码:

class foo
{
void f1(char);
void f1(char);
}

有一种使f1过载的简单方法。像这样:

template<typename TYPE>
class foo
{
template<typename I>
void f1(I);
void f1(char);
}

所以在这种情况下没有重复的函数,模板f1也创建了一个合适的函数,但编译器在模板f1之前调用普通函数。