C++ 函数模板全特化错误

Question

我有这个模板匹配错误。 我知道函数模板中不允许部分专业化，但我认为它应该与完全专业化一起使用。 我需要做哪些改变来解决这个问题？ 谢谢。

#include <iostream>

template<typename T>
void allocate(){
    std::cout << "default" << std::endl;
}

template<>
void allocate<int>() {
    std::cout << "int" << std::endl;
}

template<>
void allocate<double>() {
    std::cout << "double" << std::endl;    
}




int main()
{
    allocate();  // Compiler error, I expect this should match the first template function.
    allocate<int>();
    allocate<double>();
    
    return 0;
}

Answer 1

您需要明确指定模板参数，模板参数T不能从上下文中推导出来。 例如

allocate<void>();

或者为模板参数指定默认参数，例如

template<typename T = void>
void allocate(){
    std::cout << "default" << std::endl;
}

那么你可以称之为

allocate(); // T is void

Answer 2

主模板需要显式指定模板参数，因此您可以执行以下操作：

allocate<struct T>();  // ok

并且由于T是一个新类型，仅为了此调用的目的而命名，因此保证不会对此类型进行特化，并且将调用主模板。

---

您还可以为主要中的模板参数提供默认类型：

template<typename T = struct Default>
void allocate(){
    std::cout << "default" << std::endl;
}

同样， Default不存在特化，因为这种类型只存在于主模板的范围内。

现在您可以在没有模板参数的情况下调用主模板：

allocate();