Csharp 从协方差返回 Action 的方法

发布于08月03日

它有以下interface项:

public interface ICovariant<out T>
{
    public void InputFunc(Func<T> func);
}

我得到以下编译时错误:

无效的差异:协变类型参数‘T’用于逆变位置.参数必须是输入安全的

Func<T>的位置是input.Func<T>等于Func<out T>，所以是output.

好吧，我错了.获取位置相关的信息.

但是，当我添加以下方法时，出现错误.

public interface ICovariant<out T>
{
    public void InputFunc(Func<T> func);
    public Action<T> ReturnAction();
}

无效的差异:协变类型参数‘T’用于逆变位置.方法返回类型必须是输出安全的

Action<T>的位置是output.Action<T>等于Action<in T>，所以是input.

什么？与以前不同的是，这一次，地点并不重要.

为什么这两个例子对彼此的看法不同？

推荐答案

与以前不同的是，这一次，地点并不重要.

位置does很重要！它完美地汇编了以下内容:

public interface ICovariant<out T>
{
    public void AcceptAction(Action<T> action);
}

Action中的逆变量类型参数所做的是，它使其相应的类型参数具有您放置它的位置的opposite位置-如果它最初在输入位置，它现在在输出位置，如果它最初在输出位置，它现在在输入位置.

"Contra-"的意思是"相反的"，所以很容易记住这种行为:d尽管这种特殊的行为可能不是"反变异"这个名字的由来.Eric Lippert's answer here解释了它为什么叫这个名字.

因此，这也进行了编译(T的位置被"翻转"了两次，因此它回到了输出位置):

public Action<Action<T>> ReturnsNestedAction();

如果你只是想一想你实际上是如何callReturnAction的，你应该能够直观地说服自己，确实，Tin ReturnActionis处于输入位置:

Action<T> action = someICovariant.ReturnAction();
action(someT); // I am *inputting* an instance of T here!

同样，您可以对AcceptAction执行相同的操作，并看到T确实位于那里的输出位置:

someICovariant.AcceptAction(t => {
    Console.WriteLine(t);
});
/*
Imagine the implementation of AcceptAction invoking its parameter at some point.
That is analogous to AcceptAction *returning* some instance of T and we print it out
The difference being that instead of "return someT;", 
AcceptAction would do "action(someT);", but the fact it is producing an instance of T
doesn't change
*/

如果您对如何在技术术语中指定这一点感兴趣，您可以阅读this section of the language specification.

另请参阅这related question条关于声明逆变量类型参数时的类似"翻转位置"行为.