Так и можем, компилятор не будет возражать. Если object
нельзя будет привести к Money
, в ходе работы программы будет выброшено исключение ClassCastException
. Но поскольку совсем произвольные объекты на равенство сравниваются нечасто (коллекции типизированы, наши собственные методы возвращают известно что), то может прокатить.
Приоритет оператора ==
выше, чем у &&
, поэтому сначала проверяются на равенство amount
. Если amount
содержит разные значение (для примитивных типов), или ссылаются на разные экземпляры объекта, выражение возвращает false
(оператор &&
работает по короткой схеме, и если левый операнд - false
, то правый не оценивается). Если amount
равны, то проверяется эквивалентность классов объектов this
и object
.
Вообще, это код из книги Kent Beck Test-driven Development: By Example из одного из промежуточных этапов разработки, поэтому он не является сам по себе примером правильного кода, и скорее иллюстрирует принцип TDD "сделайте минимум работы, чтобы пройти тесты". Проверка на равенство классов нужна там, чтобы убедиться, что деньги представлены в одной валюте.
Каждый объект относится к какому-то классу (типу), который никогда не меняется. Object.getClass()
возвращает этот класс. Класс может входить в иерархию (у него есть предки и потомки). Когда мы выполняем приведение к типу T
, мы говорим компилятору, что хотим рассматривать объект по ссылке, как объект типа T
и обращаться к членам класса, определенным в T
или его предках.
На этом этапе в книге создано два вида валюты: доллары и франки, представленные классами Dollar
и Franc
. Оба класса являются наследниками класса Money
, содержащего поле amount
и метод equals
.
После приведения параметра object
к типу Money
мы можем обращаться к Money.amount
, но этого недостаточно, т.к. 5 долларов оказываются равны 5 франкам. Поэтому для равенства дополнительно проверяется равенство классов самих объектов.