Javaの変数で Not Null 制約みたいなことできないのかな。どっかの変数や仮引数に Not Null とか書いてあると、それに代入される変数がNullになる可能性があると、コンパイルエラ...

Javaの変数で Not Null 制約みたいなことできないのかな。どっかの変数や仮引数に Not Null とか書いてあると、それに代入される変数がNullになる可能性があると、コンパイルエラーになる、みたいな。既存のライブラリとの互換性とか面倒くさそうだな。このメソッドの戻値はNot Nullじゃないけど、Not Null な変数に代入してもよいとする、特殊な構文がさらに要ったりして。