避免通用參數

Question

我有斷言屬性（同上）包含一個指定的屬性（TV）以下的擴展方法：

public static void ShouldHave<T, TV, TT>(this T obj, Expression<Func<T, TT>> exp) {...} 

該方法可以這樣調用：

MyDto myDto = new MyDto(); 
myDto.ShouldHave<MyDto, RequiredAttribute, int>(x => x.Id); 

編譯就好了。我想知道是否可以從方法簽名中刪除T和TT。 T因爲ShouldHave被調用T爲什麼不需要明確地指定它。 TT是表達式（x.Id）中引用的屬性的類型。

Answer 1

類型自變量的自動推斷僅在否方法調用中指定泛型參數時纔有效。即：

myDto.ShouldHave<, RequiredAttribute, >(x => x.Id); 

是無效的語法。你可以擁有「全部或全部」。

因此，如果您想推斷T和TT，則需要以其他方式傳遞當前包含在TV中的信息。例如，其中一個方案是通過屬性的類型作爲參數：

public static void ShouldHave<T, TT>(this T obj, 
            Expression<Func<T, TT>> exp, 
            Type attribute) {...} 

（很顯然，這將需要在您的實現ShouldHave的變化）。

那麼你應該能夠調用這樣的方法：

MyDto myDto = new MyDto(); 
myDto.ShouldHave(x => x.Id, typeof(RequiredAttribute)); 

Answer 2

下編譯：

public static void ShouldHave<T, TT>(this T obj, Expression<Func<T, TT>> exp) 
{...} 

MyDto myDto = new MyDto(); 
myDto.ShouldHave(x => x.Id); 

此省略了TV類型的說法，這是你需要在調用點明確指定通用參數的原因。如果你需要這個說法，那麼你的運氣不好。

Answer 3

試試這個：

public static void ShouldHave<TV>(this object obj, Expression<Func<object, object>> exp) {...} 

您應該發現exp現在由被強制轉換爲對象包圍的真實表達。在您的方法中，剝離演員如下：

Expression realExp = ((UnaryExpression) exp).Operand; 

然後，您可以開始分析表達式。儘管如此，你將不得不做更多的運行時測試和安全檢查。