Вы ссылаетесь на Стандарт C ++, глава 3.6.1, параграф 5:
Оператор возврата в main имеет
эффект от выхода из основной функции
(уничтожение любых объектов с помощью автоматического
срок хранения) и вызов
выход с возвращаемым значением в качестве
аргумент. Если контроль достигает конца
основного, не встретив возврата
утверждение, эффект от
выполнение return 0;
Если у вас нет Стандарта под рукой, вы можете показать этот абзац в рабочем проекте. Вот пример для c ++ 98, который уже определил это.
Вы можете узнать больше здесь .