为什么 IsLiteral 对小数返回 false？

Question

以下程序将使用IsLiteral打印字段以及是否为常量

public static class Program
{
    public static void Main(string[] args)
    {
        foreach (var field in typeof(Program).GetFields())
        {
            System.Console.WriteLine(field.Name + " IsLiteral: " + field.IsLiteral);
        }

        System.Console.ReadLine();
    }

    public const decimal DecimalConstant = 99M;
    public const string StringConstant = "StringConstant";
    public const int IntConstant = 1;
    public const double DoubleConstant = 1D;
}

它适用于所有类型，除了 decimal 将返回 false。

谁能解释这种行为？有没有更好的方法来查看字段是否为常量？

Answer 1

从运行时的角度来看，它不是一个常数——因为CLR基本上不知道decimal；它不是原始类型。这就是为什么你也不能在属性中使用小数。

如果您查看 IL 中的字段，您可以看到它的实际效果：

.field public static initonly valuetype [mscorlib]System.Decimal DecimalConstant
.custom instance void [mscorlib]System.Runtime.CompilerServices.DecimalConstantAttribute::.ctor
  (uint8, uint8, uint32, uint32, uint32) =
  (01 00 00 00 00 00 00 00 00 00 00 00 63 00 00 00 00 00) 
.field public static literal string StringConstant = "StringConstant"
.field public static literal int32 IntConstant = int32(0x00000001)
.field public static literal float64 DoubleConstant = float64(1.)

注意其他常量的 IL确实 有 literal，但 DecimalConstant 没有。相反，它只是一个应用了属性的只读字段。该属性允许其他编译器将该字段视为常量并知道其值 - 例如，它可以出现在其他 const 表达式中。

然后有一个类型初始化器在执行时设置字段值：

.method private hidebysig specialname rtspecialname static 
        void  .cctor() cil managed
{
  // Code size       13 (0xd)
  .maxstack  8
  IL_0000:  ldc.i4.s   99
  IL_0002:  newobj     instance void [mscorlib]System.Decimal::.ctor(int32)
  IL_0007:  stsfld     valuetype [mscorlib]System.Decimal Program::DecimalConstant
  IL_000c:  ret
} // end of method Program::.cctor

同样，这仅适用于 DecimalConstant，因为运行时直接处理其他字段。