顯式特化“...”不是函數模板的特化

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;