如何約束一般方法的嵌套泛型類型

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的類型，它定義了文章和訂單的具體類型。

我想知道爲什麼會發生這種情況，以及如何以及如何解決問題，而無需明確指定所有類型。

Answer 1

爲什麼這個編譯的界面，但不是該方法？

嗯，你是在IOrderPosition接口聲明TOrder和TArticle但不是在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和TArticleIOrderPosition協：

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必須是唯一的消氣屬性（但這些屬性在OrderPosition可以set訪問）。

而且方法：

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

這樣做可以讓喜歡GetOrderPositionOfOrder<OrderPosition>(5)的電話。

Answer 2

在界面中，將其定義爲通用接受3種類型TOrder, TArticle, TOrderPosition，因此您可以限制這些類型。

您的方法只定義了一種類型，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> 
{ 
.. 
} 

Answer 3

在錯誤請看：

「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); 

當你調用這個方法，你必須提供所有的類型參數，或者沒有（如果它們可以被推斷的話）。就是那樣子。