.Net中关于等于的故事(一)
在.Net框架中,如果您查看所有类型的的基类:System.Object类,将找到如下4个与相等判断的方法:
除此之外,Microsoft已经提供了9个不同的接口,用于比较类型:
- IEquatable<T>
- IComparable
- IComparable<T>
- IComparer
- IComparer<T>
- IEqualityComparer
- IEqualityComparer<T>
- IStructuralEquatable
- IStructuralComparable
您是否真的理解方法这些方法和接口?如果使用不当,可能会产生致命的错误,并且还会破坏依赖于这些接口的集合。
接下来我们几篇博客来讨论这些方法和接口,重点关注的是如何正确使用这些方法和接口。
等于的疑惑
因为存在以下四种原因,会阻碍我们理解相等比较是如何执行:
- 引用相等与值相等
- 判断值相等的多种方式
- 浮点数的准确性
- 与OOP存在的冲突
引用相等与值相等
众所周知,在.Net框架中,引用类型在存储时不包含实际的值,它们包含一个指向内存中保存实际值位置的指针,这意味着对于引用类型,有两种方式来衡量相等性;两个变量都是指向内存中相同的位置,我们称为引用相等,也可以说是同一个对象;两个变量指定的位置包括相同的值, 即使它们指向内存中不同的位置,我们称其之为值相等。
我们可以使用如下示例来说明上述几点:
class Program { static void Main(String[] args) { Person p1 = new Person(); p1.Name = "Sweet"; Person p2 = new Person(); p2.Name = "Sweet"; Console.WriteLine(p1 == p2); } }
我们实例化了两个Person
对象,并且都包含相同的Name
属性;显然,上述两个Person
类的实例是相同的,它们包含相同的值, 但是运行示例代码时,控制台打印输出的是False
,这意味着它们不相等。
这是因为在.Net框架中,对于引用类型默认判断方式是引用相等,换句话说,"==
"运算符会判断这两个变量是否指向内存中相同的位置,因此在本示例中,尽管Person
类的两个实例包含的值相同,但它们是单独的实例,变量p1
和p2
两者分别指内存不同的位置。
引用相等执行速度非常快,因为只需检查两个变量是否指向内存中相同的地址,而对于值相等要慢一些。例如,如果Person
类不是只有一个字段和属性,而是具有很多,想检查Person
类的两个实例是否具有相同的值,您必须检查每个字段或属性。C#中并没有提供运算符用于检查两个类型实例的值是否相等,如果由于某种原因想要实现这种功能,您需要自己编写代码来做到这一点。
现在来看另一个例子:
class Program { static void Main(String[] args) { string s1 = "Sweet"; string s2 = string.Copy(s1); Console.WriteLine(s1 == s2); } }
上面的代码与前一个示例代码非常相拟,但是在这个示例中,我们使用"==
"运算符判断两个相同的String
类型的变量。我们先给变量s1
付值后,然后将变量s1
的值复制并付给另一个变量s2
,运行这段代码,在控制台打印输出为True
,我们可以说两个String
类型的变量是相等的。
如果"==
"运算符判断的方式使用的是引用相等, 程序运行时控制台打印输出的应该是False
,但是用于String
类型时"==
" 运算符判断方式是值相等。
引用相等与值类型
引用相等和值相等的问题仅适用于引用类型,对于未装箱的值类型,如整数,浮点型等,变量存储时已经包含了实际的值,这里没有引用的概念,意味着相等就是比较值。
以下代码比较两个整数,两者是相等的,因为"==
"运算符将比较变量实际的值。
class Program { static void Main(String[] args) { ; ; Console.WriteLine(num1 == num2); } }
在上面的代码中,"==
"运算符是将变量num1
存储的值与变量num2
存储的值进行比较。但是,如果我们修改此代码并将这两个变量转换为Object
类型,代码如下:
; ; Console.WriteLine((object)num1 == (object)num2);
运行示例代码,您看到结果将是False
,与上一次代码的结果相反。这是因为Object
类型是引用类型,所以当我们将整数转换为Object
类型,实际是两个整数被装箱后两个不同的引用实例,"==
"运行符比较的是两个对象的引用,而不是值。
好像上面的例子很少见,因为通常情况下我们不会将值类型转换为引用类型,但是存在另一种常见的情况,我们需要将值类型转换为接口。
Console.WriteLine((IComparable<int>)num1 == (IComparable<int>)num2);
为了说明这种情况,我们修改示例代码,将int
类型的变量转换为接口ICompareable<int>;
这是.Net框架提供的一个接口,int
类型实现这个接口(关于这个接口我们将其它的博客中讨论)。
在.Net框架中,接口实际上是引用类型,如果我们运行这段代码,返回的结果是False
。因此,在将值类型转换为接口时,您需要特别小心,如果您进行相等检查,返回的结果比较的是引用相等。
"=="运算符
如果C#对值类型和引用类型分别提供不同的运算符来判断相等,也许这些代码都不是问题,可惜C#只提供一个"==
"运算符,也没有显示的方式来告诉运算符实际判断的类型是什么。例如,下面这一行代码:
Console.WriteLine(var1 == var2)
我们不知道上述的"=="运算符采用的是引用相等还是值相等,因为需要知道"==
"运行算判断的是什么类型,事实上C#也是这样设计的。
在上述内容中,我们详细介绍了"==
"运算符的作用及判断方式,在阅读完这篇博客之后,我希望您能比其他开发者更多的了解当使用"==
"判断条件的时候到底发生了什么,您也能够更进一步了解两个对象之间的是如何判断相等的。
判断值相等的多种方式
复杂的值相等的还存在另一个问题,通常存在多种方式来比较指定类型的值,String
类型是一个最好的例子。
经常存在这样一种情况,字符串比较时,可能需要忽略字母的大小写;例如:在一个电商平台中搜索一个英文名称的商品,此时比较商品名称时,我们需要忽略大小写,幸运的是在Sql Server数据库中,默认使用的是这种比较方式,在.Net框架中有没有办法满足我们的要求?幸运的是在String
类型中提供了一个Equals
方法的重载,看下面的示例:
string s1 = "SWEET"; string s2 = "sweet"; Console.WriteLine(s1.Equals(s2,StringComparison.OrdinalIgnoreCase));
在程序中运行上面的示例,在控制台打印输出的是True
。
当然.Net框架也提供了多种方式来判断类型的值相等。最常见方法,类型可以通过实现IEquatable<T>
接口定义类型默认值相等的判断方式。如果您不想重新定义自己的类型,.Net框架也提供了其另一种机制来实现一点,通过实现IEqualityComparer<T>
接口来自定义一个比较器,用于判断同一种类型的两个实例是否相等。例如:如果您想忽略String类型中的空格进行比较,可以自己定义一个比较器,来实现这一功能。
.Net还提供了一个接口ICompareable<T>
,用于判断当前类型大于或小于的比较,也可以通过IComparer<T>
接口来实现一个比对器,一般在对象排序时,会用到这些接口。
浮点数的准确性
在.Net框架中,您如果使用到浮点数,可以带来一些意想不到的问题,让我们来看一个例子:
float num1 = 2.000000f; float num2 = 2.000001f; Console.WriteLine(num1 == num2);
我们有两个几乎相等的浮点数,但是很明显,它们不一样,因为它们在末尾的数字是不同的,我们运行程序,控制台打印输出的结果是True
。
从程序来角度来讲,它们是相等的,这与我们预期结果矛盾。不过您可能已经猜测到问题出在哪里了,数字类型存在一个精度问题,float
类型不能存储足够的有效数来区分这两个特定的数字,并且它还存在其它运算的问题。看这个例子:
float num1 = 0.7f; float num2 = 0.6f + 0.1f; Console.WriteLine(num2); Console.WriteLine(num1 == num2);
这是一个简单的计算,我们将0.6与0.1相加,非常明显,相加后的结果是0.7,但是我们运行程序,控制台打印输出的结果是False
,注意结果是False,这说明计算结果不等于0.7。其原因是,浮点数在运算的过程中出现了舍入误差导致了存储一个非常接近的数字,虽然num2
转换成String
类型后,在控制台打印输出的结果是0.7,但是num2
的值并不等于0.7。
舍入误差意味着判断相等通常会给您一个错误的结果,.Net框架没有提供解决方案。给您的建议是,不要尝试比较浮点数是否相等,因为可能不是预期结果。这个问题只会影响等于比较,通常不会影响小于和大于比较,在大多数情况下,比较一个浮点数是大于还是小于另一个浮点数不会出该问题。
在stackoverflow上提供这样一个解决办法,供大家参考:https://stackoverflow.com/questions/6598179/the-right-way-to-compare-a-system-double-to-0-a-number-int。
值相等与面向对象之间的矛盾
这个问题对经验丰富的开发人员来说可能会感到很诧异,实际上这是等于比较、类型安全和良好的面向对象实践之间的冲突。这三个问题如果没有处理好,将会带来其它的Bug。
现在我们来举这样一个例子,假设我们有基类Animal
表示动物,派生类Dog
来表示狗。
public class Animal { } public class Dog : Animal { }
如果我们希望在Animal
类实现当前实例是否等于其它Animal
实例,则可能需要实现接口IEquatable<Animal>
。这要求它定义一个Equals()
方法并以Animal
类型的实例作为参数。
public class Animal : IEquatable<animal> { public virtual bool Equals(Animal other) { throw new NotImplementedException(); } }
如果我们希望Dog
类也实现当前实例是否等于其它Dog
实例,那么可能需要实现接口IEquatable<Dog>
,这意味着它也定义一个Equals()
方法并以Dog
类型的实例作为参数。
public class Dog : Animal, IEquatable<Dog> { public virtual bool Equals(Dog other) { throw new NotImplementedException(); } }
现在问题出现了,在这个一个精心设计的OOP代码中,您可能会认为Dog
类会覆盖Animal
类的Equals()
方法,但是麻烦的是Dog
的Equals()
方法与Animal
类的Equals()
方法使用的是不同的参数类型,实际是重写不了Animal
类的Equals()
方法。如果您不够仔细,可能会调用错误的Equals
方法,最终返回错误的结果。
通常的解决办法是重写Object
类型Equals
方法;该方法采用一个Object
类型为参数类型,这意味着它不是类型安全的,但它能够正常重写基类的方法,并且这也是最简单的解决办法。
总结
- C#在语法上不区分值相等和引用相等,这意味着有时候很难预测在特定情况下"
==
"运算符是如何执行; - 存在多种方式实现值相等判断,.Net框架允许类型定义默认的值比较方式,同时提供自己编写比较器的机制来实现每种类型的值比较;
- 不建议使用浮点数进行值相等比较,因为舍入误差可能导致结果超出预期;
- 值相等、类型安全和良好的面向对象之间存在冲突。
转载请注明出自,原文链接:http://www.cnblogs.com/tdfblog/p/Story-of-Equality-in-NET-Part1.html
.Net中关于等于的故事(一)的更多相关文章
- LeetCode 40 Combination Sum II(数组中求和等于target的所有组合)
题目链接:https://leetcode.com/problems/combination-sum-ii/?tab=Description 给定数组,数组中的元素均为正数,target也是正数. ...
- 如何处理scrum中未完成的用户故事?
你听过柏林新建机场的故事吗?机场原定2006年开工,2007年启用,但由于机场建设过程中到处出现施工和安全问题,补东墙漏西墙,导致工期一拖再拖,预算一涨再涨,以至于2019年了还没开张,预计开业时间已 ...
- mysql中不等于过滤null的问题
在写SQL 条件语句是经常用到 不等于‘!=’的筛选条件,此时要注意此条件会将字段为null的数据也当做满足不等于的条件而将数据筛选掉. 例:表A A1 B1 1 0 2 1 3 NULL 用 se ...
- sql中的等于和不等于, '=' ,'!=','<>','is null'....
不等于:<> ,!=,~= ,^= 这四个符号据说都可以在oracle中表示不等于,但是试了之后发现<> ,!= ,^=是可以的,~=不行,需要注意的是,只有<>是 ...
- java中的等于
数字的比较等于用“==” 不等于用“!=” 字符的比较等于用“.equals”不等于用”!s1.equals(s2)“
- sql server 2005中没有等于等于,高手自行跳过。。
set ANSI_NULLS ONset QUOTED_IDENTIFIER ONgo ALTER TRIGGER [qiandaoTrigger] ON [dbo].[bbsQianDao] AFT ...
- 找出数组中求和等于y的所有子数组
算法记录: 给定一个数组x,每个元素都是正整数,找出其中满足条件"求和等于y"的所有子数组.(简化问题,每个元素都不相等) x=[x1,...,xn],暴力搜索,复杂度O(2^n) ...
- 你真得懂Javascript中的==等于运算符吗?
var i = 2; Number.prototype.valueOf = function() { return i++; }; var a = new Number( 42 ); if (a == ...
- mysql 中不等于过滤 null 的问题(同时比较等于,大于和小于)
在写 SQL 条件语句是经常用到 不等于'!='的筛选条件,此时要注意此条件会将字段为 null 的数据也当做满足不等于的条件而将数据筛选掉. 1.原始数据和表结构 CREATE TABLE `tes ...
随机推荐
- Scrollview中嵌套ListView(自定义组件解决)
首先,ScrollView中只能放一个控件,一般都放LinearLayout,orientation属性值为vertical.在LinearLayout中放需要呈现的内容.ListView也在其中,L ...
- Ehcache 的简单实用 及配置
Ehcache 与 spring 整合后的用法,下面是一个Ehcache.xml配置文件: 通用的缓存策略 可以用一个 cache: <?xml version="1.0" ...
- Web测试到底是在测什么(资料合集)
开始今晚的主题之前 先来看一张图, 这是老徐16年10月份,线上Web主题分享时整理的大纲 图片略模糊 看得清就好 Web测试, 进行抽离拆分,基本上就如上一些内容. 不管是测什么系统,什么功能,基本 ...
- js函数的使用
js函数应用 [函数的声明及调用]: 1.函数声明: function 函数名(参数1,参数2,·····){ //函数体 retu ...
- STM32采集电阻触摸贴膜
今天为了解决一个测量电阻屏压力的问题,自己直接用STM32做了一个测量电阻屏的程序(直接把触摸屏的四根线接到单片机引脚上),通过AD切换采集,采集X轴电压,Y轴电压,和压力..最后附上自己的程序 先说 ...
- MyBatis之级联——一对多关系
上次我们讲到了MyBatis的一对一关系的表示,简单回顾一下一对一关系就是一个学生只有一个学生证.那么什么是一对多关系呢?一个学生有多个课程这就是一对多的关系.我们结合上一章中的学生和学生证,在此基础 ...
- thinkphp中的钩子_什么是钩子?
讲到插件,不得不讲钩子.首先,我们之前说明了插件是一个扩展的功能实现. 既然是扩展的,那么就要很灵活.可复用,并不是像我们之前开发项目,一个功能实现了,就写死在代码里了. 项目其他地方要用了,怎么办, ...
- 白话讲session
什么是session Session一般译作会话,牛津词典对其的解释是进行某活动连续的一段时间.从不同的层面看待session,它有着类似但不全然相同的含义.比如,在web应用的用户看来,他打开浏览器 ...
- 如何创建并运行java线程
本文转载地址: http://ifeve.com/creating-and-starting-java-threads/ Java线程类也是一个object类,它的实例都继承自j ...
- 使用Git初始化项目
1.在Git官网上点击New repository新建项目: 2.在本地新建一个同名文件: 3.打开git bash切换到新建的文件目录: 4.echo "# myprojectname&q ...