Неоднозначный вызова при рекурсивном вызове функции VARIADIC шаблона перегрузки

Question

Рассмотрим этого куска коды:

template<typename FirstArg> 
void foo() 
{ 
} 

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

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

Это не компилируется из-за неоднозначный вызов foo<RestOfArgs...>(); когда RestOfArgs имеет только один элемент ({int}).

Но это компилируется без ошибок:

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

Почему неоднозначность в первом случае?

Почему во втором случае нет двусмысленности?

Answer 1

Почему существует двусмысленность в первом случае?

RestOfArgs может быть пустым.

Так foo<int> может быть создан как:

template<int> 
void foo() 
{ 
} 

и

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

как компилируется, так неоднозначно.

Фактически foo<>() не будет компилироваться, но в следующем экземпляре это не сработает, поэтому это не имеет значения.

Почему нет двусмысленности во втором случае?

foo<int>(7) может быть создан как:

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

и

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

но второй один ошибка, потому что нет Foo не принимает никаких аргументов, поэтому единственным кандидатом является первым один, поэтому не будет двусмысленно

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

При наличии используются два или более параметров шаблона, то вторая функция вызывается,. Когда есть один параметр шаблона, запускается первая функция.

Answer 3

В Function template overloading

Существует много правил, чтобы сказать, какой шаблон функции является более специализированной (в соответствии с заданными параметрами).

Точка, которая делает

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

неоднозначный для foo<int>(), но не

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

для foo(42) является следующее:

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.