Discussion :

[guillemouze]

Salut tout le monde,
une petite question toute bete mais qui me serait d'une grande utilité (sinon tant pis, je le ferai moi meme) : Existe-t'il une fonction comme Succ mais qui retourne au début de l'enum automatiquement?
Du genre :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
type TMonEnum = (me1, me2, me3);
 
SuccEx(me1) = me2
SuccEx(me3) = me1

qui pourrait s'implementer comme ca:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
 
function SuccEx(x: Enum): Enum;
begin
  if x = High(Enum) then
    x := Low(Enum)
  else
    x := Succ(x);
end;

[ShaiLeTroll]

tu peux noter que Succ n'est pas une véritable fonction mais une sorte de macro, non typé !!! ce n'est qu'un Inc !

Selon la directive de compilation RANGECHECKS, il me semble, si tu fais Succ si ce n'est pas actif, tu te retrouves avec une valeur farfelue, sinon, cela provoque une ERangeError ...

[guillemouze]

tu peux noter que Succ n'est pas une véritable fonction mais une sorte de macro, non typé !!!

je sais pas d'où tu note ca, mais la fonction n'est pas implémentée dans System.pas

Donc est il possible (avec les RTTI par exemple) de faire une fonction (non typée je suppose) qui puisse savoir si une variable est arrivée aux bornes des limites() de son type?

[ShaiLeTroll]

Disons que c'est un ensemble d'indice :

- le prototype n'est pas syntaxiquement correct
- pas d'implémentation dans System (pas de Succ ni _Succ, ...)
- le codé généré par Enum := Succ(Enum) ne donne pas un "Call Succ" mais un simple "INC Registre" en assembleur ...

le terme macro étant un abus de langage, en fait succ pourrait presque être comparé à un opérateur comme + ou and ...

Sinon, pour les fonctions non typés, j'avoue que je ne sais pas trop comment cela fonctionne ... à par ma fonction RealAssigned qui utilise un param non typé, je n'ai jamais tenté de faire une fonction non typé (d'ailleurs, ça serait quoi la syntaxe ???)

Ensuite pour le RTTI, ben, les bornes avec RANGECHECKS c'est généré en dur dans l'assembleur pour ce qui concerne les Enum ... il faudrait passer en paramètre de la fonction le typeinfo, car j'ai l'impression, que le compilateur mets aussi en dur le typeinfo pour les fonctions genre Length ou CopyRecord, ... puis il avec le type, il va chercher dans les RTTI, ... mais il a au moins un point d'entrée typé connu !

tient, le sujet "Enregistrement de record non finalisé" pourrait t'intéresser, les liens de SJRD en particulier ...

[Franck SORIANO]

Donc est il possible (avec les RTTI par exemple) de faire une fonction (non typée je suppose) qui puisse savoir si une variable est arrivée aux bornes des limites() de son type?

Tu es en Delphi.NET ? Si c'est le cas, effectivement tu peux connaitre les valeurs possibles d'un enum via Reflexion.

Sinon en Delphi peut-être que les fonction high et low fonctionnent sur un enum, je n'en sais rien.
Par contre les RTTI ce sont des informations supplémentaires qui permettent d'accéder aux membres Published d'une classe non ? Je doute qu'il soit possible d'interroger un enum de cette façon.

Le compilateur travaille avec sa table des symboles pour générer les contrôles des limites "en dur", pas avec les RTTI.

[ShaiLeTroll]

La Reflexion .NET se base sur les RTTI, et cela ne concerne pas que les propriétés publiés des objets en M+ mais aussi les type record, tableau, ... pour pouvoir les finaliser et aussi allouer leur mémoire tout simplement ...

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Le compilateur travaille avec sa table des symboles pour générer les contrôles des limites "en dur", pas avec les RTTI.

Oui, c'est ce que j'ai dit ...

[sjrd]

Par contre les RTTI ce sont des informations supplémentaires qui permettent d'accéder aux membres Published d'une classe non ? Je doute qu'il soit possible d'interroger un enum de cette façon.

C'est en effet ce que pensent les pauvres mortels .......

Non en fait les RTTI c'est beaucoup plus que tu ne crois. Et il est effectivement possible d'obtenir des informations sur un enum avec les RTTI. Voici une fonction avec paramètres non typés et RTTI qui fait ce que tu veux.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
uses
  TypInfo;
 
procedure IncLoop(var Value; TypeInfo: PTypeInfo);
var
  TypeData: PTypeData;
  HighValue: Integer;
begin
  Assert(TypeInfo.Kind = tkEnumeration);
  TypeData := GetTypeData(TypeInfo);
 
  if TypeData.OrdType = otUByte then
  begin
    // Enum stocké sur 1 octet
    if Byte(Value) = TypeData.MaxValue then
      Byte(Value) := 0
    else
      Inc(Byte(Value));
  end else
  begin
    // Enum stocké sur 2 octets
    if Word(Value) = TypeData.MaxValue then
      Word(Value) := 0
    else
      Inc(Word(Value));
  end;
end;

Bon c'est pas testé mais ça devrait très bien fonctionner. Ca s'utilise comme ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
var
  MonEnum: TMonEnum;
begin
  IncLoop(MonEnum, TypeInfo(TMonEnum));
end;

En réfléchissant un peu, tu pourras même écrire la fonction inverse (DecLoop) assez facilement.

[guillemouze]

merci beaucoup sjrd.
Ce code n'est il pas un peu trop lourd comparé un un simple test directement dans le code?

Dommage qu'il n'y ai pas de #define en delphi

je teste ca des demain

[sjrd]

Ce code n'est il pas un peu trop lourd comparé un un simple test directement dans le code?

Si, sans aucun doute. Je ne prétendais pas fournir de solution légère, mais générique. Tu peux simplifier pas mal si tu sais que ton enum est stocké sur un seul octet (il a 256 valeurs maximum) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
procedure IncLoop(var Value; TypeInfo: PTypeInfo);
var
  TypeData: PTypeData;
begin
  Assert(TypeInfo.Kind = tkEnumeration);
  TypeData := GetTypeData(TypeInfo);
 
  if Byte(Value) = TypeData.MaxValue then
    Byte(Value) := 0
  else
    Inc(Byte(Value));
end;

Voire peut-être ceci, à voir si ça passe au niveau de l'appel sur le const :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
procedure IncLoop(var Value; const HighValue); inline;
begin
  if Byte(Value) = Byte(HighValue) then
    Byte(Value) := 0
  else
    Inc(Byte(Value));
end;

A utiliser alors comme ça :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

IncLoop(MonEnum, High(TMonEnum));

Grâce à l'inlining, il y a des chances que celui-là produise son code à l'endroit de l'appel, mais il faut avoir Delphi 2006 minimum.