如何声明作为通用参数提供的通用值类型的const字段

Question

我正在尝试定义一个通用类，该通用类接受一个值类型（实际上它将是一个枚举）作为参数，并使用其默认类型初始化一个const字段。

我想要类似的东西：

public abstract class GenericClass<ValueType> 
    where ValueType: struct, IConvertible
{
  public const ValueType val = default(ValueType);
}

不幸的是，编译器抱怨（我使用的是Mono，但我认为在.NET上是相同的）。 错误如下：

错误CS1959：无法将类型参数“ ValueType”声明为const

我怎么了

Answer 1

常量类型不允许使用Type参数。

因为无法将struct设为const （从C＃规范10.4常量 ）

常量声明中指定的类型必须是sbyte ， byte ， short ， ushort ， int ， uint ， long ， ulong ， char ， float ， double ， decimal ， bool ， string ，枚举类型或引用类型。

解决此限制的一种方法是将其声明为static readonly 。

public static readonly ValueType val = default(ValueType);

Answer 2

根据其在MSDN中的定义 ：常量表达式是可以在编译时完全求值的表达式。

根据这个SO答案 ，引用了这次采访 ：

Anders Hejlsberg：[...]在CLR [公共语言运行时]中，当您编译List或任何其他泛型类型时，它会像任何普通类型一样编译为IL [Intermediate Language]和元数据。 IL和元数据包含当然知道类型参数的其他信息，但是原则上，泛型类型的编译方式与任何其他类型的编译方式相同。 在运行时，当您的应用程序首次引用List时，系统将查看是否有人已经请求List。 如果没有，它将JIT的List的IL和元数据以及类型参数int馈入JIT。 在JIL的过程中，JITer也替换了type参数。

因此，由于未在编译时定义类型，因此直到运行时才能获取默认值。