手工打造运算符重载过程

Csdn .net blog 专家群 施范

除了J#外,所有微软支持的.NET开发语言现在均支持运算符重载,因此纯粹为C#简化写法一样特性现已成为一种.NET开发中值得研究的一项重要语言特性。有人认为运算符重载其实就是简化写法,满足模拟基本类型操作的小功能,没有必要深究。但我觉得要多思考一层,为什么我们总希望模拟基本类型的操作?因为运算符重载能够将操作中缀化,能够自动推测静态过程的主体。

首先是操作中缀化。函数调用其实是一种前缀操作,函数(代表操作)总是在参数(代表操作数)之前写出。这样执行序列操作时运行的顺序其实和书写的顺序相反:

H(x,y)
G(H(x, y), z)
F(G(H(x, y), z), w)

序列运行的顺序是H->G->F但是却要反过来写,二元参数距离函数名越来越远。我们按照计算机执行的顺序思考,却要反过来写,多少有些不爽。 成员函数扩展方法 的写法则是将操作数(对象)写在前面:

x.H(y)
x.H(y).G(z)
x.H(y).G(z).F(w)

这样就将书写的顺序正过来了。这是一个甚好的方案,但是在不具备扩展方法的今天,有些事情是成员函数做不了的。比如在我的VBF里,我希望Functor

 1<t, bool="">可以进行And, Or等逻辑运算,而Functor<t, int="">之间只能进行算术运算,Functor<t, string="">之间只能进行连接运算,而且规则还不一样……但是成员函数没有根据类型参数选取不同重载的能力,也就是说.NET泛型无法进行 **特化** 操作。在.NET中具有编译期类型判定的机制只有两个:函数根据参数类型的重载和用户自定义隐式转换(相当于根据返回类型重载)。我们可以用Functor&lt;,&gt;类型的静态方法来实现根据类型参数不同的不同重载。但是静态方法不但要写全类型的名字,还是前缀操作,使用起来让人甚为不爽,这时就会发现,运算符重载是我们梦寐以求的东西。 
 2
 3Type.op_Operator(x, y)  '静态方法    
 4x op y  '运算符写法 
 5
 6以上两种是等价的,可以看到运算符重载不仅可以通过x,y的类型推测静态方法的调用主体Type,还可以将操作转化为中缀写法——比后缀更适合表现二元运算。既然这么完美,我们能不能这样写呢? 
 7
 8Class  Functor(  Of  T, U)   
 9Public Shared Operator And  (x  As  Functor(  Of  T,  Boolean  ), y  As  Functor(  Of  T,  Boolean  )) _   
10As  Functor(  Of  T,  Boolean  )   
11End Operator   
12End Class 
13
14很遗憾,这样会编译错误。作为运算符重载过程,其参数至少有一个必须是定义运算符的类型。在编译器看来,必须是Functor(Of T, U),两个类型参数都必须是该泛型类定义的。就在我对此大感抱怨时,我偶然在C#编译器的源代码(见Rotor)中看到了它识别运算符的规则,其中并没有这些限制,只有两条规则——方法必须是静态的,特定名称的方法;方法必须带有specialname属性。那么我们完全可以骗过编译器,不用它提供的Operator关键字来声明运算符重载过程,而是使用自己编写特定名称的方法,并加以specialname的手法来打造运算符重载过程: 
15
16Imports  System.Runtime.CompilerServices   
17  
18Class  Functor(  Of  T, U)   
19<specialname()> _   
20Public Shared Function  op_BitwiseAnd(x  As  Functor(  Of  T,  Boolean  ), y  As  Functor(  Of  T,  Boolean  )) _   
21As  Functor(  Of  T, Boolean)   
22End Function   
23End Class 
24
25System.Runtime.CompilerServices.SpecialNameAttribute是一个指示编译器为声明成员添加specialname的特殊属性,C#和VB编译器都支持。op_BitwiseAnd是VB和C#等语言所识别的与操作运算符过程名称。这样写完以后编译成类库,再以引用DLL的方式引用它,你就会看到编译器将他识别成了我们要的运算符重载过程。当你在Functor<t, int="">这样的类型上使用And操作时,编译器会告诉你不支持该运算符,仅在Functor<t, bool="">上才能进行这一操作,编译错误信息准确无误,真是太棒了。 
26
27在我们结束前,我们还可以看看如此手工打造还能突破哪些编译器人为的限制: 
28
29可重载Protected和Private的运算符(尽管这样做几乎没有意义)   
30可不成对重载比较运算符(=, &gt;, &gt;=, &lt;=, &lt;, &lt;&gt;)   
31可以让移位运算符的第二个操作数不是int(&gt;&gt;和&lt;&lt;样子很好看,但是有了这个限制我们就不能拿它来干别的事情,现在好了)   
32可以在C#中重载仅VB支持的运算符,也可以在VB中重载仅C#支持的运算符(当然要到对方语言中才能生效)   
33可以让用户自定义显式转换支持泛型类型参数之间更加神奇的写法   
34用了这种手法,似乎还可以重载诸如operator+(int, int)之类的运算符,但它们并不能生效。 
35
36.NET语言编译器中每一项特性,都可能有隐藏在其表面之下的深层次用途。善加研究后常能发现原来所认识不到的功能。我当然不是在推荐大家乱用运算符重载,只是一种思考,一种新的灵感。 
37
38看更多.net技术文章 到Csdndotnet 频道( http://dotnet.csdn.net )</t,></t,></specialname()></t,></t,></t,>
Published At
Categories with Web编程
Tagged with
comments powered by Disqus