C#中的==运算符
作者:Sweet-Tang 发布时间:2022-08-19 21:50:56
在这篇文章中,我们将介绍如下内容:
==运算符与基元类型
==运算符与引用类型
==运算符与String类型
==运算符与值类型
==运算符与泛型
==运算符与基元类型
我们分别用两种方式比较两个整数,第一个使用的是Equals(int)方法,每二个使用的是==运算符:
class Program
{
static void Main(String[] args)
{
int num1 = 5;
int num2 = 5;
Console.WriteLine(num1.Equals(num2));
Console.WriteLine(num1 == num2);
}
}
运行上面的示例,两个语句出的结果均为true。我们通过ildasm.exe工具进行反编译,查看IL代码,了解底层是如何执行的。
如果您以前从来没有接触过IL指令,不过没关系,在这里您不需要理解所有的指令,我们只是想了解这两个比较方式的差异。
您可以看到这样一行代码:
IL_0008: call instance bool [mscorlib]System.Int32::Equals(int32)
在这里调用的是int类型Equals(Int32)方法(该方法是IEquatable<Int>接口的实现)。
现在再来看看使用==运算符比较生成的IL指令:
IL_0015: ceq
您可以看到,==运行符使用的是ceq指令,它是使用CPU寄存器来比较两个值。C#==运算符底层机制是使用ceq指令对基元类型进行比较,而不是调用Equals方法。
==运算符与引用类型
修改上面的示例代码,将int类型改为引用类型,编译后通过ildasm.exe工具反编译查看IL代码。
class Program
{
static void Main(String[] args)
{
Person p1 = new Person();
p1.Name = "Person1";
Person p2 = new Person();
p2.Name = "Person1";
Console.WriteLine(p1.Equals(p2));
Console.WriteLine(p1 == p2);
}
}
上述C#代码的IL代码如下所示:
我们看到p1.Equals(p2)代码,它是通过调用Object.Equals(Object)虚方法来比较相等,这是在意料之中的事情;现在我们来看==运算符生成的IL代码,与基元类型一致,使用的也是ceq指令。
==运算符与String类型
接来下来看String类型的例子:
class Program
{
static void Main(String[] args)
{
string s1 = "Sweet";
string s2 = String.Copy(s1);
Console.WriteLine(ReferenceEquals(s1, s2));
Console.WriteLine(s1 == s2);
Console.WriteLine(s1.Equals(s2));
}
}
上面的代码与我们以前看过的非常相似,但是这次我们使用String类型的变量。我们建一个字符串,并付给s1变量,在下一行代码我们创建这个字符串的副本,并付给另一个变量名称s2。
运行上面的代码,在控制台输出的结果如下:
您可以看到ReferenceEquals返回false,这意味着这两个变量是不同的实例,但是==运算符和Equals方法返回的均是true。在String类型中,==运算符执行的结果与Equals执行的结果一样。
同样我们使用过ildasm.exe工具反编译查看生成IL代码。
在这里我们没有看到ceq指令,对String类型使用==运算符判断相等时,调用的是一个op_equality(string,string)的新方法,该方法需要两个String类型的参数,那么它到底是什么呢?
答案是String类型提供了==运算符的重载。在C#中,当我们定义一个类型时,我们可以重载该类型的==运算符;例如,对于以前的例子中我们实现的Person类,如果我们为它重载==运算符,大致的代码如下:
public class Person
{
public string Name { get; set; }
public static bool operator ==(Person p1, Person p2)
{
// 注意这里不能使用==,否则会导致StackOverflowException
if (ReferenceEquals(p1, p2))
return true;
if (ReferenceEquals(p1, null) || ReferenceEquals(p2, null))
return false;
return p1.Name == p2.Name;
}
public static bool operator !=(Person p1, Person p2)
{
return !(p1 == p2);
}
}
上面的代码很简单,我们实现了==运算符重载,这是一个静态方法,但这里要注意的是,方法的名称是perator ==,与静态方法的相似性;事实上,它们会被由编译器成一个名称为op_Equality()的特殊静态方法。
为了使用事情更加清楚,我们查看微软实现的String类型。
在上面的截图中,我们可以看到,有两个运算符的重载,一个用于相等,另一个是不等式运算符,其运算方式完全相同,但是否定等于运算符输出。需要注意的一点是,如果您想重载一个类型的==运行符的实现,那么您还需要重载!=操作符的实现,否则编译会报错。
==运算符与值类型
在演示值类型的示例前,我们先将Person类型从引用类型改为值类型,Person定义如下:
public struct Person
{
public string Name { get; set; }
public Person(string name)
{
Name = name;
}
public override string ToString()
{
return Name;
}
}
我们将示例代码改为如下:
class Program
{
static void Main(String[] args)
{
Person p1 = new Person("Person1");
Person p2 = new Person("Person2");
Console.WriteLine(p1.Equals(p2));
Console.WriteLine(p1 == p2);
}
}
当我们在尝试编译上述代码时,VS将提示如下错误:
根据错误提示,我们需要实现Person结构体的==运算符重载,重载的语句如下(忽略具体的逻辑):
public static bool operator ==(Person p1, Person p2)
{
}
public static bool operator !=(Person p1, Person p2)
{
}
当添加上面代码后,重新编译程序,通过ildasm.exe工具反编译查看IL代码,发现值类型==运算符调用也是op_Equality方法。
关于值类型,我们还需要说明一个问题,在不重写Equals(object)方法时,该方法实现的原理是通过反射遍历所有字段并检查每个字段的相等性,关于这一点,我们不演示;对于值类型,最好重写该方法。
==运算符与泛型
我们编写另一段示例代码,声明两个String类型变量,通过4种不同的方式比较运算:
public class Program
{
public static void Main(string[] args)
{
string str = "Sweet";
string str = string.Copy(str);
Console.WriteLine(ReferenceEquals(str, str1));
Console.WriteLine(str.Equals(str1));
Console.WriteLine(str == str1);
Console.WriteLine(object.Equals(str, str1));
}
}
输出的结果如下:
首先,我们使用ReferenceEquals方法判断两个String变量都引用相同,接下来我们再使用实例方法Equals(string),在第三行,我们使用==运算符,最后,我们使用静态方法Object.quals(object,object)(该方法最终调用的是String类型重写的Object.Equals(object)方法)。我们得到结论是:
ReferenceEquals方法返回false,因为它们不是同一个对象的引用;
String类型的Equals(string)方法返回也是true,因为两个String类型是相同的(即相同的序列或字符);
==运算符也将返回true,因为这两个String类型的值相同的;
虚方法Object.Equals也将返回true,这是因为在String类型重写了方法,判断的是String是否值相同。
现在我们来修改一下这个代码,将String类型改为Object类型:
public class Program
{
public static void Main(string[] args)
{
object str = "Sweet";
object str = string.Copy((string)str);
Console.WriteLine(ReferenceEquals(str, str1));
Console.WriteLine(str.Equals(str1));
Console.WriteLine(str == str1);
Console.WriteLine(object.Equals(str, str1));
}
}
运行的结果如下:
第三种方法返回的结果与修改之前不一致,==运算符返回的结果是false,这是为什么呢?
这是因为==运算符实际上是一个静态的方法,对一非虚方法,在编译时就已经决定用调用的是哪一个方法。在上面的例子中,引用类型使用的是ceq指令,而String类型调用是静态的op_Equality方法;这两个实例不是同一个对象的引用,所以ceq指令执行后的结果是false。
再来说一下==运算符与泛型的问题,我们创建一个简单的方法,通过泛型方法判断两个泛型参数是否相等并在控制台上打印出结果:
static void Equals<T>(T a, T b)
{
Console.WriteLine(a == b);
}
但是当我们编译这段代码时,VS提示如下错误:
上面显示的错误很简单,不能使用==运算符比较两个泛型T。因为T可以是任何类型,它可以是引用类型、值类型,不能提供==运算符的具体实现。
如果像下面这样修改一下代码:
static void Equals<T>(T a, T b) where T : class
{
Console.WriteLine(a == b);
}
当我们将泛型类型T改为引用类型,能成功编译;修改Main方法中的代码,创建两个相同的String类型,和以前的例子一样:
public class Program
{
static void Main(string[] args)
{
string str = "Sweet";
string str1 = string.Copy(str);
Equals(str, str);
}
static void Equals<T>(T a, T b) where T : class
{
Console.WriteLine(a == b);
}
}
输出的结果如下:
结果与您预期的结果不一样吧,我们期待的结果是true,输出的结果是false。不过仔细思考一下,也许会找到答案,因为泛型的约束是引用类型,==运算符对于引用类型使用的是引用相等,IL代码可以证明这一点:
如果我们泛型方法中的==运算符改为使用Equals方法,代码如下:
static void Equals<T>(T a, T b)
{
Console.WriteLine(object.Equals(a, b));
}
我们改用Equals,也可以去掉class约束;如果我们再次运行代码,控制台打印的结果与我们预期的一致,这是因为调用是虚方法object.Equals(object)重写之后的实现。
但是其它的问题来了,如果对于值类型,这里就会产生装箱,有没有解决的办法呢?关于这一点,我们直接给出答案,有时间专门来讨论这个问题。
将比较的值类型实现IEquatable<T>接口,并将比较的代码改为如下,这样可以避免装箱:
static void Equals<T>(T a, T b)
{
Console.WriteLine(EqualityComparer<T>.Default.Equals(a, b));
}
总结
对于基元类型==运算符的底层机制使用的是ceq指令,通过CPU寄存器进行比较;
对于引用类型==运算符,它也使用的ceq指令来比较内存地址;
对于重载==运算符的类型,实际上调用的是op_equality这个特殊的方法;
尽量保证==操作符重载和Object.Equals(Object)虚方法的写返回的是相同的结果;
对于值类型,Equals方法默认是通过反射遍历所有字段并检查每个字段的相等性,为了提高性能,我们需要重写该方法;
值类型默认情况下不能使用==运算符,需要实现==运算符的重载;
以上所述是小编给大家介绍的C#中的==运算符网站的支持!
来源:http://www.cnblogs.com/tdfblog/p/About-Equality-Operator-in-NET.html
猜你喜欢
- 示例1:public static String hello() { String s = "商务&qu
- ES是一个基于Lucene的分布式全文搜索服务器,和SQL Server的全文索引(Fulltext Index)有点类似,都是基于分词和分
- 就网络和应用程序而言,键盘快捷键很重要,今天我们要谈的便是让这类快捷键得以在Flutter运作的小部件:Focus、Shortcuts和Ac
- 一、作用及种类UML类图建模语言或标准建模语言类的属性、操作中的可见性使用+、#、-分别表示public、protected、private
- 相关阅读C#使用LINQ查询操作符实例代码(一)C#使用LINQ查询操作符实例代码(二)示例业务背景介绍示例参考《C#高级编程(第六版)》L
- Java空字符串与null的区别:1、类型 null表示的是一个对象的值,而并不是一个字符串。例如声明一个对象的引用,String a =
- we can custom min heap or max heap by override the method compare.pack
- Android自带的跑马灯效果不太好控制,还必须要满足条件才能有效果,而且速度不受控制。前面我的博客中有一篇就是用Android自带的跑马灯
- Gson是Google的一个开源项目,可以将Java对象转换成JSON,也可能将JSON转换成Java对象。Gson里最重要的对象有2个Gs
- 本文实例为大家分享了Java执行SQL脚本文件到数据库的具体方式,供大家参考,具体内容如下方式一:直接读取SQL脚本文件的内容,然后传递到S
- maven 文件打包,输入 :package -Dmaven.test.skip=true 进行打包, 一般生成的jar 文件 名称是项目名
- 什么是fescar?关于fescar的详细介绍,请参阅fescar wiki。传统的2PC提交协议,会持有一个全局性的锁,所有局部事务预提交
- 本文实例讲述了Java二维数组简单定义与使用方法。分享给大家供大家参考,具体如下:Java的二维数组是先创建一个一维数组,然后该数组的元素再
- 在windows环境下,我们通常在IDE如VS的工程中开发C++项目,对于生成和使用静态库(*.lib)与动态库(*.dll)可能都已经比较
- SSH(Secure Shell)是一套协议标准,可以用来实现两台机器之间的安全登录以及安全的数据传送,其保证数据安全的原理是非对称加密。传
- 看似很鸡肋其实在某些特殊场景还是比较有用的。比如你将实体类转Map或者拿到一个Map结果的时候,你是怎么获取某个map的key和value。
- 目录Map的computeIfAbsent使用场景和方法常规实现使用computeIfAbsent方法实现Map中computeIfAbse
- 本文实例为大家分享了C#实现扫雷游戏的具体代码,供大家参考,具体内容如下一、实验目的:1、掌握c#窗体和控件的常用属性和功能2、完成扫雷游戏
- 表:需求:将表中的数据,按照一级二级分类返回给前端json数据代码实现:java代码: public class ResultIndustr
- 本文实例为大家分享了Unity Shader实现描边OutLine效果的具体代码,供大家参考,具体内容如下Shader实现描边流程大致为:对