接口<T>方法<T2>其中T2：T

Question

看看這個片斷

public interface IExample<T> 
{ 
    IExample<T> Exposes<TInclude>() 
     where T : TInclude; 
} 

我期待編譯時強制執行T是強制轉換爲TInclude。可以做一個運行時檢查，但寧願它是編譯時間。

以上抱怨T未定義。

有什麼建議嗎？我試圖用C＃泛型來做什麼？

Answer 1

改寫你的問題：

它有可能使一個where條款，強制的約束TInclude是T或衍生自T的任何類型。我正在尋求強制執行「反向」約束：TInclude是T或任何「基本類型」T。這可能嗎？

編號C＃不支持這種約束。抱歉。

有什麼建議嗎？

斯卡拉支持我認爲的那種約束。與Java一樣，儘管Java的做法有點奇怪。但是我想你不想改變語言。

你能更詳細地描述一下你真正想用這個接口表示的概念嗎？如果我們知道你在做什麼，那麼給你實際的建議會更容易。

Answer 2

您可以將類型約束移動到界面的水平，這樣的：

public interface IExample<T, U> 
    where T : U 
{ 
    IExample<T, U> Exposes(); 
} 

Answer 3

它可能在某一天實施：請參閱1.2 Generalized Constraints