显式特化“...”不是函数模板的特化

Question

我正在尝试专门化一个函数模板，但我收到一个错误（标题），我不知道如何解决它。 我猜这是由于我在模板专业化中使用的混合类型。 这个想法只是在专业化中使用int作为double。 非常感谢。

template <typename T>
T test(T x) { return x*x; }

template <>
double test<int>(int x) { return test<double>(x); }

Answer 1

显式特化“...”不是函数模板的特化

真正。 因为你定义了test()

template <typename T>
T test(T x) { return x*x; }

接收T类型并返回相同的 T类型。

当你定义

template <>
double test<int>(int x) { return test<double>(x); }

您正在定义一个接收int值并返回不同类型（ double ）的特化。

所以与T test(T)不匹配。

您可以通过重载解决问题

double test(int x) { return test<double>(x); }

Answer 2

正如您所说，您使用的是返回类型T = double但是对于参数T = int ，这是无效的。

你可以做的是提供一个非模板化的过载：

template<typename T>
T test(T x) { return x*x; }

// regular overload, gets chosen when you call test(10)
double test(int x) { return test<double>(x); }

当然，有人总是可以调用test<int>(/*...*/); 。 如果这是不可接受的，只需删除专业化：

template<>
int test(int) = delete;