是否创建指向类成员方法的切入点？

Question

给定一个包含一组成员的类，每个成员都有自己的getter/setter/etc方法，有没有办法设计一个切入点，当包含在父类中时，该切入点只在成员的方法上触发？

例如：

public MyClass{
   List myList = new ArrayList<String>();
}

如果我想创建一个切入点来建议myList。add（），是否有方法执行此操作？我不想通知所有ArrayList。add（）调用。仅限于收集。是MyClass成员的add（）。

我尝试过在和cflow中使用，但没有用：

pointcut addPointcut() : cflow( execution( * *.getMyList() ) ) && call( * *.add(..));

但它似乎不起作用。我假设，鉴于add（）调用实际上不是get（）控制流的一部分，它似乎没有正确触发。

再玩了一会儿后，我注意到以下解决方案似乎有效：

pointcut addPointcut(): within( MyClass ) && call( * *.add(..) );

这是正确的实现吗？

我试图将切入点限制为仅建议在传递@Entity对象时调用add（），但它不起作用。Ex：

pointcut addEntityPointcut(): within( MyClass ) && call( * *.add(@javax.persistence.Entity *) );

然而，addPointcut（）。

参数类型是基于实际调用方法，还是基于add（）签名？

编辑

我太快了，没有得出错误的结论。睡觉后，我意识到我的切入点不起作用。

public class FirstClass{
   List<String> strings = new ArrayList<>();
   // getters and setters
}

public class Execute{

    public main(){
      FirstClass fc = new FirstClass();
      fc.getStrings().add( "This call is advised" );   // <---- Is there any way to advise this add() method?

      List<String> l = new ArrayList<>();
      l.add( "This call is not advised" );   // <---- this one should not be advised
    }
}

我正在寻找一种方法来建议从任何类调用add（）方法。但是，我只想对FirstClass中包含的成员列表提供add（）方法的建议，即使从FirstClass外部调用。




Answer 1

参数类型是基于实际调用方法，还是基于add（）签名？

在AspectJ中，对于call（）切入点，您需要指定方法或构造函数签名。本例中的add（）方法没有任何由@Entity注释的参数，因此您尝试执行的操作无效。这是一个使用反射的解决方法：

示例注释：

package de.scrum_master.app;

import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;

@Retention(RetentionPolicy.RUNTIME)
public @interface Entity {}

样本实体：

package de.scrum_master.app;

@Entity
public class MyEntity {}

驱动程序应用程序：

package de.scrum_master.app;

import java.util.ArrayList;
import java.util.List;

public class Application {
    List<Object> myList = new ArrayList<>();

    public static void main(String[] args) {
        Application application = new Application();
        application.myList.add("foo");
        application.myList.add(new MyEntity());
        application.myList.add("bar");
        application.myList.add(new MyEntity());
    }
}

方面：

package de.scrum_master.aspect;

import de.scrum_master.app.Application;
import de.scrum_master.app.Entity;

public aspect EntityAddInterceptor {
    pointcut addEntity(Object addedObject) :
        within(Application) && call(* *.add(*)) && args(addedObject);

    before(Object addedObject) : addEntity(addedObject) {
        if (addedObject.getClass().isAnnotationPresent(Entity.class))
            System.out.println(thisJoinPointStaticPart + " -> " + addedObject);
    }
}

输出：

call(boolean java.util.List.add(Object)) -> de.scrum_master.app.MyEntity@19dc6592
call(boolean java.util.List.add(Object)) -> de.scrum_master.app.MyEntity@54906181

至于控制流匹配变量，我认为从命名角度来看，假设getMyList（）不添加任何内容，只返回一个列表是有意义的。可能您更愿意做一些类似于应用程序的事情。getMyList（）。add（“foo”），在本例中，add（）确实在getMyList（）的控制流之外（之后），因为它对其结果进行操作。

如果您有一个假想的方法addToList（objectelement），它真正调用add（），您可以使用cflow（）。让我们修改代码示例：

修改的驱动程序应用程序：

package de.scrum_master.app;

import java.util.ArrayList;
import java.util.List;

public class Application {
    List<Object> myList = new ArrayList<>();

    public void addToMyList(Object element) { reallyAddToMyList(element); }
    private void reallyAddToMyList(Object element) { myList.add(element); }

    public static void main(String[] args) {
        Application application = new Application();
        application.myList.add("foo");
        application.myList.add(new MyEntity());
        application.addToMyList("bar");
        application.addToMyList(new MyEntity());
    }
}

修改的方面：

package de.scrum_master.aspect;

import de.scrum_master.app.Entity;

public aspect EntityAddInterceptor {
    pointcut addEntity(Object addedObject) :
        cflow(execution(* *.addToMyList(*))) && (call(* *.add(*)) && args(addedObject));

    before(Object addedObject) : addEntity(addedObject) {
        if (addedObject.getClass().isAnnotationPresent(Entity.class))
            System.out.println(thisJoinPointStaticPart + " -> " + addedObject);
    }
}

新输出：

call(boolean java.util.List.add(Object)) -> de.scrum_master.app.MyEntity@323ba00

如您所见，只有一个呼叫被记录。它是来自reallyaddToMyList（）的，而不是来自main（）的。

更新2014-07-21-更好的方面修改：

这个更优雅的解决方案的功劳归于安迪·克莱门特（AWS J维护者），他在AWS J邮件列表中提到了这个解决方案。它从上面显示了我的两个变体，但是使用了

package de.scrum_master.aspect;

import de.scrum_master.app.Application;
import de.scrum_master.app.Entity;

public aspect EntityAddInterceptor {
    pointcut addEntity(Object addedObject) :
        within(Application) && call(* *.add(*)) && args(addedObject) && @args(Entity);

    before(Object addedObject) : addEntity(addedObject) {
        System.out.println(thisJoinPointStaticPart + " -> " + addedObject);
    }

    pointcut addEntitySpecial(Object addedObject) :
        cflow(execution(* *.addToMyList(*))) && (call(* *.add(*)) && args(addedObject))  && @args(Entity);

    before(Object addedObject) : addEntitySpecial(addedObject) {
        System.out.println(thisJoinPointStaticPart + " -> " + addedObject + " [special]");
    }
}

两个变量都处于活动状态的输出如下所示：

call(boolean java.util.List.add(Object)) -> de.scrum_master.app.MyEntity@229ff6d1
call(boolean java.util.List.add(Object)) -> de.scrum_master.app.MyEntity@1976bf9e
call(boolean java.util.List.add(Object)) -> de.scrum_master.app.MyEntity@1976bf9e [special]