あいまいな呼び出しを再帰的に可変引数テンプレート関数のオーバーロードを呼び出す

Question

は、コードのこの部分を考えてみましょう：

template<typename FirstArg> 
void foo() 
{ 
} 

template<typename FirstArg, typename... RestOfArgs> 
void foo() 
{ 
    foo<RestOfArgs...>(); 
} 

int main() 
{ 
    foo<int, int, int>(); 
    return 0; 
} 

RestOfArgsが一つだけの要素（{int}）を持っているとき、それが原因あいまいな呼び出しfoo<RestOfArgs...>();にコンパイルされません。

しかし、これはエラーなしでコンパイル：

template<typename FirstArg> 
void foo(FirstArg x) 
{ 
} 

template<typename FirstArg, typename... RestOfArgs> 
void foo(FirstArg x, RestOfArgs... y) 
{ 
    foo(y...); 
} 

int main() 
{ 
    foo<int, int, int>(5, 6, 7); 
    return 0; 
} 

なぜ最初のケースで曖昧さはありますか？

なぜ2番目のケースではあいまいさがありませんか？

Answer 1

なぜ最初のケースではあいまいさがありますか？

RestOfArgsは空でもかまいません。

のでfoo<int>をとしてインスタンス化することができます両方がコンパイルされますので、それが曖昧な

template<int> 
void foo() 
{ 
} 

と

template<int,> 
void foo() 
{ 
    foo<>(); 
} 

。

実際にはfoo<>()はコンパイルされませんが、次のインスタンス化では失敗するため、問題はありません。

なぜ2番目のケースであいまいさはありませんか？

foo<int>(7)はとしてインスタンス化することができる。

template<int> 
void foo(int 7) 
{ 
} 

と

template<int> 
void foo(int 7) 
{ 
    foo(); 
} 

しかし引数を取るいいえfooが存在しないため、もう一つは、エラーであるため、唯一の候補が最初であります1つ、したがってあいまいではありません

Answer 2

The answer by @ZangMingJieあなたのコードで観察している動作の違いに答えます。

私はそれが簡単に次のように変更して名前解決を理解することが分かっ：

template<typename FirstArg> 
void foo() 
{ 
    printf("1\n"); 
} 

template<typename FirstArg, typename SecondArg, typename... RestOfArgs> 
void foo() 
{ 
    printf("2\n"); 
    foo<SecondArg, RestOfArgs...>(); 
} 

int main() 
{ 
    foo<int, int, int>(); 
    return 0; 
} 

二つ以上のテンプレートパラメータが使用されているがある場合には、第二の機能が呼び出されます。 1つのテンプレートパラメータがある場合、最初の関数が呼び出されます。 Function template overloading

で

Answer 3

（与えられたパラメータに基づいて）、より特化されたテンプレート機能伝えるためのルールがたくさんあります。

foo<int>()ための曖昧

template<typename> void foo(); 
template<typename, typename...> void foo(); 

を作るポイント、しかしfoo(42)のためではない

template<typename T> void foo(T); 
template<typename T, typename... Ts> void foo(T, Ts...); 

は以下の通りです：

In case of a tie, if one function template has a trailing parameter pack and the other does not, the one with the omitted parameter is considered to be more specialized than the one with the empty parameter pack.