0

0

C# 协变(Covariance)与逆变(Contravariance) - 泛型中的in和out关键字

幻夢星雲

幻夢星雲

发布时间:2025-12-25 15:42:08

|

581人浏览过

|

来源于php中文网

原创

协变(out)允许IEnumerable视为IEnumerable(B继承A),用于返回值;逆变(in)允许IConsumer赋给IConsumer,用于参数;二者仅适用于接口和委托,保障类型安全。

c# 协变(covariance)与逆变(contravariance) - 泛型中的in和out关键字

在 C# 中,协变(Covariance)和逆变(Contravariance)是泛型接口和委托中非常重要的概念,它们通过 outin 关键字实现,允许更灵活的类型转换。理解这两个特性有助于写出更具扩展性和复用性的代码。

什么是协变(Covariance)?

协变允许你使用比原本指定的类型更派生的类型。换句话说,如果类 B 继承自类 A,那么支持协变的泛型接口可以将 IEnumerable 视为 IEnumerable

协变通过在泛型类型参数前使用 out 关键字来声明。注意:只能用于返回值位置(如方法的返回类型),不能作为方法参数。

常见例子:

interface IProducer
{
    T Get();
}

这里 out T 表示 T 只能出现在输出位置(比如返回值)。因为只读,所以类型系统可以安全地进行向上转型。

实际应用:

string str = "hello";
IProducer stringProducer = new StringProducer();
IProducer objectProducer = stringProducer; // 协变支持

由于 string 是 object 的子类,且 IProducer 是协变的,这个赋值是合法的。

什么是逆变(Contravariance)?

逆变则相反:它允许你使用比原本指定的类型更基础的类型。也就是说,如果有一个接受基类的方法,它可以被用来处理派生类的对象。

逆变通过在泛型类型参数前使用 in 关键字来声明。它适用于输入参数,不能用于返回值。

Play.ht
Play.ht

根据文本生成多种逼真的语音

下载

例子:

interface IConsumer
{
    void Consume(T item);
}

这里 in T 表示 T 只能用作输入参数。因为方法只接收 T 类型对象,传入其子类对象是类型安全的。

实际使用:

IConsumer objectConsumer = new ObjectConsumer();
IConsumer stringConsumer = objectConsumer; // 逆变支持
stringConsumer.Consume("world"); // 实际调用的是 ObjectConsumer.Consume(object)

虽然 stringConsumer 声明为消费 string,但它指向的是一个能处理任意 object 的消费者,因此是安全的。

.NET 中常见的协变与逆变接口

微软在 .NET 框架中已经广泛使用了这些特性:

  • IEnumerable:协变 —— 允许将 IEnumerable 赋给 IEnumerable
  • IComparable:逆变 —— 如果一个类型能比较 Animal,那它当然也能比较 Dog
  • Action:逆变参数 —— Action 可以赋给 Action
  • Func:协变返回值 —— Func 可以当作 Func 使用

限制与注意事项

协变和逆变不是任意可用的,有严格的规则:

  • 只有接口和委托支持 inout,泛型类不支持
  • out T 只能出现在返回类型位置,不能作为方法参数
  • in T 只能出现在参数位置,不能作为返回类型
  • 数组也支持协变(如 string[] 可隐式转为 object[]),但这可能导致运行时异常(不安全),而泛型接口的协变是编译时安全的

基本上就这些。掌握 in 和 out 关键字,能让你更好地设计泛型接口,写出更自然、符合直觉的 API。关键是记住:out 用于产出,in 用于输入,就像数据流动的方向一样。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

311

2023.08.02

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

980

2023.10.19

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

36

2025.10.17

C++类型转换方式
C++类型转换方式

本专题整合了C++类型转换相关内容,想了解更多相关内容,请阅读专题下面的文章。

285

2025.07.15

苹果官网入口直接访问
苹果官网入口直接访问

苹果官网直接访问入口是https://www.apple.com/cn/,该页面具备0.8秒首屏渲染、HTTP/3与Brotli加速、WebP+AVIF双格式图片、免登录浏览全参数等特性。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

115

2025.12.24

拼豆图纸在线生成器
拼豆图纸在线生成器

拼豆图纸生成器有PixelBeads在线版、BeadGen和“豆图快转”;推荐通过pixelbeads.online或搜索“beadgen free online”直达官网,避开需注册的诱导页面。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

84

2025.12.24

俄罗斯搜索引擎yandex官方入口地址(最新版)
俄罗斯搜索引擎yandex官方入口地址(最新版)

Yandex官方入口网址是https://yandex.com。用户可通过网页端直连或移动端浏览器直接访问,无需登录即可使用搜索、图片、新闻、地图等全部基础功能,并支持多语种检索与静态资源精准筛选。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

553

2025.12.24

JavaScript ES6新特性
JavaScript ES6新特性

ES6是JavaScript的根本性升级,引入let/const实现块级作用域、箭头函数解决this绑定问题、解构赋值与模板字符串简化数据处理、对象简写与模块化提升代码可读性与组织性。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

155

2025.12.24

php框架基础知识汇总
php框架基础知识汇总

php框架是构建web应用程序的架构,提供工具和功能,以简化开发过程。选择合适的框架取决于项目需求和技能水平。实战案例展示了使用laravel构建博客的步骤,包括安装、创建模型、定义路由、编写控制器和呈现视图。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

20

2025.12.24

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Go语言教程-全程干货无废话
Go语言教程-全程干货无废话

共100课时 | 9.3万人学习

Redis+MySQL数据库面试教程
Redis+MySQL数据库面试教程

共72课时 | 6.2万人学习

如何进行WebSocket调试
如何进行WebSocket调试

共1课时 | 0.1万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号