AOP

什么是AOP

AOP (Aspect-Oriented Programing ，面向切面编程)是一种编程模式(思想)，它的核心目的是将"横切关注点(Cross-Cutting Concerns)" 从核心业务逻辑中分离出来

1. 什么是"横切关注点"

   在软件开发中，有些逻辑与业务逻辑无关，但却分散在系统的各个角落。比如：日志记录、权限校验、事务管理、异常处理等。

   • 传统的OOP(面向对象)的痛点：如果你要在10个业务方法中加上日志，你就得在这10个方法里都写一遍日志代码。这导致了严重的代码重复和高耦合。如果以后想改变日志格式，你需要修改19个地方
   • AOP 的解决思路：将这些散落的、重复的逻辑抽取出来，封装成一个独立的模块(称为**“切面Aspect”**)。然后在运行时，由框架自动将这些逻辑"织入(Weave)"到目标方法中。

2. AOP的核心术语

   • 切面(Aspect)：横切关注点的模块化封装(例如一个日志处理类)
   • 连接点(Join Point)：程序执行过程中的某个特定位置，通常是方法的调用或者异常的抛出
   • 切入点(Pointcut)：定义切面到底要“织入”到哪些连接点上(例如：匹配所有以service结尾的类的方法)
   • 通知(Advice)：切面在特定连接点上执行具体动作，分为：
     • Before(前置)：目标方法执行前
     • After(后置)：目标方法执行后(无论是否成功)
     • AfterReturning(返回后)：目标方法执行成功返回后
     • AfterThrowing(异常后)：目标方法执行异常返回后
     • Around(环绕)：最强大的通知，包裹目标方法，可以控制是否执行目标方法，修改参数和返回值。

AOP 实现原理

AOP的本质是动态代理。它在不修改源码的情况下，在内存中为目标方法生成一个“代理对象"。当调用该方法时，实际上是调用了代理对象的方法，代理对象会在调用真实的方法前后插入切面逻辑。

在.NET生态中，AOP 的实现原理主要分为以下几种流派：

1. 运行时动态代理(runtime dynamic Proxy)

   这是.NET中最主流的AOP 实现方法如(Castle.Core、AspnetCore、ABP等框架都基于此)

   • 原理：利用.NET的反射和System.Reflection.Emit命名空间，在程序运行时动态生成一个新的类(代理类)
   • 两种代理模式：
     • 基于接口代理(Interface-based)：如果目标类实现了接口，代理类会继承该接口，并在内部持有一个真实对象的引用。在调用接口方法时，代理类先执行拦截器(Interceptor)，再调用真实的对象方法
     • 基于类继承代理(Class-based)：如果目标类没有接口，代理类会继承目标类。注意，这种方式要求目标类必须是virtual(虚方法)，因为代理类是通过override 虚方法来插入逻辑的。
   • 工作流程：
     • 开发者在DI(依赖注入)容器中注册服务，指定需要AOP拦截
     • DI容器在解析服务时，不直接实例化真实类，而是调用Castle等库生成代理类
     • 外部调用方法时，触发代理类的Intercept(IInvcation invcation)方法
     • 在Intercept中执行前置逻辑->调用invcation.Proceed()执行真实的方法->执行后置逻辑。

2. 编译时/构建时织入(Compile-time/Build-time Weaving)

   这种方式在代码编译阶段就修改了IL(中间语言)代码。

   • 原理：利用Mono.Cecil或Roslyn等工具，在编译后读取DLL，直接在IL代码中注入切面逻辑，然后重新保存DLL
   • 代表工具：Fody(如 PropertyChanged.Fody, MethodTimer.Fody)。
   • 特点：没有运行时动态生成代理类的开销，性能极高；但调试相对困难，因为生成的代码在源码中看不到

3. .NET官方原生方案：Source Generators（源码生成器）

   随着C# 9.0引入了source Generators,这是目前.NET社区最推崇的现代AOP 实现方式(如Razor、Blazor底层都在用。)

   • 原理：在编译阶段，编译器将源码解析成语法树(Syntax Tree)，Source Generator 分析语法树，动态生成额外的C#代码文件，并将他们一起编译
   • 代表工具：AspectInjector、Meziantou.Framework。
   • 特点：性能等同于手写代码(因为在编译期生成了真实代码)，完全支持IDE智能提示和调试，且不需要依赖第三方动态代理库

4. 声明式/框架级AOP(如：Asp.NET Core Filters)

   在ASP.NET Core 中Fliters 也是一种AOP，但它不是通过代理来实现的，而是通过管道模式来实现的。

   • 原理：MVC框架在内部维护了一个过滤器列表，当HTTP请求进入时，框架按照顺序执行过滤器链，最后才执行Controller中的Action。它只作用于Web层的特定生命周期。

总结

• AOP是思想：把重复、非业务的逻辑抽离出来，统一处理
• 动态代理是手段，在.NET中，绝大多数AOP框架(如Castle)都是通过运行时设工程子类或者接口实现类来拦截方法调用的
• 现代趋势：.NET开发者正逐渐从传统的运行时动态代理(castle)向编译时源码生成(Source Generators)迁移，以获取更好的性能和开发体验。