c++ - tipos - ¿Qué significa esto? int foo=foo+4;

tag de musica

Question

#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? Descubrí: "Las obras de pared a veces, mejor sería prevenirlas por completo".

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)  

Answer 1

Espero que cualquier compilador medio decente emita una advertencia para int foo = foo + 4; en su configuración por defecto. Los buenos tendrán opciones para rechazarlo por completo como "uso de variable no inicializada" y / o aceptar cualquier ocurrencia específica de la misma en la que el programador entienda exactamente lo que está sucediendo y no esté preocupado por el comportamiento inesperado.

Por ejemplo, a menudo solía escribir int toggle = toggle ^ 1 en los días en que los compiladores no eran tan quisquillosos, si todo lo que quería era un interruptor de conmutación donde no me importaba si comenzaba TRUE o FALSE. Hoy en día probablemente escribiría estática bool toggle = TRUE; toggle = ^ toggle

Answer 2

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

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

Hay un informe de problemas en la lista de problemas de C ++ que requiere diagnósticos en casos simples, pero en la actualidad no se requieren los compiladores para diagnosticar su caso.

También es válido en un contexto diferente .

Edición: 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.

Answer 3

Para obtener una advertencia de gcc para este código en particular, necesita -Wuninitialized ( -Wall incluye esto) y -O (o cualquier nivel de optimización por encima de 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 hace un análisis de flujo de datos cuando la optimización está deshabilitada. Y la optimización está deshabilitada por defecto.

Answer 4

Puedo apostar que esto significa un comportamiento indefinido.

Editar: ver la cita de la respuesta a otra pregunta .

Edición: lo más probable es que el valor en la RHS se tome de la ubicación de la memoria sin inicializar en la pila, se le agregue 4 y el resultado se use para la inicialización.

Answer 5

int foo = foo + 4;

Este es un comportamiento indefinido. Algunos compiladores eliminan automáticamente el espacio para las variables locales cuando otros no, por lo que foo podría contener la basura de la pila