Pourquoi n'y a-t-il pas d'équivalent dans les paramètres génériques C# à Ada?

Question

S'il vous plaît noter que je ne parle pas générique Type paramètres.

Par exemple, dans Ada, je peux écrire un paquet qui doit être initialisé en utilisant une valeur au lieu d'un type. par exemple.

generic 
    Size : Positive; 
package Sudokus is 

    subtype Values is Positive range 1..Size*Size; 
    type Choice is private; 
    type Sudoku is private; 

    procedure Fill(S : out Sudoku); 
    procedure Init(S : out Sudoku); 
    procedure Solve(S : in out Sudoku); 
    procedure Print(S : Sudoku); 

    Unsolvable_Grid_Error : exception; 

Et voici comment l'utiliser:

package My_Sudoku is new Sudokus(3); -- 3 for 9x9 solver, 4 for 16x16 solver, etc. 

Je suppose qu'il n'y a pas d'équivalent mais je trouve cela très utile. Y a-t-il une raison à cette absence?

Answer 1

La réponse générale à la question «pourquoi C# n'a pas la caractéristique X» tourne autour des avantages d'une telle caractéristique par rapport aux coûts. Les avantages sont généralement évidents, mais les coûts comprennent:

• complexité accrue des spécifications du langage
• La complexité croissante du code en utilisant la langue à la pleine
• accrue exigence pédagogique - les développeurs doivent en savoir plus afin de comprendre leur Code de collègues
• Coût de la conception de la fonction
• le coût de la mise en œuvre de la fonction
• coût des tests de la fonction
• La difficulté accrue à ajouter plus de fonctionnalités plus tard - parce que souvent les caractéristiques vont interagir les uns avec les autres, souvent de façon maladroite

Fondamentalement, il ne devrait pas être un cas de demande pourquoi une caractéristique particulière n'est pas présent: il devrait être une question de faire valoir que les avantages de la fonctionnalité sont énormes par rapport aux coûts. Les fonctionnalités doivent gagner leur place dans la langue, et les concepteurs de la langue ont placé la barre très haut. (Comme Anders l'a dit dans le passé, chaque fonctionnalité commence avec un score de -100, et doit progresser.)

Answer 2

Pourquoi ne pas simplement passer la taille au constructeur et initialiser le tableau avec ça?

class Sudokus 
{ 
    char[] field; 
    public Sudokus (int size){ field = new char[size*size]; } 
} 

L'avantage que je pouvais voir avec un « paramètre générique » est si vous aviez un tableau de taille fixe, ce qui pourrait permettre un accès plus rapide, mais qui ne sont pas pris en charge en C# de toute façon (au moins pas non -variable locale).

Je sais que ce type de modèle est supporté en C++, ce qui est bien supérieur à la modélisation en C# ou en Java.