协变,即方法具有的返回类型比委托签名中定义的返回类型更具体。定义一个返回类型是基类的委托,这个委托可以接收返回类型是派生类型的任何方法。
逆变,即委托签名的参数类型比方法具有的参数类型更具体,定义一个参数类型是派生类型的委托,这个委托可以接收具有类型参数的方法,因为派生类型隐式转换成了基类型。
协变,即方法具有的返回类型比委托签名中定义的返回类型更具体。定义一个返回类型是基类的委托,这个委托可以接收返回类型是派生类型的任何方法。
逆变,即委托签名的参数类型比方法具有的参数类型更具体,定义一个参数类型是派生类型的委托,这个委托可以接收具有类型参数的方法,因为派生类型隐式转换成了基类型。