2011-03-27 21 views
19
#include <iostream> 

int main(int argc, char** args) { 
    int foo = foo + 4; 
    std::cout << foo << std::endl; 
} 

Y una pregunta de seguimiento, ¿hay una bandera del compilador para detener este tipo de cosas? Encontré que, a veces, las obras funcionan, sería mejor evitarlas por completo.¿Qué significa esto? int foo = foo + 4;

My compiler: 
g++ -v 
Using built-in specs. 
Target: i486-linux-gnu 
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 4.4.3-4ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --program-suffix=-4.4 --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-plugin --enable-objc-gc --enable-targets=all --disable-werror --with-arch-32=i486 --with-tune=generic --enable-checking=release --build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu 
Thread model: posix 
gcc version 4.4.3 (Ubuntu 4.4.3-4ubuntu5) 
+1

¿Una bandera del compilador para detener el tipo de cosas? – tkerwin

+1

¿Cuál es exactamente tu pregunta? ¿Por qué no inicializas a foo? – mbx

+0

'int foo = foo + 4;' no significa nada. ¿Qué quisiste decir cuando lo escribiste? –

Respuesta

30

No, no hay una forma garantizada para detener este tipo de cosas. Es una parte integral de C++ y C que el nombre de la variable es visible en su inicializador. Se le permite hacer cosas tales como

T *t = malloc(sizeof(*t)); 

Hay un informe de problemas en cuestiones de la lista de C++ para requerir el diagnóstico en casos simples, pero en la actualidad los compiladores no son necesarios para diagnosticar su caso.

También es válido in a different context.

Editar: Para aclarar: el comportamiento de su fragmento no está definido: Está leyendo el valor de una variable no inicializada. Que los compiladores no están obligados a diagnosticar esto no significa que el comportamiento esté definido.

+0

Eso tiene sentido. Tengo que esperar 8 minutos para aceptar .... – Eric

+3

+1, siempre aprendiendo algo nuevo de litb! – Xeo

3

Puedo apostar que esto significa un comportamiento indefinido.

Editar: vea la citación de answer to another question.

Edición: muy probablemente, el valor en el RHS se toma de la ubicación de la memoria no inicializada en la pila, se agrega 4 y el resultado se usa para la inicialización.

+0

@downvoter: ¿me importa explicarlo? – Vlad

+0

@Nawaz: esto no dice qué está mal en la respuesta. Por cierto, la cita del enlace que proporcioné justifica la respuesta. – Vlad

+0

@Vlad: Hmm ... tienes razón. Traté de deshacer mi voto negativo, pero para eso tienes que editar tu publicación, ¡porque no me permite deshacer! – Nawaz

6
int foo = foo + 4; 

Comportamiento indefinido. Algunos compiladores ponen a cero automáticamente el espacio para las variables locales cuando otros no, por lo que foo podría contener basura

+0

@downvoter: explique su voto – BlackBear

+0

@Nawaz: la respuesta de @ Johannes dice lo siguiente: comportamiento indefinido – BlackBear

+0

@BlackBear: Hmm ... tienes razón. Traté de deshacer mi voto negativo, pero para eso tienes que editar tu publicación, ¡porque no me permite deshacer! – Nawaz

0

Esperaría que cualquier compilador decente emitiera una advertencia para int foo = foo + 4; en su configuración predeterminada. Los buenos tendrán opciones para rechazarlo por completo como "uso de variables no inicializadas" y/o para aceptar cualquier ocurrencia específica donde el programador entienda exactamente lo que está sucediendo y no se preocupe por el comportamiento inesperado.

Yo, por ejemplo, a menudo se utiliza para escribir int palanca basculante =^1 de vuelta en los días en que los compiladores no eran tan exigente, si todo lo que quería era un interruptor de conmutación en el que no importa si se inicia o VERDADERO FALSO. Hoy en día, probablemente escribiría static bool toggle = TRUE; alternar =^alternar

2

Para obtener una advertencia de gcc para este código en particular, necesita -Wuninitialized (-Wall incluye este) y -O (o cualquier nivel de optimización superior a 0).

La razón es que gcc no puede diagnosticar el uso de variables no inicializadas a menos que haga un análisis de flujo de datos, y no realiza análisis de flujo de datos cuando la optimización está deshabilitada. Y la optimización está deshabilitada de manera predeterminada.

Cuestiones relacionadas