¿Por qué el paquete de parámetros de la plantilla no se deduce a varios argumentos de tipo en la llamada de función?
Tengo una clase con plantilla en un paquete de parámetros y parámetros de tipo, y estoy confundido acerca de la deducción de tipo de este tipo; Mientras escribía un operador de transmisión de salida, descubrí un paquete de parámetros enoperator<<
no coincidirá con los parámetros de tipo y paquete para la clase de plantilla:
#include <iostream>
template<class T, class... Ts>
struct foo
{ /* ... */ };
template< class... Ts >
std::ostream& operator<<( std::ostream& os, const foo<Ts...>& )
{
return os << 42;
}
int main()
{
std::cout << foo<int>();
}
Esto no se compila tanto en gcc-4.7.2 como en clang-3.0, así que supongo que no entiendo las reglas aquí.
gcc dice (donde la línea 16 es la llamada del flujo de salida):
t.cpp:16:28: error: cannot bind ‘std::ostream {aka std::basic_ostream<char>}’ lvalue to ‘std::basic_ostream<char>&&’
In file included from /usr/lib/gcc/x86_64-redhat-linux/4.7.2/../../../../include/c++/4.7.2/iostream:40:0,
from t.cpp:1:
/usr/lib/gcc/x86_64-redhat-linux/4.7.2/../../../../include/c++/4.7.2/ostream:600:5: error: initializing argument 1 of ‘std::basic_ostream<_CharT, _Traits>& std::operator<<(std::basic_ostream<_CharT, _Traits>&&, const _Tp&) [with _CharT = char; _Traits = std::char_traits<char>; _Tp = foo<int>]’
y clang dice:
t.cpp:16:16: error: invalid operands to binary expression ('ostream' (aka 'basic_ostream<char>') and 'foo<int>')
std::cout << foo<int>();
~~~~~~~~~ ^ ~~~~~~~~~~
[--- snip: lots of non-viable candidates from standard library ---]
t.cpp:8:19: note: candidate template ignored: substitution failure [with Ts = <>]
std::ostream& operator<<( std::ostream& os, const foo<Ts...>& )
^
¿Podría alguien aclararme por qué el paquete de parámetros paraoperator<<
no se puede deducir como el parámetro de tipoy paquete de parámetros parafoo
?