C#泛型的逆变协变(个人理解)

前编

一般来说, 泛型的作用就类似一个占位符, 或者说是一个参数, 可以让我们把类型像参数一样进行传递, 尽可能地复用代码

我有个朋友, 在使用的过程中发现一个问题

IFace<object> item = new Face<string>(); // CS0266

public interface IFace<T>
{
    string Print(T input);
}
public class Face<T> : IFace<T>
{
    public string Print(T input) => input.ToString();
}

Q:   string 明明是 object 的子类, 为啥这样赋值会报错呢???
A:   因为 Face<string> 实现的是 IFace<string>, 而 IFace<string> 并不是 IFace<object> 的子类
Q:   但是 stringobject 的子类啊, IFace<string> 可不就是 IFace<object> 吗?
A:   如果只论接口定义, 看起来确实是这样的, 但是你要看内部实现的方法, IFace<string>Print 方法参数是 string, 但是 IFace<object>Print 参数是 object, 如果上面的赋值可以成立, 就意味着允许 Print(string input) 方法传递任意类型的对象, 这样明显是有问题的
Q:   但是我曾经看到过 IEnumerable<object> list = new List<string>(); 这个为什么就可以
A:   这就要讲到C#泛型里的逆变协变
Q:   细嗦细嗦

逆变协变

C#泛型中的逆变(in)协变(out)对于不常自定义泛型的开发来说(可能)是个很难理解的概念, 简单来说其表现形式如下

逆变(in): I<子类> = I<父类>
协变(out): I<父类> = I<子类>

上面例子中提到的 IEnumerable<object> list = new List<string>(); 体现的是协变, 符合一般直觉, 整体上看起来就像是将子类赋值给基类

转到 IEnumerable<> 的定义, 我们可以看到

public interface IEnumerable<out T> : IEnumerable
{
    new IEnumerator<T> GetEnumerator();
}

泛型 T 之前加了协变的关键词 out, 代表支持协变, 可以进行符合直觉且和谐的转化

前编中提到的代码例子不适用并且也不能改造成协变, 只适合使用逆变

相比于符合直觉且和谐协变, 逆变不符合直觉并且别扭

IFace<string> item = new Face<object>();

public interface IFace<in T>
{
    string Print(T input);
}
public class Face<T> : IFace<T>
{
    public string Print(T input) => input.ToString();
}

这是一个逆变的例子, 与协变相似, 需要在泛型 T 之前加上关键词 in

对比上方的协变, 逆变看起来就像是将基类赋值给子类, 但这其实符合里氏代换的

当我们调用 item.Print 时, 看起来允许传入的参数为 string 类型, 而实际上最终调用的 Face<object>.Print 是支持 object 的, 传入 string 类型的参数没有任何问题

逆变协变的作用

逆变(in)协变(out)的作用就是扩展泛型的用法, 帮助开发者更好地复用代码, 同时通过约束限制可能会出现的破坏类型安全的操作

逆变协变的限制

虽然上面讲了逆变(in)协变(out)看起来是什么样的, 但我的那个朋友还是有些疑问

Q:   那我什么时候可以用逆变, 什么时候可以用协变, 这两个东西用起来有什么限制?
A:   简单来说, 有关泛型输入的用逆变, 关键词是in, 有关泛型输出的用协变, 关键词是out, 如果接口中既有输入又有输出, 就不能用逆变协变
Q:   为什么这两个不能同时存在?
A:   协变的表现形式为将子类赋值给基类, 当进行输出相关操作时, 输出的对象类型为基类, 是将子类转为基类, 你可以说子类是基类;
逆变的表现形式为将基类赋值给子类, 当进行输入相关操作时, 输入的对象为子类, 是将子类转为基类, 这个时候你也可以说子类是基类;
如果同时支持逆变协变, 若先进行子类赋值给基类的操作, 此时输出的是基类, 子类转为基类并不会有什么问题, 但进行输入操作时就是在将基类转为子类, 此时是无法保证类型安全的;
Q:   听不懂, 能不能举个例子给我?
A:   假设 IEnumerable<> 同时支持逆变协变, IEnumerable<object> list = new List<string>();进行赋值后, list中实际保存的类型是string, item.First()输出类型为object, 实际类型是string, 此时说stringobject没有任何问题, 协变可以正常发挥作用;
但是如果支持了逆变, 假设我们进行输入类型的操作, item.Add() 允许的参数类型为 object, 可以是任意类型, 但是实际上支持string类型, 此时的object绝无可能是string
Q:   好像听懂了一点了, 我以后慢慢琢磨吧

