如果Int32只是int的别名，那么Int32类如何使用int？

Question

正在浏览.NET Framework Reference Source的.NET源代码，只是为了它的乐趣。并找到了一些我不明白的东西。

有一个带有C＃代码的Int32.cs文件，用于Int32类型。不知怎的，这对我来说似乎很奇怪。 C＃编译器如何编译Int32类型的代码？

public struct Int32: IComparable, IFormattable, IConvertible {
    internal int m_value;

    // ... 
}

但这在C＃中不是非法的吗？如果int只是Int32的别名，它应该无法使用Error CS0523进行编译：

'struct1'类型的struct成员'struct2字段'在struct布局中导致循环。

编译器中有一些魔法，还是我完全偏离轨道？

Answer 1

在C＃中这不是非法的吗？如果“int”只是“Int32”的别名，则无法使用错误CS0523进行编译。编译器中有一些魔力吗？

是;错误是在编译器中故意抑制的。如果所讨论的类型是内置类型，则完全跳过循环检查器。

通常这种事情是非法的：

struct S { S s; int i; }

在这种情况下，S的大小是未定义的，因为无论S的大小如何，它必须等于它自己加上int的大小。没有这样的尺寸。

struct S { S s; }

在这种情况下，我们没有信息可以推断出S的大小。

struct Int32 { Int32 i; }

但在这种情况下，编译器提前知道System.Int32是四个字节，因为它是一种非常特殊的类型。

顺便提一下，C＃编译器（以及，就此而言，CLR）如何确定一组结构类型何时是循环的细节非常有趣。我会尝试在某个时候写一篇博客文章。

Answer 2

int是Int32的别名，但您正在查看的Int32结构只是元数据，它不是真正的对象。 int m_value声明可能只是为了给结构提供适当的大小，因为它实际上从未在其他任何地方被引用（这就是允许它存在的原因）。

换句话说，编译器类可以将其保存为一个问题。有关in the MSDN Forums主题的讨论。

从讨论中，这里是所选答案的引用，有助于确定声明是如何可能的：

虽然该类型包含整数m_value字段，但该字段永远不会被引用。在每种支持方法（CompareTo，ToString等）中，使用“this”代替。 m_value字段可能仅存在以强制结构具有适当的大小。

我怀疑当编译器看到“int”时，它会将其转换为“mscorlib.dll中对System.Int32的引用，以后再解析”，并且由于它正在构建mscorlib.dll，它最终会产生一个循环引用（但不是一个可以导致问题的因素，因为从未使用过m_value）。如果这个假设是正确的，那么这个技巧只适用于特殊的编译器类型。

进一步阅读，可以确定结构只是元数据，而不是真实对象，因此它不受相同的递归定义约束的约束。