动作委托、泛型、协变和逆变

Question

我有两个业务合同类：

public BusinessContract

public Person : BusinessContract

在另一个类中，我有以下代码：

private Action<BusinessContract> _foo;

public void Foo<T>( Action<T> bar ) where T : BusinessContract
{
    _foo = bar;
}

上面的代码甚至无法编译，这让我有点困惑。我将 T 限制为 BusinessContract，那么为什么编译器不知道 bar 可以分配给 _foo 呢？

为了解决这个问题，我们尝试将其更改为以下内容：

public void Foo<T>( Action<T> bar ) where T : BusinessContract
{
    _foo = (Action<BusinessContract>)bar;
}

现在编译器很高兴，因此我在应用程序的其他位置编写了以下代码：

Foo<Person>( p => p.Name = "Joe" );

应用程序在运行时因 InvalidCastException 而崩溃。

我不明白。我是否应该能够将更具体的类型转换为不太具体的类型并分配它？

更新

乔恩回答了这个问题，所以得到了点头，但为了结束这个循环，这就是我们最终解决问题的方式。

private Action<BusinessContract> _foo;

public void Foo<T>( Action<T> bar ) where T : BusinessContract
{
    _foo = contract => bar( (T)contract );
}

我们为什么要这样做？我们有一个用于单元测试的 Fake DAL。使用其中一种方法，我们需要让测试开发人员能够指定在测试期间调用该方法时应该执行的操作（这是一种刷新方法，用于更新数据库中的缓存对象）。 Foo 的目的是设置调用刷新时应该发生的情况。 IOW，在本课程的其他地方，我们有以下内容。

public void Refresh( BusinessContract contract )
{
    if( _foo != null )
    {
        _foo( contract );
    }
}

例如，测试开发人员可以决定在调用 Refresh 时将名称设置为不同的值。

Foo<Person>( p => p.Name = "New Name" );

Answer 1

你把协变和逆变搞错了。让我们考虑一下 Action

private Action<object> _foo;

public void Foo(Action<string> bar)
{
    // This won't compile...
    _foo = bar;
}

现在假设我们然后编写：

_foo(new Button());

没关系，因为 Action

这不是类型安全的，因此无法编译。

另一种方式会工作：

private Action<string> _foo;

public void Foo(Action<object> bar)
{
    // This is fine...
    _foo = bar;
}

现在，当我们调用_foo时，我们必须传入一个字符串 - 但这很好，因为我们已经使用委托初始化它，该委托可以将任何对象引用作为参数，因此我们碰巧给它一个字符串就可以了。

所以基本上 Action 是逆变 - 而 Func 是协变：

Func<string> bar = ...;
Func<object> foo = bar; // This is fine
object x = foo(); // This is guaranteed to be okay

目前尚不清楚您要做什么正在尝试执行此操作，因此不幸的是，我无法就如何解决此问题提供任何建议......

Answer 2

它无法被分配，因为由于您使用的是逆变而不是协变，因此无法保证泛型类型可以分配给 foo。