如何强制要求实现C# 10接口的静态属性并显式重写

你提供的示例代码在C# 10中本身无法正常编译：接口中定义的无默认实现的静态属性属于非法语法，C# 10不支持接口的抽象静态成员，所有静态接口成员必须提供默认实现，这也是你觉得「静态属性会被自动实现」的原因。

如果需要强制实现类必须显式提供该静态属性的实现，可按以下方案处理： #

方案1：升级到C# 11及以上版本（推荐） #

C# 11引入了static abstract接口成员特性，专门用于要求实现接口的类型必须提供对应的静态成员实现，这是编译层面的强制约束，用法如下：

修改接口定义 #

public interface IModelLogicEventSubsciptions
{
    // 添加 static abstract 修饰符
    static abstract EventSubscriptionType EventSubscriptions { get; }
}

实现类写法 #

注意你示例中把AnyClass定义为接口是错误的，应该定义为类：

public class AnyClass : IModelLogicEventSubsciptions
{
    // 必须显式实现该静态属性，否则会触发编译报错
    public static EventSubscriptionType EventSubscriptions { get; }
    // 可通过静态构造函数或者直接初始化给属性赋值
    static AnyClass()
    {
        EventSubscriptions = /* 你的业务赋值逻辑 */;
    }
}

静态抽象成员的使用方式 #

静态抽象接口成员不能直接通过接口类型访问，必须通过带泛型约束的上下文调用：

// 泛型参数添加对应接口约束
public void HandleEventSubscriptions<T>() where T : IModelLogicEventSubsciptions
{
    var subscriptions = T.EventSubscriptions;
    // 后续业务逻辑
}

方案2：C# 10兼容方案 #

C# 10没有原生支持的编译级强制方案，只能通过以下方式实现类似效果：

• 约定代码规范，要求所有实现该接口的类必须手动添加对应静态属性
• 自定义Roslyn静态代码分析规则，在编译期检查实现类是否包含要求的静态属性，不符合规则则抛出编译错误

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