¿Colapso de referencia?

Question

Al tratar de resolver this problem, algo me hizo preguntarme. Consideremos el siguiente código:

template <typename T> 
struct foo 
{ 
    foo(T const& x) : data(x) {} 
    T data; 
}; 

Parece que puedo construir un objeto de tipo foo<T const&> sin error, el hipotético T const& const& entendiéndose como T const&.

Parece que esto se llama referencia colapsando, pero nunca escuché este término antes (ver comentarios en la pregunta relacionada).

¿Está esto extendido? ¿Es este estándar?

Answer 1

En C++ 03, no era legal para hacer lo siguiente

typedef int &ref; 
ref &r = ...; // reference to reference! 

Esto provoca con frecuencia problemas para las personas que compilan con muy estricta o más viejos Los compiladores de C++ 03 (GCC4.1 y Comeau 8/4/03 no les gusta lo anterior) porque los enlazadores de objetos de función estándar no se ocupan de la situación de "referencia a referencia" y ocasionalmente crean esos tipos ilegales.

En C++ 0x esto se llama "colapso de referencia", sí. La mayoría de los compiladores actuales de C++ 03 hacen eso (es decir, T& donde T denota un tipo de referencia es T nuevamente), mediante la aplicación retroactiva de la regla. La biblioteca boost.call_traits hace que sea fácil declarar dichos parámetros de función, para que no ocurra la situación de "referencia a referencia".

Tenga en cuenta que el const no tiene ningún efecto. Un const aplicado en un tipo de referencia se ignora silenciosamente. Entonces, incluso si el compilador admite el colapso de referencia, lo siguiente no es legal

int const x = 0; 

// illegal: trying to bind "int&" to "int const"! 
ref const& r = x; 

Answer 2

Según this, en C++ 98 sólo había un apoyo limitado a colapso de referencia:

En C++ 98, sólo hay una referencia regla colapso: T & & o una referencia con una referencia, se derrumba a T &:

void g(int & ri) {++ri;} // int& & -> int& 
void f(int & ri) {g(ri);} 

Incluso allí, es ilegal para tratar de declar ea variable que es una referencia a una referencia:

int ben; 
int& bill(ben);  // OK 
int & & bob(bill); // error C2529: 'bob' : reference to reference is illegal