Где и почему JVM проверяет, что тип возвращаемого метода ввода main (String args []) недействителен, а не что-то еще?

Question

я постараюсь ответить как, пожалуйста, поправьте меня, если я ошибаюсь:

Где: Если статический метод вызывается с помощью Classname .method() или с помощью отражения, то это не имеет значения даже если вы измените тип возврата вызывающего метода, тот же метод все равно будет вызываться.

Так JVM, вероятно, проверяет это в одном из нативных методов jvm.cpp

methodHandle m (THREAD, init_klass->find_method(vmSymbols::object_initializer_name(),> vmSymbols::void_method_signature()));

if (m.is_null()) { ------ THROW_MSG_0 ………..

Почему: Хотя его бесполезно возвращать значение из основных, так как Java не делает ничего с это, но если мы будем пытаться изменить тип возврата основных в целом, например, JVM бросает

public static int main(String[] args) { return 1;
}

java.lang.NoSuchMethodError: main Exception in thread "main"

Так может быть Java обязательным использование одной подписи для метод ввода main() для поддержания симметрии во всех написанных Java-программах.

Answer 1

Что касается «почему»:

Я помню, в былые времена на Mac (OS 7 или около того), то Mac JVM будет принимать static void main() без каких-либо аргументов (потому что Mac не было командной строки) , Это уже не так.

Я полагаю, что строгое и недвусмысленное поведение полезно. В противном случае вы получите программы, которые работают на некоторых платформах, а не на других по довольно глупым причинам. Как вы указываете, любое возвращаемое значение от main отбрасывается в любом случае.

Answer 2

Из того, что я могу собрать, причина main возвращает void в Java - это темы.

C и C++ были разработаны до того, как многопоточность была распространенной идиомой, тогда как потоки были неотъемлемой частью Java из ее концепции. В любой нетривиальной (многопоточной) программе существует более одного потока, и поэтому на самом деле ваша программа никогда не работает линейно от начала до конца основного.

Поскольку JVM не останавливает выполнение до тех пор, пока все потоки не-daemon не закончатся, возврат из основного метода не означает, что ваша программа закончилась.

Имея это в виду, void действительно кажется наиболее подходящим типом возврата для основного.