函数模板的 C++ 问题(未找到实例)

Question

    template<typename T, int P>
    T matematika(T polje[], int N) {
      //CODE...
    }

这就是错误所在(没有函数模板“matematika”的实例匹配指定的类型)

template<>
string matematika(string polje[], int N) {     // ERROR
  //CODE...
}

Answer 1

特化模板的正常语法要求您在特化声明中的名称后面提供特化的模板参数。示例:

template <class T>
struct Container {};

template <>
struct Container<int> {};

当特化一个函数模板(并且只是一个函数模板)时，如果参数可以从特化中推导出来，则可以省略它们。情况就是这样，例如这里:

template <class T>
void foo(T t) {}

// One valid way to specialise:
template <>
void foo<int>(int i) {}

// Another valid way to specialise:
template <>
void foo(int i) {}

但是，这仅适用于可以从特化中推导出模板参数的情况。在您的情况下，情况并非如此，因为没有什么可以从中推断出 P 。因此，您必须明确提供该值:

template<>
string matematika<string, /*Whatever value of P you want to specialise for*/>(string polje[], int N) {
  //CODE...
}