C＃方差返回类型

Question

我是C＃的新手，尝试将差异限制应用于模板类型时遇到了一些实际问题。也许这是不可能的，我可以从我的研究中找到的唯一的“Where”子句更多地基于走向另一个方向（即“可分配来自”）。我列出了我试图效仿的Scala函数 - 关键是要确保T可分配给U（即T <：U），所以无论如何返回值都是U.任何帮助或C＃方差提示理解，谢谢你从Scala的选项

interface Option<out T> // where T : class 
    { 
     T GetUnsafe(); 
     Option<X> map<X>(Func<object,Option<X>> f); 
     U GetOrElse<U>(U u) where T:U ; //What is wrong here,how do I get U:>T ? 

     bool IsSome { get; } 
    } 

实施例[A] 最终DEF getOrElse [B>：A]（默认值：⇒B）：乙

作为更新，这里有一个工作版本的静态函数 - 我只是无法弄清楚是否有可能作为一种方法

static class Option 
    { 
     public static U GetOrElse<T, U>(Option<T> o, U defAns) where T : U 
     { 
      if (o.IsSome) return o.GetUnsafe(); else return defAns; 
     } 

Answer 1

首先你似乎与“泛型类型约束”混合“通用方”。是的，与Java或Scala不同的C＃在一个方向上仅支持继承相关的类型约束：您可以指定基类（但您可以执行Scala或Java支持，例如new约束）。有关详细信息，请参见where (generic type constraint) (C# Reference)。并且由于T在外部作用域中定义，所以不能在内部作用域中对其添加其他约束。这就是你的例子不能编译的原因。第二个使用静态方法的示例编译，因为C＃编译器足够聪明，可以在声明中重新排序泛型类型，使其看起来像使用已知类型（U）定义约束（对于T）。

我不知道什么是getOrElse Scala的方法是设计鉴于Option是协也就是说，如果你想获得B类型的值，即使它的实际类型A刚刚宣布你var的现实生活中的使用因为型号为Option[B]。所以我认为不复制这一点逻辑不是一大损失。

通常我不认为您可以轻松地复制这样的代码，从Scala保留到C＃的行为，但对于此方法只有一个您不需要重写的固定实现的特定情况，您可以扩展您静态招用extension methods：

public static class OptionHelper 
{ 
    public static U GetOrElse<T, U>(this Option<T> o, U defAns) 
     where T : U 
    { 
     if (o.IsSome) return o.GetUnsafe(); else return defAns; 
    } 
} 

因为额外this关键字的参数，然后才能使用它，就好像它在接口本身定义（类似于一个位中的默认的Java 8的方法，你可以得到使用隐含了什么转换在斯卡拉）：

Option<string> o = ..; 
object value = o.GetOrElse(new object());