Feststellen dass neuer Typ nur ein Alias ist

[Der schöne Günther]

Angenommen ich habe eine Typdefinition
type TMyType = type Single; Es ist also kein einfacher Alias wie type TMyType = Single .

Wie kann ich nun, zur Laufzeit, feststellen dass TMyType in Wirklichkeit nichts anderes ist als ein Single? Ich kann ja auch problemlos in eine Single-Variable einen TMyType -Wert reinstecken und es kompiliert.

(Ich lasse meine Motivation dafür absichtlich weg um es nicht unnötig kompliziert zu machen)

[mkinzler]

Die beiden Typen sind für Delphi 2 verschiedene Typen

[Der schöne Günther]

So verschieden können sie aber wohl doch nicht sein wenn folgendes geht, oder?

Delphi-Quellcode:

type
   TNewType = type Single;
var
   mySingle:   Single;
   myNewType:   TNewType;
begin
   myNewType := mySingle;
   mySingle := myNewType;
end.

[mkinzler]

Für den Delphicompiler schon.

Z.B. ist auch folgendes nicht kompatibel:

Delphi-Quellcode:

type
  TStringArray: Array of string;
...
var
  a1: TStringArray;
  a2: Array of String;

...

  a1 := a2;

[Der schöne Günther]

Die übertriebene Typsicherheit bei Arrays hätte ich spontan als anderes Thema gesehen, aber ich komme frisch aus dem Urlaub- Vielleicht ist mein Kopf noch nicht wieder ganz da.

Heißt das- Der "Delphi-Compiler" kann es, der Mensch vor der Tastatur allerdings nicht? Mann, ich lege einfach zwei lokale Variablen an und weise sie einander zu. Und vergleiche SizeOf(..) . Sollte jemand die Definition für TMyType eines Tages von Single auf Double ändern wird im dieser Code hier um die Ohren fliegen.

Das muss wohl reichen, besser scheint es ja nicht zu gehen.

[BUG]

Zitat von mkinzler:

Die beiden Typen sind für Delphi 2 verschiedene Typen

Aber wie sieht es ab Delphi 3 aus? (SCNR)

Zitat von Der schöne Günther:

So verschieden können sie aber wohl doch nicht sein wenn folgendes geht, oder?

Das zwei Typen zuweisungskompatibel sind, heißt nicht das sie "gleich" sind. Denk dir zum Bespiel einen BCD-Zahlentyp und einen Integer; die könnten zuweisungskompatibel sein (k.A. ob man das in Delphi hinbekommt), sind aber intern völlig unterschiedliche Datentypen.

[Der schöne Günther]

Zitat von BUG:

Das zwei Typen zuweisungskompatibel sind, heißt nicht das sie "gleich" sind.

Du hast natürlich Recht. Noch besseres Beispiel: Ich kann einen Integer in einen Double reinstecken (diese Richtung). Aber sonst haben die eigentlich nichts gemeinsam.

Warum ist die Welt nur so schlecht...

[BadenPower]

Sorry für OT, aber dass kann ich mir jetzt nicht verkneifen.

Zitat von BUG:

Zitat von mkinzler:

Die beiden Typen sind für Delphi 2 verschiedene Typen

Aber wie sieht es ab Delphi 3 aus? (SCNR)

Ich musste den Satz von Markus 3mal lesen, um ihn so "misszuverstehen", wie man es scheinbar kann.

Der gleiche Wort-Witz hätte nicht mit Lazarus funktioniert.

[Mikkey]

Die Ausgangsfrage lässt sich allerdings beantworten:

Delphi-Quellcode:

type
  myTyp = Single;
var
  ti1, ti2: ^TTypeInfo;
begin
  ti1 := TypeInfo(myTyp);
  ti2 := typeInfo(Single);
  if ti1.Name <> ti2.Name then
    writeLn('verschieden');

Sorry, mit myTyp = type Single; klappt das nicht.

[uligerhardt]

Zitat von Der schöne Günther:

So verschieden können sie aber wohl doch nicht sein wenn folgendes geht, oder?

Delphi-Quellcode:

type
   TNewType = type Single;
var
   mySingle:   Single;
   myNewType:   TNewType;
begin
   myNewType := mySingle;
   mySingle := myNewType;
end.

Ich glaube, mit var-Parametern solltest du einen Unterschied sehen.