环境：Spring5.3.23

本篇文章将介绍两个主题：

• 控制流切入点（动态切入点）
• 引介通知
  

1. 简介

Spring AOP是Spring框架的一个重要组成部分，它允许开发者定义跨多个模块的横切关注点，例如日志记录、事务管理、安全等。控制流切入和引介通知是Spring AOP中的两个关键特性，它们能够增强程序的可维护性和可读性。本文将深入探讨这两个特性的工作原理和使用方法。

控制流切入

控制流切入允许我们根据方法调用的控制流来定义切入点。控制流切入点与当前调用堆栈匹配。例如，如果连接点被com.pack.service包中的方法或PersonService类调用，它可能会触发。控制流切入点是通过使用org.springframework.aop.support.ControlFlowPointcut类指定的。

引介通知

引介通知能够声明被建议的对象实现给定的接口，并代表这些对象提供该接口的实现。简单说：你有个PersonService类，引介通知能够让你不修改代码的情况下去实现你给定的任意接口（CommonDAO）。

2. 实战案例

2.1 控制流切入点

准备基础类

@Component
public class PersonDAO {
  public void save(String name) {
    System.out.println("PersonDAO save method invoke...") ;
  }
}
@Component
public class PersonService {
  @Resource
  private PersonDAO dao ;
  public void save(String name) {
    System.out.println("PersonService save method inovke...") ;
    this.dao.save(name) ;
  }
}

定义切面类Advisor

低级切面Advisor，平时使用的@Aspect算是高级切面类，而这些高级切面类最终会被转换为Advisor低级切面类。

@Component
public class PackControlFlowAdvisor extends DefaultPointcutAdvisor {
  private static MethodInterceptor logInterceptor = invocation -> {
    System.out.println("before log...") ;
    Object ret = invocation.proceed() ;
    System.out.println("after log...") ;
    return ret ;
  } ;
  // 要进行匹配的类
  private static Class clazz = PersonService.class ;
  // 要进行匹配的方法（可以为null，这样指定类中的所有方法都会被匹配拦截）
  private static String methodName = "save" ;
  private static ControlFlowPointcut pointcut = new ControlFlowPointcut(clazz, methodName) ;
  public PackControlFlowAdvisor() {
    super(pointcut, logInterceptor) ;
  }
}

测试

PersonService ps = context.getBean(PersonService.class) ;
ps.save("王五") ;

控制台输出

PersonService save method inovke...
before log...
PersonDAO save method invoke...
after log...

PersonDAO中的save方法被拦截了。什么意思？怎么PersonDAO就被拦截了，先来看上面切点的定义ControlFlowPointcut

public class ControlFlowPointcut implements Pointcut, ClassFilter, MethodMatcher {
  public boolean matches(Class clazz) {
    return true;
  }
  public boolean matches(Method method, Class targetClass) {
    return true;
  }
  public boolean isRuntime() {
    return true;
  }
  public boolean matches(Method method, Class targetClass, Object... args) {
    // 取得当前线程的整个执行栈（方法的调用）
    for (StackTraceElement element : new Throwable().getStackTrace()) {
      if (element.getClassName().equals(this.clazz.getName()) &&
          (this.methodName == null || element.getMethodName().equals(this.methodName))) {
        return true;
      }
    }
    return false;
  }
}

通过在这个切点类能知道：

1. 当前容器中的所有类都会被代理；因为这里的类匹配直接返回true，2个参数的matches直接返回true，最后isRuntime返回true，最终执行3个参数的matches方法。
2. 每个类中方法的调用都会获取当前执行的栈，都会进行判断类及方法是否被匹配。

结合上面的测试输出结果，PersonDAO#save方法被拦截了，因为它符合匹配条件，在PersonService#save方法中调用了PersonDAO#save方法，那PersonDAO#save方法执行栈中就包含了PersonService#save正好匹配了我们定义的切点。

简单说：某个类中的某个方法调用时会判断当前整个执行栈中是否有设定好的类及方法，如果有则拦截当前的方法（执行通知）。

注意：控制流切入点比正常切入点慢10-15倍，但在某些情况下它们是有用的。所以大家还是慎重使用吧，毕竟所有的类都被代理了（当然这里我们可以自定义matches来控制）。

2.2 引介通知

引介通知相对比较简单直接可以在@Aspect切面类中定义

注备基础类

// 这个接口是我们准备让其它类实现的
public interface CommonManager {
  void calc(int a, int b) ;
}
// 默认实现
public class DefaultCommonManager implements CommonManager {
  @Override
  public void calc(int a, int b) {
    System.out.printf("计算a + b = %d%n", (a + b)) ;
  }
}
// 该类是我们将要通过引介增强让其实现CommonManager类
@Component("us")
public class UserService {
  public void save() {
    System.out.println("UserService save...") ;
  }
}

切面类

@Aspect
public static class CommonAspect {
  /**
   * 这样声明后，匹配的类就会自动的实现这里指定的CommonManager接口，默认的实现类是使用DefaultCommonManager
   * value：该值决定了哪些类会被增强（实现指定的CommonManager接口）
   */
  @DeclareParents(value = "com.pack.main.aop_introductionadviser.IntructionDeclareMain2.*+", defaultImpl = DefaultCommonManager.class)
  public static CommonManager mixin;
}

注意：在这个切面类中我们并没有定义@Before，@Around等同志。

测试

CommonManager c = (CommonManager) context.getBean("us") ;
c.calc(10, 20) ;

控制台输出

计算a + b = 30

UserService能正确的转换为CommonManager类，这说明UserService生成的代理类实现了CommonManager接口类，同时在执行方法调用的时候使用的是我们制定的默认实现类DefaultCommonManager。

总结：控制流切入点（ControlFlowPointcut）和引介通知（@DeclareParents）是Spring AOP的两个重要概念。控制流切入点用于在特定的控制流条件下切入代码，而引介通知则让目标类具有更加强大的能力。