与模板函数不匹配

Question

In:

#include <string>

void f( char const*, char const* = "" ) {
}

template<class StringType1,class StringType2> inline
void g( StringType1 const &s1, StringType2 const &s2 = "" ) {
  f( s1.c_str(), s2.c_str() );
}

template<class StringType> inline
void h( StringType const &s1, StringType const &s2 = "" ) {
  f( s1.c_str(), s2.c_str() );
}

int main() {             
  std::string s;
  g( s ); // error: no matching function for call to ‘g(std::string&)’
  h( s ); // OK
  return 0;
}

编译器不匹配对 g() 的调用，因为它有 2 个模板参数，但它与 h() 匹配得很好。为什么？

仅供参考：我的代码库实际上使用了几个高度专业化的字符串类，因此我希望允许最大的灵活性，其中第一个和第二个参数可能是不同的字符串类型。

Answer 1

编译器不知道 StringType2 应该是什么。您需要使用以下内容来调用它：

   g<std::string, std::string>( s );

才能使其正常工作。

Answer 2

g() 被拒绝，因为 StringType2 被推导为 const char[] （或其某些类似变体），不提供 c_str() 成员方法。 h() 匹配得很好，因为在这两种情况下您都强制 StringType 为 std::string 。

您将需要研究更详细的元编程技术，但这应该是完全可能的。

编辑：显然默认参数不会参与模板类型推导或其他内容。无论如何，您将需要使用不同的技术来完成此任务，例如部分专业化。