爲什麼在實現接口時沒有隱式轉換返回類型？

Question

以下是C＃編譯器不允許的。它說Cool的ICool的Jello方法的實現不會返回一個IObject。但Object是一個IObject。爲什麼不支持？

interface ICool 
{ 
    IObject Jello(); 
} 

interface IObject 
{ 

} 

class Cool : ICool 
{ 
    public Object Jello() { return new Object(); } 
} 

class Object : IObject 
{ 

} 

Answer 1

下面是一種變通方法，以C＃不支持返回類型的協方差（見"Interface not implemented" when Returning Derived Type）：

using System.Text; 
using System.Threading.Tasks; 

namespace CsharpFun 
{ 
    class Program 
    { 
     static void Main(string[] args) 
     { 
      Object obj = (Object) new Cool().Jello(); 
     } 
    } 

    interface ICool<T> where T : IObject 
    { 
     T Jello(); 
    } 

    interface IObject 
    { 

    } 

    class Cool : ICool<Object> 
    { 
     public Object Jello() { return new Object(); } 
    } 

    class Object : IObject 
    { 

    } 
}