原文地址：http://www.uml.org.cn/net/201004213.asp
一、AOP实现初步
AOP将软件系统分为两个部分：核心关注点和横切关注点。核心关注点更多的是Domain Logic，关注的是系统核心的业务；而横切关注点虽与核心的业务实现无关，但它却是一种更Common的业务，各个关注点离散地分布于核心业务的多处。这意味着，如果不应用AOP，那么这些横切关注点所代表的业务代码，就会分散在系统各处，导致系统中的每个模块都与这些业务具有很强的依赖性。在这里，所谓横切关注点所代表的业务，即为“方面(Aspect)”，常见的包括权限控制、日志管理、事务处理等等。
以权限控制为例，假设一个电子商务系统，需要对订单管理用户进行权限判定，只有系统用户才能添加、修改和删除订单，那么传统的设计方法是：
public class OrderManager
{
private ArrayList m_Orders;
public OrderManager()
{
m_Orders = new ArrayList();
}
public void AddOrder(Order order)
{
if (permissions.Verify(Permission.ADMIN))
{
m_Orders.Add(order);
}
}
public void RemoveOrder(Order order)
{
if (permissions.Verify(Permission.ADMIN))
{
m_Orders.Remove(order);
}
}
}
这样的设计其缺陷是将订单管理业务与权限管理完全结合在一起，耦合度高。而在一个系统中，类似的权限控制会很多，这些代码就好像一颗颗毒瘤一般蔓延于系统中的各处，一旦需要扩展，则给程序员们带来的困难是不可估量的。
让我们来观察一下订单管理业务中的权限管理。不管是添加订单，还是删除订单，有关权限管理的内容是完全相同的。那么，为什么我们不能将这些相同的业务，抽象为一个对象，并将其从订单管理业务中完全剥离出来呢？在传统的OO设计思想，这种设想是不能实现的。因为订单管理业务作为一个类对象，它封装了诸如添加、删除订单等行为。这种封装性，就决定了我们不可能切入到对象内部，通过获取方法消息的形式，对对象行为进行监控与操作。
AOP的思想解决了这个问题，之所以称为“方面(Aspect)”，就是把这些对象剖开，仅获取其内部相一致的逻辑，并剥离出来，以“方面”的形式存在。要让这些方面能够对核心业务进行控制，就需要有一套获取方法消息的机制。在.Net中，其中一种技术称为动态代理。
在.Net中，要实现动态代理，需要用到.Net Remoting中的消息机制，以及.Net Framework内部提供的ContextAttribute类来自定义自己的Attribute。另外，.Net还要求调用“Aspect”的核心业务类，必须继承ContextBoundObject类。只有这样，我们才能截取其内部传递的方法消息。以下，是相关接口和类的说明。
ContextAttribute类
该类继承了Attribute类，它是一个特殊的Attribute，通过它，可以获得对象需要的合适的执行环境，即Context（上下文）。它还实现了IContextAttribute和IContextProperty接口。我们自定义的Attribute将从ContextAttribute类派生。
构造函数：
ContextAttribute类的构造函数带有一个参数，用来设置ContextAttribute的名称。
公共属性：
Name：只读属性。返回ContextAttribute的名称
公共方法：
GetPropertiesForNewContext：虚拟方法。向新的Context添加属性集合。
IsContextOK：虚拟方法。查询客户Context中是否存在指定的属性。
IsNewContextOK：虚拟方法。默认返回true。一个对象可能存在多个Context,使用这个方法来检查新的Context中属性是否存在冲突。
Freeze:虚拟方法。该方法用来定位被创建的Context的最后位置。
ContextBoundObject类
这个类的对象通过Attribute来指定它所在的Context，凡是进入该Context的调用都可以被拦截。该类从MarshalByRefObject派生。
IMessage:定义了被传送的消息的实现。一个消息必须实现这个接口。
IMessageSink:定义了消息接收器的接口，一个消息接收器必须实现这个接口。
该接口主要提供了两个方法，分别进行同步和异步操作：
SyncProcessMessage(IMessage msg)：接口方法，当消息传递的时候，该方法被调用；
AsyncProcessMessage(IMessage msg, IMessageSink replySink)：该方法用于异步处理；
下面是实现权限控制AOP的简单实现，首先我们自定义一个Attribute，它继承了ContextAttribute：
[AttributeUsage(AttributeTargets.Class)]
public class AOPAttribute:ContextAttribute
{
public AOPAttribute()
: base("AOP")
{
}
public override void GetPropertiesForNewContext(IConstructionCallMessage ctorMsg)
{
ctorMsg.ContextProperties.Add(new AOPProperty());
}
}
在GetPropertiesForNewContext()方法中，添加了AOPProperty对象，它是一个上下文环境属性：
public class AOPProperty : IContextProperty, IContributeObjectSink
{
public AOPProperty()
{
}
#region IContributeObjectSink Members
public IMessageSink GetObjectSink(MarshalByRefObject obj, IMessageSink nextSink)
{
return new AOPSink(nextSink);
}
#endregion
#region IContextProperty Members
public void Freeze(Context newContext)
{
}
public bool IsNewContextOK(Context newCtx)
{
return true;
}
public string Name
{
get { return "AOP"; }
}
#endregion
AOPProperty属性实现了接口IContextProperty，IContributeObjectSink。GetObjectSink()方法为IContributeObjectSink接口的方法，在其实现中，创建了一个IMessageSink对象AOPSink，该对象实现了IMessageSink接口：
public class AOPSink : IMessageSink
{
private IMessageSink m_NextSink;
public AOPSink(IMessageSink nextSink)
{
m_NextSink = nextSink;
}
public IMessageSink NextSink
{
get { return m_NextSink; }
}
public IMessage SyncProcessMessage(IMessage msg)
{
IMethodCallMessage call = msg as IMethodCallMessage;
if (call == null)
{
return null;
}
IMessage retMsg = null;
if (call.MethodName == "AddOrder" || call.MethodName == "DeleteOrder")
{
if (permissions.Verify(Permission.ADMIN))
{
retMsg = m_NextSink.SyncProcessMessage(msg);
}
}
return retMsg;
}
public IMessageCtrl AsyncProcessMessage(IMessage msg, IMessageSink replySink)
{
return null;
}
}
在AOPSink中，最重要的是SyncProcessMessage()方法，在这个方法中，实现了权限控制，并通过IMessage，截取了需要权限控制的方法。在检验了权限之后，然后再执行OrderManager的AddOrder和DeleteOrder方法。
通过AOP的实现，原来的OrderManager，就可以修改为：
[AOP]
public class OrderManager: ContextBoundObject
{
private ArrayList m_Orders;
public OrderManager()
{
m_Orders = new ArrayList();
}
public void AddOrder(Order order)
{
m_Orders.Add(order);
}
public void RemoveOrder(Order order)
{
m_Orders.Remove(order);
}
}
在上述的OderManager类中，完全消除了permissions.Verify()等有关权限的代码，解除了订单管理与权限管理之间的耦合。
二、与AspectJ比较
上述的方案虽然解除了订单管理与权限管理的耦合，但从SyncProcessMessage()方法可以看出，它的实现具有很大的局限性。试想一下这样的应用场景，在订单管理系统中，用户要求对修改订单的方法增加权限验证，同时要求在验证权限时，允许业务经理（Permission.Manager）也具备管理订单的权限，应该怎样做？仔细思考，我们会发觉以上的实现未免太过死板了。
让我们来参考一下AspectJ在java中的实现。AspectJ提供了自己的一套语法，其中包括aspect、pointcut、before、after等。我们可以通过aspect定义一个“方面”，如上的权限管理：
private static aspect AuthorizationAspect{……}
pointcut为切入点，在其中定义了需要截取上下文消息的方法，例如：
private pointcut authorizationExecution():
execution(public void OrderManager.AddOrder(Order)) ||
execution(public void OrderManager.DeleteOrder(Order)) ||
execution(public void OrderManager.UpdateOrder(Order));
由于权限验证是在订单管理方法执行之前完成，因此在before中，定义权限检查：
before(): authorizationExecution()
{
if !(permissions.Verify(Permission.ADMIN))
{
throw new UnauthorizedException();
}
}
从上述AspectJ的实现中，我们可以看到，要定义自己的aspect是非常容易的，而通过pointcut的方式，可以将需要截取消息的方法，集中在一起。before和after则是具体的方面执行的逻辑，它们就好像Decorator模式那样，对原有方法进行了一层装饰，从而达到将aspect代码植入的目的。
另外，AspectJ还提供了更简单的语法，可以简化前面pointcut中一系列方法的列举：
private pointcut authorizationExecution():
execution (public * OrderManager.*(.))
AspectJ在应用AOP领域，已经非常成熟。它提供了自成一体的特有AspectJ语法，并需要专门的java编译器，使用起来较为复杂。那么，在.Net下，可否实现类似AspectJ的功能呢？我想，由于.Net与java在很多技术的相似性，它们彼此之间在很多领域是相通的，因此要达到这一目标应该是可行的。事实上，开源项目中的Aspect#，就与AspectJ相似。
事实上，如果我们利用前面描述的动态代理机制，辅以设计模式的OO设计方法，直接在代码中也可以实现AspectJ中的部分AOP特性。
三、.Net中AOP的深入实现
我们先分析AspectJ中的pointcut和.Net中的SyncProcessMessage()方法。Pointcut可以添加一系列需要截取上下文的方法，那么在.Net中，我们也可以利用集合，动态地添加方法，并创建这些方法与“方面”的映射。同样的，AspectJ中的before和after，是“方面”的核心实现，那么在.Net中，我们也可以利用委托，使其对应相关的方法，来实现其核心逻辑。
结合动态代理的知识，我们先定义两个委托，分别代表before和after操作：
public delegate void BeforeAOPHandle(IMethodCallMessage callMsg);
public delegate void AfterAOPHandle(IMethodReturnMessage replyMsg);
BeforeAOPHandle中的参数callMsg，其值为要截取上下文的方法的消息；AfterAOPHandle中的参数replyMsg，则是该方法执行后返回的消息。
接下来，定义一个抽象基类AOPSink，它实现了IMessageSink接口：
public abstract class AOPSink : IMessageSink
{
private SortedList m_BeforeHandles;
private SortedList m_AfterHandles;
private IMessageSink m_NextSink;
}
在类AOPSink中，定义了两个SortedList类型的字段：m_BeforeHandles和m_AfterHandles。它们负责存放方法名与BeforeAOPHandle和AfterAOPHandle对象之间的映射。添加这些映射的职责由如下两个方法完成：
protected virtual void AddBeforeAOPHandle(string methodName, BeforeAOPHandle beforeHandle)
{
lock (this.m_BeforeHandles)
{
if (!m_BeforeHandles.Contains(methodName))
{
m_BeforeHandles.Add(methodName, beforeHandle);
}
}
}
protected virtual void AddAfterAOPHandle(string methodName, AfterAOPHandle afterHandle)
{
lock (this.m_AfterHandles)
{
if (!m_AfterHandles.Contains(methodName))
{
m_AfterHandles.Add(methodName, afterHandle);
}
}
}
考虑到我们要截取的方法可能会有多个，因此在类AOPSink中，又定义了两个抽象方法，负责添加所有的映射关系：
protected abstract void AddAllBeforeAOPHandles();
protected abstract void AddAllAfterAOPHandles();
然后在构造函数中，我们初始化两个SortedList对象，并调用上述的两个抽象方法：
public AOPSink(IMessageSink nextSink)
{
m_NextSink = nextSink;
m_BeforeHandles = new SortedList();
m_AfterHandles = new SortedList();
AddAllBeforeAOPHandles();
AddAllAfterAOPHandles();
}
为了能够根据方法名获得相对应的委托对象，我们又定义了两个Find方法。考虑到可能会有多个用户同时调用，在这两个方法中，我利用lock避免了对象的争用：
protected BeforeAOPHandle FindBeforeAOPHandle(string methodName)
{
BeforeAOPHandle beforeHandle;
lock (this.m_BeforeHandles)
{
beforeHandle = (BeforeAOPHandle)m_BeforeHandles[methodName];
}
return beforeHandle;
}
protected AfterAOPHandle FindAfterAOPHandle(string methodName)
{
AfterAOPHandle afterHandle;
lock (this.m_AfterHandles)
{
afterHandle = (AfterAOPHandle)m_AfterHandles[methodName];
}
return afterHandle;
}
接下来是IMessageSink接口要求实现的方法和属性：
public IMessageSink NextSink
{
get { return m_NextSink; }
}
public IMessage SyncProcessMessage(IMessage msg)
{
IMethodCallMessage call = msg as IMethodCallMessage;
string methodName = call.MethodName.ToUpper();
BeforeAOPHandle beforeHandle = FindBeforeAOPHandle(methodName);
if (beforeHandle != null)
{
beforeHandle(call);
}
IMessage retMsg = m_NextSink.SyncProcessMessage(msg);
IMethodReturnMessage replyMsg = retMsg as IMethodReturnMessage;
AfterAOPHandle afterHandle = FindAfterAOPHandle(methodName);
if (afterHandle != null)
{
afterHandle(replyMsg);
}
return retMsg;
}
public IMessageCtrl AsyncProcessMessage(IMessage msg, IMessageSink replySink)
{
return null;
}
需要注意的是SyncProcessMessage()方法。在该方法中，通过FindBeforeAOPHandle()和FindAfterAOPHandle()方法，找到BeforeAOPHandle和AfterAOPHandle委托对象，并执行它们。即执行这两个委托对象具体指向的方法，类似与AspectJ中的before和after的execution。
现在，我们就可以象AspectJ那样定义自己的aspect了。如权限管理一例，我们定义一个类AuthorizationAOPSink，它继承了AOPSink：
public class AuthorizationAOPSink : AOPSink
{
public AuthorizationAOPSink(IMessageSink nextSink)
: base(nextSink)
{
}
}
然后在这个方法中，实现before和after的逻辑。注意before和after方法应与之前定义的委托BeforeAOPHandle和AfterAOPHandle一致。不过，以本例而言，并不需要实现after逻辑：
private void Before_Authorization(IMethodCallMessage callMsg)
{
if (callMsg == null)
{
return;
}
if (!permissions.Verify(Permission.ADMIN))
{
throw UnauthorizedException();
}
}
然后我们override基类中的抽象方法AddAllBeforeAOPHandles()和AddAllAfterAOPHandles()：
protected override void AddAllBeforeAOPHandles()
{
AddBeforeAOPHandle("ADDORDER", new BeforeAOPHandle(Before_Authorization));
AddBeforeAOPHandle("DELETEORDER", new BeforeAOPHandle(Before_Authorization));
}
protected override void AddAllAfterAOPHandles()
{
}
因为after逻辑不需要实现，因此重写AddAllAfterAOPHandles()时，使其为空就可以了（必须重写，因为该方法为抽象方法）。在AOPProperty类中，需要返回IMessageSink对象，所以还应修改原来的AOPProperty类中的GetObjectSink方法：
public IMessageSink GetObjectSink(MarshalByRefObject obj, IMessageSink nextSink)
{
return new AOPSink(nextSink);
return new AuthorizationAOPSink(nextSink);
}
比较一下上述的实现方案，自定义的继承AOPSink类的AuthorizationAOPSink就相当于AspectJ中的aspect。而与BeforeAOPHandle和AfterAOPHandle委托对应的方法，则相当于AspectJ的before和after语法。AddAllBeforeAOPHandles()和AddAllAfterAOPHandle()则相当于AspectJ的pointcut。通过引入委托的方法，使得我们的AOP实现，具有了AspectJ的一些特性，而这些实现是不需要专门的编译器的。
很明显，如果我们要求OrderManager类中新增的UpdateOrder方法，也要加入权限控制，那么我们可以在AddAllBeforeAOPHandles()方法中，增加UpdaeOrder方法与before逻辑的映射：
AddBeforeAOPHandle("UPDATEORDER", Before_Authorization);
同样的，如果要对权限控制进行修改，开发业务经理对订单管理的权限，那么也只需要修改Before_Authorization()方法：
private void Before_Authorization(IMessage callMsg)
{
IMethodCallMessage call = callMsg as IMethodCallMessage;
if (call == null)
{
return;
}
if (!(permissions.Verify(Permission.ADMIN)|| permissions.Verify(Permission.MANAGER)))
{
throw UnauthorizedException();
}
}
四、进一步完善
由于我们的委托列表m_BeforeHandles和m_AfterHandles为SortedList类型，因此作为key的methodName必须是唯一的。如果系统要求添加其他权限控制的逻辑，例如增加认证功能，就不能再在AuthorizationAOPSink类的AddAllBeforeAOPHandles()方法中增加方法名与认证功能的before逻辑之间的映射了。
private void Before_Authentication(IMessage callMsg){……}
protected override void AddAllBeforeAOPHandles()
{
……
AddBeforeAOPHandle("ADDORDER", new BeforeAOPHandle(Before_ Authentication));
AddBeforeAOPHandle("DELETEORDER", new BeforeAOPHandle(Before_ Authentication));
}
如果在AuthorizationAOPSink类中添加上面的代码，由于新增的“ADDORDER”key与前面重复，故执行程序时，是找不到相应的委托Before_Authentication的。
解决的办法就是为认证功能新定义一个aspect。由于在本方案中，实现AOP功能的不仅仅是实现了IMessageSink接口的AOPSink类，同时该类还与Property、Attribute有关。也就是说，如果我们新定义一个AuthenticationAOPSink，那么还要定义与之对应的AuthenticationAOPProperty类。为便于扩展，我采用了Template Method模式，为所有的property定义了抽象类AOPProperty，其中的抽象方法或虚方法，则留待其子类来实现。
public abstract class AOPProperty : IContextProperty, IContributeObjectSink
{
protected abstract IMessageSink CreateSink(IMessageSink nextSink);
protected virtual string GetName()
{
return "AOP";
}
protected virtual void FreezeImpl(Context newContext)
{
return;
}
protected virtual bool CheckNewContext(Context newCtx)
{
return true;
}
#region IContributeObjectSink Members
public IMessageSink GetObjectSink(MarshalByRefObject obj, IMessageSink nextSink)
{
return CreateSink(nextSink);
}
#endregion
#region IContextProperty Members
public void Freeze(Context newContext)
{
FreezeImpl(newContext);
}
public bool IsNewContextOK(Context newCtx)
{
return CheckNewContext(newCtx);
}
public string Name
{
get { return GetName(); }
}
#endregion
}
与原来的AOPProperty类相比，IContextProperty，IContributeObjectSink接口的方法与属性，都没有直接实现，而是在其内部调用了相关的抽象方法和虚方法。包括：抽象方法CreateSink()，虚方法FreezeImpl()，CheckNewContext()以及GetName()。对于其子类而言，需要override的，主要是抽象方法CreateSink()和GetName()（因为Property的Name必须是唯一的），至于其他虚方法，可以根据需要选择是否override。例如，自定义权限控制的属性类AuthorizationAOPProperty：
public class AuthorizationAOPProperty :AOPProperty
{
protected override IMessageSink CreateSink(IMessageSink nextSink)
{
return new AuthorizationAOPSink(nextSink);
}
protected override string GetName()
{
return "AuthorizationAOP";
}
}
在该类中，我们override了CreateSink()方法，创建了一个AuthorizationAOPSink对象。同时override了虚方法GetName，返回了自己的一个名字“AuthorizationAOP”。
关于Attribute类，观察其方法GetPropertiesForNewContext()，其实现是在IConstructionCallMessage消息的上下文property中添加自定义property。这些property组成了一个链，它是可以静态添加的。鉴于此，我们可以采取两种策略：
1、 所有的aspect都使用同一个Attribute。其实现如下：
[AttributeUsage(AttributeTargets.Class)]
public class AOPAttribute:ContextAttribute
{
public AOPAttribute()
: base("AOP")
{
}
public override void GetPropertiesForNewContext(IConstructionCallMessage ctorMsg)
{
ctorMsg.ContextProperties.Add(new AuthorizationAOPProperty());
ctorMsg.ContextProperties.Add(new AuthenticationAOPProperty());
}
}
在方法GetPropertiesForNewContext()中，添加多个自定义Property。在添加Property时，需要注意添加Property的顺序。
2、 不同的aspect使用不同的Attribute。此时可以为这些Attribute定义一个共同的抽象基类AOPAttribute：
[AttributeUsage(AttributeTargets.Class)]
public abstract class AOPAttribute:ContextAttribute
{
public AOPAttribute()
: base("AOP")
{
}
public sealed override void GetPropertiesForNewContext(IConstructionCallMessage ctorMsg)
{
ctorMsg.ContextProperties.Add(GetAOPProperty());
}
protected abstract AOPProperty GetAOPProperty();
}
注：我将GetPropertiesForNewContext()方法sealed，目的是不需要其子类在重写该方法。
继承AOPAttribute类的子类只需要重写GetAOPProperty()方法即可。但在为OrderManager类定义Attribute的时候，需注意其顺序。如以下的顺序：
[AuthorizationAOP]
[AuthenticationAOP]
public class OrderManager{}
此时，AuthorizationAOPAttribute在前，AuthenticationAOPAttribute在后。如果以Decorator的角度来看，对被装饰的方法，AuthorizationAOPAttribute在内，AuthenticationAOPAttribute在外。
考虑到aspect的应用，有的方法需要多个aspect，有的则只需要单个aspect，所以，第二个方案更佳。
五、AOP实例
接下来，我通过一个实例，介绍AOP的具体实现。假定我们要设计一个计算器，它能提供加法和减法功能。我们希望，在计算过程中，能够通过日志记录整个计算过程及其结果，同时需要监测其运算性能。该例中，核心业务是加法和减法，而公共的业务则是日志与监测功能。根据前面对AOP的分析，这两个功能应为我们整个系统需要剥离出来的“方面”。
我们已经拥有了一个AOP实现机制，以及核心的类库，包括AOPSink、AOPProperty、AOPAttribute三个抽象基类。现在，我们分别为日志aspect和监测aspect，定义相应的Sink、Property、Attribute。
首先是日志aspect：
LogAOPSink.cs:
using System;
using System.Runtime.Remoting.Messaging;
using Wayfarer.AOP;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for LogAOPSink.
/// </summary>
public class LogAOPSink:AOPSink
{
public LogAOPSink(IMessageSink nextSink):base(nextSink)
{
}
protected override void AddAllBeforeAOPHandles()
{
AddBeforeAOPHandle("ADD",new BeforeAOPHandle(Before_Log));
AddBeforeAOPHandle("SUBSTRACT",new BeforeAOPHandle(Before_Log));
}
protected override void AddAllAfterAOPHandles()
{
AddAfterAOPHandle("ADD",new AfterAOPHandle(After_Log));
AddAfterAOPHandle("SUBSTRACT",new AfterAOPHandle(After_Log));
}
private void Before_Log(IMethodCallMessage callMsg)
{
if (callMsg == null)
{
return;
}
Console.WriteLine("{0}({1},{2})",callMsg.MethodName,callMsg.GetArg(0),callMsg.GetArg(1));
}
private void After_Log(IMethodReturnMessage replyMsg)
{
if (replyMsg == null)
{
return;
}
Console.WriteLine("Result is {0}",replyMsg.ReturnValue);
}
}
}
LogAOPProperty.cs
using System;
using Wayfarer.AOP;
using System.Runtime.Remoting.Messaging;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for LogAOPProperty.
/// </summary>
public class LogAOPProperty:AOPProperty
{
protected override IMessageSink CreateSink(IMessageSink nextSink)
{
return new LogAOPSink(nextSink);
}
protected override string GetName()
{
return "LogAOP";
}
}
}
LogAOPAttribute.cs:
using System;
using System.Runtime.Remoting.Activation;
using System.Runtime.Remoting.Contexts;
using Wayfarer.AOP;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for LogAOPAttribute.
/// </summary>
[AttributeUsage(AttributeTargets.Class)]
public class LogAOPAttribute:AOPAttribute
{
protected override AOPProperty GetAOPProperty()
{
return new LogAOPProperty();
}
}
}
然后再定义监测aspect：
MonitorAOPSink.cs：
using System;
using System.Runtime.Remoting.Messaging;
using Wayfarer.AOP;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for MonitorAOPSink.
/// </summary>
public class MonitorAOPSink:AOPSink
{
public MonitorAOPSink(IMessageSink nextSink):base(nextSink)
{
}
protected override void AddAllBeforeAOPHandles()
{
AddBeforeAOPHandle("ADD",new BeforeAOPHandle(Before_Monitor));
AddBeforeAOPHandle("SUBSTRACT",new BeforeAOPHandle(Before_Monitor));
}
protected override void AddAllAfterAOPHandles()
{
AddAfterAOPHandle("ADD",new AfterAOPHandle(After_Monitor));
AddAfterAOPHandle("SUBSTRACT",new AfterAOPHandle(After_Monitor));
}
private void Before_Monitor(IMethodCallMessage callMsg)
{
if (callMsg == null)
{
return;
}
Console.WriteLine("Before {0} at {1}",callMsg.MethodName,DateTime.Now);
}
private void After_Monitor(IMethodReturnMessage replyMsg)
{
if (replyMsg == null)
{
return;
}
Console.WriteLine("After {0} at {1}",replyMsg.MethodName,DateTime.Now);
}
}
}
MonitorAOPProperty.cs：
using System;
using Wayfarer.AOP;
using System.Runtime.Remoting.Messaging;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for MonitorAOPProperty.
/// </summary>
public class MonitorAOPProperty:AOPProperty
{
public MonitorAOPProperty()
{
//
// TODO: Add constructor logic here
//
}
protected override IMessageSink CreateSink(IMessageSink nextSink)
{
return new MonitorAOPSink(nextSink);
}
protected override string GetName()
{
return "MonitorAOP";
}
}
}
MonitorAOPAttribute.cs：
using System;
using System.Runtime.Remoting.Activation;
using System.Runtime.Remoting.Contexts;
using Wayfarer.AOP;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for MonitorAOPAttribute.
/// </summary>
[AttributeUsage(AttributeTargets.Class)]
public class MonitorAOPAttribute:AOPAttribute
{
protected override AOPProperty GetAOPProperty()
{
return new MonitorAOPProperty();
}
}
}
注意在这两个方面中，各自的Property的Name必须是唯一的。
现在，可以定义计算器类。
Calculator.cs：
using System;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for Calculator.
/// </summary>
[MonitorAOP]
[LogAOP]
public class Calculator:ContextBoundObject
{
public int Add(int x,int y)
{
return x + y;
}
public int Substract(int x,int y)
{
return x - y;
}
}
}
需要注意的是Calculator类必须继承ContextBoundObject类。
最后，我们写一个控制台程序来执行Calculator：
Program.cs:
using System;
namespace Wayfarer.AOPSample
{
/// <summary>
/// Summary description for Class1.
/// </summary>
class Program
{
/// <summary>
/// The main entry point for the application.
/// </summary>
[STAThread]
static void Main (string[] args)
{
Calculator cal = new Calculator();
cal.Add(3,5);
cal.Substract(3,5);
Console.ReadLine();
}
}
}
运行结果如下：
六、结论
在.Net平台下采用动态代理技术实现AOP，其原理并不复杂，而.Net Framework也提供了足够的技术来实现它。如果再结合好的设计模式，提供一个基本的AOP框架，将大大地简化开发人员处理“aspect”的工作。当然，本文虽然提供了实现AOP的实例，但其架构的设计还远远不能达到企业级的要求，如在稳定性、可扩展性上还需经过进一步的测试与改善。例如我们可以通过配置文件的形式，来配置方法与方面之间的映射。同时，由于采用了动态代理，在性能上还期待改进。
使用动态代理技术实现AOP，对实现AOP的类有一个限制，就是必须派生于ContextBoundObject类，这对于单继承语言来说，确实是一个比较致命的缺陷。所谓“仁者见仁，智者见智”，这就需要根据项目的情况，做出正确的抉择了。
参考：
1、 JGTM，《A Taste of AOP from Solving Problems with OOP and Design Patterns》
2、 NiWalker，《Attribute在.Net编程的应用》
3、板桥里人，《AOP与权限控制实现》
在《在.Net中关于AOP的实现》我通过动态代理的技术，基本上实现了AOP的几个技术要素，包括aspect，advice，pointcut。在文末我提到采用配置文件方式，来获取advice和pointcut之间的映射，从而使得构建aspect具有扩展性。
细细思考这个问题，我发现使用delegate来构建advice，似乎并非一个明智的选择。我在建立映射关系时，是将要拦截的方法名和拦截需要实现的aspect逻辑建立一个对应关系，而该aspect逻辑确实可以通过delegate，使其指向一族方法签名与该委托完全匹配的方法。这使得advice能够抽象化，以便于具体实现的扩展。然而，委托其实现毕竟是面向过程的范畴，虽然在.Net下，delegate本身仍是一个类对象，然而在创建具体的委托实例时，仍然很难通过配置文件和反射技术来获得。
考虑到委托具有的接口抽象的本质，也许采用接口的方式来取代委托更为可行。在之前的实现方案中，我为advice定义了两个委托：
public delegate void BeforeAOPHandle(IMethodCallMessage callMsg);
public delegate void AfterAOPHandle(IMethodReturnMessage replyMsg);
我可以定义两个接口IBeforeAction和IAfterAction，分别与这两个委托相对应：
public interface IBeforeAdvice
{
void BeforeAdvice(IMethodCallMessage callMsg);
}
public interface IAfterAdvice
{
void AfterAdvice(IMethodReturnMessage returnMsg);
}
通过定义的接口，可以将Advice与Aspect分离开来，这也完全符合OO思想中的“责任分离”原则。
（注：为什么要为Advice定义两个接口？这是考虑到有些Aspect只需要提供Before或After两个逻辑之一，如权限控制，就只需要before Action。）
那么当类库使用者，要定义自己的Aspect时，就可以定义具体的Advice类，来实现这两个接口，以及具体的Advice逻辑了。例如，之前提到的日志Aspect：
public class LogAdvice:IAfterAdvice,IBeforeAdvice
{
#region IBeforeAdvice Members
public void BeforeAdvice(IMethodCallMessage callMsg)
{
if (callMsg == null)
{
return;
}
Console.WriteLine("{0}({1},{2})", callMsg.MethodName, callMsg.GetArg(0), callMsg.GetArg(1));
}
#endregion
#region IAfterAdvice Members
public void AfterAdvice(IMethodReturnMessage returnMsg)
{
if (returnMsg == null)
{
return;
}
Console.WriteLine("Result is {0}", returnMsg.ReturnValue);
}
#endregion
}
而在AOPSink类的派生类中，添加方法名与Advice映射关系（此映射关系，我们即可理解为AOP的pointcut）时，就可以添加实现了Advice接口的类对象，如：
public override void AddAllBeforeAdvices()
{
AddBeforeAdvice("ADD",new LogAdvice());
AddBeforeAdvice("SUBSTRACT", new LogAdvice());
}
public override void AddAllAfterAdvices()
{
AddAfterAdvice("ADD",new LogAdvice());
AddAfterAdvice("SUBSTRACT", new LogAdvice());
}
由于LogAdvice类实现了接口IBeforeAdvice和IAfterAdvice，因此诸如new LogAdvice的操作均可以通过反射来创建该实例，如：
IBeforeAdvice beforeAdvice =
(IBeforeAdvice)Activator.CreateInstance("Wayfarer.AOPSample","Wayfarer.AOPSample.LogAdvice").Unwrap();
而CreateInstance()方法的参数值，是完全可以通过配置文件来配置的：
<aop>
<aspect value ="LOG">
<advice type="before" assembly="Wayfarer.AOPSample" class="Wayfarer.AOPSample.LogAdvice">
<pointcut>ADD</pointcut>
<pointcut>SUBSTRACT</pointcut>
</advice>
<advice type="after" assembly="Wayfarer.AOPSample" class="Wayfarer.AOPSample.LogAdvice">
<pointcut>ADD</pointcut>
<pointcut>SUBSTRACT</pointcut>
</advice>
</aspect>
</aop>
这无疑改善了AOP实现的扩展性。
《在.Net中关于AOP的实现》实现AOP的方案，要求包含被拦截方法的类必须继承ContextBoundObject。这是一个比较大的限制。不仅如此，ContextBoundObject对程序的性能也有极大的影响。我们可以做一个小测试。定义两个类，其中一个类继承ContextBoundObject。它们都实现了一个累加的操作：
class NormalObject
{
public void Sum(int n)
{
int sum = 0;
for (int i = 1; i <= n; i++)
{
sum += i;
}
Console.WriteLine("The result is {0}",sum);
Thread.Sleep(10);
}
}
class MarshalObject:ContextBoundObject
{
public void Sum(int n)
{
int sum = 0;
for (int i = 1; i <= n; i++)
{
sum += i;
}
Console.WriteLine("The result is {0}", sum);
Thread.Sleep(10);
}
}
然后执行这两个类的Sum()方法，测试其性能：
class Program
{
static void Main (string[] args)
{
long normalObjMs, marshalObjMs;
Stopwatch watch = new Stopwatch();
NormalObject no = new NormalObject();
MarshalObject mo = new MarshalObject();
watch.Start();
no.Sum(1000000);
watch.Stop();
normalObjMs = watch.ElapsedMilliseconds;
watch.Reset();
watch.Start();
mo.Sum(1000000);
watch.Stop();
marshalObjMs = watch.ElapsedMilliseconds;
watch.Reset();
Console.WriteLine("The normal object consume {0} milliseconds.",normalObjMs);
Console.WriteLine("The contextbound object consume {0} milliseconds.",marshalObjMs);
Console.ReadLine();
}
}
得到的结果如下：
从性能的差异看，两者之间的差距是比较大的。如果将其应用在企业级的复杂逻辑上，这种区别就非常明显了，对系统带来的影响也是非常巨大的。
另外，在《在.Net中关于AOP的实现》文章后，有朋友发表了很多中肯的意见。其中有人提到了AOPAttribute继承ContextAttribute的问题。评论中提及微软在以后的版本中，不再提供ContextAttribute。如果真是如此，确有必要放弃继承ContextAttribute的形式。不过，在.Net中，除了ContextAttribute之外，还提供有一个接口IContextAttribute，该接口的定义为：
public interface IContextAttribute
{
void GetPropertiesForNewContext(IConstructionCallMessage msg);
bool IsContextOK(Context ctx, IConstructionCallMessage msg);
}
此时只需要将原来的AOPAttribute实现该接口即可：
public abstract class AOPAttribute:Attribute,IContextAttribute//ContextAttribute
{
#region IContextAttribute Members
public void GetPropertiesForNewContext(IConstructionCallMessage ctorMsg)
{
AOPProperty property = GetAOPProperty();
property.AspectXml = m_AspectXml;
property.AspectXmlFlag = m_AspectXmlFlag;
ctorMsg.ContextProperties.Add(property);
}
public bool IsContextOK(Context ctx, IConstructionCallMessage ctorMsg)
{
return false;
}
#endregion
}
不知道，IContextAttribute似乎也会在未来的版本中被取消呢？
然而，从总体来看，这种使用ContextBoundObject的方式是不太理想的，也许它只能停留在实验室阶段，或许期待微软在未来的版本中得到更好的解决！？
当然，如果采用Castle的DynamicProxy技术，可以突破必须继承CotextBoundObject的局限，但随着而来的局限却是AOP拦截的方法，要求必须是virtual的。坦白说，这样的限制，不过与前者乃“五十步笑百步”的区别而已。我还是期待有更好的解决方案。
说到AOP的几大要素，在这里可以补充说说，它主要包括：
1、Cross-cutting concern
在OO模型中，虽然大部份的类只有单一的、特定的功能，但它们通常会与其他类有着共同的第二需求。例如，当线程进入或离开某个方法时，我们可能既要在数据访问层的类中记录日志，又要在UI层的类中记录日志。虽然每个类的基本功能极然不同，但用来满足第二需求的代码却基本相同。
2、Advice
它是指想要应用到现有模型的附加代码。例如在《在.Net中关于AOP的实现》的例子中，是指关于打印日志的逻辑代码。
3、Point-cut
这个术语是指应用程序中的一个执行点，在这个执行点上需要采用前面的cross-cutting concern。如例子中，执行Add()方法时出现一个Point-cut，当方法执行完毕，离开方法时又出现另一个Point-cut。
4、Aspect
Point-cut和advice结合在一起就叫做aspect。如例子中的Log和Monitor。在对本例的重构中，我已经AOPSink更名为Aspect，相应的LogAOPSink、MonitorAOPSink也更名为LogAspect，MonitorAspect。
以上提到的PointCut和Advice在AOP技术中，通常称为动态横切技术。与之相对应的，是较少被提及的静态横切。它与动态横切的区别在于它并不修改一个给定对象的执行行为，相反，它允许通过引入附加的方法属性和字段来修改对象固有的结构。在很多AOP实现中，将静态横切称为introduce或者mixin。
在开发应用系统时，如果需要在不修改原有代码的前提下，引入第三方产品和API库，静态横切技术是有很大的用武之地的。从这一点来看，它有点类似于设计模式中提到的Adapter模式需要达到的目标。不过，看起来静态横切技术应比Adapter模式更加灵活和功能强大。
例如，一个已经实现了收发邮件的类Mail。然而它并没有实现地址验证的功能。现在第三方提供了验证功能的接口IValidatable：
public interface IValidatable
{
bool ValidateAddress();
}
如果没有AOP，采用设计模式的方式，在不改变Mail类的前提下，可以通过Adapter模式，引入MailAdater，继承Mail类，同时实现IValidatable接口。采用introduce技术，却更容易实现该功能的扩展，我们只需要定义aspect：（注：java代码，使用了AspectJ）
import com.acme.validate.Validatable;
public aspect EmailValidateAspect
{
declare parents: Email implements IValidatable;
public boolean Email.validateAddress(){
if(this.getToAddress() != null){
return true;
}else{
return false;
}
}
}
从上可以看到，通过EmailValidateAspect方面，为Email类introduce了新的方法ValidateAddress()。非常容易的就完成了Email的扩展。
我们可以比较一下，如果采用Adapter模式，原有的Email类是不能被显示转换为IValidatable接口的，也即是说如下的代码是不可行的：
Email mail = new Email();
IValidatable validate = ((IValidatable)mail).ValidateAddress();
要调用ValidateAddress()方法，必须通过EmailAdapter类。然而通过静态横切技术，上面的代码就完全可行了。
静态横切的技术在企业应用上还需要进一步验证和测试，不过遗憾的是，《在.Net中关于AOP的实现》一文采用的动态代理技术，是无法完成实现静态横切的目标的。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
