是什么意思？意思是？

Question

Resharper 建议从 更改

interface IModelMapper<TFrom, TTo>
{
    TTo Map(TFrom input);
}

为

interface IModelMapper<in TFrom, out TTo>

所以我调查了一下并结束了阅读这篇文章（通过维基百科文章找到）和更多谷歌。

我仍然不确定这对我的申请意味着什么，所以我很想不接受这个建议。如果忽略该建议，我不会考虑此更改会带来哪些好处？

更明确地说，我为什么要接受它？

Answer 1

底线：Resharper 研究了您的类型，并发现 TFrom 可以用于逆变，而 TTo 可以用于协变。接受重构将使您能够更灵活地使用这些类型，如下所述。如果这对您有价值，请接受。

但请注意，接受此重构将对您将来如何使用这些类型设置限制。如果您编写了一个采用 TTo 作为参数的方法，您将收到编译器错误，因为无法读入协变类型。TFrom 也是如此：您'将永远无法拥有返回此类型的方法，或拥有此类型的 out 参数。

---

这告诉您 TFrom 是逆变的，而 TTo 是协变的。这些是最近的功能 添加到 C#

类型协变意味着可以传入更具体的类型，而逆变意味着可以传入可以传入不太特定的类型。

IEnumerable 是类型协变的一个很好的例子。由于 IEnumerable 中的项目是只读，因此您可以将其设置为更具体的内容：

IEnumerable<object> objects = new List<string>();

考虑如果（假设）会发生什么您可以对读/写的集合执行此操作：

List<object> objects = new List<string>();
objects.Add(new Car());
//runtime exception

要成为类型协变，必须以严格的只读方式使用泛型参数；它只能从类型中写出，而不能读入（因此是关键字）。这就是 IEnumerable 示例有效，但 List 示例无效的原因。顺便说一句，数组确实支持类型协变（我相信 Java 也支持），因此数组也可能出现同样类型的运行时错误。

类型逆变意味着相反。为了支持类型逆变，泛型参数必须只能读入，而不能写出。这允许您替换不太具体的类型。

Action 是类型矛盾的一个示例：

Action<object> objAction = (o => Console.WriteLine(o.ToString()));
Action<string> strAction = objAction;
strAction("Hello");

strAction 被声明为采用字符串参数，但如果您替换对象类型。将传入一个字符串，但如果设置为使用它的委托选择将其视为对象，那么就这样吧。没有造成任何伤害。

为了完整起见，Func 是 Action 的逆情况；这里仅返回 T，因此它是协变的：

Func<string> strDelegate =  () => "Hello";
Func<object> myObjFunc = strDelegate;
object O = myObjFunc();

myObjectFunc 被编码为返回一个对象。如果您将其设置为返回字符串的值，那么，同样不会造成任何损害。

Answer 2

作为此选择可能如何影响您的应用程序的示例，假设您有一个实现 IModelMapper 的类型 CustomerAddressMapper 和另一个 SupplierAddressMapper 实现 IModelMapper。 Customer 和 Supplier 类型共享一个基类 Company，但它们的地址逻辑不同，因此我们需要单独的类型来处理这个问题。

现在假设您有一个采用 IMapper 的方法。在接口逆变之前，您无法将 CustomerAddressMapper 或 SupplierAddressMapper 的实例传递给此方法。现在，如果您在 TFrom 类型参数上使用 in 修饰符，则可以。

此外，由于 TTo 参数的协变性，您还可以将 CustomerAddressMapper 传递给需要 IMapper 的方法。