c++ - C++函数完全特化给出错误

Question

我有以下代码来了解功能的完全特化概念:

//Function Full specialization is legal but not partial
class Wrapper
{
public:
    void setValue(int x) { }
};

template <typename R, typename T>
R* create(T t)
{
    return new R(t);
}
template <>
Wrapper* create<Wrapper, int>(int n) // fully specialized now -> legal...
{
    Wrapper* w = new Wrapper();
    w->setValue(n);
    return w;
}

//template <typename T>
//Wrapper* create<T, int>(T n) // partial specialized now -> illegal...
//{
//    Wrapper* w = new Wrapper();
//    w->setValue(n);
//    return w;
//}

//T
int main()
{
    create< Wrapper, int>(2);
    create< int, int>(2);
}

上面的代码可以按预期进行编译和执行，但是当我将完整的特化功能签名更改为其他代码时:

template <>
const char* create<const char*, int>(int n) // fully specialized now -> legal...
{
    //Wrapper* w = new Wrapper();
    //w->setValue(n);
    //return w;
    return "Hi";
}

要么

template <>
char* create<char, char>(int n) // fully specialized now -> legal...
{
    return (char*)"HI";
}

错误:

explicit specialization 'const char *create<const char*,int>(int)' is not a specialization of a function template   Specialization and Overloading

explicit specialization 'char *create<char,char>(int)' is not a specialization of a function template   Specialization and Overloading

为什么代码会报告错误，以及如何解决该错误？

Answer 1

template <>
char* create<char, char>(int n)
{
    return (char*)"HI";
}

和

template <>
const char* create<const char*, int>(int n)
{
   return "Hi";
}

不是模板专长:前者没有一致的参数，而后者没有一致的返回类型。

template<>
char* create<char, char>(char n)  // char n instead of int n
{
    return (char*)"HI";
}

和

template <>
const char** create<const char*, int>(int n) // const char** instead of const char*
{
    static const char* test="Hi";
    return &test;
}

是。