¿Por qué el valor de retorno predeterminado de main es 0 y no EXIT_SUCCESS?

Question

La norma ISO 1998 C++ especifica que no usar explícitamente una instrucción return en la parte principal es equivalente a usar return 0. Pero, ¿qué sucede si una implementación tiene un código estándar diferente de "error", por ejemplo -1?

¿Por qué no utilizar la macro estándar EXIT_SUCCESS que se reemplazará por 0 o -1 o cualquier otro valor según la implementación?

C++ parece forzar la semántica del programa, que no es el papel de un lenguaje que solo debería describir cómo se comporta el programa. Además, la situación es diferente para el valor de retorno de "error": solo EXIT_FAILURE es una bandera de terminación de "error" estándar, sin valor explícito, como "1", por ejemplo.

¿Cuáles son las razones de estas elecciones?

Answer 1

Volviendo a cero de main() es esencialmente lo mismo que lo que está preguntando. La devolución del cero desde main() no tiene que devolver cero al entorno de host.

Desde el modelo de documento C90/C99/C++ 98:

Si el valor de estado es cero o EXIT_SUCCESS, una forma definida por la implementación del estado se devuelve la terminación exitosa.

Answer 2

0 es el código de salida estándar (correcto) en todos los sistemas POSIX, ¡y en todos los sistemas que conozco! Creo que ha sido así sinc time begain (o al menos desde que Unix lo hizo ...) Así que es por esta razón que diría.

¿Qué sistema sabes que es diferente?

Answer 3

La norma es simplemente hacer una determinación sobre cuál debe ser el valor cuando no se establece explícitamente. Depende de los desarrolladores establecer explícitamente el valor de retorno o asumir una semántica adecuada para el valor predeterminado. No creo que el lenguaje intente forzar ninguna semántica a los desarrolladores.

Answer 4

Si también estaba pensando en por qué el código de error para el éxito es 0 en lugar de cualquier otro valor, agregaría que podría haber sido históricamente por razones de rendimiento, ya que comparando con 0 ha sido más rápido (creo que en las arquitecturas pueden ser las mismas que con cualquier número) y generalmente no se busca un código de error en particular, solo si fue exitoso o si hubo algún error (por lo que tiene sentido usar la comparación más rápida para eso).

Answer 5

0 como el código de retorno para el éxito, y los enteros positivos como errores es el estándar en C y Unix. Se eligió este esquema porque normalmente a uno no le importa por qué un programa sucedió a, solo que sí lo hizo. Por otro lado, hay muchas formas en que un programa puede fallar con un error, y a menudo uno está interesado en esta información. Por lo tanto, tiene sentido usar un valor escalar para el éxito, y un rango de valores para el error. El uso de enteros positivos es una convención de C que ahorra memoria, ya que permiten que el código de error se defina como un int sin signo.

Answer 6

¡En realidad, return 0 no devolverá necesariamente 0! Estoy citando el estándar C aquí, porque es lo que mejor sé.

Sobre return en main():

5.1.2.2.3 terminación Programa

Si el tipo de retorno de la función principal es un tipo compatible con int, un retorno de la llamada inicial al main función es equivalente a llamar a la función exit con el valor devuelto por la función main como argumento;

Sobre exit():

7.20.4.3 La función de salida
Sinopsis

#include <stdlib.h> 
void exit(int status); 

[...]
Por último, el control se devuelve al entorno de acogida. Si el valor de status es cero o EXIT_SUCCESS, se devuelve una forma definida por la implementación del estado finalización exitosa devuelta.

Answer 7

Los estándares de lenguaje de computadora dicen qué tiene que ver un programa escrito en el idioma y qué sucederá. En este caso, los estándares C y C++ dicen que devolver 0 señales de éxito, entre otras cosas.

Las implementaciones de lenguaje permiten que los programas se ejecuten en implementaciones particulares. Es el trabajo del implementador descubrir cómo hacer que las E/S funcionen de acuerdo con el estándar, o darle al sistema operativo el código de resultado correcto.

Lo que hace un programa y lo que el sistema operativo ve no tiene que ser lo mismo. Todo lo que es necesario es que el programa funcione como dice el estándar en el sistema operativo dado.

Answer 8

OS/360 y sucesores utilizan un código de salida numérica, 0 siendo por lo general éxito, 4 de advertencias (como un compilador que genera mensaje de advertencia), 8 para el error, y 12 para todo malos errores (como ser incapaz para abrir SYSPRINT, la unidad de salida estándar).

Answer 9

Al navegar cstdlib que terminó con dos líneas:

#define EXIT_SUCCESS 0 
#define EXIT_FAILURE 1 

Así EXIT_SUCCESS es igual a 0, y es igual a EXIT_FAILURE1, lo que significa que no importa, pensó.

Comprueba Linux (OpenSuse) y termina con lo mismo.