Два вопроса по основному

A. Допустима ли следующая попытка определить точку входа «main» автономной программы C ++?

Нет. Стандарт C ++ гласит: «Программа должна содержать глобальную функцию с именем main» (§3.6.1 / 1). В вашей программе функция main не находится в глобальном пространстве имен; он находится в безымянном пространстве имен.

Неявная директива using позволяет искать и использовать только имена из безымянного пространства имен во включающем пространстве имен; он не добавляет эти имена к охватывающему пространству имен. В частности, «using-directive не добавляет никаких членов в декларативную область, в которой она появляется» (§7.3.4 / 1).

Эта программа плохо сформирована и почему?

Программа не обязательно плохо сформирована. Нет правила против наличия функции с именем main в пространстве имен, отличном от глобального пространства имен; такая функция не является функцией main. namespace { int main(); } и int main() - две разные функции, и в правильно сформированной программе они могут быть обе.

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

B. Я обсуждал EXIT_FAILURE и EXIT_SUCCESS, но не могу сделать вывод, всегда ли EXIT_SUCCESS должно быть 0.

Не требуется, чтобы EXIT_SUCCESS расширялся до 0. Стандарт C просто говорит, что в <stdlib.h>,

Определены макросы ..._ 15_ и EXIT_SUCCESS, которые расширяются до целочисленных констант, которые могут использоваться в качестве аргумента функции exit для возврата неудачного или успешного состояния завершения, соответственно, в среду хоста (C99 §7.20 / 3).

(Поскольку эти два макроса определены в <cstdlib>, стандарт C содержит для них спецификацию).

Здесь namespace { } - это анонимное пространство имен - идея состоит в том, что ничто не должно уходить оттуда в глобальное пространство имен - на практике все это должно иметь префикс, который не будет конфликтовать с другими единицами перевода. Вы сделали это extern, но не extern "C", поэтому специальное правило о том, что main не искажается, не защитит его, и символ не будет удовлетворять требованиям связывания. В любом случае, помещать что-то внешнее в анонимное пространство имен - это просто заблуждение. Вы постоянно стараетесь изо всех сил, чтобы увидеть, как можно превратить Стандарт в странные искажения :-). Любопытно - есть ли причина? Вы заинтересованы в этом с академической точки зрения, или реализуете компилятор или набор тестов компилятора или что-то в этом роде?

Смотрите, вы добавили обсуждение EXIT_SUCCESS и EXIT_FAILURE к своему вопросу. Ключевым моментом здесь является то, что вы можете использовать их из main или exit () и знать, что они будут работать в любой операционной системе. Для возврата 0 не проблема, используете ли вы EXIT_SUCCESS, 0 или позволяете основному "провалиться". ОС может на самом деле вернуть 0 операционной системе, а может и не вернуть ... может случиться так, что время выполнения сопоставляет это с каким-то другим значением, которое означает «успех» в этой ОС. Но в случае сбоя - если вы вернете произвольное значение, отличное от 0, оно может обойти это сопоставление и либо указать что-то отличное от простого сбоя, либо совпадать со значением успеха. Значения также могут обрабатываться по-разному в разных операционных системах: многие (например, Linux) удаляют из вашего возвращаемого значения все, кроме 8 наименее значимых битов, так что возвращение 256 эквивалентно возвращению 0. Вот почему не рекомендуется гадать. при подходящем значении, отличном от 0.

A. Когда я пытаюсь запустить ваш код в Visual C ++ 2010, я получаю следующее:

Ошибка 1 ошибка LNK1561: точка входа должна быть определена

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

Статус выхода

Значение, возвращаемое основной функцией, становится статусом завершения процесса, хотя стандарт C приписывает конкретное значение только двум значениям: EXIT_SUCCESS (традиционно ноль) и EXIT_FAILURE. Значение других возможных возвращаемых значений определяется реализацией.

Подробнее об этом здесь.