¿Cuánto de cierto hay en la afirmación anterior?
Atendiendo al draft de C++14, en la sección 3.6.1 Encontramos lo siguiente:
5 A return
statement in main has the effect of leaving the main function (destroying any objects with automatic
storage duration) and calling std::exit
with the return
value as the argument. If control reaches the end
of main without encountering a return statement, the effect is that of executing
return 0;
Que viene a decir lo siguiente :
La instrucción return
provoca que la ejecución abandone la función main (los objetos que se salgan de ámbito serán eliminados). Además se llamará a std::exit
con el valor usado en el return
como argumento. Si la función main finaliza sin una instrucción return
se ejecutará la instrucción:
return 0;
Así que la respuesta es NO, no es obligatorio incluir la instrucción return
en la función main.
Sí será obligatorio añadir esta instrucción cuando la aplicación necesite devolver diferentes valores en función del resultado de la ejecución (por ejemplo para indicar errores).
Sería distinto si el main lo declarase como void main()
, lo cual no es estándar, pero al menos es válido en Visual Studio, por poner un ejemplo, y ahí si no vería la necesidad de incluir algún tipo de return
.
Si leemos el apartado 2 de la sección antes comentada (3.6.1):
2 An implementation shall not predefine the main function. This function shall not be overloaded. It shall have a return type of type int, but otherwise its type is implementation-defined. All implementations shall allow both.
Que básicamente viene a decir que la función main debe devolver un tipo int
. Por supuesto que, por cuestiones de compatibilidad, hay compiladores que tragan con void
... pero cuidado con esto porque nada te garantiza que la siguiente versión del compilador vaya a aceptar tanto esa como otras tantas licencias... puedes encontrarte con la situación de tener que editar decenas de líneas de código solo para que el programa vuelva a compilar.
cuán válido es utilizar otro tipo de return como, por ejemplo, return EXIT_SUCCESS;, que se puede encontrar en uno de los libros sobre C++ de Luis Joyanes.
EXIT_SUCCESS
no es un tipo sino que es una constante:
#define EXIT_SUCCESS 0
Y está disponible tanto para C como para C++ a través de las librerías stdlib.h
o cstdlib
.
Por tanto, EXIT_SUCCESS
es, en tu caso, equivalente a poner return 0;
.
Entonces, ¿Por qué usar EXIT_SUCCESS
si se escribe más?
Bueno, piensa que tanto C como C++ no se han diseñado para una arquitectura en concreto... si te encuentras con un Sistema Operativo en el que una aplicación debe devolver un valor diferente de 0 cuando finaliza correctamente la macro se adaptará sin problemas mientras que el 0
te tocará modificarlo a mano.