¿Por qué este código todavía funciona?

Question

Algunos código antiguo que yo acabo de encontrar:

MLIST * new_mlist_link() 
{ 
    MLIST *new_link = (MLIST *) malloc(sizeof(MLIST)); 
    new_link->next = NULL; 
    new_link->mapi = NULL; 
    new_link->result = 0; 
} 

Esto estaba siendo llamado a construir una lista enlazada, sin embargo me di cuenta de que no hay declaración:

return new_link; 

Incluso sin la instrucción de retorno allí, la lista aún se construyó correctamente. ¿Por qué pasó esto?

Editar: Plataforma: Mandriva Linux 2009 de 64 bits GCC 2.6.24.7-servidor 4.2.3-6mnb1

Editar: divertido ... este código también funcionó exitosamente en unos 5 diferentes instalaciones de Linux, todas diferentes versiones/sabores, así como una Mac.

Answer 1

En Windows de 32 bits, la mayoría de las veces, el valor de retorno de una función se deja en el registro EAX. Configuraciones similares se utilizan en otros sistemas operativos, aunque, por supuesto, es específico del compilador. Esta función particular supuestamente almacenaba la variable new_link en esa misma ubicación, por lo que cuando regresaba sin retorno, la variable que se encontraba en esa ubicación era tratada como el valor de retorno por la persona que llamaba.

Esto no es portátil y es muy peligroso de hacer, pero también es una de las pequeñas cosas que hace que la programación en C sea tan divertida.

Answer 2

Es básicamente suerte; aparentemente, el compilador pasa a pegar new_link en el mismo lugar donde pegaría un valor devuelto.

Answer 3

Probablemente una coincidencia:

El espacio para el valor de retorno de la función se asigna de antemano. Como ese valor no está inicializado, podría haber apuntado al mismo espacio en el montón que la memoria asignada a la estructura.

Answer 4

Esto funciona por coincidencia. No deberías confiar en eso.

Answer 5

Es posible que solo use el registro EAX que normalmente almacena el valor de retorno de la última función que se llamó. ¡Esta no es una buena práctica en absoluto! El comportamiento para este tipo de cosas no está definido. Pero es genial ver el trabajo ;-)

Answer 6

Lo más probable es que produzca un error muy difícil de encontrar. No estoy seguro de dónde lo leí, pero recuerdo que si olvida poner una declaración de devolución, la mayoría de los compiladores se volverán inválidos.

Aquí hay un pequeño ejemplo:

#include <iostream> 

using namespace std; 

int* getVal(); 

int main() 
{ 
     int *v = getVal(); 
     cout << "Value is: " << *v << endl; 
     return 0; 
} 

int* getVal() 
{ 
     // return nothing here 
} 

Para mí, esto funciona así. Sin embargo, cuando lo ejecuto, aparece un error de segmento. Entonces realmente no está definido. Solo porque compila, no significa que funcionará.

Answer 7

Funciona porque en la década de 1940, cuando se creó el lenguaje C, no existía la palabra clave return.Si nos fijamos en la sección "funciones" de la norma C43 Minsi, tiene esto que decir sobre el tema (entre otras cosas):

16.4.3b For backwards compatibility the EAX register MUST be used to return 
     the address of the first chunk of memory allocated by malloc. 

</humour>

Answer 8

Para evitar este problema, utilice:

-Wreturn-type:

Warn whenever a function is defined with a return-type that defaults to int. Also warn about any return statement with no return-value in a function whose return-type is not void (falling off the end of the function body is considered returning without a value), and about a return statement with an expression in a function whose return-type is void.

-Werror=return-type para encender la anterior en un error:

Make the specified warning into an error. The specifier for a warning is appended, for example -Werror=switch turns the warnings controlled by -Wswitch into errors. This switch takes a negative form, to be used to negate -Werror for specific warnings, for example -Wno-error=switch makes -Wswitch warnings not be errors, even when -Werror is in effect. You can use the -fdiagnostics-show-option option to have each controllable warning amended with the option which controls it, to determine what to use with this option.

(de GCCs warning options)