写点什么

对 IDisposable 和静态分析的提议:DisposeUnused 属性

  • 2019-10-23
  • 本文字数:1734 字

    阅读完需:约 6 分钟

对IDisposable和静态分析的提议:DisposeUnused属性

当 .NET 初创的时候,关于IDisposable该如何使用存在一定的不确定性。结果,IDisposable的应用方式过于激进,许多种类的类都需要空的 Dispose 方法。这给静态分析工具带来了一些问题,它们无法将实际缺少Dispose调用与误报区分开来。


为了理解始末缘由,我们需要回过头看一下 CLR 早期的历史以及垃圾收集是如何运行的。最初,CLR 的目的在于是作为 Visual Basic 的新运行时,在 20 世纪 90 年代末 Visual Basic 是基于 COM 的。在 COM 模型下,对象会有一个引用计数。在引用创建和销毁的时候,引用计数会随之进行更新,如果计数变成零,对象就会被释放。这样的话,就形成了一个具有确定性的垃圾收集模型,在这种模型中,我们可以确切地知道该在什么时候清理资源。


引用方式的垃圾收集模型的最明显缺点就在于它很容易出现内存泄露。如果我们创建了一系列的对象,它们之间互相循环引用的话,每个对象都会让其他对象的引用计数无法降低到零,从而会出现内存泄露。在多线程环境中,它还会产生性能问题,因为在调整引用计数的时候,需要用到锁。


在开发的早期,微软决定采用标记-清理(mark-and-sweep)垃圾收集器来让 CLR 避免这些问题。随着 Java 的流行,这种方式在社区中得到了普遍的认可。但是,这种方式的 GC 并不能确定地释放资源,这使得它不适合用于数据库连接、文件处理和其他高度受限的资源。因此,IDisposable 应运而生。


与此同时,微软正在试验“组件”的理念。组件的概念从来没有被很好地定义。在这方面,有Component类,以及像IComponentIContainerISite这样的接口。在将近 20 年之后,文档中也只有一个很模糊的注释:“应用程序之间的对象共享”。其想法大概和 COM 类似,也就是某个应用可以直接与其他程序进行交互。但是,这并没有达到目的,所以被埋没在历史的故纸堆中了。


而在 Windows Forms 中,有一个不同的“组件”概念,它真正的意思是“可以放到表单/窗口(form/window)中的内容”。除了像文本框这样的实际 UI 元素之外,还包括添加了特定功能的对象,如计时器。这来自 VB 6 编程时代,当时几乎所有想使用的内容都必须要放到表单中。甚至数据库连接和命令也可以直接放到表单中。


这也就是为什么我们看到很多毫不相关的对象也标记成了IDisposable。像DataTableSqlCommand并没有要处理的非托管资源,但是在过去我们错误地认为最好将它们放到表单中,所以它们继承了Component类。而 Component 是 disposable 的,所以我们可以选择何时关闭代理对象。

静态分析

随着静态分析逐渐从高级工具变成了每个开发人员都该使用的工具,关于 disposable 对象不断增长的告警越来越成为一个问题。对于像SqlCommand这样短期存活的对象来说,这还不算太糟糕,因为可以很容易地使用 using 语句对其进行包装,而不需要考虑该语句实际上并没有执行任何操作。


DataTable这样的类就比较困难了。这是一个长期存活的对象,它所使用的地方可能距离创建它的地方非常远。除非设置为 suppressed 或禁用,否则静态分析工具将会报告 DataTable 和类似对象有未处理处理的告警和错误。

DisposeUnusedAttribute 提议

“最佳”方案是彻底移除所有无用的Dispose方法。但是,这并不是可行方案,因为这样会破坏向后的兼容性。


Edward Brey 提出了一个相当简单而优雅的解决方案。他建议创建一个DisposeUnused属性来屏蔽静态分析工具。子类不会继承此属性。


但是,这个设计也并非尽善尽美。一旦DisposeUnused用到了某个类上,移除它将会是破坏性的变更。对于 DataTable 来说,这并不是什么问题,不过,Stephen A. Imhoff 提供一个这样的样例。


