协方差混淆。无法将已实现接口的元组分配给元组列表

Question

前言：我知道有很多关于协变和逆变的问题和答案，但我仍然感到困惑，不确定要实施什么解决方案。

我有两个接口，其实现旨在成对使用。一个提供有关销售项目的信息，一个提供销售项目的语言相关信息。

我无法控制这些接口:

public interface IItem
{
    decimal Price { get; set; }
}

public interface IItemTranslation
{
    string DisplayName { get; set; }
}

对于有形 GoodsItem 和无形 ServiceItem 这两个接口，我也有两个实现。同样，我无法控制这些接口:

public class GoodsItem : IItem
{
    public decimal Price { get; set; } //implementation
    public float ShippingWeightKilograms { get; set; } //Property specific to a GoodsItem
}

public class GoodsTranslation : IItemTranslation
{
    public string DisplayName { get; set; } //implementation
    public Uri ImageUri { get; set; } //Property specific to a GoodsTranslation
}


public class ServiceItem : IItem
{
    public decimal Price { get; set; } //implementation
    public int ServiceProviderId { get; set; } // Property specific to a ServiceItem
}

public class ServiceTranslation : IItemTranslation
{
    public string DisplayName { get; set; } //implementation
    public string ProviderDescription { get; set; } // Property specific to a ServiceTranslation
}

如我所说，这些 class 我无法控制。我想创建这些配对的通用列表 (List<Tuple<IItem, IItemTranslation>>)，但我不能：

public class StockDisplayList
{
    public List<Tuple<IItem, IItemTranslation>> Items { get; set; }

    public void AddSomeStockItems()
    {
        Items = new List<Tuple<IItem, IItemTranslation>>();

        var canOfBeans = new Tuple<GoodsItem, GoodsTranslation>(new GoodsItem(), new GoodsTranslation());

        var massage = new Tuple<ServiceItem, ServiceTranslation>(new ServiceItem(), new ServiceTranslation());

        Items.Add(canOfBeans); //illegal: cannot convert from 'Tuple<GoodsItem, GoodsTranslation>' to 'Tuple<IItem, IItemTranslation>'
        Items.Add(massage); //illegal: cannot convert from 'Tuple<ServiceItem, ServiceTranslation>' to 'Tuple<IItem, IItemTranslation>'    }
}

问题：在不改变我的 IItem 和 ITranslation classes 或它们的派生类型的情况下，最干净的方法是什么传递这些配对的通用列表，而不在接口和它们的类型之间来回转换它们？

警告。我试图简化问题，但我实际上并没有使用元组。实际上我使用的是 class 这样的：

public class ItemAndTranslationPair<TItem, TItemTranslation> where TItem : class, IItem where TItemTranslation : class, IItemTranslation
{
    TItem Item;
    TTranslation Translation;
}

并且我的服务正在返回强类型列表，例如 List<ItemAndTranslationPair<GoodsItem, GoodsTranslation>>，因此当我将项目添加到 'generic' 列表时，它看起来像：

var differentBrandsOfBeans = SomeService.GetCansOfBeans();
//above variable is of type IEnumerable<ItemAndTranslationPair<GoodsItem, GoodsTranslation>>

var items = new List<ItemAndTranslationPair<IItem, IItemTranslation>>();
items.AddRange(differentBrandsOfBeans);

Answer 1

您需要使用接口类型创建元组：

var canOfBeans = new Tuple<IItem, IItemTranslation>(new GoodsItem(), new GoodsTranslation());
var massage = new Tuple<IItem, IItemTranslation>(new ServiceItem(), new ServiceTranslation());

当您将它们存储在 Tuple<IItem, IItemTranslation> 列表中时，这对您来说应该是个问题。

Answer 2

在泛型类型的类型参数上使用 out 修饰符以获得该参数中的 协方差 。

在当前版本的 C# 中，不支持 class 类型，仅支持 interface 类型（和委托类型），因此您需要编写接口（注意使用 out):

public interface IReadableItemAndTranslationPair<out TItem, out TItemTranslation>
  where TItem : class, IItem
  where TItemTranslation : class, IItemTranslation
{
  TItem Item { get; }
  TItemTranslation Translation { get; }
}

请注意，属性不能有 set 访问器，因为这与协方差不兼容。

使用此类型，您可以拥有：

var differentBrandsOfBeans = SomeService.GetCansOfBeans();
//above variable is of type
//IEnumerable<IReadableItemAndTranslationPair<GoodsItem, GoodsTranslation>>

var items = new List<IReadableItemAndTranslationPair<IItem, IItemTranslation>>();

items.AddRange(differentBrandsOfBeans);

之所以有效，是因为 IEnumerable<out T> 是协变的，而您的类型 IReadableItemAndTranslationPair<out TItem, out TItemTranslation> 在 TItem 和 TItemTranslation 中都是协变的。

协方差混淆。无法将已实现接口的元组分配给元组列表

Covariance confusion. Can't assign tuples of implemented interfaces to list of tuples

c#

generics

covariance

contravariance

invariance