c#中的功能选项类型不支持不变量

Question

这样的界面蓝图：

   public interface IOption<out T>{
      IOption<R> Map<R> (Func<T, R> func);
      IOption<R> FlatMap<R> (Func<T, IOption<R>> func);
      T Get ();
      bool IsEmpty ();
      Y GetOrElse (Func<Y> defaultValue) where Y: T;//error
    }

重要的是它应该支持变体。我坚持Y GetOrElse (Func<Y> defaultValue) where Y: T;。

错误显示The covariant type parameter T must be contravariantly valid on IOption<T>.GetOrElse(Func<T>)。

此外，Func 应该定义为 public delegate R Func<in A, out R>(A a); .NET2.0 而不是将 varient 附加到 Func 泛型类型。

感谢任何建议。

更新
来自Scala 语言的选项设计。我知道Y 应该是T 的超类型，但它似乎无法简单地定义where T: Y，我该怎么办？

我还有一个问题——为什么不能直接定义T GetOrElse<T> (T defaultValue);？？？

Answer 1

C# 不支持 scala 等泛型参数的下限，但您可以将 GetOrElse 设为扩展方法以利用 IOption<T> 接口的协方差：

public static T GetOrElse<T>(this IOption<T> opt, Func<T> defaultValue)
{
    return opt.IsEmpty() ? defaultValue() : opt.Get();
}

然后您可以在呼叫站点指定您想要的类型，例如：

IOption<Dog> do = ...;
var ao = o.GetOrElse<Animal>(() => new Cat());