Frage zum "is"-Operator

[JamesTKirk]

Zitat von QStorm:

Zitat von JamesTKirk:

Das Gegenstück zu instanceof ist nun mal is und macht genau das was du beschreibst. Vielleicht hast du ganz falsche Erwartungen davon, was da passiert?

Eben nicht, denn "instanceof" prüft ob das referenzierte Objekt zuweisungskompatibel zu einer Klasse ist. "is" hingegen prüft lediglich, ob die Referenz/Pointer zuweisungskompatibel ist (wie man in meinem Beispiel schön sieht). "TObject.InheritsFrom" macht genau das was ich brauche.

Dann guck dir mal die Implementierung von is in FPC an:

Delphi-Quellcode:

    function fpc_do_is(aclass : tclass;aobject : tobject) : boolean;[public,alias: 'FPC_DO_IS']; compilerproc;
      begin
         fpc_do_is:=assigned(aobject) and assigned(aclass) and
           aobject.inheritsfrom(aclass);
      end;

Zitat von QStorm:

Zitat von JamesTKirk:

Ich hab mal dein Beispiel von Anfang (ein bisschen abgeändert) getestet:

Ich habe dein abgeändertes Beispiel ausgeführt. Die Ausgabe ist jedoch anders, als du schreibst:

Code:

TStringList
TRUE

Eventuell kann es sein, dass der Compiler intfobjvar is TInterfacedObject vereinfacht zu Assigned(intfobjvar) , weil er davon ausgeht, dass in einer Variable vom Typ TInterfacedObject nur eine Instanz vom Typ TInterfacedObject oder eines seiner Nachfahren sein kann...
Kannst du dir mal bitte noch das Ergebnis von obj is TInterfacedObject ausgeben lassen? Da sollte dann, falls meine Vermutung zutrifft, False bei rauskommen.

Gruß,
Sven

[Stevie]

Zitat von JamesTKirk:

Eventuell kann es sein, dass der Compiler intfobjvar is TInterfacedObject vereinfacht zu Assigned(intfobjvar) , weil er davon ausgeht, dass in einer Variable vom Typ TInterfacedObject nur eine Instanz vom Typ TInterfacedObject oder eines seiner Nachfahren sein kann...

Richtig vermutet, bei einem is auf genau die Klasse der Variable oder eine Elternklasse macht der Compiler einfach nur eine Assigned Überprüfung.

[himitsu]

Zitat von Stevie:

Richtig vermutet, bei einem is auf genau die Klasse der Variable oder eine Elternklasse macht der Compiler einfach nur eine Assigned Überprüfung.

Und wenn nicht, dann gibt es entweder einen Bug und/oder jemand hat böswillig/mutwillig die Typprüfung umgangen.

[Stevie]

Zitat von himitsu:

Zitat von Stevie:

Richtig vermutet, bei einem is auf genau die Klasse der Variable oder eine Elternklasse macht der Compiler einfach nur eine Assigned Überprüfung.

Und wenn nicht, dann gibt es entweder einen Bug und/oder jemand hat böswillig/mutwillig die Typprüfung umgangen.

Ja, auf eine Art irgendwie logisch, dass das so gemacht wird. Ansonsten bringt einem die ganze Typensicherheit auch nix, wenn man an jeder Ecke doch noch nachschauen muss, obs stimmt.