Правильно.Компилятор должен всегда выбирать самый быстрый путь из условного.Если какой-либо тест завершается неудачно, компилятор знает, что результаты дальнейших тестов не имеют значения, и решает сразу же внести залог.потому что Obj это ноль.Это тоже хорошо, потому что второй контрольный пример выдаст ошибку, так как вы не можете разыменовать нулевой объект таким образом.Я использовал этот конкретный подход много раз, когда мне нужно убедиться, что какой-то объект не равен нулю, прежде чем разыменовывать его.