c++ - const char* 的模板方法特化

Question

考虑这个片段:

struct S {
    template <typename T>
    void insert(const T& x);
};

template <>
void S::insert<char*>(const char*& x) {}

int main() {
    S s;
    s.insert("");
    return 0;
}

gcc 编译失败，错误信息如下:

error: template-id 'insert<char*>' for 'void S::insert(const char*&)' does not match any template declaration

此错误的原因是什么，是否有一种方法可以编写专用化使其正常工作？

我不是在寻找替代解决方案，我只是想了解错误背后的逻辑。

Answer 1

您指定了错误的参数类型。

请注意，对于 const T&，const 在 T 本身上是合格的。那么对于T = char*，const T&应该是char* const &(即引用 const 指针)，而不是 const char* &(即对指向 const 的指针的引用)。

顺便说一句 Clang给出更清晰的错误信息:

candidate template ignored: could not match 'void (char *const &)' against 'void (const char *&)'

---

顺便说一句，对于 s.insert(""); 规范不会被调用，因为 "" 是一个 const char[1] 确实如此，那么 T 的类型将被推断为 char [1]，这与 char * 不匹配。如果您希望规范适用于 char[1]，那么它应该是

template <>
void S::insert<char[1]>(char const (&) [1]) {}

然后

S s;
s.insert("");

但它只适用于 char[1]，即只有一个元素的 char 数组。我认为让它与 const char* 一起工作会更有意义，那么它应该是

template <>
void S::insert<const char*>(const char * const &) {}

然后

S s;
const char* str = "";
s.insert(str);