Ordre de déclaration Struct

Question

Si je définis des structures au niveau du module, je peux référencer des structures non encore définies.

struct S { 
    ComesLater c; 
} 
struct ComesLater {} 

Mais si je fais la même chose dans un unittest ou un bloc fonctionnel, il ne fonctionne pas:

unittest { 
    struct S { 
    ComesLater c; 
    } 
    struct ComesLater {} 
} 

Error: undefined identifier 'ComesLater'

Pourquoi? Comment puis-je obtenir des déclarations indépendantes de la commande dans les fonctions? Y a-t-il une sorte de forward-declaration en d? J'ai besoin de cela parce que je génère des structures en utilisant mixin et en ordonnant les déclarations dans l'ordre de leurs dépendances internes serait un effort, parfois impossible, s'il y a des structures de référencement circulaires. (utilisant des pointeurs.)

Answer 1

Les déclarations à l'intérieur de fonctions, de tests unitaires ou de tout autre endroit où des instructions peuvent réellement être exécutées dépendent en effet de leur ordre, car leurs valeurs peuvent dépendre du code avant leur exécution. Pensez à une variable locale:

int a; 
writeln(a); 
a = b; 
int b = get_user_line(); 

Si l'ordre n'était pas important, quand les deux fonctions seraient-elles appelées? Est-ce qu'on demanderait à l'utilisateur une ligne avant l'écriture alors que les déclarations sont réécrites?

Le comportement actuel de rendre b une erreur de variable indéfinie le rend simple et direct.

Cela fonctionne indépendamment de l'ordre dans d'autres contextes car il n'y a pas de code exécutable sur lequel il puisse dépendre, donc il n'y a pas de comportement qui peut changer si le compilateur doit y penser différemment.

Alors:

Comment puis-je obtenir des déclarations d'ordre indépendant à l'intérieur des fonctions?

Modifiez le contexte de manière à ce qu'il n'y ait pas de code exécutable ... mettez le tout dans une autre structure! Puisque l'exécution se passe autour du support et ne se produit pas à l'intérieur, l'ordre de déclaration à l'intérieur n'a plus d'importance. Puisque vous pouvez définir presque n'importe quoi dans une structure, vous pouvez l'utiliser pour les variables, les fonctions, les autres structures, etc. Fondamentalement, tout ce que vous avez à faire est d'enrouler votre code existant à l'intérieur des parenthèses struct Holder {}. En rendant tout ce qui est statique à l'intérieur, vous pouvez simplement l'utiliser comme un conteneur et le référencer avec Holder.S, etc., à l'extérieur.