C#11&12实现含静态抽象+运算符的IHello接口遇冲突问题

我在练习C# 11&12新特性时，编写了如下泛型接口IHello<T>和实现类Hello：

public interface IHello<T> where T: class 
{
    static abstract IHello<T> operator +(IHello<T> left, IHello<T> right);
    
    public string Value { get; }
}
    
public class Hello(string value) : IHello<string> // Error CS0535 'Hello' does not implement interface member 'IHello<string>.operator +(IHello<string>, IHello<string>)'
{
    public string Value { get; } = value;
    
    public static IHello<string> operator +(Hello left, IHello<string> right)
    {
        return new Hello(left.Value + right.Value);
    }
}

此时类定义报错：

Error CS0535 'Hello' does not implement interface member 'IHello.operator +(IHello, IHello)'

若修改运算符签名以匹配接口：

public class Hello(string value) : IHello<string>
{
    public string Value { get; } = value;

    public static IHello<string> operator +(IHello<string> left, IHello<string> right) // Error CS0563 One of the parameters of a binary operator must be the containing type
    {
        throw new NotImplementedException();
    }
}

则报错变为：

Error CS0563 One of the parameters of a binary operator must be the containing type

请问如何调和这两个错误，正确实现该接口？

解决方案 #

这两个错误的核心矛盾在于：

• 接口要求运算符参数必须是IHello<T>类型，以满足接口契约
• C#运算符重载规则强制要求二元运算符的至少一个参数必须是包含该运算符的类本身（即Hello类型）

解决方式是通过显式实现接口静态抽象运算符 + 提供符合语言规则的公共运算符重载来同时满足两者要求，代码如下：

public interface IHello<T> where T : class
{
    static abstract IHello<T> operator +(IHello<T> left, IHello<T> right);

    public string Value { get; }
}

public class Hello(string value) : IHello<string>
{
    public string Value { get; } = value;

    // 显式实现接口的静态抽象运算符，严格匹配接口签名，解决CS0535错误
    static IHello<string> IHello<string>.operator +(IHello<string> left, IHello<string> right)
    {
        // 检查参数类型，确保当前实现能处理
        if (left is not Hello helloLeft)
            throw new ArgumentException("左侧操作数必须是Hello类型", nameof(left));
        if (right is not Hello helloRight)
            throw new ArgumentException("右侧操作数必须是Hello类型", nameof(right));
        
        return new Hello(helloLeft.Value + helloRight.Value);
    }

    // 提供符合C#运算符规则的公共重载，解决CS0563错误
    public static Hello operator +(Hello left, Hello right)
    {
        return new Hello(left.Value + right.Value);
    }

    // 可选：扩展重载，支持Hello与其他IHello<string>实现类相加
    public static IHello<string> operator +(Hello left, IHello<string> right)
    {
        return new Hello(left.Value + right.Value);
    }
}

关键说明 #

1. 显式接口实现：通过显式实现IHello<string>.operator +，完全匹配接口定义的签名，解决未实现接口成员的错误。
2. 公共运算符重载：定义以Hello类型为参数的公共+运算符，满足C#对二元运算符必须包含自身类型参数的规则。
3. 类型检查：在显式实现的接口运算符中，需要对传入的IHello<string>实例进行类型校验，因为接口允许任何实现类传入，当前Hello的实现仅处理自身类型（若需支持其他实现类，可在此处扩展逻辑）。

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