如何限制泛型方法的嵌套泛型类型

Question

我正在尝试创建一种基于给定泛型从数据库返回数据的方法。

接口：（此定义编译）

public interface IOrderPosition<TOrder, TArticle, TOrderPosition>
  where TOrder : IOrder
  where TArtile : IArticle
  where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>
{
  long? id { get; set; }
  TOrder order { get; set; }
  TArtile article { get; set; }
  List<TOrderPosition> subPositions { get; set; }
}

一个可能的具体实现：（此定义编译）

public class OrderPosition : IOrderPosition<Order, Article, OrderPosition>
{
  public long? id { get; set; }
  public Order order { get; set; }
  public Article article { get; set; }
  public List<OrderPosition> subPositions { get; set; }
}

尝试基于接口编写通用方法：（此定义不编译）

public List<TOrderPosition> GetOrderPositionOfOrder<TOrderPosition>(long? id) 
  where TOrder : IOrder
  where TArticle : IArticle
  where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>
{
  ..
}

错误：

'DataSourceOrder.GetOrderPositionOfOrder<TOrderPosition>()' does not define type parameter 'TOrder'
'DataSourceOrder.GetOrderPositionOfOrder<TOrderPosition>()' does not define type parameter 'TArticle'
The type or namespace name 'TOrder' could not be found (are you missing a using directive or an assembly reference?)
The type or namespace name 'TArticle' could not be found (are you missing a using directive or an assembly reference?)

要这样使用：

List<OrderPosition> positions = GetOrderPositionOfOrder<OrderPosition>(5);
List<TransferOrderPosition> transferPositions = GetOrderPositionOfOrder<TransferOrderPosition>(5);

---

题：

为什么要为接口而不是方法进行编译？

我希望两者都能奏效或都会失败。 我假设编译器可以从为TOrderPosition给出的类型推断TOrder和TArticle的类型，而TOrderPosition定义了商品和订单的具体类型。

我想知道为什么会发生这种情况，以及是否以及如何解决该问题而不必显式指定所有类型。

Answer 1

为什么要为接口而不是方法进行编译？

那么，您声明TOrder和TArticle在IOrderPosition界面，但不是在GetOrderPositionOfOrder方法。

您需要在方法声明中声明这些通用参数：

public List<TOrderPosition> GetOrderPositionOfOrder<TOrder, TArticle, TOrderPosition>(long? id)
    where TOrder : IOrder
    where TArticle : IArticle
    where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>
{
    ...
}

并这样称呼它：

var list = GetOrderPositionOfOrder<Order, Article, OrderPosition>(5);

---

但是，如果您要像这样调用GetOrderPositionOfOrder ：

var list = GetOrderPositionOfOrder<OrderPosition>(5);

您可以在TOrder和TArticle中使IOrderPosition协变：

interface IOrderPosition<out TOrder, out TArticle, TOrderPosition>
    where TOrder : IOrder
    where TArticle : IArticle
    where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>
{
    long? id { get; set; }
    TOrder order { get; }
    TArticle Article { get; }
    List<TOrderPosition> subPositions { get; set; }
}

请注意， Order和Article必须是只允许使用getter的属性（但是OrderPosition这些属性可以具有set访问器）。

和方法：

public List<TOrderPosition> GetOrderPositionOfOrder<TOrderPosition>(long? id)
    where TOrderPosition : IOrderPosition<IOrder, IArticle, TOrderPosition>
{
    ...
}

这样做可以像GetOrderPositionOfOrder<OrderPosition>(5)那样进行调用。

Answer 2

看一下错误：

'DataSourceOrder.GetOrderPositionOfOrder（）'未定义类型参数'TOrder''DataSourceOrder.GetOrderPositionOfOrder（）'未定义类型参数'TArtile'

您指的是不存在的类型参数。
您应该在方法中定义它们，就像在接口中定义它们的方式一样：

public static List<TOrderPosition> GetOrderPositionOfOrder<TOrder, TArticle, TOrderPosition>(long? id)

这意味着调用该方法将很麻烦：

var positions = GetOrderPositionOfOrder<Order, Position, OrderPosition>(5);
var transferPositions = GetOrderPositionOfOrder<TransferOrder, TransferArticle, TransferOrderPosition>(5);

调用该方法时，必须提供所有类型参数，或者不提供任何类型参数（如果可以推断出它们）。 就是那样子。

Answer 3

在界面中，将其定义为接受3种类型的通用类型TOrder, TArticle, TOrderPosition ，因此您可以限制这些类型。

您的方法仅定义一个类型TOrderPosition ，并且编译器无法从方法定义where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>的约束where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>推断您需要其他类型的事实。

您需要做的就是以与对接口相同的方式定义通用方法上的所有类型：

public List<TOrderPosition> GetOrderPositionOfOrder<TOrder, TArticle, TOrderPosition>(long? id) 
 where TOrder : IOrder
 where TArticle : IArticle
 where TOrderPosition : IOrderPosition<TOrder, TArticle, TOrderPosition>
{
 ..
}