接口继承问题：如何在实现类中用IRedBlackNode替代IBinaryNode？

C# 要求实现接口时，属性的类型必须与接口定义的完全一致——哪怕IRedBlackNode<T>是IBinaryNode<T>的派生类型，也不能直接用它替换接口里Left/Right的IBinaryNode<T>类型。这是因为接口的契约明确规定了这两个属性的类型是IBinaryNode<T>，编译器不允许隐式收缩属性的类型范围。

方案1：显式接口实现 #

在RedBlackNode类中显式实现IBinaryNode<T>的接口属性，同时保留自身的强类型属性，既满足接口契约，又能在类内部使用更具体的IRedBlackNode<T>类型：

private class RedBlackNode<T> : IRedBlackNode<T>
{
    // 类内部使用的强类型属性
    public IRedBlackNode<T>? Parent { get; set; }
    public IRedBlackNode<T>? Left { get; set; }
    public IRedBlackNode<T>? Right { get; set; }
    public bool IsBlack { get; set; }
    public T Value { get; }

    // 显式实现IBinaryNode<T>的接口属性，完成类型适配
    IBinaryNode<T>? IBinaryNode<T>.Left
    {
        get => Left;
        // 这里可按需选择转换方式：as转换（允许null）或强转+异常抛出
        set => Left = value as IRedBlackNode<T>;
    }

    IBinaryNode<T>? IBinaryNode<T>.Right
    {
        get => Right;
        set => Right = value as IRedBlackNode<T>;
    }

    // 构造函数初始化Value
    public RedBlackNode(T value)
    {
        Value = value;
    }
}

方案2：重构接口为泛型约束形式 #

从接口层面定义强类型约束，让IBinaryNode的节点类型作为泛型参数，这样IRedBlackNode可以直接指定自身为节点类型，实现类无需额外适配：

// 重构IBinaryNode，增加节点类型泛型参数并添加约束
public interface IBinaryNode<T, TNode> where TNode : IBinaryNode<T, TNode>
{
    TNode? Left { get; set; }
    TNode? Right { get; set; }
    T Value { get; }
}

// IRedBlackNode继承时指定节点类型为自身
public interface IRedBlackNode<T> : IBinaryNode<T, IRedBlackNode<T>>
{
    IRedBlackNode<T>? Parent { get; set; }
    bool IsBlack { get; set; }
}

// 实现类直接匹配接口的强类型定义，无类型错误
private class RedBlackNode<T> : IRedBlackNode<T>
{
    public IRedBlackNode<T>? Parent { get; set; }
    public IRedBlackNode<T>? Left { get; set; }
    public IRedBlackNode<T>? Right { get; set; }
    public bool IsBlack { get; set; }
    public T Value { get; }

    public RedBlackNode(T value)
    {
        Value = value;
        IsBlack = false; // 红黑树新节点默认红色，可按需调整
    }
}

• 方案1无需修改原有接口，适合已有代码的快速兼容，但需要处理接口属性和类属性的类型转换；
• 方案2更优雅，从接口层面保证了强类型，避免了类型转换的潜在问题，但需要重构原有接口定义。

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