为什么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;
}

它适用于所有类型,除了decimalis将返回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因为运行时直接处理其他字段而存在.