C# 非泛型类如何引用泛型类中声明的枚举并正常编译

假设我们有如下泛型基类定义：

public abstract class Generic<T>() { }

随后定义第一个带约束的泛型派生类：

public class GenericComparable<T> : Generic<T> where T : IComparable
{
    public enum Comparison
    {
        Equal,
        Greater,
        GreaterEqual,
        Less,
        LessEqual,
        NotEqual,
    }
}

再定义第二个带约束的泛型派生类：

public class GenericEquatable<T> : Generic<T> where T : IEquatable
{
    public enum Comparison
    {
        Equal,
        NotEqual,
    }
}

现在需要定义一个非泛型类，引用上述泛型派生类中定义的枚举，给出的待修正示例代码如下：

public class Example()
{
   public bool ExampleMethod(GenericComparable<>.Comparison comparison)
   {
      return true;
   }
}

核心要求：不将Example类声明为泛型类，让上述代码可以正常编译通过。

首先说编译报错的核心原因：C# 语法不允许直接通过开放泛型类型（即带空尖括号的GenericComparable<>）引用其嵌套类型。所有嵌套在泛型类中的类型，都必须依托一个封闭构造的泛型类型（也就是给泛型参数传入具体类型后的版本）才能访问。哪怕你定义的嵌套枚举和泛型参数T完全无关，这个语法限制也依然生效。

可行的解法有两种，按需选择即可：

方案1：将枚举提取到泛型类外部（推荐，无额外开销） #

这是最符合设计规范的解法。你定义的两个Comparison枚举本身完全不依赖泛型参数T，从设计逻辑上就不应该嵌套在泛型类内部——泛型类的嵌套类型，本来就是为需要依赖泛型参数的类型准备的。
直接把枚举挪到和泛型类同级的命名空间下即可，调整后的代码如下：

// 枚举提取到命名空间层级，不再嵌套在泛型类中
public enum ComparableComparison
{
    Equal,
    Greater,
    GreaterEqual,
    Less,
    LessEqual,
    NotEqual,
}

public enum EquatableComparison
{
    Equal,
    NotEqual,
}

public abstract class Generic<T>() { }

public class GenericComparable<T> : Generic<T> where T : IComparable
{
    // 类内部可以直接引用外部定义的枚举，不需要额外嵌套
}

public class GenericEquatable<T> : Generic<T> where T : IEquatable
{
    // 同上
}

// 非泛型的Example类可以直接引用枚举，不需要任何泛型参数
public class Example()
{
   public bool ExampleMethod(ComparableComparison comparison)
   {
      return true;
   }
}

如果两个枚举的逻辑重合度高，甚至可以只保留一份公共枚举，减少重复代码。

方案2：保留嵌套结构，传入任意符合约束的具体泛型参数 #

如果因为历史兼容、第三方依赖等原因没法修改原有泛型类的结构，直接给GenericComparable传入任意一个满足IComparable约束的具体类型就能正常访问嵌套枚举。
因为枚举本身和泛型参数T没有关联，不管你选什么符合约束的类型，拿到的Comparison都是同一个类型，不会有运行时差异或者类型不兼容的问题。示例代码如下：

public class Example()
{
   // 这里选int、string、DateTime等任意实现了IComparable的类型都可以
   public bool ExampleMethod(GenericComparable<int>.Comparison comparison)
   {
      return true;
   }
}

注意：不要为了引用这个枚举专门给Example类加泛型参数，只会平白增加调用复杂度，完全没有必要。

内容的提问来源于stack exchange，提问作者Apache81