接口<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