C# 泛型：在方法泛型的 where 子句中使用类泛型

Question

谁能解释为什么这不可能（至少在 .Net 2.0 中）：

public class A<T>
{
    public void Method<U>() where U : T
    {
        ...
    }
}

...

A<K> obj = new A<K>();
obj.Method<J>();

K 是 J 的超类

编辑

我试图简化问题以使问题更清晰易读，但我显然做得过火了。对不起！

我想我的问题更具体一点。这是我的代码（基于this）：

public class Container<T>
{
    private static class PerType<U> where U : T
    {
        public static U item;
    }

    public U Get<U>() where U : T
    {
        return PerType<U>.item;
    }

    public void Set<U>(U newItem) where U : T
    {
        PerType<U>.item = newItem;
    }
}

我收到了这个错误：

Container.cs(13,24)：错误 CS0305：使用泛型类型 Container<T>.PerType<U>' requires2' 类型参数

Answer 1

其实是可以的。这段代码编译并运行得很好：

public class A<T>
{
    public void Act<U>() where U : T
    {
        Console.Write("a");
    }
}

static void Main(string[] args)
{
  A<IEnumerable> a = new A<IEnumerable>();
  a.Act<List<int>>();
}

正如here 解释的那样，在泛型中使用协变/逆变是不可能的：

IEnumerable<Derived> d = new List<Derived>();
IEnumerable<Base> b = d;

Answer 2

它对我有用（VS 2008）。

您对课程可见性有疑问吗？ （类不公开，命名空间错误）

您收到哪条错误消息？

---

更新

鉴于您对Container<T> 的实现，我可以写

class A { }
class B : A { }

class Test
{
    public void MethodName( )
    {
        var obj = new Container<A>();
        obj.Set(new B());
    }
}

这非常有效。你确定B 派生自A 吗？请注意，例如 List<B> 不是从 List<A> 派生的（请参阅 YavgenyP 的答案）。

---

错误消息可能是一个提示，告诉您在另一个命名空间中存在另一个 Container<T>，需要 PerType<U, X??? > 的第二个类型参数。