C++ 模板特化问题

Question

我在使用 C++ 中的专用函数模板时遇到问题。我正在编写一个比较函数模板，它将用于对不同数据类型进行排序。这是我的部分代码：

template < typename T >
bool cmp(T a, T b)
{
    std::cout<<"normal"<<std::endl;
    return(a >= b);
}

template < typename T >
bool cmp(T* a, T* b)
{
    std::cout<<"pointer"<<std::endl;
    return(*a >= *b);
}

所以我可以按值和点值排序。但是，当我尝试将此函数传递给 sort:

double* double_array[]={d1,d2,d3,d4,d5};
nsp::sort(double_array, 5, nsp::cmp<double*>);

我得到编译错误：

error: no matching function for call to 'sort(double* [5], int, <unresolved overloaded function type>)'|
template argument deduction/substitution failed:|
could not resolve address from overloaded function 'cmp<double*>'|

为什么？我明确提供模板类型！

作为参考，我的排序函数模板如下所示：

namespace nsp {
    ...

    template < typename T, typename CMP>
    void sort(T array[], int n, CMP cmp=CMP())
    {
        for(int j = 0;j < n-1; j++)
            for(int i = 0; i < n-1; i++)
              if(cmp(array[i],array[i + 1]))
                  std::swap(array[i], array[i + 1]);
    }
}

Answer 1

使用 "unresolved overloaded function type" 时出现编译错误的原因很简单，您正试图将重载函数传递给 sort()。您提供 cmp<double*> 但仍然有两个 cmp<double*> 函数：需要两个 double* 的函数（您的第一个函数模板）和一个需要两个 double**s（你的第二个）。编译器不清楚你指的是哪一个。

您可以将 cmp 转换为您想要的那个：

static_cast<bool(*)(double*, double*)>(nsp::cmp<double>) // note you want cmp<double>,
                                                         // not cmp<double*>

请注意，混淆的一个来源是您认为自己 专业化 cmp。你不是。函数模板没有部分特化。你超载了它。函数模板唯一允许的特化是 explicit:

template <>
bool cmp(double* a, double* b) {
    std::cout<<"pointer"<<std::endl;
    return(*a >= *b);
}

这将使 nsp::cmp<double*> 明确无误，并且完全符合您的期望。在这种情况下。您必须分别为每种类型执行此操作。相反，您可以提供一个 class 模板比较器，因为 class 模板可以部分专门化：

template <typename T> struct Cmp { .. };     // "normal"
template <typename T> struct Cmp<T*> { .. }; // "pointer"

这样，您就可以通过 nsp::Cmp<double*>()，在我看来，这要干净得多。

C++ 模板特化问题

C++ template specialization problems

c++

templates

template-specialization