Case-Anweisung - Zwingen alle Elemente des Typen auszuprogrammieren

[Rollo62]

Zitat von lxo:

Hätte es halt gerne direkt beim kompilieren.

Zitat von lxo:

Hallo,
ich möchte bei einer Case-Anweisung einen Compiler-Fehler bekommen ....

Genau, beim Compilieren kommt der Fehler mit so einer Lösung
CEnum : array[ TEnum ] of String = ( 't1', 't2', 't3' ); //Knallt schon hier, wenn es nicht übereinstimmt Dass man das jetzt erweitern muss, ist ja genau Sinn des Crashes.
Nebenbei hätte so eine noch weitere Vorteile, also zum Beispiel Textausgabe, Rückgabe beliebiger Werte, etc.

Eventuell sucht Du ja sowas, etwas "Verboseres":

Delphi-Quellcode:

type
  TMyEnum = (Value0, Value1, Value2);

const
  ExpectedEnumSize = 3; // Erwartete Anzahl der Elemente in TMyEnum

{$IF     Ord(High(TMyEnum)) > (ExpectedEnumSize-1) }
  {$MESSAGE ERROR 'TMyEnum wurde erweitert!'       }
{$ELSEIF Ord(High(TMyEnum)) < (ExpectedEnumSize-1) }
  {$MESSAGE ERROR 'TMyEnum wurde verkleinert!'     }
{$IFEND}

[dummzeuch]

Zitat von Rollo62:

Genau, beim Compilieren kommt der Fehler mit so einer Lösung
CEnum : array[ TEnum ] of String = ( 't1', 't2', 't3' ); //Knallt schon hier, wenn es nicht übereinstimmt

Das Problem ist, dass man dann aber die betroffenen case-Statements alle manuell raussuchen muss, was nicht ganz so einfach ist, da dort ja nicht der Typ sondern eine Variable des Typs verwendet wird, man kann also nicht einfach ein grep auf den Namen des Typs machen. Wenn der Compiler bei jedem davon einen Fehler schmeißt, ist das einfacher. Kann ja auch gerne abschaltbar sein (wobei man das ja auch mit einem else erreichen könnte).

[himitsu]

Er muß ja keinen Fehler werfen, aber z.B. eine Warnung oder Info wäre eigentlich problemlos möglich, wenn bei einem Enum nicht alle Werte benutzt wurden.

Ja, natürlich auch abschaltbar, bzw. vielleicht über ein Attribut oder Keyword, explizit anforderbar,
denn es kommt vor, dass ich in manchen Case absichtlich garnicht alles verwende,
z.B. wenn an einer Stelle nur ein Teil benötigt wird und der Rest einfach nichts machen soll.

[dummzeuch]

Zitat von himitsu:

Ja, natürlich auch abschaltbar, bzw. vielleicht über ein Attribut oder Keyword, explizit anforderbar, denn es kommt vor, dass ich in manchen Case absichtlich garnicht alles verwende,
z.B. wenn an einer Stelle nur ein Teil benötigt wird und der Rest einfach nichts machen soll.

Dafür gibt's ja schon else. Dann muss man allerdings evtl. anderen Tools beibringen, dass ein leeres else durchaus OK ist.

Delphi-Quellcode:

case bla of
  b1: HandleB1;
  b2: HandleB2;
else
  // nix tun
end;

[Uwe Raabe]

Zitat von dummzeuch:

da dort ja nicht der Typ sondern eine Variable des Typs verwendet wird, man kann also nicht einfach ein grep auf den Namen des Typs machen.

Wenn man SCOPEDENUMS verwendet, schon...

[bernau]

Zitat von Uwe Raabe:

Wenn man SCOPEDENUMS verwendet, schon...

Wenn da nicht mein 25 Jahre alter Code wäre.

[Sinspin]

Zitat von bernau:

Zitat von Uwe Raabe:

Wenn man SCOPEDENUMS verwendet, schon...

Wenn da nicht mein 25 Jahre alter Code wäre.

... wie ein guter Wein.

[dummzeuch]

Zitat von Uwe Raabe:

Zitat von dummzeuch:

da dort ja nicht der Typ sondern eine Variable des Typs verwendet wird, man kann also nicht einfach ein grep auf den Namen des Typs machen.

Wenn man SCOPEDENUMS verwendet, schon...

Wenn ich so viel tippen wollte, kann ich ja gleich Java oder C# verwenden.

Das wäre mal eine interessante IDE-Funktion: Man tippt einen Enum-Wert und die IDE schlägt automatisch einen Scope vor. Also quasi ein umgekehrtes TEnumType.<ctrl+Space>
Oder gibt's das am Ende schon?

[joachimd]

Zitat von dummzeuch:

Das wäre mal eine interessante IDE-Funktion: Man tippt einen Enum-Wert und die IDE schlägt automatisch einen Scope vor. Also quasi ein umgekehrtes TEnumType.<ctrl+Space>
Oder gibt's das am Ende schon?

Ich meine ja. Müsste aber eine VM starten, um es zu verifizieren. Klappt aber nur beim Erstellen des Case, nicht im Nachhinein beim Erweitern des Enum.

[dummzeuch]

Zitat von joachimd:

Zitat von dummzeuch:

Das wäre mal eine interessante IDE-Funktion: Man tippt einen Enum-Wert und die IDE schlägt automatisch einen Scope vor. Also quasi ein umgekehrtes TEnumType.<ctrl+Space>
Oder gibt's das am Ende schon?

Ich meine ja. Müsste aber eine VM starten, um es zu verifizieren. Klappt aber nur beim Erstellen des Case, nicht im Nachhinein beim Erweitern des Enum.

Das ist leider nicht, was ich meinte:

Delphi-Quellcode:

type
  TEnumTyp = (enumWert1, enumWert2);

if SomeEnumVariable = enumWert1<Tastatur-Shortcut-drücken>

sollte daraus dann TEnumTyp.EnumWErt1 machen.