は、テンプレート関数

Question

とは一致しませんで：

#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; 
} 

それは2つのテンプレート引数を持っているので、コンパイラはg()への呼び出しと一致していないが、それはh()うまくマッチします。どうして？

はFYI：私のコードベースは、実際には、いくつかの、高度に専門的な文字列クラスを使用していますので、私は第一及び第二引数が異なる文字列型であるかもしれない最大の柔軟性を可能にします。

Answer 1

コンパイラは、StringType2が想定されていることは考えていません。

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

これを正しく動作させるには、次のようなコードで呼び出す必要があります。

Answer 2

g（）は、StringType2がc_str（）メンバーメソッドを提供しないconst char []（またはそれと類似した変形）であると推定されるため、拒否されます。どちらの場合でも、StringTypeがstd :: stringになっているので、h（）は正常に一致します。

詳細なメタプログラミング手法を調べる必要がありますが、これは完全に可能である必要があります。

編集：明らかにデフォルトのargsはテンプレートタイプの控除などには参加しません。いずれにしても、部分的な特殊化のように、これを達成するために別のテクニックを使用する必要があります。