两者的限制简单总结就是

输入的用逆变
输出的用协变

原文链接:https://www.cnblogs.com/CollapseNav/p/17285595.html

本站文章如无特殊说明,均为本站原创,如若转载,请注明出处:C#泛型的逆变协变(个人理解) - Python技术站

(0)
上一篇 2023年4月18日
下一篇 2023年4月18日

相关文章

  • 用sc.exe将程序加入windows系统服务

    添加Windows系统服务的过程可以通过sc.exe命令来完成。这是Windows中的服务控制管理器,它可以让你执行许多服务相关的操作,例如创建、删除、启动、停止服务。 以下是用sc.exe命令将程序加入Windows系统服务的完整攻略: 步骤一:在Windows系统中打开命令行窗口 在Windows系统中打开一个命令行窗口。你可以通过按下Windows +…

    C# 2023年6月8日
    00
  • .NET Core中RabbitMQ使用死信队列的实现

    针对“.NET Core中RabbitMQ使用死信队列的实现”这个话题,我将提供以下完整攻略步骤: 1. RabbitMQ死信队列基础概念 死信队列(Dead Letter Queue, DLQ)是一种特殊的队列,用于存储无法被消费者所处理的消息。当消息不能被正确地路由或消费者拒绝消费时,它们将会被投递到死信队列中。通常情况下,死信队列的作用是对失败的消息进…

    C# 2023年6月3日
    00
  • .net 像hao123的快捷邮箱登陆的实现代码

    首先,要实现像Hao123那样的快捷邮箱登录,我们需要了解一些前提知识和技术: Cookies:Cookie是一种由服务器发送到用户Web浏览器的小型文本文件,存储在用户计算机中,主要用于记录用户的登录状态、浏览记录等信息。 Session:Session是服务器端一种基于Cookie的数据存储技术,用于存储服务器和客户端之间的登录状态和其他数据。 .NET…

    C# 2023年5月31日
    00
  • C#定时器组件FluentScheduler用法

    C#定时器组件FluentScheduler用法 概述 FluentScheduler是一个C#的定时器组件,通过简洁的API使得编写定时任务变得非常简单。它支持非常灵活的定时方案配置,包括每隔一定时间、某一特定时刻执行、星期几执行等。并且,FluentScheduler支持多线程执行任务,可以极大地提升任务执行效率。 安装 FluentScheduler可…

    C# 2023年6月1日
    00
  • C#语言使用gRPC、protobuf(Google Protocol Buffers)实现文件传输功能

    接下来我将为您详细讲解如何使用C#语言通过gRPC和protobuf实现文件传输功能。 1. gRPC和protobuf简介 1.1 gRPC gRPC是一种高性能、开源和通用的RPC框架,可以用于多种语言和平台。它基于HTTP/2协议设计,使用protobuf作为数据传输的格式。相比于传统的RESTful API和SOAP,gRPC有以下优势: 性能更高:…

    C# 2023年6月1日
    00
  • C#使用SQLDMO操作数据库的方法

    下面我将详细讲解“C#使用SQLDMO操作数据库的方法”的完整攻略。 一、SQLDMO介绍 SQLDMO是一种用于操作Microsoft SQL Server的对象模型。它是一种COM对象模型,使得从C#语言中使用该模型变得十分容易。 二、准备工作 在使用SQLDMO之前,需要引入相应的程序集。程序集一般位于以下地址中: C:\Program Files\M…

    C# 2023年6月1日
    00
  • 字符串阵列String[]转换为整型阵列Int[]的实例

    将字符串数组String[]转换为整型数组int[]是编程中很常见的操作,我们可以使用Java提供的内置函数进行转换。 以下是转换的完整攻略: 1.遍历字符串数组 首先,我们需要遍历字符串数组String[],并且将每个元素转换为整型。 String[] strArray = {"10", "20", "30…

    C# 2023年6月8日
    00
  • C#中Entity Framework常见报错汇总

    下面是详细讲解“C#中EntityFramework常见报错汇总”的完整攻略。 C#中EntityFramework常见报错汇总 1. 连接字符串错误 连接字符串错误是EntityFramework中最常见的错误之一。连接字符串属于配置信息中的一部分,提供给DbContext使用。连接字符串可以包含数据库的名称、数据库服务器的名称(或IP)和其他必要的信息,…

    C# 2023年5月15日
    00
合作推广
合作推广
分享本页
返回顶部