Использование `void main` в D

Question

Я видел D-код, который использует void main.Это законно?Если да, то возврат не-void (int) также является законным?Почему это разрешено на языке?

Answer 1

Из справочника по языкам D

main () Функция

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

void main() { ... }
void main(char[][] args) { ... }
int main() { ... }
int main(char[][] args) { ... }

То есть void main законно.

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

Возврат выходит из текущей функции и предоставляет ее возвращаемое значение. Выражение требуется, если функция указывает тип возврата, который не является пустым. Выражение неявно преобразуется в тип возвращаемого значения функции

Похоже, что возвращение чего-либо из функции void явно не запрещено (и действительно, это прекрасно компилируется).

(Почему вы хотите это сделать?)

Answer 2

Следующие версии функции main() являются законными:

void main() { ... }
void main(char[][] args) { ... }
int main() { ... }
int main(char[][] args) { ... }

Версии void main совпадают с версиями int main, если они всегда возвращают 0 или throw.