看过一本书,题目是《AscpectJ in Action》,正好这一段手上的项目搞一段落,所以有一点点空暇,决定写一些东西。
AOP是Aspect-Oriented Programming的简写。曾经为这个Aspect的中文翻译伤透了脑筋,还有一个相似的AOP,那是Attribute-Oriented Programming,于是,有人译作面向方面编程,后者则是面向特性编程。面向特性编程可以说得过去,总觉得面向方面编程翻译的有些怪,一则中文理解不通:什么叫面向方面?或者按台湾的习惯“方面导向”?哈,不知所云。一个偶然的想法,Aspect又作形态解,这个形态不是我们平时所说的意识形态中的形态,那是思想中的形态,是无形的,这个形态是指对象表现出来的某种形式(它的行为、特征等)。所以,我个人认为AOP翻译为面向形态编程似乎更为合适。
AOP的研究逐渐成为热门,有关AOP的描述,在CSDN文章中也有人做了比较详细的描述,也有一些对描述的争论。《AspectJ in Action》的描述我认为最为经典,理由是:该书是AspectJ开发者的手笔,而AspectJ目前也是最成熟AOP的工具之一。
对方法调用的拦截,有人把它作为对AOP的解释,同大多数人一样,我不这样认为。AOP的主要作用是解决对象之间的横向关系,一种正交的错综复杂的关系。传统的OOP不能很好的或者说是很容易的解决这个问题。这就是AOP有机会得以发扬光大的原因之一。那么AOP是如何解决这个问题呢?编织(Weave),把对象间的相关行为按照特定的规则编织到一起。而前面提到的拦截仅仅是为完成编织而采用的手段。拦截不是目的,编织才是。反过来说,编织不仅仅是拦截,它包括了多种知识和技术。这种编织的过程既可以是静态的也可以是动态的,就像OOP中的先期绑定和后期绑定。
本文的标题提到C#(不好意思,C#是本人最爱的语言之一),是因为AOP在C#中的研究比Java中的研究要落后好几年。可以达到应用级的几乎没有(至少Java还有一个AspectJ,当前版本为1.2)。或许是我孤陋寡闻,网络上能找到的比较知名的恐怕只有LOOM和Aspect#了,说它们还属于试验室的成果一点也不为过。那么是否就是说AOP在C#的实现很难呢?回答:是,也不是。Java和C#的语言特征如此相像(它们有共同的祖先C++)。没有理由说Java可以实现,而C#不行。那么问题在哪里呢?这是C#的AOP的研究,大多数人坚持的一点是不能修改已有的C#语言规范,只能对C#语言进行扩展。同时产生的程序集(Assembly)必须能够被CLR调用和执行。另外还要考虑程序的性能。如果MS没有在C#乃至.NET中对AOP内建的支持(如目前所做的泛型的扩展),那么难度一定是存在的。
幸运的是,MS并没有完全忽略AOP,在.NET的框架类库的设计中,我们可以隐隐约约的找到AOP的设计思想(虽然这是MS类库实现者为解决特定的问题而采用的方法)。这也为我们在C#中实现AOP提供了设计思路。尽管如此,也还是有许多问题需要解决。