"const int estática" provoca error al vincular (undefined-referencia)

Question

Estoy sorprendido por el error de vinculador cuando se utiliza el siguiente código:

// static_const.cpp -- complete code 
#include <vector> 

struct Elem { 
    static const int value = 0; 
}; 

int main(int argc, char *argv[]) { 
    std::vector<Elem> v(1); 
    std::vector<Elem>::iterator it; 

    it = v.begin(); 
    return it->value; 
} 

Sin embargo, esto no funciona cuando se enlaza - de alguna manera tiene que tener una símbolo para el "valor" de const estático.

$ g++ static_const.cpp 
/tmp/ccZTyfe7.o: In function `main': 
static_const.cpp:(.text+0x8e): undefined reference to `Elem::value' 
collect2: ld returned 1 exit status 

Por cierto, esto compila bien con -O1 o mejor; pero aún falla para casos más complicados. Estoy usando gcc versión 4.4.4 20100726 (Red Hat 4.4.4-13).

Alguna idea de lo que podría estar mal con mi código?

Answer 1

Si desea inicializar el interior de la estructura , puede hacerlo también:

struct Elem { 
    static const int value = 0; 
}; 

const int Elem::value; 

Answer 2

intentar escribir como

struct Elem { 
    static const int value; 
}; 

const int Elem::value = 0; 

etc 

.

Answer 3

static Se supone que los miembros de la clase se definen fuera de la clase (declarados en el interior, definidos en el exterior) en una sola unidad de compilación.

No recuerdo cómo eso interactúa con la inicialización en línea de los miembros integrales estáticos const.

Answer 4

¿Por qué no hacer esto?

return Elem::value; 

Pero la respuesta es que está asignando un valor en la declaración. Se supone que esto funciona para tipos básicos como int, y solo se requiere para tipos complejos (es decir, clases, como si tuviera una cadena en lugar de int). Lo que he encontrado en la práctica es que esto es impredecible dependiendo de qué versión de qué compilador estés usando. Y, como descubriste, qué nivel de optimización.

Answer 5

También vea this post: esencialmente, el problema es que de alguna manera el compilador termina expandiendo su código para tomar la dirección de Elem :: value.