Оператор 'instanceof' поводиться по-різному щодо інтерфейсів та класів

Я хотів би знати про наступну поведінку instanceofоператора в Java.

interface C {}

class B {}

public class A {
    public static void main(String args[]) {
        B obj = new B();
        System.out.println(obj instanceof A);      //Gives compiler error
        System.out.println(obj instanceof C);      //Gives false as output
    }
}

Чому це так? Існує ніякого відношення між interface Cіclass B , але це видає помилкове, тоді як у випадку obj instanceof Aце видає помилку компілятора?

Оскільки Java не має успадкування декількох класів, під час компіляції абсолютно відомо, що objоб'єкт типу Bне може бути підтипом A. З іншого боку, це може бути підтипом інтерфейсу C, наприклад, у цьому випадку:

interface C {}

class B {}

class D extends B implements C {}

public class A {
    public static void main(String args[]) {
        B obj = new D();
        System.out.println(obj instanceof C);      //compiles and gives true as output  
    }
}

Отже, дивлячись лише на obj instanceof Cкомпілятор виразів, не можна заздалегідь визначити, чи буде він істинним чи хибним, але, дивлячись на obj instanceof Aнього, відомо, що це завжди хибно, отже безглуздо і допомагає запобігти помилці. Якщо ви все ще хочете мати цю безглузду перевірку у своїй програмі, ви можете додати явний кастинг до Object:

System.out.println(((Object)obj) instanceof A);      //compiles fine

Використовуючи finalмодифікатор у декларації класу нижче, гарантується, що не може бути підкласу Test, який може реалізувати інтерфейс Foobar. У цьому випадку очевидно, що Testі Foobarвони не сумісні між собою:

public final class Test {

    public static void main(String[] args) {
        Test test = new Test();
        System.out.println(test instanceof Foobar); // Compiler error: incompatible types
    }
}

interface Foobar {
}

В іншому випадку, якщо Testце не оголошено final, можливо, підклас Testреалізує інтерфейс. І тому компілятор дозволить висловлювання test instanceof Foobarв цьому випадку.