通用類型約束禁止某些類型？

Question

我想創建一個通用的方法：

MvcHtmlString MyMethod<T>(this HtmlHelper html, string title, IEnumerable<T> value) 

我在我的代碼中的許多變量，是List<T>，IEnumerable<T>，xxxCollection，T[]，等等。這個方法也有一個重載會採取非枚舉值。是否可以禁止類型參數約束中的特定類（如string）？

我已經創建了一個超負荷這樣的：

MvcHtmlString MyMethod<T>(this HtmlHelper html, string title, object value) 

此重載是良好的的單獨的值處理，但是處理值集合需要一個稍微不同的實現。但是，string實現IEnumerable，所以我的所有字符串變量都會被髮送到錯誤的重載，除非我能告訴編譯器它們應該被排除。

Answer 1

考慮到您打算處理string，您無法對此使用約束條件並且不需要它們。

鑑於現有的方法，該方法接受類型object，string類型的參數會導致你提出的新的重載，因爲IEnumerable<char>比object更好的匹配。但是，您不必放棄重載的想法，也不需要求助於運行時檢查。只需爲string創建一個額外的過載。通過使編譯器的場景變得更容易，完成了object和IEnumerable<T>之間的整個決定。

鑑於

void Foo(object argument) 
{ 
    Console.WriteLine("object"); 
} 

void Foo<T>(IEnumerable<T> argument) 
{ 
    Console.WriteLine("enumerable T"); 
} 

void Foo(string argument) 
{ 
    Console.WriteLine("string"); 
} 

的

Foo("hello"); 
Foo(1); 
Foo(new int[] { 1 }); 

的方法調用列表生成輸出

string 
object 
enumerable T 

然後，您可能會進一步迫使你的字符串轉換成你的對象超載在一個地方。

void Foo(string argument) 
{ 
    // Console.WriteLine("string"); 
    Foo((object)argument); 
} 

Answer 2

假設您只想將此擴展名用於模型類型，您可以創建一個Model基類並將T限制爲實現它的類型。

MvcHtmlString MyMethod<T>(this HtmlHelper html, string title, IEnumerable<T> value) 
    where T : ModelBase 

Answer 3

號Generic type parameters約束只能執行正約束不負約束。

運行時類型檢查可能是要走的路：

MvcHtmlString MyMethod<T>(this HtmlHelper html, string title, IEnumerable<T> value) 
{ 
    if (typeof(T) == typeof(string)) 
    { 
     throw new IllegalOperationException(...); 
    } 
} 

如果你想傳遞給你的方法類型從同一個基類繼承，或實現相同的接口，你可以使用jrummell對強制繼承的單個約束的建議。

雖然它的更不雅的，這樣做的另一種方式，如果你想支持異構類型會提供足夠的過載到處理您的特定用例：

// supports int, float, DateTime, etc. 
MvcHtmlString MyMethod(this HtmlHelper html, string title, IEnumerable<int> value) 
MvcHtmlString MyMethod(this HtmlHelper html, string title, IEnumerable<float> value) 
MvcHtmlString MyMethod(this HtmlHelper html, string title, IEnumerable<DateTime> value) 

// supports implementations of MyInterface 
MvcHtmlString MyMethod(this HtmlHelper html, string title, IEnumerable<IMyInterface> value) 

在上面的例子中，你將無法致電MyMethod<string>，因爲它不符合任何提供的類型約束。請注意，您不能使用類型約束，因爲它們不是方法簽名的一部分。

Answer 4

不幸的是，沒有。

只能指定以下類型的約束：

where T : struct    // T must be a value type 
where T : class    // T must be a reference type 
where T : new()    // T must have a parameterless constructor 
where T : <base class name> // T must inherit from <base class> 
where T : <interface name>  // T must implement <interface> 
where T : U     // T must inherit from U, where U is another 
           // generic parameter 

參考：Constraints on Type Parameters。

現在，您可以使用其中的一些限制，但不能將類型鎖定，只能指定允許的類型，例如接口實現約束。

您可以使用接口或基類約束來具體說「我允許的類型都必須具有以下特徵」。我會說這將是你最好的選擇。

你確定仿製藥在這裏是正確的工具嗎？