Delphi: tableau de Char et TCharArray "Types Incompatibles"

Question

J'ai rencontré plusieurs fois cette erreur "Types incompatibles" dans le commentaire ci-dessous, et je n'ai jamais été satisfait de la raison pour laquelle cela n'est pas directement supporté dans Delphi 2007:

program Project1; {$APPTYPE CONSOLE} 

type TCharArray = array of Char; 

procedure DoArray(Chars: array of Char); 
begin 
end; 

function ReturnTCharArray: TCharArray; 
var CharArray: TCharArray; 
begin 
    Result := CharArray; 
end; 

begin 
    DoArray(ReturnTCharArray); // [DCC Error] Project1.dpr(18): E2010 Incompatible types: 'Array' and 'TCharArray' 
end. 

Ne devrait-il pas être possible de rendre un type de tableau "aliasé" à un autre type de tableau compatible les uns avec les autres? En supposant que je ne puisse pas changer la déclaration de DoArray (elle fait partie d'une bibliothèque tierce), comment écrire une fonction retournant un tableau de caractères compatible avec le param de DoArray? La simple "fonction ReturnAChar: array of Char;" aboutit à une erreur "Identifier expected but 'ARRAY' trouvé". J'ai même essayé de changer la fonction retournant le tableau à une procédure avec un var "array of Char", mais cela ne permet pas non plus de régler la longueur du param "array of Char" dans la procédure ("L'objet Constant ne peut pas être passé comme paramètre var ").

Answer 1

Ce n'est pas le cas. Pascal gère les types de tableaux par nom, pas par description, et l'a toujours fait. Pourquoi ne pouvez-vous pas changer la déclaration de DoArray? (Et pourquoi at-il été écrit comme ça en premier lieu?)

Answer 2

Lorsque typed @ operator est hors du compilateur ne vérifie pas ce que vous attribuez à un pointeur, de sorte que vous pouvez appeler une procédure avec mauvais paramètres:

program Project1; {$APPTYPE CONSOLE} 

type TCharArray = array of Char; 

procedure DoArray(Chars: array of Char); 
begin 
end; 

function ReturnTCharArray: TCharArray; 
var CharArray: TCharArray; 
begin 
    Result := CharArray; 
end; 

type TFakeDoArray = procedure(Chars: TCharArray); 

var 
    FakeDoArray: TFakeDoArray; 
begin 
    FakeDoArray := @DoArray; 
    FakeDoArray(ReturnTCharArray); 
end. 

Alors que le compilateur ne se plaindra pas, pour la raison même que 'Jeroen' indique dans son commentaire pour Mason's answer, cela ne fonctionnera pas.

Vous pouvez alors essayer de déclarer votre procédure faux compatible avec un avec un paramètre tableau ouvert:

program Project1; {$APPTYPE CONSOLE} 

type TCharArray = array of Char; 

procedure DoArray(Chars: array of Char); 
begin 
end; 

function ReturnTCharArray: TCharArray; 
var CharArray: TCharArray; 
begin 
    Result := CharArray; 
end; 

type 
    TFakeDoArray = procedure(AnArray: Pointer; High: Integer); 

var 
    FakeDoArray: TFakeDoArray; 
    Tmp: TCharArray; 
begin 
    FakeDoArray := @DoArray; 
    Tmp := ReturnTCharArray; 
    FakeDoArray(Tmp, High(Tmp)); 
end. 

Crédits sont Rudy en raison de son great article. Et la documentation pertinente (de Program Control):

Un paramètre tableau ouvert est passé comme deux valeurs 32 bits. La première valeur est un pointeur vers les données de la matrice, et la deuxième valeur est un de moins que le nombre d'éléments dans le tableau.

Answer 3

Un point que je n'ai pas vu encore mentionné est que TCharArray est un type de tableau dynamique, tout est un paramètre tableau ouvert dans

procedure DoArray(Chars: array of Char); 

Chars. Il n'y a pas de syntaxe pour déclarer un paramètre de tableau dynamique. Pour avoir un paramètre de tableau dynamique, il doit être déclaré en tant que type.

type 
    TMyDynArray = array of Integer; 

procedure DoArray(Integers : TMyDynArray); 

Answer 4

Ceci peut en fait être un bogue du compilateur (ou une limitation qui n'a jamais été documentée correctement). J'ai fait quelques expérimentations et j'ai trouvé que vous pouviez passer un tableau dynamique (tapé ou non) à une procédure qui attendait un tableau ouvert pour presque tous les types ... sauf Char et WideChar.

Voir Is a dynamic array of Char allowed when the parameter type is open array of Char? pour une description du problème et un possible contourner.