重载模板类的成员函数

Question

我有一个作为 Tree 的模板类，它向模板类 NodeTree 插入一个值。树是 NodeTree 的朋友。我向 NodeTree 插入值的函数是：

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

insertNodeHelper 是实用函数。我希望我的 insertNodeHelper 对 const string * 表现不同。我首先想到的是超载它。 类中的声明：

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:\users\shayan\documents\visual studio 2013\projects\fig21.20\fig21.20\tree.h(54): error C2244: 'Tree<NODETYPE>::insertNodeHelper' : unable to match function definition to an existing declaration

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

Answer 1

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

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 也创建了一个适当的函数，但是编译器在模板函数之前调用普通函数。