操作符重载
有的编程语言允许一个类型定义操作符应该如何操作类型的实例,比如string类型和int类型都重载了(==)和(+)等操作符,当编译器发现两个int类型的实例使用+操作符的时候,编译器会生成把两个整数加到一起的代码。
当编译器发现两个string类型的实例使用+操作符的时候,编译器会生成把两个字符串连接到一起的代码。那么编译器怎么就会知道这样做呢?如何进行操作符重载呢?
下面C#代码展示了一个类中如何进行操作符重载:
namespace DoNet.Seven.ConsoleApplicationTest { class Program { static void Main(string[] args) { rational r1 = new rational(10); rational r2 = new rational(5); rational r3= r1 + r2; Console.WriteLine(r3.Value); Console.ReadKey(); } } //有理数 public sealed class rational { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rational(int value) { this._value = value; } public rational() { } public static rational operator+(rational num1,rational num2) { rational result = new rational(num1.Value+num2.Value); return result; } } }
运行代码输入结果是15
用IL工具看下编译器生成的代码如下:
- 首先CLR规范要求操作符重载方法必须是public和static方法。另外,C#编译器要求操作符重载方法至少有一个参数的类型与当前定义的这个方法的类型相同。之所以这样做,是为了是编译器能在合理的时间内找到要绑定的操作符方法。
- 编程语言的编译器看到源码中出现一个+操作符时,会检查是否有一个操作数的类型定义了一个名为op_Addtion的specialname方法,而且该方法的参数兼容于操作数的类型,如果存在这样的一个方法,编译器就生成调用它的代码。如果不存在这样的一个方法,就生成一个编译错误。
- 对于其它操作符编译之后对应的方法如下表所示(左边是一元操作符,右边是二元操作符)
转换操作符
当设计一个类型时应该考虑到和其它类型之间的转换,这个其实很重要,将对我们的编码有很大的好处,就像每个类型都会有的一个方法Tostring()一样,我们定义一个int类型,可以很方便的用tostring()方法把
int转换为string,当然也可以转换为其它类型。就像上面的rational一样,如果能将一个int或者double转换为一个rational,就会很方便,反之亦然。
//有理数 public sealed class rational { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rational(int value) { this._value = value; } public rational(double value) { this._value =(int)value; } public rational() { } public int ToInt() { return _value; } public double ToDouble() { return (double)_value; } public static rational operator+(rational num1,rational num2) { rational result = new rational(num1.Value+num2.Value); return result; } }
1、调用这些构造器和方法,开发人员可以很方便的将int和double对象转换成rational对象,这将给编程工作带来很多方便。设计类型时,应该认真考虑类型需要支持的转换构造器和方法。
2、int i=10;long j=i;这样的代码我们经常会看到,那么从int类型到long类型的转换为什么就可以隐士的进行呢?这就涉及到了我们的转换操作符,下面我们也为rational定义几个转换操作符。
namespace DoNet.Seven.ConsoleApplicationTest { class Program { static void Main(string[] args) { int n = 10; rational r1 = n; double d=(double)r1; Console.WriteLine(r1.Value); Console.WriteLine(d.ToString()); Console.ReadKey(); } } //有理数 public sealed class rational { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rational(int value) { this._value = value; } public rational(double value) { this._value =(int)value; } public rational() { } public int ToInt() { return _value; } public double ToDouble() { return (double)_value; } public static rational operator+(rational num1,rational num2) { rational result = new rational(num1.Value+num2.Value); return result; } public static implicit operator rational(int value) { return new rational(value); } public static implicit operator rational(double value) { return new rational(value); } public static explicit operator int(rational value) { return value.ToInt(); } public static explicit operator double(rational value) { return value.ToDouble(); } } }
输出的结果是10、10。 我们可以在rational、int、double之间来回转换,是不是觉得挺方便的,在这个过程中,编译器又帮我们做了什么呢?
在C#中,implicit关键字告诉编译器为了生成代码来调用方法,不需要在源代码中进行显示转换(即隐式转换),相反,explicit关键字告诉编译器只有在发现了显示转型时,才调用方法。
在implicit或explicit关键字之后,要指定operator关键字告诉编译器该方法是一个转换操作符。在operator之后,指定对象要转换成什么类型。在圆括号内,则指定要从什么类型转换。
C#编译器检测到代码中的转型,并内部生成IL代码来调用rational类型定义的转换操作符方法,如果用反编译器看的话可以发现,转换操作符方法会生成下面这样的代码:
结论
不论是操作符重载还是转换操作符,都是在设计类型是考虑到我们编码方便而设计的,下面我们看下C#中decimal类型中的定义。
隐式转换重载可自动作用于其它运算符重载
C#的隐式转换重载很多时候会自动作用于其它运算符重载,下面例子中我们在Program类的Main方法中,使用rational类型的对象rational,来加上int类型的变量number:
//有理数 public class rational { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rational(int value) { this._value = value; } public rational() { } public static rational operator +(rational num1, rational num2) { Console.WriteLine("rational operator + invoked!"); rational result = new rational(num1.Value + num2.Value); return result; } public static implicit operator rational(int value) { Console.WriteLine("rational implicit operator invoked!"); return new rational(value); } } class Program { static void Main(string[] args) { int number = 80; rational rational = new rational(10); rational rationalAdd = rational + number;//rational类型加上int类型 Console.WriteLine("Press any key to quit..."); Console.ReadKey(); } }
结果如下:
从输出结果,我们可以看到由于rational类型的对象rational加上int类型的变量number,C#首先调用了rational类的implicit operator隐式转换重载方法,将int类型隐式转换为了rational类型,然后才调用rational类的operator +操作符重载方法,来做的加法。
C#会自动选择最优的操作符重载方法
此外,C#会自动调用最优的操作符重载方法,例如下例中我们有两个类rationalA和rationalB,我们使用rationalA类的变量rationalX,加上rationalB类的变量rationalY,代码如下:
public class rationalA { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rationalA(int value) { this._value = value; } public rationalA() { } public static rationalA operator +(rationalA num1, rationalA num2) { Console.WriteLine("rationalA operator rationalA + rationalA invoked!"); rationalA result = new rationalA(num1.Value + num2.Value); return result; } public static rationalA operator +(rationalA num1, rationalB num2) { Console.WriteLine("rationalA operator rationalA + rationalB invoked!"); rationalA result = new rationalA(num1.Value + num2.Value); return result; } public static implicit operator rationalA(rationalB value) { Console.WriteLine("rationalA implicit operator invoked!"); return new rationalA(value.Value); } } public class rationalB { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rationalB(int value) { this._value = value; } public rationalB() { } } class Program { static void Main(string[] args) { rationalA rationalX = new rationalA(10); rationalB rationalY = new rationalB(10); rationalA rationalZ = rationalX + rationalY;//rationalA类型加上rationalB类型 Console.WriteLine("Press any key to quit..."); Console.ReadKey(); } }
结果如下:
可以看到当我们在调用rationalA类型加上rationalB类型时:
C#并没有先调用rationalA类的implicit operator重载方法将rationalB转换为rationalA,再调用rationalA类的operator +(rationalA num1, rationalA num2)重载方法做加法。
而是直接调用了rationalA类的operator +(rationalA num1, rationalB num2)重载方法,说明C#觉得这才是最优的运算符重载方法。
如果我们注释掉rationalA类的operator +(rationalA num1, rationalB num2)重载方法,运行结果就会如下:
操作符重载是有顺序的
需要注意C#在重载操作符时,是有先后顺序的,例如下面的rationalA类中我们定义了操作符重载方法operator +(rationalA num1, rationalB num2),但是在Program类的Main方法中,我们反过来用rationalB类型加上rationalA类型:
public class rationalA { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rationalA(int value) { this._value = value; } public rationalA() { } public static rationalA operator +(rationalA num1, rationalB num2) { Console.WriteLine("rationalA operator rationalA + rationalB invoked!"); rationalA result = new rationalA(num1.Value + num2.Value); return result; } public static implicit operator rationalA(rationalB value) { Console.WriteLine("rationalA implicit operator invoked!"); return new rationalA(value.Value); } } public class rationalB { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rationalB(int value) { this._value = value; } public rationalB() { } } class Program { static void Main(string[] args) { rationalA rationalX = new rationalA(10); rationalB rationalY = new rationalB(10); rationalA rationalZ = rationalY + rationalX;//rationalB类型加上rationalA类型会报错,因为rationalA类没有定义操作符重载方法operator +(rationalB num1, rationalA num2) Console.WriteLine("Press any key to quit..."); Console.ReadKey(); } }
这样C#会报编译错误,因为rationalB类型加上rationalA类型,需要定义操作符重载方法operator +(rationalB num1, rationalA num2),但是我们只在rationalA类中定义了操作符重载方法operator +(rationalA num1, rationalB num2):
不要定义有二义性的操作符重载方法
C#遇到具有二义性的操作符重载方法时会报错,如下所示:
public class rationalA { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rationalA(int value) { this._value = value; } public rationalA() { } //rationalA类定义了operator +(rationalA num1, rationalB num2)操作符重载方法 public static rationalA operator +(rationalA num1, rationalB num2) { Console.WriteLine("rationalA operator rationalA + rationalB invoked!"); rationalA result = new rationalA(num1.Value + num2.Value); return result; } public static implicit operator rationalA(rationalB value) { Console.WriteLine("rationalA implicit operator invoked!"); return new rationalA(value.Value); } } public class rationalB { private int _value = 0; public int Value { get { return _value; } set { _value = value; } } public rationalB(int value) { this._value = value; } public rationalB() { } //rationalB类也定义了operator +(rationalA num1, rationalB num2)操作符重载方法 public static rationalB operator +(rationalA num1, rationalB num2) { Console.WriteLine("rationalA operator rationalA + rationalB invoked!"); rationalB result = new rationalB(num1.Value + num2.Value); return result; } } class Program { static void Main(string[] args) { rationalA rationalX = new rationalA(10); rationalB rationalY = new rationalB(10); var rationalZ = rationalX + rationalY;//rationalA类型加上rationalB类型会报错,因为rationalA类定义了操作符重载方法operator +(rationalA num1, rationalB num2),而rationalB类也定义了同样的操作符重载方法operator +(rationalA num1, rationalB num2) Console.WriteLine("Press any key to quit..."); Console.ReadKey(); } }
上面的代码编译时,C#会报错,错误如下:
可以看到由于我们既在rationalA类中定义了操作符重载方法operator +(rationalA num1, rationalB num2),又在rationalB类中也定义了同样的操作符重载方法operator +(rationalA num1, rationalB num2),当使用rationalA类型加上rationalB类型时,C#就不知道该调用哪一个重载方法了,产生了二义性,所以切记操作符重载不能滥用,否则会带来不必要的麻烦。