C++模板内的函数指针

Question

我有这个问题：

template<typename T> class Bubu
{
...
   int (*comparer)(const T t1, const T t2);
...
public:
   Bubu(int (*_comparer)(const T t1, const T t2))
   {
      comparer = _comparer;
   }
};

在另一个文件中：

Bubu<char*> asd(strcmp);

错误：

error C2664: 'Bubu<T>::Bubu(int (__cdecl *)(const T,const T))' : 
             cannot convert parameter 1 from 'int (__cdecl *)(const char *,
             const char *)' to 'int (__cdecl *)(const T,const T)'

我不明白为什么。编译器不应该在那里看到“char*”而不是“T”吗？

编辑：Ideone.com 就绪代码：

int asdf(const char* a, const char* b)
{       return 0; }

template class Bubu
{
   int (*comparer)(const T t1, const T t2);
public:
   Bubu(int (*_comparer)(const T t1, const T t2))
   {
      comparer = _comparer;
   }
};

int main(int argc, char* argv[])
{
Bubu asd(asdf);
}

Answer 1

当 T 为 char* 时，const T 为 char* const，这与 不同>const char *。您需要：

 Bubu<const char*> asd(strcmp);

函数签名会忽略顶级 const，因此

int (*)( const char* const, const char* const );

类型相同，

int (*)( const char*, const char* );

因此您可以使用额外的顶级 const，尽管它不会比更简单的 int (*comparer)(T t1 获得任何好处，T t2);。

Answer 2

如果 T 专门为 char*，则 const T 表示 char* const （即指向可变 const T 的不可变指针） code>char)，而不是 const char* == char const* （即指向不可变 char 的可变指针）。

Bubu<const char*> asd(strcmp)

将编译。

Answer 3

不确定这是否是您的问题，但是函数指针声明中的 * 位于错误的位置（至少与我见过的相比）。而不是：

int (comparer*)(const T t1, const T t2);

应该是：

int (*comparer)(const T t1, const T t2);

Answer 4

我认为这符合你的要求：

#include <cstring>
#include <iostream>

template<class T>
class Bubu {
public:
    typedef int (*Comparator)(T, T);

    Bubu(Comparator inComparator) : mComparator(inComparator) { }

    int compare(T a, T b)
    {
        return mComparator(a, b);
    }

private:
    Comparator mComparator;
};

int main() 
{
    Bubu<const char*> obj(strcmp);
    std::cout << obj.compare("one", "two") << std::endl;
    return 0;
}