Args гарантированно не равны нулю?

Question

В следующей программе, если она выполняется (например, через командную строку), независимо гарантируется, что args JVM не будет нулевым?

public class test {
    public static void main(String[] args) {
    }
}

Answer 1

Краткий ответ: да, он может иметь длину 0, но не будет нулевым.

Answer 2

Я не могу найти оператор в Загрузка, связывание и инициализация Спецификация виртуальной машины Java , которая требует, чтобы аргументы были ненулевыми.

Таким образом, следует предположить, что null разрешено, и, педантично, ваша программа должна быть готова к обработке null аргументов. Даже если в типичных средах выполнения, таких как запуск Java-программы с использованием программы java для запуска JVM в Linux, аргументами null.

никогда не будет.

Answer 3

Дважды кликабельные наборы приложений в MacOS по-прежнему имеют ненулевой массив, переданный в main, даже если в нем нет командной строки как таковой.

В спецификации JVM не указан параметр массиваОсновной метод может быть нулевым.См. https://docs.oracle.com/javase/specs/jvms/se9/html/jvms-5.html#jvms-5.2

Однако, соглашение состоит в том, что оно будет ненулевым, и маловероятно, что поставщик JVM нарушит это соглашение в этот момент.