Discussion :

[Picolo18]

Salut salut, je voudrais une petite précision concernant les classes génériques en Delphi. Je voudrais savoir s'il était possible de définir une classe qui hériterait d'une classe générique ayant en paramètre la classe que je suis en train de définir. En d'autres termes, faire une sorte de

Code :

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

1
2
 
Myclass = class(MyClassGeneric<MyClass>)

Merci, a toute !

[Kaféine]

Je prend mes responsabilité et je dit oui c'est possible !

en tout cas ceci compile:

Code :

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

1
2
3
4
5
6
7
8
9
 
  TTest<T> = class
 
  end;
 
  TSalut = class(TTest<TSalut>)
  private
 
  end;

[Picolo18]

Salut salut, ok merci de la réponse, j'aurais du préciser un peu plus.
En fait, je voudrais appeler

Code :

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

T.create()

avec create un constructeur de la classe T.

Apparement, avec la clause constructor, cela ne marche pas (d'où ma première question car je pensais que cela ne fonctionnait pas du tout même avec aucune clause). Merci.

[sjrd]

Peux-tu donner ton code complet (avec tes constructeurs, leurs appels, et la clause constructor) ?

[Picolo18]

Salut, voila voila

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
 
type
    TGenericClass<T : constructor> = class
 
      protected
        constructor create();
 
      public
        class function CreateInstance() : T; static;
 
    end;
///////////////////////////////////////////////////////////////////
    TMyClass = class(TGenericClass<TMyClass>)
      public
        constructor create;
    end;
//////////////////////////////////////////////////////////////////
constructor TMyClass.create();
  begin
    Write('Je construis');
  end;
////////////////////////////////////////////////////////////////
constructor TGenericClass<T>.create();
  begin
    Writeln('Generic constructor called');
  end;

Ce que je cherche à faire....

[sjrd]

Hum, oui, je vois où est le problème. Mais je ne vois pas de solution.
Ce n'est même pas un bug à proprement parler, plutôt une "limitation" des génériques en Delphi

Parce qu'en fait, il faut savoir que le Delphi est compilé en une passe, c'est-à-dire que l'analyse du code se fait linéairement du début à la fin, sans jamais revenir en arrière.
Donc, au moment où il compile le (TGenericClass<TMyClass>), il reconnaît TGenericClass comme acceptant un paramètre classe avec constructor, et reconnaît que TMyClass est bien une classe. Mais à ce moment, il n'a pas encore "vu" la définition du constructor Create de TMyClass. Donc à ce moment, TMyClass ne vérifie pas la contrainte constructor. Il ne peut donc pas compiler.

Malheureusement, cette limitation est incontournable, car quelque soit la façon dont on s'y prend, on aura toujours une dépendance circulaire entre "je veux hériter de TGenericClass<TMyClass>" et "avant ça, je dois satisfaire la contrainte constructor".

Le mieux serait de remonter cette limitation à Embarcadero dans QC, mais pour avoir écrit un compilateur Delphi, j'émets déjà des doutes sérieux quant à l'existence d'une solution, côté compilateur.

[Picolo18]

Salut salut, oui je me doutais que c'était une restriction du langage, donc je demandais si quelqu'un avait un moyen de contourner ca. Je vais envoyer un message a Embarcadero alors et je vous tiens au courant. Merci !

[Aos]

Je sais que ça peut paraitre trollesque, mais déja que les génériques sont arrivés tres tard chez Delphi, c'est quand meme le pompon qu'on puisse pas faire ça...

Desolé pour la dérive

[sjrd]

Il est vrai qu'on pourrait imaginer ne vérifier les contraintes que lorsque "le type est complètement défini".

Mais tout ça n'est pas simple, et cette limitation est intrinsèque au fait que le Delphi est un langage à compilation en une passe. On ne peut pas vraiment le reprocher à CodeGear.

[Picolo18]

Salut salut, voila, j'ai fait remonté le problème dans QC et j'ai posté également sur le forum d'embarcadero. La réponse est qu'apparement ce serait un "bug" (c'est ce qu'ils m'ont dit sur le forum, en attendant que le rapport remonte dans QC) et un moyen de contourner le problème :

Code :

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

1
2
3
4
5
6
7
8
9
 
type
TGenericClass<T : class> = class
class function CreateInstance() : T; virtual; abstract;
end;
 
TMyClass = class(TGenericClass<TMyClass>)
class function CreateInstance() : TMyClass; override;
end;

Voila, merci !

[Paul TOTH]

si je comprend bien les génériques, ce correctif leur fait perdre tout leur intérêt

[Picolo18]

Oui ^^ Mais en attendant il n'y a que ça qui marche, espérons que Embarcadero apporte la solution rapidement

[Picolo18]

Salut, salut.
Voila j'ai un autre soucis.
Tout d'abord, le code:

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
 
type
TGenericClass<T : class> = class
public
class function CreateInstance() : T; virtual; abstract;
class procedure Kill(); virtual;
end;
 
TMyClass = class(TGenericClass<TMyClass>)
public
class function CreateInstance() : TMyClass; override;
procedure Test();
end;
 
///////////////////////////////////
Main.pas
/////////////////////////////////
procedure main();
var
 Test1 : TMyClass;
begin
 
  Test1:= TMyClass.CreateInstance(); //Ici ca marche
  Test1.Kill(); //Ici erreur interne à la compilation
end

Alors voila, ma question c'est peut-on appeler une méthode d'une classe générique mère ?
Thx.

[sjrd]

Et si tu écris :

Code :

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

TMyClass.Kill;

au lieu de

Code :

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

Test.Kill;

Ca fait aussi une erreur interne ?

[Picolo18]

Salut, ouais

Code :

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

DCC Erreur fatale F2084 Erreur interne : AV21B2E436-R0000000C-0

[Picolo18]

Salut salut, bon j'ai résolu le problème en appelant la classe mère directement.

Code :

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

1
2
 
TGenericClass<TMyClass>.Kill;

Mais maintenant j'ai un autre soucis qui n'a pas de rapport avec le sujet, mais pour éviter de recréer un post, je demande ici.

En gros, j'ai réalisé un bind d'une lib C vers Delphi. Toutes les fonctions sont exécutés sans trop de soucis, seulement, je viens de remarquer que les string que je passe en paramètre ne sont pas correctement passés à la DLL.
Exemple

Code :

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

1
2
3
4
5
6
7
8
 
//DLL
void display(const char* mystring);
//Delphi
procedure display(mystring : string); cdecl; external 'mydll.dll' name 'display'
 
//Appel
display('Ahahaha')

Ici seulement le premier A est passé à la dll. Alors je voulais savoir si le problème se résout en recompilant la dll avec le compilateur de borland ou si je peux le résoudre dans mon appli ? (ouais pas trop envie de recompiler des libs...)

Thx.

[sjrd]

char * en C c'est PAnsiChar en Delphi, pas string !

[Picolo18]

Ok thanks. Je pensais que const PChar fonctionnait pas en delphi vu l'extreme rigueur sur les types et le fait que les pointeurs puissent pas être utilisés comme des tableaux. Ca marche maintenant thx. Je suppose alors que wchar_t c'est un PWideChar ?