const char* 的模板方法特化

Question

考虑一下这个sn-p：

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 的指针）。

BTW Clang 给出更清晰的错误信息：

候选模板被忽略：无法将 'void (char *const &)' 与 'void (const char *&)' 匹配

---

再次顺便说一句，对于s.insert("");，不会调用规范，因为"" 确实是const char[1]，那么T 的类型将被推断为char [1]，这与@987654337 不匹配@。如果您希望规范适用于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);