具有 `const char *` 特化的传递引用模板函数

Question

我有一个模板函数：

template<typename T>
void foo(T const & t);

以及该功能的一些特化：

template<> void foo<int>(int const & t) {
  cout << t << endl;
}

template<> void foo<const char *>(const char * const & t) {
  cout << t << endl;
}

还有一些我想调用该函数的方法：

foo(3);
foo("Hello, world.");

但我不知道如何制定模板，以便模板类型推导得到int 和const char * 的文字。如果我执行上述操作，那么我会得到undefined reference to void foo<char [14]>(char const [14] &)。我尝试像这样重铸模板：

template<typename T>
void foo(T t);

template<> void foo<int>(int t) { ... }
template<> void foo<const char *>(const char * t) { ... }

这可行，但当然现在我得到了按值调用的语义，要求我用作模板参数的任何类类型都有一个复制构造函数。

有没有办法编写一个有效的const char * 特化的传递引用模板函数？

Answer 1

这个：

foo("Hello, world.");

不调用foo<const char*>。它调用foo<char[14]>，因为foo 需要T const&。未调用您的专业化，因为它与模板的类型不同。

也就是说，不要专攻。重载：

template<typename T>
void foo(T const& );

void foo(int const& );

void foo(char const* );

它更容易推理，更有可能做你真正想做的事。