temporales C++ rvalue en plantilla

Question

¿Me podría explicar la diferencia entre el mecanismo de los siguientes:

int function(); 

template<class T> 
void function2(T&); 

void main() { 
    function2(function()); // compiler error, instantiated as int & 

    const int& v = function(); 
    function2(v); // okay, instantiated as const int& 
} 

es mi razonamiento correcto con respecto a la creación de instancias? ¿por qué no se crea la primera instancia como const T&?

Gracias

Answer 1

Porque function devuelve un valor no const. Solo los objetos pueden ser const, porque almacenan algún estado que podría modificarse si no fuera const. Lo que regresas allí no es un objeto, sino un valor puro. Conceptualmente, no son modificables (como las constantes de enumeración, por ejemplo), pero no están const (como, de nuevo, constantes de enumeración).

Answer 2

En esta línea

function2(function()); 

después vuelve FUNCTION2, el argumento de que pasa a ella podría tener su cambio de valor, pero ya que devuelve la función() y es simplemente asignar a una variable temporal , pero lo que sucedería con esta variable temporal después de que se salga del alcance es el problema, es por eso que las quejas del compilador.

Answer 3

Para compilar la primera llamada, es necesario definir la función 2 con el parámetro T & & - esto es rvalue, referencia al objeto temporal. En la segunda llamada, v es una referencia lvalue, está bien. Si su compilador no es compatible con las referencias rvalue, la primera llamada se puede compilar solo con el parámetro T, sin referencia.

Answer 4

Creo que se puede confundir entre los valores de r y el calificador const. function devuelve un rvalue no const temporal de tipo int, por lo que el compilador deduce que T sea int, como debería ser. Como usted señala, puede enlazar un temporal a una ref constante (C++ 03 12.2/5), pero el compilador no agregará calificadores cv para hacer una llamada a función bien formada. Como no puede controlar la función de plantilla, hay dos formas de evitar esto (además de la solución que publicó).

(1) explícitos parámetros de plantilla: function2<const int>(function())

(2) cv calificar retorno: const int function();

Ambas soluciones están bien formadas. (1) parece la mejor solución, en mi humilde opinión, ya que (2) es poco convencional y tonto.

Editar: En realidad, el tipo deducido puede ser más cv-calificado que el argumento para un argumento de plantilla ref, pero solo si la deducción de tipo de lo contrario no (C++ 03 14.8.2.1/3). En este caso, la deducción del tipo no falla, pero da como resultado una llamada de función mal formada (SFINAE no se aplica, porque la especialización de la función de la plantilla no está mal formada).

Si la intención del autor de la plantilla era no modificar el argumento, debe declararse como un argumento de referencia constante, por lo que puede tratarse de un error en la biblioteca de plantillas o modificar el argumento, en cuyo caso lo que está haciendo fallará cuando la función intente modificar el argumento.

Editar: Como FredOverflow señala, los valores de clase no siempre son cv no calificados por el estándar 3.10/9. Entonces (2), que funciona bajo gcc 4.3, es en realidad un error de compilación (gcc < 4.5, según FredOverflow).