"type xyz = type string" Sprachkonstrukt?!?

[himitsu]

das type besagt, daß ein eigenständiger Type angelegt wird.

dieses erstellt einen Alias für den Type, aber in der RTTI bleibt es dennoch der externer Type "String".
type xyz = string; .

hier wird in der RTTI für xyz ein eigenständiger Type angelegt.
type xyz = type string; .

Delphi hat doch eine strenge Typenprüfung, so daß man nun "xyz" und "string" unterscheiden kann.


[add]

Delphi-Quellcode:

type
  PTypeInfo = ^TTypeInfo;
  TTypeInfo = packed record
    Kind: Byte;
    Name: ShortString;
   {TypeData: TTypeData}
  end;

type
  xyz = type string;
  abc = string;
  def = xyz;

begin
  ShowMessage(Format('string = %s'#10'xyz = %s'#10'abc = %s'#10'def = %s'#10, [
    PTypeInfo(TypeInfo(string))^.Name, PTypeInfo(TypeInfo(xyz))^.Name,
    PTypeInfo(TypeInfo(abc))^.Name, PTypeInfo(TypeInfo(def))^.Name]));

[ralfiii]

Zitat von himitsu:

das type besagt, daß ein eigenständiger Type angelegt wird... RTTI...unterscheiden kann.

Danke! Jetzt kapier ich's endlich...

[himitsu]

Bitte

Sowas kann man z.B. für sowas verwenden:

Delphi-Quellcode:

procedure a(x: xyz); overload;
procedure a(x: string); overload;

aber Achtung, dieses a('dsa'); geht hier allerdings nicht, da die Konstante noch keinem Typen direkt zugeordnet ist und somit der Compiler nicht weiß, welcher "String"-Type nun zuständig wäre, aber man kann somit unterschiedliche Variablen übergeben und anders behandeln.