如何实现带指定返回类型的泛型接口？解决CS0425错误

我为几何图形定义了如下接口：

public interface IGeometry
{
    T Translate<T>(in v2 vector) where T : IGeometry;
    T MoveTo<T>(in v2 vector) where T : IGeometry;
}

我想在结构体中实现该接口，让方法返回结构体自身类型，于是在Circle : IGeometry结构体中写了如下代码：

public readonly struct Circle : IGeometry
{
    public readonly v2 _o;
    public readonly double _r, _area, _circum;
    public v2 Origin => _o;
    public double Radius => _r;
    public double Circumference => _circum;

    public Circle(in v2 origin, in double radius)
    {
        _o = origin;
        _r = radius;
        _area = _r * _r * Math.PI;
        _circum = _r * 2 * Math.PI;
    }

    public T Translate<T>(in v2 translation) => new(_o + translation, _r);
    public T MoveTo<T>(in v2 position) => new(position, _r);
}

编译时出现如下错误：

Error CS0425: The constraints for type parameter 'T' of method 'Circle.Translate<T>(in v2)' 
must match the constraints for type parameter 'T' of interface method 
'IGeometry.Translate<T>(in v2)'. Consider using an explicit interface implementation instead.

不知道该如何修复这个问题。

修复方案 #

方案一：重构接口为自引用泛型接口（推荐） #

原接口的泛型方法设计存在歧义——调用者可以指定任意实现IGeometry的类型，但实际需求是每个实现类返回自身实例。改用自引用泛型接口能彻底解决这个问题：

public interface IGeometry<T> where T : IGeometry<T>
{
    T Translate(in v2 vector);
    T MoveTo(in v2 vector);
}

让Circle实现该接口，直接返回自身类型：

public readonly struct Circle : IGeometry<Circle>
{
    public readonly v2 _o;
    public readonly double _r, _area, _circum;
    public v2 Origin => _o;
    public double Radius => _r;
    public double Circumference => _circum;

    public Circle(in v2 origin, in double radius)
    {
        _o = origin;
        _r = radius;
        _area = _r * _r * Math.PI;
        _circum = _r * 2 * Math.PI;
    }

    public Circle Translate(in v2 translation) => new(_o + translation, _r);
    public Circle MoveTo(in v2 position) => new(position, _r);
}

这种设计逻辑清晰，编译时就能确保类型安全，避免强制转换的风险。

方案二：显式接口实现+自身类型方法 #

如果无法修改原接口，可通过显式接口实现满足接口的泛型约束，同时提供返回自身类型的公共方法，兼顾接口兼容性和调用便捷性：

public readonly struct Circle : IGeometry
{
    public readonly v2 _o;
    public readonly double _r, _area, _circum;
    public v2 Origin => _o;
    public double Radius => _r;
    public double Circumference => _circum;

    public Circle(in v2 origin, in double radius)
    {
        _o = origin;
        _r = radius;
        _area = _r * _r * Math.PI;
        _circum = _r * 2 * Math.PI;
    }

    // 显式实现接口方法，严格遵循接口的泛型约束
    T IGeometry.Translate<T>(in v2 translation) where T : IGeometry
    {
        return (T)(IGeometry)new Circle(_o + translation, _r);
    }

    T IGeometry.MoveTo<T>(in v2 position) where T : IGeometry
    {
        return (T)(IGeometry)new Circle(position, _r);
    }

    // 提供面向Circle类型的方法，直接返回自身实例
    public Circle Translate(in v2 translation) => new(_o + translation, _r);
    public Circle MoveTo(in v2 position) => new(position, _r);
}

使用时，直接通过Circle实例调用方法会优先使用返回Circle的重载；若将Circle赋值给IGeometry接口变量，则会调用显式实现的泛型方法。

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