c# - 为什么我必须转换为类型参数而不能使用受约束的类型？

Question

谁能解释为什么我必须转换为 T 以及为什么 Add2 不接受 Bar 作为参数？

class Foo<T> where T : class, IBar
{
    void Add1(IDo<T> @do) { @do.Stuff(new Bar() as T); }

    // Add2 does not compile:
    // Argument type Bar is not assignable to parameter Type T
    void Add2(IDo<T> @do) { @do.Stuff(new Bar()); } 
}

interface IBar {}

class Bar : IBar {}

interface IDo<in T> {
    void Stuff(T bar);
}

Answer 1

可能不合适。例如，考虑:

class Other : Bar {}

...

IDo<Other> do = new DoImpl<Other>();
Foo<Other> foo = new Foo<Other>();
foo.Add2(do);

使用您当前的代码，将调用 do.Add2(new Bar()) ... 这显然是无效的 Bar不是 Other , IDo<Other>.Stuff 要求.

转换为 T (或使用 as )也不合适 - 你不能投 new Bar()至 Other , 如果你使用 as你只会得到一个空引用。