编译器错误CS0283表示只有基本的POD类型(以及字符串、枚举和空引用)可以声明为const。有人能解释一下这种限制的理由吗？例如，希望能够声明其他类型的const值，比如IntPtr。
我认为，在C#中，const的概念实际上是语法糖，它只是在编译时将名称的任何引用替换为文字值。例如，对于以下声明，任何对Foo的引用都将在编译时替换为"foo"。
const string Foo = "foo";
常量是表示常量值的类成员：可以在编译时计算的值。
这意味着您只能使用完全由文字量组成的表达式。任何调用任何方法、构造函数（无法表示为纯IL字面值的）都不能使用，因为编译器没有执行它的执行方式，从而计算结果，就没有办法在编译时进行计算。另外，由于没有办法将方法标记为不变的（即输入和输出之间存在一对一映射），编译器唯一的做法就是分析IL，看是否依赖于除了输入参数之外的其他内容，特殊处理某些类型（如IntPtr），或禁止对任何代码的每个调用。
例如，IntPtr虽然是值类型，但仍然是结构，而不是内置文字。因此，任何使用IntPtr的表达式都需要调用IntPtr结构中的代码，而这就是常量声明中不合法的内容。
我能想到的唯一的合法常量值类型示例是仅通过声明以零初始化的类型，这几乎没有用处。
至于编译器如何处理/使用常量，它将在代码中使用计算的值代替常量名称。
因此，您会得到以下效果：
if (SomeClass.Version == 1)，当SomeClass.Version的值为1时，实际上将删除if语句，并保留正被执行的代码块。如果常量的值不是1，则整个if语句及其块将被删除。换句话说，具有以下情况：
在这种情况下，程序集B 在其编译形式中仍将比较1的值与1，因为当B被编译时，常量的值为1。
事实上，如果这是从程序集A 到程序集B 中任何内容的唯一用法，则程序集B 将被编译而无需依赖于程序集A。执行包含该表达式的代码的程序集B 不会加载程序集A。
因此，常量应仅用于永远不会更改的东西。如果它是可能或将来会更改的值，而您无法保证所有其他程序集同时重构，则只读字段比常量更合适。
public class Test
{
public const decimal Value = 10.123M;
}
我们来看看使用ildasm工具查看这个类真正的样子：
.field public static initonly valuetype [mscorlib]System.Decimal X
.custom instance void [mscorlib]System.Runtime.CompilerServices.DecimalConstantAttribute::.ctor(int8, uint8, uint32, uint32, uint32) = ( 01 00 01 00 00 00 00 00 00 00 00 00 64 00 00 00 00 00 )
让我为您详细解释一下：
.field public static initonly
对应于：
public static readonly
没错，const decimal 实际上是一个 readonly decimal。
真正的问题在于编译器会使用 DecimalConstantAttribute 来实现它的魔法。
我只知道这是 C# 编译器中唯一的这样的魔法，但我认为值得一提。
const在C(++)和C#中确实意味着相同的事情。因此，在讨论这个问题时，这个答案是正确的。其他语言也有“const正确性”的概念。在C#中最接近的类比是不可变模式，结合由构造函数初始化的readonly类成员。 - binkistruct Vector2d {public double X,Y;} 这样的类型，编译器可以允许声明一个常量 const Vector2d UnitXVector = {X=1.0, Y=0.0};，因为它可以确定该结构所表示的确切字节序列。然而，这仅适用于没有私有字段的结构；如果一个结构使用公共属性和私有后备字段，则编译器只能通过弄清楚这些属性的确切作用来构造它。 - supercatDecimal类型，以使一个Decimal值所封装的字节序列可能在将来封装不同的字节序列，但对于大多数类型来说，无法做出这样的保证。 - supercatbyte []的长度不匹配-我想象这种ABI中断基本上与父类从调用继承类的构造函数中删除参数时相同。 C＃并不试图让它变得困难。而且，更重要的是，已经有文档，讨论和理解readonly static通常比const更好（但对于internalAPI的默认方法参数！）听起来这一切都是关于“成功之坑”的。 - binki在我看来，只有值类型可以被表达为常量（字符串除外，它们介于值类型和对象类型之间）。
这对我来说是可以接受的：对象（引用）必须在堆上分配，但常量根本不需要分配（因为它们在编译时被替换）。
在C#中，常量仅限于数字和字符串，因为编译器会将变量替换为MSIL中的字面值。换句话说，当你写下以下代码时：
const string myName = "Bruce Wayne";
if (someVar == myName)
{
...
}
在编程中通常被视为
if (someVar == "Bruce Wayne")
{
...
}
是的，C#编译器足够智能，可以将字符串的等号操作符（==）作为相等比较处理。
string1.Equals(string2)