为何泛型用接口实例化时，已定义隐式转换仍需显式转换？

我们为泛型类G<T>定义了从T到G<T>的隐式转换操作符，但当T是接口类型时，编译器会抛出CS0266错误，要求必须显式转换；而用值类型、普通引用类型实例化时，隐式转换能正常工作。具体代码及报错如下：

class G<T>
{
    public G(T unused) {}

    public static implicit operator G<T>(T unused) => new G<T>(unused);
}

interface I { }

class C : I { }

class Example
{
    void Main()
    {
        G<int> xint1 = 1; // 正常
        G<int?> xint2 = 1; // 正常
        G<object> xobject1 = new object(); // 正常
        G<object?> xobject2 = new object(); // 正常

        C c = new C();

        G<C> gc1 = c; // 正常
        G<C?> gc2 = c; // 正常
        
        I i = c;

        G<I> g1 = i;
        //        ^-- 错误 CS0266: 无法将类型“I”隐式转换为“G<I>”。存在显式转换(是否缺少强制转换?)
                
        G<I?> g2 = i;
        //         ^-- 错误 CS0266: 无法将类型“I”隐式转换为“G<I?>”。存在显式转换(是否缺少强制转换?)
        
        G<I?> g3 = (I?)i;
        //         ^-- 错误 CS0266: 无法将类型“I”隐式转换为“G<I?>”。存在显式转换(是否缺少强制转换?)
        //         ^-- 警告 CS8600: 将 null 文本或可能的 null 值转换为非 nullable 类型。

        G<I?> g4 = (I)i;
        //         ^-- 错误 CS0266: 无法将类型“I”隐式转换为“G<I?>”。存在显式转换(是否缺少强制转换?)

        G<I> g5 = (G<I>)i; // 正常
        G<I?> g6 = (G<I?>)i; // 正常
    }
}

原因分析 #

这是C#编译器的规则限制：当泛型类型参数T为接口类型时，编译器不会自动匹配你定义的implicit operator G<T>(T)隐式转换。

核心原因是接口可以被任意类实现，编译器无法确保当前的T类型对象没有其他潜在的隐式转换路径。比如，如果某个实现I的类D也定义了到G<I>的隐式转换，编译器就无法判断该选用哪一个转换逻辑。为了避免这种歧义，编译器直接禁用了接口类型参数下的隐式转换匹配，要求开发者通过显式转换明确指定使用G<T>的转换操作符。

解决办法 #

办法一：使用显式转换 #

直接通过强制转换明确告诉编译器调用G<T>的转换操作符，像代码里的g5、g6那样：

G<I> g5 = (G<I>)i;
G<I?> g6 = (G<I?>)i;

办法二：改用静态工厂方法替代隐式转换 #

在G<T>中添加静态工厂方法，完全绕开转换操作符的限制：

class G<T>
{
    public G(T unused) {}

    public static G<T> Create(T value) => new G<T>(value);
}

使用时直接调用工厂方法，无论T是不是接口都能正常工作：

G<I> g1 = G<I>.Create(i);
G<I?> g2 = G<I?>.Create(i);

办法三：添加泛型约束（可选） #

如果你的场景中T不会是接口类型，可以给G<T>添加约束限制T为非接口的引用类型或值类型，但这种方式灵活性较低，仅适用于明确的场景：

// 限制为非接口的引用类型（C# 7.3+）
class G<T> where T : class, not struct
{
    // ...
}

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