¿Puede tr1 :: funcionar tragar los valores devueltos?

Question

El impulso :: función FAQ item 3 aborda específicamente el escenario Estoy interesado en:

¿Por qué hay soluciones para huecos retornos? C++ les permite! regresa vacía son permitidos por la norma de C++, como en este fragmento de código:

void f(); 
void g() { return f(); } 

Este es un uso válido de impulso :: función porque los retornos vacíos no se utilizan. Con retornos de vacío, que sería intentar compilar mal formada código similar a:

int f(); 
void g() { return f(); } 

En esencia, no usar void Devuelve permite impulso :: función de tragar un valor retorno. Esto es coherente con que permite al usuario asignar e invocar a las funciones y objetos de función con los parámetros que no coinciden exactamente.

Por desgracia, esto no funciona en VS2008:

int Foo(); 
std::tr1::function<void()> Bar = Foo; 

Esto produce errores a partir de:

c:\Program Files\Microsoft Visual Studio 9.0\VC\include\xxcallfun(7) : error C2562: 'std::tr1::_Callable_fun<_Ty>::_ApplyX' : 'void' function returning a value 

Es éste un defecto de la aplicación VS2008 TR1? Funciona esto en VS2010? ¿TR1 aborda esta capacidad? ¿Qué hay de C++ 0x?

Answer 1

Creo que tr1 resuelve este problema. N1836 (el último borrador TR1) dice:

Un objeto de la función f de tipo F es Callable para tipos de argumentos T1, T2, ..., TN y un tipo de retorno R, si, dada lvalues ​​t1 , t2, ..., tNoftypesT1, T2, ..., TN, respectivamente, INVOKE (f, t1, t2, ..., tN) está bien formado ([3.3]) y, si R es no vacío, convertible en R.

En su ejemplo R es nulo, y por lo que la última parte de los requisitos para Callable (convertible a R) es ignorar re.

Sin embargo, parece que C++ 0x (C++ 11) cambia las reglas. En C++ 11 Callable se define como INVOKE(f, t1, t2, ..., tN, R) que se define en [func.require] como requiriendo que INVOKE(f, t1, t2, ..., tN) sea implícitamente convertible a R, sin excepción para cuando R es nulo. Entonces, en C++ 11, tu ejemplo debería fallar.