Delphi-PRAXiS

Delphi-PRAXiS (https://www.delphipraxis.net/forum.php)
-   Object-Pascal / Delphi-Language (https://www.delphipraxis.net/32-object-pascal-delphi-language/)
-   -   Delphi Generic Type in Ordinal Type casten und umgekehrt (https://www.delphipraxis.net/184374-generic-type-ordinal-type-casten-und-umgekehrt.html)

Zacherl 20. Mär 2015 11:29

Delphi-Version: XE7

Generic Type in Ordinal Type casten und umgekehrt
 
Hallo zusammen,

gibt es eine Möglichkeit generische Typen in Ordinalwerte zu casten und umgekehrt? Leider verweigert Delphi mir selbst einen harten Cast der Form
Delphi-Quellcode:
T(IntVal)
oder
Delphi-Quellcode:
Integer(TVal)
Testklasse ist wie folgt:
Delphi-Quellcode:
type
  TMyRec<T> = record
  strict private
    FValue: UInt32;
  public
    function GetValue: T;
    procedure SetValue(const Value: T);
  end;

function TMyRec<T>.GetValue: T;
begin
  // Ungültiger Cast
  Result := T(FValue);
end;

procedure TMyRec<T>.SetValue(const Value: T);
begin
  // Ungültiger Cast
  FValue := UInt32(Value);
end;
Warum ich FValue nicht direkt als T deklariere? Es geht darum, dass ich verschieden große (Ordinal)Typen auf eine feste Größe von 4 Byte bringen muss, aber nach außen hin trotzdem gerne mit den korrekten Typen arbeiten würde. Das ganze wollte ich mir in dieser generischen Form und entsprechenden Class Operatoren vereinfachen.

Klar ist auch, dass so ein Cast "gefährlich" ist solange Delphi keine Constraints bezüglich Ordinaltypen unterstützt (und man auch nicht wie in C++ zur Compiletime die Größe eines generischen Datentyps asserten kann), aber die Klassen werden eh nur intern von mir verwendet.

Viele Grüße
Zacherl

BUG 20. Mär 2015 11:37

AW: Generic Type in Ordinal Type casten und umgekehrt
 
Vielleicht könnte man das mit einem Variant-Record (C++ Union) besser lösen.

Zacherl 20. Mär 2015 11:42

AW: Generic Type in Ordinal Type casten und umgekehrt
 
Zitat:

Zitat von BUG (Beitrag 1294221)
Vielleicht könnte man das mit einem Variant-Record (C++ Union) besser lösen.

Da müsste ich für Enumtypen dann leider trotzdem einen Cast vornehmen, wenn ich nicht sämtliche verwendete Enums auch in den Record mit aufnehmen will :?

himitsu 20. Mär 2015 11:55

AW: Generic Type in Ordinal Type casten und umgekehrt
 
Delphi-Quellcode:
FValue := Ord(Value);
ging auch nicht?


Die Größe von Value (T) ist "noch" nicht bekannt, also ist soein Cast unmöglich, da der blöde Compiler das schon während des Parsens versucht aufzulösen und nicht erst bei der Verwendung (entgültigen Implementierung).

Man kann sowas nur durch böse Casts umgehen, muß dann aber selber peinlichst genau auf die Datengröße achten.
Delphi-Quellcode:
FValue := PUInt32(@Value)^;

BUG 20. Mär 2015 12:23

AW: Generic Type in Ordinal Type casten und umgekehrt
 
Und so etwas geht nicht? (Sry, kein Delphi am Start ...)
Delphi-Quellcode:
type
  TMyRec<T> = record
  strict private
    case byte of
      0: (FMem: UInt32);
      1: (FOrd: T);
  public
    function GetValue: T;
    procedure SetValue(const Value: T);
  end;

function TMyRec<T>.GetValue: T;
begin
  Result := FOrd;
end;

procedure TMyRec<T>.SetValue(const Value: T);
begin
  FOrd := Value;
end;

Zacherl 20. Mär 2015 12:36

AW: Generic Type in Ordinal Type casten und umgekehrt
 
Danke euch beiden, werde das später mal ausprobieren :thumb: Böse Casts sind ok, da ich die Klassen nur intern verwende und da ja genau weiß, wie groß meine Typen sind. Zur Sicherheit kommt noch ein Assert in die Getter/Setter.

Edit:

@BUG:
Typparameter T benötigt evtl. Finalisierung - im varianten Record nicht zulässig.

@himitsu:
Funktioniert perfekt!

jaenicke 20. Mär 2015 12:59

AW: Generic Type in Ordinal Type casten und umgekehrt
 
Ich habe das anders gelöst, in meinem Fall mit einem String-Konverter. Es gibt einfach eine Liste mit Konvertern, und je nach Typ T wird daraus der passende ausgewählt und dann die Konverterfunktion für diesen Typ aufgerufen.
So kann man das typsicher generisch umsetzen und braucht keine unsicheren Casts.

Bei Bedarf kann ich das auch noch genauer zeigen.


Alle Zeitangaben in WEZ +1. Es ist jetzt 07:30 Uhr.

Powered by vBulletin® Copyright ©2000 - 2024, Jelsoft Enterprises Ltd.
LinkBacks Enabled by vBSEO © 2011, Crawlability, Inc.
Delphi-PRAXiS (c) 2002 - 2023 by Daniel R. Wolf, 2024 by Thomas Breitkreuz