Question

使用泛型构建一段C＃代码我已经生成了如下代码：

public class Test<U,V,W>
    where U : V
    where V : W
{
    public W Cast(U argument)
    {
        return argument;
    }
}

return行无法编译（在单声道3.2.8.0：＆＃34;不能隐式地将类型U转换为W＆＃34;），尽管看起来很明显U必须是W的子类（从技术上讲，可能涉及值类型，但即使所有三个通用参数都被约束为引用类型，上述操作也会失败。如果U被限制为直接从W派生，那么一切正常。

上面的代码很容易修复（只需将一个强制转换插入V，这当然总是成功）。但是我有两个问题：最重要的是，为什么代码无法编译？链接到C＃规范的相关片段（如果有的话）将是最受欢迎的！其次，对V进行（看似多余的）转换是否会在运行时引入（无用）类型检查？

Answer 1

我的猜测是Mono不明白如果U：V和V：W，那个U：W。尝试将该约束放入其中？

编辑：我看到你在答案中提到了这一点（我错过了）。既然如此，我会说这是Mono中的一个错误。只是把约束放进去并完成它？也许提交一个错误。