協變鑄造解決方案所需

Question

我使用自定義Maybe.cs解決方案

using System; 
using System.Collections.Generic; 
using System.Linq; 
using System.Text; 
using System.Threading.Tasks; 
using FluentAssertions; 
namespace FunctionalExtensions.Specs 
{ 
    [Microsoft.VisualStudio.TestTools.UnitTesting.TestClass] 
    public class TestMaybe 
    { 
     class Base { } 
     class A : Base { } 
     class B : Base { } 

     [Microsoft.VisualStudio.TestTools.UnitTesting.TestMethod] 
     public void TestCovariance() 
     { 
      A a = new A(); 
      Maybe<A> ma = a.ToMaybe(); 
      Maybe<A> maa; 
      Base b = a; 

      Maybe<Base> mb = ma; 
      Maybe<Base> mbb = b.ToMaybe(); 


      // This works 
      (mb is Some<A>).Should().BeTrue(); 
      maa = (Some<A>)(mb as object); 



      // This doesn't 
      (mbb is Some<A>).Should().BeTrue(); 
      maa = (Some<A>)(mbb as object); 
     } 
    } 
} 

的Maybe.cs實施是Maybe Implementation in C# — Gist，是有點長粘貼到這個問題下面的代碼。基本上，我有

object 

我需要在運行時檢測，如果我可以將其轉換爲

Some<A> 

但是注意，這需要一個隱式轉換工作，我想一個實例。我的猜測是，我堅持這樣一個事實，即我無法從接口（c＃標準的一部分）定義隱式轉換，而某些接口是接口。一些必須是一個接口，使它變得不可變（C＃標準的另一部分）

任何猜測如何克服這個或我完全卡住？

Answer 1

訣竅是要實現Maybe類。

public static Maybe<T> Reify<T>(this Maybe<T> This) 
    { 
     if (!This.IsSome()) 
     { 
      return This; 
     } 
     dynamic v = This.Value(); 
     var r = ToMaybe(v); 
     return r; 
    } 

一旦我的Maybe被全部化了，那麼我可以進行正常的施法。

A a = new A(); 
Base b = a; 
Maybe<Base> m = b.ToMaybe(); 

Maybe<Base> mr = m.Reify(); 

Maybe<A> ma; 

// Will pass 
ma = (Maybe<A>) mr; 

// Will fail 
ma = (Maybe<A>) m; 

動態關鍵字是解開運行時類型的魔法。