Argsはnull以外であることが保証されていますか？

Question

次のプログラムでは、これが実行されると（例えばコマンドライン経由で）、args JVMが独立してヌルでないことが保証されていますか？

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

Answer 1

短い答え：はい、それは長さが0であってもよいが、nullにはなりません。

Answer 2

MacOS上のダブルクリック可能なアプリケーションバンドルは、コマンドラインがないにもかかわらず、ヌル以外の配列がmainに渡されています。

JVM仕様では、メインメソッドへの配列パラメータをnullにできるかどうかを指定していません。 https://docs.oracle.com/javase/specs/jvms/se9/html/jvms-5.html#jvms-5.2

ただし、規約はnullではなく、JVMベンダーがこの時点でこの規約を破ることはありません。

Answer 3

のLoading, Linking, and Initializingセクションには、引数がnullでないことが必要なJava仮想マシン仕様がありません。

したがって、nullが許可されている必要があります。また、プログラムはnull引数を処理するように準備されている必要があります。 Linux上でjavaプログラムを使用してJavaプログラムを起動してJVMを起動するなど、通常の実行時環境でも、引数がnullであることはありません。