clase derivada como argumento predeterminado g ++

Question

favor, eche un vistazo a este código:

template<class T> 
class A 
{ 
class base 
{ 

}; 

class derived : public A<T>::base 
{ 

}; 

public: 

int f(typename A<T>::base& arg = typename A<T>::derived()) 
{ 
    return 0; 
} 
}; 

int main() 
{ 
A<int> a; 
a.f(); 
return 0; 
} 

compilación genera el siguiente mensaje de error en g ++:

test.cpp: In function 'int main()': 
test.cpp:25: error: default argument for parameter of type 
        'A<int>::base&' has type 'A<int>::derived' 

La idea básica (usando clase derivada como valor por defecto para el argumento de tipo de referencia base) funciona en Visual Studio, pero no en g ++. Tengo que publicar mi código en el servidor de la universidad donde lo compilan con gcc. ¿Que puedo hacer? ¿Hay algo que este olvidando?

Answer 1

No se puede crear una referencia (mutable) a un valor r. Trate de usar una constante referencia:

int f(const typename A<T>::base& arg = typename A<T>::derived()) 
//  ^^^^^ 

Por supuesto que no se puede modificar arg con una constante referencia. Si tiene que usar una referencia (mutable), use sobrecarga.

int f(base& arg) { 
    ... 
} 
int f() { 
    derived dummy; 
    return f(dummy); 
} 

Answer 2

El problema al que se enfrenta es que no puede usar un argumento temporal como predeterminado para una función que toma una referencia no constante. Los temporales no pueden vincularse a referencias no constantes.

Si no está modificando el objeto internamente, a continuación, puedes cambiar la firma a:

int f(typename A<T>::base const & arg = typename A<T>::derived()) 

Si en realidad se está modificando la pasaron en el argumento, se debe usar alguna otra técnica para permitir argumentos opcionales , el más simple de los cuales sería usar un puntero que se puede predeterminar a NULL.