Почему вызов main() не разрешен в C++

В дополнение к другим ответам: Спецификация С++ гарантирует, что вся статическая инициализация произошла до вызова main.

Если бы код мог вызывать main, то некий статический объект с областью действия мог бы вызывать main, и в этом случае фундаментальная гарантия была бы нарушена.

Спецификация не может сказать, что «объекты со статической областью видимости не должны вызывать main()», потому что многие объекты не написаны специально для того, чтобы всегда создавать экземпляры в статической области видимости. Он также не может сказать, что конструкторы не должны вызывать main(), потому что очень сложно проверить и доказать, что конструктор не вызывает метод, вызывая метод, который иногда может вызывать main().

Я полагаю, что это сохраняет свободу реализации префикса main с кодом для создания глобальных и статических переменных, принимает любые параметры, идентифицирующие среду и аргументы командной строки, и сопоставляет их с соглашениями argc/argv/env C++, создает соответствующий стек и исключение платформа для выполнения приложения и т. д. Учтите, что не во всех средах исполняемый образ может иметь любой другой символ, обозначенный как код инициализации, который должен быть запущен до main().

Точно так же код очистки может быть добавлен к main() вместе с вызовом ОС с некоторым сопоставлением соглашения 0/ненуля C и C++ с фактическими значениями успеха/неудачи, используемыми этой конкретной ОС.

Следовательно, вызов main из другого места может привести к повторной инициализации среды приложения или к непреднамеренному выходу из ОС — для меня это звучит катастрофично.

C++ main() — это странная маленькая функция, которая имеет другой синтаксис для обработки исключений, не должна возвращать значение, даже если она должна быть определена как возвращающая int и т. д. Я не знаю, влияет ли это на какие-либо реальные реализации, но я предполагаю, что ограничение существует, чтобы дать авторам компиляторов некоторую свободу в том, как они реализуют main().