while( 条件文１ && 条件文２ ){
・・・
}

こういう構文の時、条件1でfalseが返ってきたら条件文２はそもそも検証すらされずwhileループを抜けますか？

たとえば条件１で配列の上限を超えたかどうかを調べ、
超えていればそのままwhileループを抜け出し
条件2の検証で配列の要素数オーバーを防げるかどうかを知りたいです。