declarar una instancia de una clase const

Question

Digamos que tengo una clase definida de la siguiente manera:

class foo{}; 

ahora, esto es perfectamente aceptable;

foo f; 

¿cómo es que esto es un error de compilación? (uninitialized const ‘f’)

const foo f; 

¿Por qué tenemos que hacer esto?

const foo f = foo(); 

sé por qué no podemos hacer esto ..

const foo f(); // though it compiles.. 

Curiosamente, es válido lo siguiente:

const std::string f; 

Así que lo que falta en foo?

Me doy cuenta de que hay tres preguntas allí y es mala forma, pero espero que alguien pueda aclararme esto en una respuesta.

EDIT: no dude en cerrarla si es estúpida ...

Answer 1

Su clase es un POD (básicamente porque no proporciona un constructor por defecto). Las variables POD son no inicializadas a la declaración. Es decir, esto:

foo x; 

no inicializa x a un valor significativo. Esto debe hacerse por separado. Ahora, cuando lo declara como const, esto puede que nunca ocurra porque ya no puede asignar o cambiar x.

en cuenta la equivalencia de int:

int x; // legal 
const int y; // illegal 

Como usted ha notado, utilizando std::string en lugar de foo compila. Eso es porque std::string no es un POD. Una solución simple a su dilema es proporcionar un constructor por defecto para foo:

class foo { 
public: 
    foo() { } 
}; 

ahora compila su código const foo x;.

Answer 2

const, aplicado a una variable sencilla de datos antiguos, indica que esa variable no cambiará en ese contexto, por lo que no podrá reasignarla a algo. Por lo tanto, debe inicializarlo o será perpetuamente no inicializado y, por lo tanto, inútil.

Answer 3

Creo que hay más alternativas. Usted puede hacer

const foo f={}; 

o

const foo f(()); 

Const significa que no se puede asignar a ella más tarde, así que hay que inicializarlo.Como no definió el constructor predeterminado, el compilador supone que tiene que ser inicializado por usted. std :: string tiene un constructor predeterminado, por lo que el compilador lo llama implícitamente.

Answer 4

Es un problema conocido generar un error en la situación de una clase vacía, y se reporta como issue #253.