のドキュメントに@ParametersAreNonnullByDefault
は、次のように書かれています。
この注釈をパッケージ、クラス、またはメソッドに適用して、その要素のメソッド パラメータがデフォルトで非 null であることを示すことができます。
メソッドの戻り値の型/値がそのパラメーターであるとは考えていません。それはその署名の一部にすぎないので、これは私にはあいまいです.
メソッドのJavaチュートリアルは私のように考えているようです。
Joachim Sauerが彼の回答のコメント セクションで指摘したように、名前@ParametersAreNonnullByDefault
( parameters ) は、この注釈がメソッドの戻り値の型/値には適用されないことを明確に示しているはずです。私は盲目でした!:) ありがとうヨアヒム!
これに照らして、私はどこかに@EverythingIsNonnullByDefault
存在するべきだとしか言えません。:)