javaの短絡評価について

Question

javaの短絡評価について質問がございます。

if(object != null && object.getHoge()) {
    // getHogeをnullオブジェクトに対して使用するとNullPointerException
}

上記のようなコードにおいて、objectがnullの場合は短絡評価によりNullPointerExceptionは発生しません。
この動作は確実に保証されている物なのでしょうか？
短絡評価について検索したのですが動作保証についての記述が見つからず、質問させていただきました。
ご回答のほどよろしくお願いいたします。

Answer 1

この動作は確実に保証されている物なのでしょうか？

はい。

evaluates its right-hand operand only if the value of its left-hand operand is true.（Java Language Specificationより）

Answer 2

この動作は確実に保証されている物なのでしょうか？

はい。保証されています。
&&の場合は左辺がfalseの場合右辺は評価しないというのがjavaの仕様になります

ちなみに、以下のように「&&」ではなく「&」にするとNullPointerExceptionになりますので状況に応じて使い分けることになります。。
https://www.javaroad.jp/java_operator3.htm#section2

if(object != null & object.getHoge()) {
    // getHogeをnullオブジェクトに対して使用するとNullPointerException
}

Comments

[lald]

解説いただきありがとうございます。

[Zuishin]

エビデンスは不要で、どこの誰ともわからない信用度も低い回答者の個人的意見が欲しかったということですか？
それならば、そもそも質問に至った情報元を信用しても良かったと思いますが、それは信用できなかったんでしょうか？

Answer 3

＞この動作は確実に保証されている物なのでしょうか？
質問者の方が、どういう動機で保証を求めているのかは分かりませんが、
保証があっても、絶対的ではなく、暫定的なものと考えた方がいいです。

言語の仕様を詳しく知るほど、短いコードが書けるようになりますが、
なるべくトリッキーな方向ではなく、素直な方が良いと思います。

というのは、移植性が下がる、というデメリットもあるからです。
何年後かに新言語に移行しようとか、後でしたい場合が出てきた時、
細かい言語の仕様が分からなくて（とくに新言語の方）
苦労することもあります。だから、「効率性より移植性」。

しかも、下手すると、同言語でも、バージョンアップで仕様変更した時に、
エラーやバグが出て、メンテが面倒くさい、ということもよくあります。

もちろん、短絡評価の仕様は、この先ずっと同じかもしれないけど、
100個くらい仕様に依存した書き方があれば、確率的にどれか引っかかります。

言語仕様に依存しまくってもいいのは、ひとりで書いていて、
ずっとその言語で書こうと思っている場合だけです。