为什么 C# 中没有与 Ada 泛型参数等效的参数？

Question

请注意，我不是在谈论通用类型参数。

例如，在 Ada 中，我可以编写一个需要使用值而不是类型进行初始化的包。例如

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;

，这就是如何使用它：

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

我想没有等效的，但我发现它非常有用。 这次缺席有原因吗？

Answer 1

“为什么 C# 没有功能 X”的一般答案围绕着这种功能的好处与成本。好处通常是显而易见的，但成本包括：

• 语言规范的复杂性增加
• 充分使用该语言的代码的复杂性增加
• 教育要求增加 - 开发人员必须了解更多才能理解同事的代码
• 设计功能的成本
• 实现功能的成本功能
• 测试功能的成本
• 以后添加更多功能的难度增加 - 因为功能通常会以尴尬的方式相互交互

基本上，不应该问为什么某个特定功能不存在：它应该是与成本相比，该功能的好处是巨大的。功能必须在语言中赢得一席之地，并且语言设计者已经设定了相当高的标准。 （正如 Anders 过去所说，每个功能的得分都是 -100，并且必须逐步提高。）

Answer 2

为什么不简单地将大小传递给构造函数并用它初始化数组呢？

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

我能看到的“通用参数”的唯一优点是如果你有一个固定大小的数组，它可以允许更快的访问，但无论如何 C# 不支持这一点（至少不作为非局部变量）。

我知道 C++ 支持这种模板，这种模板远远优于 C# 或 Java 中的模板。