zoukankan      html  css  js  c++  java
  • Why IEnumerable<T> is defined as IEnumerable<out T>, not IEnumerable<T>

    http://stackoverflow.com/questions/12424537/why-ienumerablet-is-defined-as-ienumerableout-t-not-ienumerablet

    The out type parameter specifier denotes covariance.

    In practice,

    If I define two interfaces.

    ISomeInterface<T>{}

    ISomeCovariantInterface<out T>{}

    Then, I implement them like this.

    SomeClass<T>:ISomeInterface<T>,ISomeCovariantInterface<T>{}

    Then I try to compile this code,

    ISomeCovariantInterface<object>=newSomeClass<string>();// works

    ISomeInterface<object>=newSomeClass<string>();// fails

    The is because the covariant interface allows more derived instances, where as, the standard interface does not.

        public interface ISomeInterface<T> { }
    
        public interface ISomeCovariantInterface<out T> { }
    
        public class SomeClass<T> : ISomeInterface<T>, ISomeCovariantInterface<T> { }
    
                var obj = new SomeClass<string>();
    
                ISomeCovariantInterface<object> obj1 = obj;// works
                ISomeCovariantInterface<string> obj2 = obj;// works
                ISomeInterface<string> obj3 = obj;//work
                //ISomeInterface<object> obj4 = obj;//不可编译
    ----------------------------------- http://www.cnblogs.com/rock_chen/
  • 相关阅读:
    c++命名空间重命名
    ssh保持长连接的配置方法
    macos平台上使用 sed
    c++的使用
    NAT介绍以及穿透各种类型nat的技术实现包括对称型nat
    组态图绘制软件的实现
    关于五防系统
    Linux的应用
    java常用包及其类概述
    springboot整合redis
  • 原文地址:https://www.cnblogs.com/rock_chen/p/3083257.html
Copyright © 2011-2022 走看看