如何用代码约束ITyped接口TypeFromEnum返回实现类子类型？

我定义了如下接口：

internal interface ITyped<EnumType> where EnumType : struct, Enum
{
    public EnumType Type { get; }

    // !!! 此方法必须始终返回实现类的子类型*
    internal static Type TypeFromEnum(EnumType value) => throw new NotImplementedException();
}

我需要确保TypeFromEnum方法始终返回实现该接口的类的子类型（即类本身或其子类，等同于where Sub : Base的约束关系）。请问是否可以通过代码（比如某种where约束）来明确这个条件？

使用场景 #

我有一组单层级继承的类：

public class A { ... }
public class A1 : A { ... }
public class A2 : A { ... }
public class A3 : A { ... }

public abstract class B { ... }
public class B1 : B { ... }
public class B2 : B { ... }

我需要使用System.Text.Json对这些类进行序列化和反序列化。为此，A和B都有一个enum类型的Type属性。反序列化时，我自定义了转换器，先将type字段的值读取为enum，再调用TypeFromEnum方法确定要反序列化的目标类型。对应的枚举及类的相关代码如下：

public enum AType { a, a1, a2, a3 }

public enum BType { b1, b2 }


public class A : ITyped<AType>
{
    public AType Type { get; }
    internal static Type TypeFromEnum(AType value)
    {
        switch (value)
        {
            case AType.a: return typeof(A);
            case AType.a1: return typeof(A1);
            case AType.a2: return typeof(A2);
            case AType.a3: return typeof(A3);
            default: throw new InvalidOperationException(); // 不应被调用
        }
    }
    ...
}


public abstract class B : ITyped<BType>
{
    public BType Type { get; }
    internal static Type TypeFromEnum(BType value)
    {
        switch (value)
        {
            case BType.b1: return typeof(B1);
            case BType.b2: return typeof(B2);
            default: throw new InvalidOperationException(); // 不应被调用
        }
    }
    ...
}

结论：无法直接通过where约束实现 #

C#目前不支持在接口的静态方法中添加约束，强制其返回值为实现该接口的类的子类型。原因在于：

• 接口的静态方法属于接口本身，而非实现类的实例，无法关联到具体的实现类类型；
• 接口的泛型参数只能约束枚举类型，无法表达“返回类型是当前实现类的子类型”这种自引用约束。

替代解决方案 #

1. 用抽象基类替代接口（推荐）

通过泛型自引用约束的抽象基类，可以明确关联实现类与返回类型的范围：

internal abstract class TypedBase<TEnum, TSelf> 
    where TEnum : struct, Enum
    where TSelf : TypedBase<TEnum, TSelf>
{
    public TEnum Type { get; }
    internal static abstract Type TypeFromEnum(TEnum value);
}

实现类继承时指定自身为泛型参数：

public class A : TypedBase<AType, A>
{
    public AType Type { get; }
    internal static override Type TypeFromEnum(AType value)
    {
        // 实现逻辑，返回的类型必须是A或其子类
        switch (value)
        {
            case AType.a: return typeof(A);
            case AType.a1: return typeof(A1);
            default: throw new InvalidOperationException();
        }
    }
}

这种方式虽然不能在编译时强制返回类型，但通过泛型约束明确了TSelf的指向，配合代码注释和审查，可以有效降低错误概率。

2. 运行时验证

在调用TypeFromEnum的地方（比如自定义JSON转换器）添加类型检查，确保返回的类型是目标类的子类型：

// 在JSON转换器中调用时
AType enumValue = ...; // 读取的枚举值
Type targetType = A.TypeFromEnum(enumValue);
if (!typeof(A).IsAssignableFrom(targetType))
{
    throw new InvalidOperationException($"返回的类型{targetType.FullName}不是A的子类型");
}

这种方式能在运行时及时捕获错误实现，适合调试和线上异常排查。

3. 自定义Roslyn分析器（严格编译时检查）

如果需要完全在编译阶段强制约束，可以编写自定义Roslyn分析器，扫描所有实现ITyped接口的类，检查其TypeFromEnum方法的所有返回值是否为该类或其子类的类型。这种方式能在编译时直接报错，是最严格的约束手段，但需要额外开发分析器代码。

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