.NET是否等效于具有协方差和反方差的Java通配符？

Question

我一直试图将一些使用（有界）通配符泛型的Java代码转换为C＃。我的问题是，Java与通配符一起使用时似乎允许泛型既协变又协变。例如：

Java：

interface IInterf { }

class Impl implements IInterf { }

interface IGeneric1<T extends Impl> {
    void method1(IGeneric2<?> val);
    void method1WithParam(T val);
}

interface IGeneric2<T extends Impl> {
    void method2(IGeneric1<?> val);
}

abstract class Generic<T extends Impl> implements IGeneric1<T>, IGeneric2<T> {
    public void method1(IGeneric2<?> val2) {
        val2.method2(this);
    }
}

…作品。

等价于C＃（？）

interface IInterf { }

class Impl : IInterf { }

interface IGeneric1<T> where T:Impl {
  //Java was: 
  //void method1(IGeneric2<?> val2);
    void method1(IGeneric2<Impl> val);
    void method1WithParam(T to);
}

interface IGeneric2<T>where T:Impl {
    void method2(IGeneric1<Impl> val);
}

abstract class Generic<T> : IGeneric1<T>, IGeneric2<T> where T : Impl
{
  //Java was: 
  //public void method1(IGeneric2<?> val2) {
    public void method1(IGeneric2<Impl> val2)
    {
         val2.method2(this); //'this': Argument type 'Generic<T>' is not 
                             //assignable to parameter type 'IGeneric1<Impl>'
    }

    public abstract void method1WithParam(T to);
    public abstract void method2(IGeneric1<Impl> val);
}

…无法编译-请查看注释中的错误。这是可以预料的，因为IGeneric的泛型参数未标记为“ out”用于协方差。

如果我更改此：

interface IGeneric1<T> where T:Impl {

对此

interface IGeneric1<out T> where T:Impl

错误消失了，但出现了另一个错误，因为该方法的声明在同一接口内采用了通用参数：

interface IGeneric1<T> where T:Impl {
    void method1WithParam(T val);  //Parameter must be input-safe. 
                      //Invalid variance: The type parameter 'T' must be
                      //contravariantly valid on 'IGeneric1<out T>'.

有什么建议吗？

[另请参阅后续问题，了解更困难的情况

Answer 1

您需要将Java通配符通用方法转换为本身具有通用性的C＃方法。例如，这：

interface IGeneric2<T extends Impl> {
    void method2(IGeneric1<?> val);
}

应该翻译成

interface IGeneric2<T>where T:Impl {
    void method2<U>(IGeneric1<U> val) where U:Impl;
}

必须重复T指定由IGeneric1<T>的类型约束作为的类型约束U。

这是因为在Java版本中，and 参数的类型实参存在 隐式
约束：如果参数必须为某种，那么显然必须为an，因为否则它将无法实现该类型。method1``method2``IGeneric1<X>``X``Impl``IGeneric1

在C＃中的约束必须是明确的，所以你复述IGeneric1<T>和IGeneric2<T>要求T。

因此，等效代码为：

interface IInterf { }

class Impl : IInterf { }

interface IGeneric1<T> where T:Impl {
    void method1<U>(IGeneric2<U> val) where U:Impl;
    void method1WithParam(T to);
}

interface IGeneric2<T>where T:Impl {
    void method2<U>(IGeneric1<U> val) where U:Impl;
}

abstract class Generic<T> : IGeneric1<T>, IGeneric2<T> where T : Impl
{
    public void method1<U>(IGeneric2<U> val2) where U:Impl
    {
        val2.method2(this);
    }

    public abstract void method1WithParam(T to);
    public abstract void method2<U>(IGeneric1<U> val) where U:Impl;
}