c# - 为什么泛型结构不能具有在 C# 中指定泛型类型的静态成员？

Question

如果这是重复的，请道歉!我四处搜索，但找不到解释。一旦我尝试实例化这个结构，下面的玩具示例就会给我一个 TypeLoadException。如果我使用类或者不在静态成员中指定泛型类型(将其保留为 T)，它就可以正常工作。

public struct Point<T>
{
    static Point<int> IntOrigin = new Point<int>(0, 0);

    T X { get; }
    T Y { get; }

    public Point(T x, T y)
    {
        this.X = x;
        this.Y = y;
    }
}

我比较复杂的真实情况归结为这样的事情，所以我真的很想了解它为什么会发出 TypeLoadException。

Answer 1

This comment , 和 another comment ，在 Github 上最接近于解决当前的事态，指出为什么不允许这种自引用结构定义，并且在可预见的 future 可能不会。
甚至静态成员也需要先初始化类型，然后才能将其包含在类型布局中，但是类型初始化需要初始化该静态成员。这个初始化依赖循环创建了导致运行时异常的 Catch-22。
根据 this comment , .NET Core 可以很好地使用这种模式。但是当我在 .NET Core 项目中尝试您的示例时，我发现了同样的失败。因此，要么该评论有误，要么实例成员场景与您的静态成员场景之间存在一些细微差别(除此之外，我没有费心进行进一步调查)。
有趣的是，dotNETFiddle.net 上使用的编译器会发出编译时错误 "Struct member 'struct2 field' of type 'struct1' causes a cycle in the struct layout" .我不知道为什么 Visual Studio 编译器似乎不再产生这个错误(在 2017 和 2019 年检查过)。这对我来说似乎是另一个错误。但是 Github 上围绕这个问题的讨论似乎接受了代码在技术上是有效的(即根据 C# 规范)，所以可能在某个时候有意识地决定删除编译器错误，并让 CLR 在运行。
请注意，错误引用页面中的建议建议更改为 class而不是 struct .当然，这在 struct 处通常是不可行的。正在使用中；拥有值类型可能很重要。但是，在您的具体示例中，实际上有一个基于该想法的简单解决方法。由于您的字段不是 struct 实例的实际布局的一部分，您可以将其移动到专门用于此类值的静态类。例如。:

public struct Point<T>
{
    public static class Constants
    {
        static Point<int> IntOrigin = new Point<int>(0, 0);
    }

    T X { get; }
    T Y { get; }

    public Point(T x, T y)
    {
        this.X = x;
        this.Y = y;
    }
}

然后代替(例如) Point<double>.IntOrigin ，您需要使用 Point<double>.Constants.IntOrigin .由于每种类型的类型初始化都可以独立完成，因此不会出现初始化中的循环，代码运行良好。