Что должна возвращать функция main() в C++? Правильные возвращаемые значения

Правильный возвращаемый тип функции main()

В соответствии со стандартом C++ (C++98 и все последующие версии), функция main() должна возвращать int. Это единственный стандартный вариант. Любые другие объявления (void main(), main() без типа) являются нестандартными расширениями конкретных компиляторов и не гарантируют переносимость кода.

Допустимые сигнатуры main()

Стандарт допускает две формы:

// Форма 1: без аргументов командной строки
int main() {
    // тело функции
    return 0;
}

// Форма 2: с аргументами командной строки
int main(int argc, char* argv[]) {
    // тело функции
    return 0;
}

Что означает возвращаемое значение?

Возвращаемое значение main() передаётся операционной системе как код завершения (exit code) программы. Это целое число, которое:

• 0 (или EXIT_SUCCESS) — программа завершилась успешно.
• Любое ненулевое значение (например, 1, -1, EXIT_FAILURE) — программа завершилась с ошибкой.

Важное правило: неявный return 0

В C++ существует специальное правило для функции main(): если вы не написали return в конце, компилятор автоматически вставляет return 0;. То есть эти два варианта эквивалентны:

// Вариант 1: явный return
int main() {
    std::cout << "Hello";
    return 0;
}

// Вариант 2: неявный return 0
int main() {
    std::cout << "Hello";
} // Компилятор добавит return 0; сам

Важно: Это правило работает только для main(). Для всех остальных функций, возвращающих int, отсутствие return приводит к неопределённому поведению.

EXIT_SUCCESS и EXIT_FAILURE

Это макросы, определённые в заголовочном файле <cstdlib> (или <stdlib.h> в C). Они гарантированно равны:

• EXIT_SUCCESS — обычно 0 (но может быть и другим на некоторых платформах).
• EXIT_FAILURE — обычно 1 (но может быть другим).

Использовать их рекомендуется для переносимости и читаемости кода:

#include <cstdlib>

int main() {
    if (some_condition) {
        return EXIT_SUCCESS; // Успех
    } else {
        return EXIT_FAILURE; // Ошибка
    }
}

Разница между return и exit()

Вызов exit(код) из любой точки программы эквивалентен return код из main(). Однако есть два отличия:

1. exit() немедленно завершает программу, не выполняя деструкторы локальных объектов (если они не зарегистрированы через atexit()).
2. return из main() корректно уничтожает все локальные объекты (вызывает их деструкторы).

Поэтому всегда предпочитайте return в main(), если это возможно.

Практический пример

#include <iostream>
#include <cstdlib>

int main() {
    int user_input;
    std::cout << "Введите число: ";
    std::cin >> user_input;

    if (std::cin.fail()) {
        std::cerr << "Ошибка ввода!" << std::endl;
        return EXIT_FAILURE; // Завершаем с кодом ошибки
    }

    std::cout << "Вы ввели: " << user_input << std::endl;
    return EXIT_SUCCESS; // Успешное завершение
}

Резюме

• Всегда используйте int main() или int main(int argc, char* argv[]).
• Для кодов возврата используйте EXIT_SUCCESS и EXIT_FAILURE для переносимости.
• Не полагайтесь на неявный return 0 — пишите его явно для ясности.
• Избегайте void main() — это нестандартное расширение.

// Пример для Linux bash:
./my_program && echo "Успех" || echo "Ошибка"
// && выполняется, если код возврата == 0
// || выполняется, если код возврата != 0

int main() {
    try {
        // основной код
        return EXIT_SUCCESS;
    } catch (const std::exception& e) {
        std::cerr << "Ошибка: " << e.what() << std::endl;
        return EXIT_FAILURE;
    }
}