.NET 7（VS2022）接口默认实现为何仍强制要求实现成员？

问题场景复现 #

用代码直观还原你遇到的情况：
假设我们定义了继承自IEquatable<T>的子接口，并且给父接口的成员提供了默认实现：

public interface IEntity : IEquatable<IEntity>
{
    Guid Id { get; }

    // 为IEquatable<IEntity>提供默认实现
    bool Equals(IEntity? other)
    {
        return other != null && Id == other.Id;
    }
}

当你写User类实现IEntity时，VS2022会强制要求你实现Equals(IEntity?)，哪怕接口已经有现成的默认实现——这就是问题的核心：当接口的默认实现是用来满足父接口的契约时，编译器不会自动复用这个默认实现，而是要求实现类显式处理。

原因分析 #

这是.NET接口默认实现的设计限制：默认实现仅在直接调用接口成员时生效。如果接口继承自另一个接口，且默认实现是为了满足父接口的要求，编译器会把父接口的契约视为必须由实现类（或显式接口实现）来完成，不会自动把子接口的默认实现“转嫁”给实现类。

对于IEquatable<T>来说，哪怕你在子接口里写了符合逻辑的默认实现，只要它是用来满足父接口的契约，实现类依然得显式处理，编译器不会默认帮你继承这个逻辑。

解决方案 #

有两种实用的解决方式：

1. 显式调用接口的默认实现 #

在实现类里显式实现父接口成员，直接调用子接口的默认实现即可，不用重复写逻辑：

public class User : IEntity
{
    public Guid Id { get; init; }

    // 显式实现IEquatable<IEntity>，复用IEntity的默认实现
    bool IEquatable<IEntity>.Equals(IEntity? other)
    {
        return ((IEntity)this).Equals(other);
    }
}

2. 自定义实现类的相等逻辑 #

如果需要针对具体类调整判断逻辑，可以直接在类里实现相关成员，同时兼顾父接口契约：

public class User : IEntity, IEquatable<User>
{
    public Guid Id { get; init; }

    // 强类型的相等判断
    public bool Equals(User? other)
    {
        return other != null && Id == other.Id;
    }

    // 满足IEquatable<IEntity>的契约，转调强类型实现
    bool IEquatable<IEntity>.Equals(IEntity? other)
    {
        return Equals(other as User);
    }
}

补充说明 #

接口默认实现的初衷是向后兼容——给老接口加新成员时，不会让现有实现类直接报错。但对于继承来的父接口契约，编译器还是遵循传统规则，要求显式处理，这是为了避免隐式逻辑导致的行为混淆，毕竟不同实现类可能需要不同的相等判断逻辑。

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