使用AspectJ实现虫洞模式

Question

我正在寻找一个使用AspectJ进行虫洞模式实现的示例（如果Guice AOP能够实现此功能，我将很感兴趣）。

蠕虫漏洞实际上使您可以沿调用流传递其他参数，例如：

// say we have
class foo {
   public int m0 int a, int b) {
     return m1(a,b);
   }

   public int m1 int a, int b) {
     return m2(a,b);
   }

   public int m2 int a, int b) {
     return a+b;
   }
}
// and I wanted in a non-invasive manner to pass a third parameter of type
class context {
  String userName;
  long timeCalled;
  String path;
}
// I could use an advise to say print the context information
// to trace what was going on without mucking up my method signatures

我相信Ramnivas Laddad在他的《 AspectJ in Action》一书中有这样的例子。

提前致谢。

Answer 1

实际上，AspectJ in
Action中
有一个示例。如果查看目录，您会发现您正在寻找第12.2章。买书是个好主意。我可以热烈推荐。因为我不确定只复制并粘贴本书的部分内容是否可以，所以我在这里引用模板：

public aspect WormholeAspect {
    pointcut callerSpace(<caller context>) :
        <caller pointcut>;

    pointcut calleeSpace(<callee context>) :
        <callee pointcut>;

    pointcut wormhole(<caller context>, <callee context>) :
        cflow(callerSpace(<caller context>)) && 
        calleeSpace(<callee context>);

    // advice to wormhole
    before(<caller context>, <callee context>) :
        wormhole(<caller context>, <callee context>)
    {
            ... advice body
    }
}

Laddad在TheServerSide.com上有一篇旧文章，其中有一个更具体的示例。它与书中的不是同一本书，而是相似的。

如您所见，在AspectJ中很容易做到，因为那里有cflow()切入点。我从未使用过Guice，但是在其AOP简介页中提到它们的实现是AOP
Alliance
规范的一部分。看一下AOP Alliance
API
，没有什么看起来像cflow()切入点，而是构造函数和方法调用以及字段访问。

那么，如果要避免在所有层中传递参数，您可以在Spring（没有AspectJ）或Guice中做什么？显而易见的解决方案是ThreadLocal由调用方声明和管理（即分配但也清除）并由被调用方访问的变量。这不是很好，只是一种解决方法，以免使API膨胀。但是，这要求主叫方和被叫方都对要共享的内容以及共享方式有共同的了解。从某种意义上说，这种实现更多是反模式而不是模式。如果可以，请使用AspectJ以便以一种干净的模块化方式解决此问题，将要解决的问题封装在一个模块（方面）中。