吹毛求疵C#(1)明确赋值检查缺陷

喜欢c#, 所以期望也比较高, 也就会留意一些不起眼的小缺陷, 也就会有很多改进的设想, 也就希望能和更多的朋友分享这些发现和畅想.

(1)明确赋值检查缺陷

截止到目前的MS C#4.0版编译器为止, 关于明确赋值检查都存在一个令人不爽的诡异问题, 而且也与ECMA标准不一致. 如下例所示:

class DefinitelyAssignedTest
{private static void CheckA(){int value;if (Maybe() && Expr(out value)){Console.WriteLine(value); //OK}} private static void CheckB(){int value;if (false && Expr(out value)){Console.WriteLine(value); //Error}}private static void CheckC(){int value;if (false && Expr(out value) && Expr(out value)){Console.WriteLine(value); //OK}}private static void CheckD(){int value;bool temp;if (temp = (Maybe() && Expr(out value))){Console.WriteLine(value); //Error}}static bool Expr(out int value){value = 1;return true;}static bool Maybe(){return (Environment.TickCount & 1) == 0;}
}

其中仅有A和C是能编译通过的, 而B和D不行. 而事实上这4个例子都是"明确赋值"的, 而且按照ECMA标准也都应该是"明确赋值"的. 但当前编译器的实现却有着自己诡异的规则.

虽然这对手写的代码不会带来什么问题, 换个写法就是了, 可是对于代码生成器来说, 却着实添了不少乱. 就想稀世的脸上落了只苍蝇, 无伤大雅, 但确实让人很不爽.

09年6月我把这个问题反馈给了微软, 9月份有了解决方案......实现没改, 没问题,语言标准改了...这样就没有不一致了... 打哪指哪, 先射箭后画靶嘛.

相关链接:https://connect.microsoft.com/VisualStudio/feedback/details/468882/definitely-assigned-after-true-expression-detection-works-improperly#

如果您也喜欢C#语言, 并且发现了问题或有建议, 请反馈给开发者们, 让他们能做的更好.

转载于:https://www.cnblogs.com/robird/archive/2010/06/24/1764374.html

吹毛求疵C#(1)明确赋值检查缺陷相关推荐

Java代码缺陷自动分析工具介绍
Java代码缺陷自动分析工具介绍 ...
《C++面向对象高效编程（第2版）》——3.4 赋值操作符
本节书摘来自异步社区出版社<C++面向对象高效编程(第2版)>一书中的第3章,第3.4节,作者: [美]Kayshav Dattatri,更多章节内容可以访问云栖社区"异步社区& ...
strcpy函数_错误更正（拷贝赋值函数的正确使用姿势）
这是一篇对什么是C++的The Rule of Three的错误更正和详细说明. 阅读时间7分钟.难度⭐⭐⭐ 虽然上一篇文章的阅读量只有凄惨的两位数,但是怀着对小伙伴负责的目的,必须保证代码的正确性. ...
静态代码检查工具简介
静态代码检查工具简介在 Java 软件开发过程中,开发团队往往要花费大量的时间和精力发现并修改代码缺陷.传统的代码复审.同行评审,通过人工方式来检查缺陷仍然是一件耗时耗力的事情.Java 静态代码分 ...
软件测试——功能测试（缺陷）2
功能测试--缺陷缺陷 1.定义: 2.缺陷知识点 3.缺陷编写 3.1 缺陷报告示例 3.2 缺陷的跟踪流程 3.3 提交缺陷注意事项 3.4编写规范 3.5 缺陷类型 3.6 工作流程 4.缺陷管 ...
DevOps系列之 —— 持续开发与集成（六）静态代码检查
DevOps系列之 -- DevOps概览(一)软件产业和交付模式发展趋势 DevOps系列之 -- DevOps概览(二)新型软件技术及交付模式 DevOps系列之 -- DevOps概览(三)De ...
Checkstyle检查规则
Checkstyle是一个检查java文件编码规范的开源工具,最新版本支持184个检查规则. Checkstyle官网如下: https://checkstyle.sourceforge.io Che ...
软件测试基础（三）—— 缺陷判断标准、缺陷管理流程、缺陷工具推荐
学习目标 1.能够说出软件缺陷判定标准: 2.能够说出项⽬中缺陷的管理流程: 3.能够使⽤Excel对于缺陷进⾏管理: 4.能使⽤⼯具管理缺陷. 一.缺陷 1.定义软件中存在的各种问题,都为缺陷,简 ...
软件测试——缺陷（缺陷的基本概、缺陷的生命周期、缺陷的识别）
缺陷一.缺陷的基本概述 1.缺陷的定义软件未实现产品说明书要求的功能软件出现了产品说明书指明不应该出现的功能软件实现了产品说明书未提到的功能软件未实现产品说明书虽未明确提及但应该实现的目标 ...

吹毛求疵C#(1)明确赋值检查缺陷

吹毛求疵C#(1)明确赋值检查缺陷相关推荐

最新文章

热门文章