Сопоставление с образцом в Java: InstanceOf (JEP 305)

[IL_Agent]

Интересно, почему сделали как в c#, а не смарткаст как в котлине.

[VolCh]

Вот что параметрический полиморфизм с людьми делает… А если знаком с ним только понаслышке, то долго надо понимать а почему, собственно, сломается что-то от того, что в конкретном блоке будет известно, что одна из переменных какого-то типа ещё и вполне конкретного подтипа.

[LeshaRB]

Можно же сделать абстрактный метод speak, в animal.

И пусть он мяукает или лает

[tim-zh]

Был у меня когда-то проект специализированной IDE на основе Eclipse, внутри которого разрабы из IBM любили навалить instanceof по любому поводу. Это был настоящий ад: передаешь условный Subtype в метод, который ожидает Supertype, — и ничего не работает. И приходится полдня копаться в исходниках, чтобы где-то в глубине найти метод с пачкой instanceof, среди которых просто нет кейса на Subtype.