面向方面编程中必要语义约束的研究

面向方面编程中必要语义约束的研究1杨剑青，杨宗源，谢瑾奎华东师范大学计算机科学技术系，上海 (200062)E-mail：learwwj@摘要：面向方面编程（AOP）可以很好地解决非功能性关注点（Non-Functional Concern）的封装问题，但是目前的AOP技术过于灵活，甚至会不恰当地破坏原有对象的封装性，以及代码正确性。

本文讨论了在软件设计或者编程实现过程中，对于AOP应该加以适当约束，具体包括常量性质的约束，单件（Singleton）类型的约束等等，在各个不同的具体应用领域中，还可以相应有不同的约束，通过这些约束，AOP才能更好地为软件开发所服务。

关键词：AOP；约束；软件开发；软件工程中图分类号：TP3111.引言面向方面编程（Aspect Oriented Programming，以下称为AOP）可以用来解决软件开发中，对于系统级关注点实现的代码纠缠和难以管理等问题。

但是对其任意使用可能在某些情况下，造成对原有面向对象模型语义的破坏，本文提出了在现有的AOP实现机制上，添加适当的约束来解决这一问题，并且刻画出了所提出约束的设计模式。

2.AOP简介面向对象方法已经在软件工业界取得了巨大的成功。

面向对象方法通过把不同大小级别的功能单元封装在类中，来提高软件的开发效率。

但是，对于一些系统级别的，非功能性的关注点（Non-Functional Concern），比如操作同步，资源的互斥，数据加密解密，数据的压缩解压缩等等，面向对象技术的解决方案却会引入一系列的问题，比如代码纠缠（Code Tangling）和难以管理[2]。

所谓代码纠缠，就是指相同的代码反复地出现在不同的类中，而没有办法使用面向对象方法（比如继承）加以消除；而难以管理主要指的是面向对象技术只提供了封装功能关注点的单元，而没有提供封装横切关注点（Cross-Cutting Concern）的单元，导致这些关注点的修改十分困难。

AOP的方法对于解决上述问题能够提供极大的帮助，使用AOP的方法，开发人员可以显式地捕捉横切关注点的结构，将横切关注点封装为一个单独的实体，并且可以便捷地修改实现横切关注点的代码，下面结合最常使用的AOP实现，AspectJ （/ajdt）来简单介绍一下AOP中的一些重要概念[3]：a. Join Point是在程序的执行流程中具有良好定义的点，AspectJ提供几种不同类型的Join Point，方法调用Join Point，域设置Join Point以及异常抛出Join Point。

比如calls(void Rectangle.setWidth(float))定义了所有在Rectangle对象上，对方法setWidth的调用。

b. Pointcut是Join Point的集合，比如Pointcut setArea() : calls (void Rectangle.setWidth(float)) || calls(void Rectangle.setLength(float))，定义了所有在Rectangle对象上，对方法setWidth和setLength的调用。

c. Advice是当程序执行到Pointcut时所运行的代码。

Before Advice在程序运行到Join Point，计算执行之前运行；After Advice在Joint Point结束，计算执行之后运行；Around Advice 在程序执行到Join Point时开始运行，并且对该Join Point的计算是否确实运行有显式的控制。

1本课题得到高等学校博士学科点专项科研基金（项目编号：20060269002）的资助。

d. Introduction 是一种可以向类中添加新的域，以及改变类的继承关系的机制，但和Advice 有所不同，Introduction 是在编译时静态实现的。

上文介绍的一些概念，就是在使用AspectJ 进行AOP 开发时经常使用到的一些编程实体，下面就结合一个具体的实例，提出无约束地使用这些元素所带来的问题。

3. 无约束AOP 引起的问题3.1问题描述任意地使用AOP 中提供的各种机制，有可能会引起一系列的副作用。

比如没有约束地使用AOP 会严重地破坏原有面向对象模型的封装性，改变原有对象中域的值以及方法的执行流程，从而导致了原有对象的语义发生变化。

下面所要给出的一个实例就是通过使用AOP 来改变了原有对象的行为，从而使程序中出现了难以发现的错误。

3.2实例实例中的原有类（即实现功能关注点的类）是一个结构十分简单的类Rectangle ，其中只有两个分别代表长和宽的域width 和length ，以及这两个域的setter 和getter 方法，实现功能性关注点的方法是getCircumference 和getArea 分别计算类Rectangle 的周长和面积。

