为什么结构体不能声明为 const？

Question

它们是堆栈上不可变的值类型。是什么让我不让它们成为常量？

参考文献：

• http://msdn.microsoft.com/ en-us/library/ah19swz4(v=vs.71).aspx
• http://msdn.microsoft.com/en-us/library/aa664465(v=vs.71).aspx
• http://msdn.microsoft.com/en-us/library/aa288471(v=vs.71) .aspx

Answer 1

C# 中的 const 意味着它可以在编译时确定，这就是为什么只有非常原始的类型（例如 int 和 string）才可以是 const。

如果您有 C 背景，readonly 关键字可能更适合您。

Answer 2

为了让 C# 编译器生成结构类型的 const 值，它必须知道其所有字段中应包含哪些值。 C# 编译器本质上知道如何初始化某些类型（例如 Decimal）的字段，但对于大多数值类型，它没有这样的知识。

编译器可以提供一种在公开所有 struct 字段的上下文中声明结构类型常量值的方法。如果结构体的字段是私有，则只能在结构体中声明该类型的常量；如果字段是内部字段，则可以在程序集中的任何位置声明常量；如果public，它们可以在任何地方声明。

虽然我希望看到这样的功能，但我不希望有任何主流.net语言来实现它。编译器本身知道的类型的命名常量可以参与其他常量表达式，而静态只读变量则不能。如果 NumRows 是等于 4 的常量，则像 Arr[3*NumRows+7] 这样的表达式甚至可以用 Arr[19] 替换如果 NumRows 是在外部程序集中定义的。这使得此类常量比静态只读变量具有显着的优势。但是，如果常量属于编译器本质上无法识别的类型，则它参与任何常量表达式的能力将非常有限，从而首先有效地否定了其作为常量的优势。如果值类型常量具有公开字段，则编译器可以使用该字段的值作为常量，但由于 .net 语言的创建者在哲学上反对具有公开字段的结构，因此我不希望即使他们可以，他们也允许这种使用。

在某些潜在的用例中，常量比静态只读变量更受青睐，但许多此类情况可以使用现有类型进行可接受的处理。例如，库可能会公开 const Int64 来编码有关其版本的信息，并使用该值作为 GetLinkedVersionInfo 方法的默认参数值。有问题的值将在编译时“融入”调用代码中，从而允许该方法报告调用者链接的库版本，并可能确定其运行的版本是否存在兼容性问题。

Answer 3

我刚刚使用一个简单的可变结构测试了 readonly 关键字：

struct Test
{
   public int value;

   public void setInt(int val)
   {
      value = val;
   }
}

static class Program
{
   public static readonly Test t = new Test();

   static void Main()
   {
      Console.WriteLine(t.value); // Outputs "0"
      t.setInt(10);
      //t.value = 10;  //Illegal, will not let you assign field of a static struct
      Console.WriteLine(t.value); // Still outputs "0"
   }
}

尽管从技术上讲 readonly 结构不是编译时常量，但运行时不会让它改变。即使单步抛出了 setInt() 方法，它看起来像是值发生了变化，但没有显示 Main 中的变化。

我猜结构本身被放置在“只读”内存中，不允许它们更改。与类不同，类只是保持指针不变，允许类字段本身根据需要进行更改。

所以看起来static readonly实际上是一个const，即使对于可变结构也是如此。

Answer 4

因为值类型构造函数可能会执行任何操作 - 例如，根据一天中的时间切换逻辑。常量值类型在理论上是有意义的，但在实践中它根本无法在自定义值类型上工作，因为构造函数可以灵活地做任何他们想做的事情。 （请记住，常量是在编译时计算的，这意味着您的构造函数必须在编译时运行。）