Se eu tiver um modelo de função comtypename T, onde o compilador pode definir o tipo por si só, não preciso escrever o tipo explicitamente quando chamo a função, como:

template < typename T > 
T min( T v1, T v2 ) {
   return ( v1 < v2 ) ? v1: v2;
}
int i1 = 1, i2 = 2; int i3 = min( i1, i2 ); //no explicit <type> 

Mas se eu tiver um modelo de função com dois tipos de nomes diferentes, como:

template < typename TOut, typename TIn >
TOut round( TIn v ) {
   return (TOut)( v + 0.5 );
}
double d = 1.54;
int i = round<int>(d); //explicit <int>

É verdade que eu sempre tenho que especificar pelo menos 1 typename? Presumo que o motivo seja porque o C ++ não pode distinguir funções entre diferentes tipos de retorno.

Mas se eu usar uma função void e entregar uma referência, novamente não devo especificar explicitamente o nome do tipo de retorno:

template < typename TOut, typename TIn > 
void round( TOut & vret, TIn vin ) {
   vret = (TOut)(vin + 0.5);
}
   double d = 1.54;
   int i; round(i, d); //no explicit <int>

Caso a conclusão seja evitar funções com retorno e mais preferirvoid funções que retornam através de uma referência ao escrever modelos? Ou existe a possibilidade de evitar escrever explicitamente o tipo de retorno? Algo como "inferência de tipo" para modelos. É possível "inferência de tipo" em C ++ 0x?