Typen testen in Java

Zwar testet Java bei Typformungen (in Ober- oder Untertypen) schon, ob solche Interpretationen möglich sind, doch kann man in Java auch entsprechende Aussagen schreiben, um zu formulieren, daß ein Objekt als Exemplar eines Typs interpretiert werden kann.

Hierfür gibt es den Operator "instanceof", der es erlaubt die Aussage 〈RelationalExpression 〉 "instanceof" 〈ReferenceType 〉 zu notieren, die aussagt, daß der Ausdruck 〈RelationalExpression 〉 als Ausdruck des Typs 〈ReferenceType 〉 interpretiert werden kann, also mit einer Typformung in diesen Typ gewandelt werden könnte.

〈RelationalExpression 〉 ::=: 〈RelationalExpression 〉 "instanceof" 〈ReferenceType 〉.

So ist die Aussage ""Hallo!" instanceof String" beispielsweise wahr, da der Ausdruck ""Hallo!"" tatsächlich vom Typ "String" ist.

Die Aussage ""Hallo!" instanceof Object" ist wahr, da der Ausdruck ""Hallo!"" als Ausdruck vom Typ "Object" interpretiert werden kann (d.h.: er kann in den Typ "Object" geformt werden, wie beispielsweise in dem Ausdruck "( Object )"Hallo!"").

Aber auch die Aussage ""Hallo!" instanceof Comparable" ist wahr, weil der Ausdruck ""Hallo!"" auch als Comparable -Objekt interpretiert werden kann.

Der Typ des Objektes ""Hallo!"" ist aber immer nur die Klasse "String".

InstanceOf.java

public final class InstanceOf { public static void main( final java.lang.String[] args ) 
  { java.lang.System.out.println( "Hallo!" instanceof String     ); 
    java.lang.System.out.println( "Hallo!" instanceof Object     ); 
    java.lang.System.out.println( "Hallo!" instanceof Comparable );
    java.lang.System.out.println 
    ( "Hallo!".getClass().getName().equals( "java.lang.String" )); 
    java.lang.System.out.println 
    ( "Hallo!".getClass().getName().equals( "java.lang.Comparable" )); }}

System.out

true 
true 
true 
true 
false

Der Operator "instanceof" ist ein Schlüsselwort und wird daher wie alle Schlüsselwörter ganz mit kleinen Buchstaben geschrieben, obwohl er aus zwei englischen Wörtern zusammengesetzt ist und deswegen nach dem in Java üblichen Stil ein großes "O" enthielte, wenn er ein Bezeichner wäre.

Das Programm "InstanceOf1.java" wird vom Java -Übersetzer gar nicht erst übersetzt, weil der Operator "instanceof" so definiert ist, daß es ein Übersetzungszeitfehler ist, wenn eine entsprechende Formung, wie "( String )( new Double( 0. ) )" einen Übersetzungszeitfehler erzeugen würde.

InstanceOf1.java

public final class InstanceOf1 { public static void main( final java.lang.String[] args ) 
  { java.lang.System.out.println( new Double( 0. ) instanceof String ); }}

Konsole

Test.java:2: inconvertible types 
found   : java.lang.Double 
required: java.lang.String 
  { java.lang.System.out.println( new Double( 0. ) instanceof String ); }} 
                                  ^

Der Operator "instanceof" kann verwendet werden, um zu ermitteln, ob ein Exemplar eine bestimmte Schnittstelle besitzt (oder eine bestimmte Oberklasse hat), wenn dies für eine folgende Formung benötigt wird. Falls dem nicht so ist, kann dann unter Kontrolle eines Programmes eine verständliche Fehlermeldung ausgegeben werden, und es so vermieden werden, daß das Programm aufgrund einer nicht möglichen Formung während der Ausführung mit einer vielleicht weniger verständlichen Fehlermeldung abgebrochen wird.


class AN
{ }
class BN
{ }
class CN
{ }
class AO
{ void name(){ java.lang.System.out.println( "Anton  (O)" ); }}
class BO
{ void name(){ java.lang.System.out.println( "Berta  (O)" ); }}
class CO
{ void name(){ java.lang.System.out.println( "Caesar (O)" ); }}
public final class Main
{
  static void nameN( final java.lang.Object o )
  {      if( o instanceof AN )java.lang.System.out.println( "Anton  (N)" );
    else if( o instanceof BN )java.lang.System.out.println( "Berta  (N)" );
    else if( o instanceof CN )java.lang.System.out.println( "Caesar (N)" ); }
  public static void main( final java.lang.String[] args )
  { final AN an = new AN();
    final BN bn = new BN();
    final CN cn = new CN();
    nameN( an );
    nameN( bn );
    nameN( cn );
    final AO ao = new AO();
    final BO bo = new BO();
    ao.name();
    bo.name();
    co.name(); }}