InstanceOf - несовместимые типы операндов условного

Question

Следующая отлично компилируется:

Object o = new Object(); 
    System.out.println(o instanceof Cloneable); 

Но это не:

String s = new String(); 
    System.out.println(s instanceof Cloneable); 

ошибка компилятора брошено.

В чем проблема?

Answer 1

Более вопиющее воплощение вашей проблемы заключается в следующем:

if ("foo" instanceof Number) 
    // "Incompatible conditional operand types String and Number" 

Это указано в JLS 15.20.2 Type comparison operator instanceof:

RelationalExpression: 
     RelationalExpression instanceof ReferenceType 

If a cast of the RelationalExpression to the ReferenceType would be rejected as a compile-time error, then the instanceof relational expression likewise produces a compile-time error. In such a situation, the result of the instanceof expression could never be true.

То есть, так как это выражение литого генерирует ошибку во время компиляции:

(Number) "foo" 

так должно быть это выражение:

("foo" instanceof Number) 

---

Ваш случай является немного более тонким, но принцип тот же:

• String является конечный класс
• String не реализует Cloneable
• Таким образом, вы можете 't do (Cloneable) aString
• Поэтому вы также не можете сделать aString instanceof Cloneable

Answer 2

Компилятор знает, что String является окончательным классом и не реализует Cloneable. Поэтому ни один экземпляр String не может когда-либо быть экземпляром Cloneable. Это мешает вам думать, что у вас есть осмысленный тест, когда на самом деле он всегда будет печатать «ложь».

Answer 3

Связанный с этим вопрос, который я встречал в последнее время (и которые привели меня к этой странице, прежде чем я понял, что происходит) в том, что среда Eclipse, может сообщить «Несовместимые условные типы операндов» В " instanceof 'ошибочно из-за отсутствующего оператора import для типа справа от instanceof. Я потратил некоторое время, пытаясь понять, как типы, о которых идет речь, могут быть несовместимыми, прежде чем выяснять, что недостающий импорт вызывает всю проблему. Надеюсь, эта информация немного спасет кого-то.