C#如何解决接口Getter的可空性兼容问题

问题背景 #

我们需要实现以下需求：

• ObjectA 的 Id 可能不存在，类型为 int?
• ObjectB 的 Id 始终存在，类型为 int，直接引用时要保证能获取到非空值
• 两者需要放入同一集合，通过 IMaybeHasId 接口访问时，Id 表现为可空类型 int?

但当前代码因类型不匹配编译失败：ObjectB 的 int Id 无法实现接口的 int? Id 属性，尽管逻辑上非空值完全符合可空契约。

原代码示例 #

//Common interface for objects that may have an Id value
interface IMaybeHasId
{
    int? Id { get; }  //Note this is a GET only
}

//Object A never has an Id, this code works fine
class ObjectA : IMaybeHasId
{
    public int? Id => null;
}

//Object B always has an Id
//This code will not work as Id here is Int not Int?
class ObjectB : IMaybeHasId
{
    public int Id => 10;
}

解决方案 #

方案1：显式实现接口（最直接） #

通过显式实现接口成员，让 ObjectB 同时拥有供直接访问的非空 int Id，以及满足接口契约的 int? Id：

interface IMaybeHasId
{
    int? Id { get; }
}

class ObjectA : IMaybeHasId
{
    public int? Id => null;
}

class ObjectB : IMaybeHasId
{
    // 直接访问ObjectB时使用的非空Id
    public int Id => 10;

    // 显式实现接口，仅通过IMaybeHasId接口可见
    int? IMaybeHasId.Id => Id;
}

说明：

• 直接实例化 ObjectB 时，只能访问 public int Id，保证了类型安全，无需处理可空性
• 将 ObjectB 放入 IMaybeHasId 集合时，访问的是显式实现的 int? Id，完全符合接口契约
• 显式实现的接口成员不会污染 ObjectB 的公共API，保持了类的职责清晰

方案2：泛型接口增强类型区分（进阶） #

如果需要更明确地区分“必然有Id”和“可能有Id”的类型，可以引入泛型接口：

// 基础接口，定义可能存在的可空Id
interface IMaybeHasId
{
    int? Id { get; }
}

// 泛型接口，明确标记拥有非空值的Id
interface IHasId<TId> where TId : struct
{
    TId Id { get; }
}

class ObjectA : IMaybeHasId
{
    public int? Id => null;
}

class ObjectB : IMaybeHasId, IHasId<int>
{
    public int Id => 10;

    // 显式实现IMaybeHasId接口
    int? IMaybeHasId.Id => Id;
}

说明：

• 当需要确保Id存在的场景下，可以用 IHasId<int> 类型引用 ObjectB，编译期就能保证Id非空
• 集合依然使用 IMaybeHasId，统一处理两种类型
• 这种方式扩展性更强，后续如果需要支持其他值类型的Id，只需修改泛型参数即可

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