这实际上会更糟糕,因为现在你可能会说“好的,忽略该契约,我就是这样声明的”,如果某个类型突然需要 dispose 某个资源的话(比如说,MemoryStream 要为大型数组或其他内容分配一个原生数组),那么你的消费者需要执行 dispose 操作,但是你之前却告诉人家不需要这样做……


另一个问题是你并不是总能知道变量里有什么。假设有一个类型为 Component 的变量。在编译时,我们无法判断放入变量的内容是否需要 dispose 处理。因此,更有意义的做法是只将DisposeUnused用到密闭类(sealed classed)中,这些类是无法子类化的。


原文链接:


A Proposal for IDisposable and Static Analysis: DisposeUnused Attribute


2019-10-23 08:001160

评论 1 条评论

发布
用户头像
对C#来说Attribute别翻译为属性更好些。记得王垠较早前就吐槽C#的这个了。
2019-10-23 17:52
回复
没有更多了
发现更多内容

凡泰极客加入中商联互联网应用工作委员会并荣任常务委员单位

FinClip

网络损伤工具大乱斗

声网

Dev for Dev 网络损伤 网络仿真 网络与传输

Spring Boot AOP 扫盲,实现接口访问的统一日志记录

沉默王二

Java

java培训:JVM 的面试题

@零度

JVM JAVA开发

大厂晋升指南:材料准备,PPT写作和现场答辩

邴越

大厂技能 2月月更 晋升 职级

模块 8 作业

miliving

IDP深度 | 企业到底需要何种数据分析挖掘工具?

Baihai IDP

人工智能 数据挖掘 商业智能

netty系列之:EventExecutor,EventExecutorGroup和netty中的实现

程序那些事

Java Netty 程序那些事 2月月更

当前主流视频编码技术浅析| 社区征文

王强

视频编解码 新春征文

再谈 AI 及未来的趋势 | 社区征文

宇宙之一粟

AI 新春征文 2月月更

面试突击24:为什么wait和notify必须放在synchronized中?

王磊

面试 java面试

基于CC2530(ZigBee设计)的温度报警器

DS小龙哥

2月月更

虎符Hoo研究院:Cosmos是如何实现链与链的“港口”相连的?

区块链前沿News

Hoo 虎符交易所 虎符研究院 Cosmos

从冬奥看中国科技(六):千里光伏初长成

脑极体

系统学习 TypeScript(一)——认识 TypeScript

编程三昧

typescript

迁移学习综述与未来展望 | 社区征文

战场小包

人工智能 迁移学习 新春征文 2月月更

如何理解用户的行为?

石云升

产品经理 用户研究 用户模型 2月月更

Bloom Filter 优化- CrimsonDB系列论文(一)

Emc

存储 LSM-Tree

浅谈 AI 物联网基础常识 | 社区征文

liuzhen007

AI 新春征文 2月月更

扔掉 Electron,拥抱基于 Rust 开发的 Tauri

百瓶技术

rust 前端 框架开发 tauri

万字详解数据仓库、数据湖、数据中台和湖仓一体

五分钟学大数据

数据中台 数据仓库 数据湖 湖仓一体

学生管理系统模块4作业

刘洋

#架构实战营 「架构实战营」

医疗保健行业如何从区块链中受益?

CECBC

龙蜥社区一周动态 | 2.14-2.20

OpenAnolis小助手

Linux 开源 动态

安卓隐私沙箱来了!Android Privacy Sandbox简介

XCG00

android

【架构训练营-模块三】

默光

架构训练营5期

AI安全技术总结与展望| 社区征文

herosunly

人工智能 新春征文 2月月更

你知道MySQL InnoDB 的内存组件有哪些吗?

程序猿阿星

MySQL MySQL InnoDB Buffer Pool

「前端CI/CD系列」第一篇:如何用建木CI往七牛云上传文件

Jianmu

CDN CI/CD 文件存储 七牛云 建木CI

【漏洞分析】反序列化漏洞

网络安全学海

网络安全 信息安全 渗透测试 WEB安全 安全漏洞

提权方式及原理简介(面试)

喀拉峻

黑客

对IDisposable和静态分析的提议:DisposeUnused属性_语言 & 开发_Jonathan Allen_InfoQ精选文章