Inicializar una variable en su propio valor indefinido

Question

En C, ¿tiene sentido inicializar una variable a su propio valor? Si es así, ¿para qué?

Déjenme elaborar. En las fuentes de Git, hay algunos ejemplos de inicialización de una variable a su propio valor indefinido, como se ve en transport.c o wt-status.c. Eliminé las asignaciones de esas declaraciones y realicé pruebas. Al no ver regresiones, pensé que esas asignaciones eran redundantes.

Por otro lado, hice algunas pruebas simples con GCC 4.6 y Clang 2.9.

#include <stdio.h> 
int main() { 
    printf("print to increase probability of registers being non-zero\n"); 
    int status = status; 
    return printf("%i\n", status); 
} 

Compilar con -Wall -std=c99 y varios niveles -O imprime ninguna advertencia y muestra que status == 0. Clang con un nivel de optimización distinto de cero imprime algunos valores de basura. Me hace inferir que los resultados de tales expresiones no están definidos.

Me imagino que dicha asignación puede suprimir una advertencia de variable no inicializada, pero no es el caso de los ejemplos tomados de Git. Eliminar asignaciones no introduce ninguna advertencia.

¿Son estas asignaciones un comportamiento indefinido? Si no, ¿para qué los usas?

---

He sugerido el cambio en la lista de correo de Git. Here's what I've learned.

Answer 1

Esto compila porque estándar C99 §6.2.1/7 dice:

Cualquier identificador que no es una estructura, unión o enumeración etiqueta "tiene un alcance que comienza justo después de la finalización de su declarador " El declarador es seguido por el inicializador.

Sin embargo, el valor de status es indeterminado. Y no puede confiar en que se inicialice a algo significativo.

¿Cómo funciona?
int status crea un espacio para que exista la variable en la pila (almacenamiento local) que luego se lee para realizar status = status, status puede inicializarse a cualquier valor que estuviera presente en el marco de la pila.

¿Cómo se puede evitar esa autoinicialización?
gcc proporciona un ajuste específico para detectar e informar Inicializaciones auto como errores:

-Werror = sin inicializar -Winit-auto

por qué se utiliza en este código?
La única razón por la que creo que se está utilizando en dicho código es suprimir la advertencia de la variable no utilizada por ejemplo: en transport.c, si el control nunca entra dentro del while, el flujo de control cmp no se utilizará y el el compilador debe estar generando una advertencia para ello. El mismo escenario parece estar con status variable en wt-status.c

Answer 2

Para mí, la única razón de tal inicialización autoasignable es evitar una advertencia.

En el caso de su transport.c, ni siquiera entiendo por qué es útil. Hubiera dejado cmp sin inicializar.

Mi propio hábito (al menos en C) es inicializar todas las variables, generalmente a 0. El compilador optimizará la inicialización innecesaria, y tener todas las variables inicializadas facilita la depuración.

hay un caso cuando quiero una variable permanezca sin inicializar, y yo podría auto-asignarlo: semillas aleatorias:

unsigned myseed = myseed; 
srand(myseed); 

Answer 3

en MacOS X 10.7.2, probé este ejemplo - con el resultado se muestra ...

$ cat x3.c 
#include <stdio.h> 

int status = -7; 

int main() 
{ 
    printf("status = %d\n", status); 
    int status = status; 
    printf("status = %d\n", status); 
    return 0; 
} 
$ make x3 
gcc -O -std=c99 -Wall -Wextra x3.c -o x3 
$ ./x3 
status = -7 
status = 1787486824 
$ 

el espacio de pila donde el status local en main() ha sido utilizado por lo que el printf() copias auto-inicialización de basura alrededor.

Answer 4

Creo status = status no cambia el valor de status (en comparación con int status;). Creo que se usa para suprimir la advertencia unused variable.