Rectangle 的类图如下所示：图1 Rectangle 的类图BadAspectDemo 中只有一个main 方法，简单地构造一个Rectangle 类的对象，然后设置width 和length 的值，最后调用它的getCircumference 方法和getArea 方法，以及输出计算结果。

具体代码如下所示：public class BadAspectDemo {public static void main(String[] args) {Rectangle r = new Rectangle();r.setLength(4);r.setWidth(5);System.out.println(r.getCircumference());System.out.println(r.getArea());}}在没有使用AOP 技术的情况下，这段程序的输出结果一目了然，必定是18.0以及20.0，但是在采用了AOP 对Rectangle 中的一些方法进行了增强以后，输出结果就会发生十分微妙的变化。

为了对Rectangle类，进行增强，本实例中采用的环境是ajdt 1.5开发包以及eclipse 3.3，在给项目加上AspectJ特性以后，再重新运行BadAspectDemo，输出结果就会变成36.0以及20.0，面积的计算结果仍然正确，但是周长的结果变成了原来的2倍，可见，Rectangle的getCircumference方法的逻辑或者语义已经被改变，Rectangle类的封装性已经被破坏了，具体破坏封装性的Aspect代码如下所示：public aspect BadRectangleAspect {pointcut calculateCircumference(Rectangle r):Rectangle.getCircumference())&&target(r);call(floatr):calculateCircumference(r){before(RectangledoubleSizeAndLength(r);}after(Rectangle r):calculateCircumference(r){halfSizeAndLength(r);}private void doubleSizeAndLength(Rectangle r) {2);r.setLength(r.getLength()*2);*r.setWidth(r.getWidth()}private void halfSizeAndLength(Rectangle r) {r.setLength(r.getLength()2);//2);r.setWidth(r.getWidth()}}BadRectangleAspect这个Aspect对Rectangle类中的getCircumference方法作了拦截，在调用这个方法之前，执行了BadRectangleAspect中的doubleSizeAndLength私有方法，将Rectangle的width和length域的值设置为原来的2倍，所以在执行getCircumference方法计算周长时，程序使用的width和length值是原来的2倍，因此计算结果也就变为了正确值的2倍；而在调用getCircumference方法之后，BadRectangleAspect又去执行了私有方法halfSizeAndLength，将Rectangle的width和length域设置为当前值的1/2。

所以在执行getCircumference方法后，width和length又变回了正确的值。

getArea方法计算的Rectangle 面积仍然是正确的，程序就输出了变成了令人迷惑的结果。

上面这个实例中，Rectangle采用的是面向对象技术进行功能性关注点的建模，其代码都是正确无误的，但是BadRectangleAspect对Rectangle类，进行了增强以后，在不修改Rectangle类代码的前提下，反而扭曲了Rectangle类的行为，破坏了原有的封装性，并且这种情况的破坏是没有任何收益的。

而且通过这种方式引起的软件错误往往更难定位，因为绝大多数的开发人员都会将注意力集中在实现功能性关注点的Rectangle类中，而容易忽略实现非功能性关注点的Aspect中的代码。

综上所述，AOP虽然是一种解决横切关注点的利器，但是如果对其的使用过于的随意，则将会导致极其不理想，甚至是危险的结果，因此，下面一个部分就着重提出了几种Aspect 的约束[5]，并且给出了实现这些约束的设计模式，通过使用这些设计模式来实现约束，可以让AOP更好地为开发人员服务。

4.对AOP施加适当的约束4.1 Constant型的Aspect在上面这个实例中，就是由于BadRectangleAspect中的Before Advice对Rectangle的域，进行了写操作，从而改变了getCircumference的行为以及正确性。

因此，对于AOP的应用必须要加以约束。

在设计AOP程序或者实现AOP机制时，应该可以通过在Aspect上定义关键字的方法来为AOP添加约束，虽然现在的AspectJ还没有这种机制，但是后续的版本应该要提供这种特性。

首先Aspect应该可以有Constant型的约束，这种Aspect的功能只是增加原有类中没有的功能，而不是改变它们，首先Constant型的Aspect中不可以有Around类型的Advice，因为Around类型的Advice实际上是重写了被拦截的方法，有可能改变被拦截方法，也就是原有类中方法的逻辑；其次，Constant型的Aspect不能调用任何修改运行时信息或者原有类本身数据的方法，因为这样会导致不可测的运行结果，而且引起的错误难以发现。