启用Nullable时C#接口静态属性为何需初始值？

先看我定义的接口代码：

public interface IFoo
{
    public int Number { get; }
    public string Text { get; }

    public static int StaticNumber { get; }
    public static string StaticText { get; } // Nullable warning.
}

启用C#的Nullable引用类型设置后，IFoo.StaticText会触发CS8618警告：

Non-nullable property 'StaticText' must contain a non-null value when exiting constructor. Consider declaring the property as nullable. [ProjectName] csharp(CS8618)

问题本质：对接口静态成员的误解 #

核心误区在于没搞清楚接口静态成员的归属：

• 接口的实例属性（比如Number、Text）是契约，由实现类负责实现，接口本身不涉及具体值的初始化。
• 但接口的静态成员（比如StaticNumber、StaticText）属于接口本身，和实现类没有继承或实现关系。C#里实现类不会继承接口的静态成员，也不需要去实现它们——接口的静态成员必须由接口自己提供初始值或实现逻辑。

当启用Nullable规则时，所有非可空的静态字段/属性必须在类型初始化（接口的隐式静态构造函数执行）时确保非空。因为接口的静态属性不是留给实现类填充的，它是接口自己的成员，所以没有初始值就会触发非空警告。

你的数据库示例的问题 #

你写的IDatabase<int, T>接口中的静态All属性和Init方法，并不会被ItemDB类实现或继承。ItemDB.All是ItemDB自己的静态属性，和IDatabase<int, Item>.All是完全独立的两个成员——接口的静态成员和实现类没有任何关联。

反例代码（你的场景） #

using System.Collections.Generic;

public interface IDatabase<int, T>
{
    // 此静态All属于接口本身，与实现类无关
    public static IReadOnlyDictionary<int, T> All { get; }

    public static void Init() { }
}

public class ItemDB : IDatabase<int, Item>
{
    public static bool Initialized { get; private set; } = false;

    static Dictionary<int, Item> _all = new();
    // 此All是ItemDB自身的静态属性，和接口的All无关联
    public static IReadOnlyDictionary<int, Item> All
    {
        get
        {
            if (!Initialized) Init();
            return _all;
        }
    }

    // 实际场景可能从文件或数据库加载数据，此处为示例简化
    public static void Init()
    {
        _all = new();

        _all.Add(new Item("Item 1"));
        _all.Add(new Item("Item 2"));
        _all.Add(new Item("Item 3"));
        _all.Add(new Item("Item 4"));
        _all.Add(new Item("Item 5"));
    }
}

public class Item
{
    public string Name { get; private set; } = "";

    public Item(string name)
    {
        Name = name;
    }
}

解决方案 #

根据你的需求场景，有两种处理方向：

1. 需要每个实现类提供独立的静态成员：
   接口不应该定义静态成员，因为C#不支持用接口约束类的静态成员。直接在每个实现类中定义静态成员即可，接口仅负责约束实例级别的契约。
2. 确实需要接口拥有自身的静态属性：
   • 给静态属性设置初始值，比如public static string StaticText { get; } = "";；
   • 或者将属性声明为可空类型，比如public static string? StaticText { get; }，明确告知编译器该属性允许为null。

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