欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

C#中重载相等(==)运算符示例

程序员文章站 2023-11-17 19:09:28
运算符重载一直是一个很诡异事情,因为在写代码的时候,不知道某个运算符有没有被重载过。在 c++ 里面,运算符重载可以写在类的外面,当 intellisense 不工作的时候...

运算符重载一直是一个很诡异事情,因为在写代码的时候,不知道某个运算符有没有被重载过。在 c++ 里面,运算符重载可以写在类的外面,当 intellisense 不工作的时候,找到一个运算符的重载函数是一件相当头疼的事情。这个问题在 c# 中改善了不少,因为运算符重载一定要写在类内,而且 intellisense 很强大。不过另一个问题又产生了……

先来看 c++ 中的“==”重载:

struct a{
 int x;
 int y;
};
 
inline
bool operator == (const a& a, const a& b){
 return a.x == b.x && a.y == b.y;
}

上面这段代码中,由于声明的关系,a 和 b 永远不可能为 null,所以直接调用 a.x 和 b.x 是没有问题的。

而在 c# 中:

struct a
{
 public int x, y;
 public static bool operator ==(a a, a b)
 {
  return a.x == b.x && a.y == b.y;
 }
 public static bool operator !=(a a, a b)
 {
  return !(a == b);
 }
}

这段代码是没问题的,因为 a 是 struct,而 struct 不可能为 null。但换成 class 就有问题了,比如:

class a
{
 public int x, y;
 public static bool operator == (a a, a b)
 {
  if (a == null && b == null)
  {
   return true;
  }
  if (a == null || b == null)
  {
   return false;
  }
  return a.x == b.x && a.y == b.y;
 }
 public static bool operator != (a a, a b)
 {
  return !(a == b);
 }
}

由于 reference type 可以为 null,所以要先检查 a 和 b 是不是 null,但是“a == null”这一句又会去调用“operator ==”,于是就无限递归下去了……想了很久都没想出来变通的方法,而且 system.string 的实现也很诡异:

public static bool operator == (string a, string b)
{
 return equals(a, b);
}
public static bool equals (string a, string b)
{
 return ((a == b) || (((a != null) && (b != null)) && equalshelper(a, b)));
}

看上去也会无限递归的(reflector 出来的,不一定准),很神奇……

虽然对于 referece type 不建议重载==,但是不建议并不代表不能用吧,这个设计太挫了…