肉夹馍(
https://github.com/inversionhourglass/Rougamo
)，一款编译时AOP组件。相比动态代理AOP需要在应用启动时进行初始化，编译时完成代码编织的肉夹馍减少了应用启动初始化的时间，同时肉夹馍还支持所有种类的方法，无论方法是同步还是异步、静态还是实例、构造方法还是属性都是支持的。肉夹馍无需初始化，编写好切面类型后直接应用到对应方法上即可，同时肉夹馍还提供了方法特征匹配和类AspectJ表达式匹配的批量应用规则。
异步切面
得益于3.0对切面实现方式的改变，4.0版本基于代理织入实现了异步切面功能。那么什么是异步切面呢？直白的说就是新增了
OnEntry/OnSuccess/OnException/OnExit
对应的异步方法
OnEntryAsync/OnSuccessAsync/OnExceptionAsync/OnExitAsync
。
如何使用
要编写异步切面，一般继承
AsyncMoAttribute
或
AsyncMo
，然后重写
OnXxxAsync
方法即可。
// 定义切面类型
public class TestAttribute : AsyncMoAttribute
{
public override async ValueTask OnEntryAsync(MethodContext) { }
public override async ValueTask OnSuccessAsync(MethodContext) { }
public override async ValueTask OnExceptionAsync(MethodContext) { }
public override async ValueTask OnExitAsync(MethodContext) { }
}
public class Cls
{
// 应用到同步方法上
[Test]
public void M() { }
// 应用到异步方法上
[Test]
public static async Task MAsync() => Task.Yield();
}
聊聊细节
在了解的异步切面的使用方式后你可能有一个疑问：同步切面在异步方法上的表现和异步切面在同步方法上的表现是什么样的？回答这个问题前，我们可以先看一下
AsyncMoAttribute
的源码：
public abstract class AsyncMoAttribute : RawMoAttribute
{
public override ValueTask OnEntryAsync(MethodContext context) => default;
public override ValueTask OnExceptionAsync(MethodContext context) => default;
public override ValueTask OnSuccessAsync(MethodContext context) => default;
public override ValueTask OnExitAsync(MethodContext context) => default;
public sealed override void OnEntry(MethodContext context)
{
OnEntryAsync(context).ConfigureAwait(false).GetAwaiter().GetResult();
}
public sealed override void OnException(MethodContext context)
{
OnExceptionAsync(context).ConfigureAwait(false).GetAwaiter().GetResult();
}
public sealed override void OnSuccess(MethodContext context)
{
OnSuccessAsync(context).ConfigureAwait(false).GetAwaiter().GetResult();
}
public sealed override void OnExit(MethodContext context)
{
OnExitAsync(context).ConfigureAwait(false).GetAwaiter().GetResult();
}
}
从源码中可以看到，
AsyncMoAttribute
是包含同步切面方法的，同时还有默认实现，实现代码就是直接调用异步切面方法，然后
GetResult
。同样的，如果你去看
MoAttribute
的源码，你就会发现，
MoAttribute
同样拥有异步切面方法，并且默认实现就是调用同步切面方法。所以，关于上面那个问题的答案就是：在同步方法中将调用同步切面方法，在异步方法中将调用异步切面方法。
此时你可能会有另一个疑问：既然
AsyncMoAttribute
和
MoAttribute
都拥有全部的同步切面方法和异步切面方法没什么还要分两个类呢？
这是综合便捷性和安全性考虑后的设计。正如前面所说，肉夹馍会在同步方法中将调用同步切面方法，在异步方法中将调用异步切面方法。如果不分开为两个类继续使用
MoAttribute
，那么首先一个问题：
MoAttribute
中的所有切面方法是应该设计为抽象方法让子类实现全部同步异步切面方法，还是设计为带有默认实现的虚方法让子类自由选择重写方法？
从上面的说明，你应该能理解将同步切面和异步切面分为两个类型的原因了。如果你观察细致，你可能已经发现上面
AsyncMoAttribute
源码中的同步切面方法还增加了
sealed
关键字，这也是为了增加安全性，禁止重写，避免在重写方法时因IDE智能提示重写了同步切面方法而又没有重写对应的异步方法，导致出现同步切面方法和异步切面方法表现不一致的问题。
完全自定义的RawMoAttribute
既然
MoAttribute
和
AsyncMoAttribute
的默认实现是直接调用对应的方法，那么如果我觉得默认的实现不是最优呢，比如
AsyncMoAttribute
默认的同步切面是直接调用异步切面然后同步等待完成，我有更好的同步方案，应该怎么做呢，毕竟同步切面方法都通过
sealed
关键字禁止重写了。
细心的你在查看上面
AsyncMoAttribute
源码时可能已经发现了，
AsyncMoAttribute
继承自
RawMoAttribute
，同样的
MoAttribute
也继承自
RawMoAttribute
。
RawMoAttribute
开放了所有同步异步切面方法，这些方法都是抽象方法，你可以完全自定义同步异步切面。在继承
RawMoAttribute
实现同步异步切面方法时需要注意前面提到的：避免同步切面和异步切面的代码逻辑有差异，避免同步切面方法和异步切面方法出现递归调用。
其他更新内容
新增类型
除了上面提到的
AsyncMoAttribute
和
RawMoAttribute
，还新增了
RawMO
,
MO
,
AsyncMo
分别与
RawMoAttribute
,
MoAttribute
,
AsyncMoAttribute
对应，区别在于后者继承自
Attribute
。因为肉夹馍的应用方式除了Attribute应用，还可以通过
实现空接口IRougamo<>
的方式来应用，这种方式并不需要类型是Attribute子类，当然Attribute子类也是接受的，这里只是提供了不继承Attribute的选择。
性能优化之强制同步
在介绍异步切面时有说到：同步方法会调用同步切面，异步方法会调用异步切面。这一设定在默认情况是很好的设定，但如果你的切面操作完全不涉及异步操作，那么在异步方法中实际并不需要调用异步切面，因为异步切面走了一层
ValueTask
包装，相比同步切面会存在额外的开销。在这种情况下，可以通过
ForceSync
属性设置在异步方法中需要强制执行同步切面的方法：
public class TestAttribute : MoAttribute
{
// 在异步方法中，OnEntry和OnExit将强制调用同步切面方法
public override ForceSync ForceSync => ForceSync.OnEntry | ForceSync.OnExit;
}
其实，如果对性能要求并不是那么严格，是可以不去设置
ForceSync
的，肉夹馍已采用
ValueTask
，默认的异步切面方法对同步切面方法包装的额外开销十分有限。
async void的特别说明
在3.0发布时便有聊到，3.0后采用的代理织入方式对
async void
的支持可能与你的预期效果不同。具体请跳转查看
async void特别说明
。
考虑到
async void
是不推荐的使用方式（
官方也不推荐
），所以决定不对
async void
做更多的适配工作，继续沿用3.0的做法，将
async void
方法当做普通的
void
返回值的同步方法看待。但与3.0不同的是，在4.0版本中如果发现
async void
方法上应用了肉夹馍切面类型，将在编译时产生一个MSBuild告警。告警信息往往不容易引起注意，如果你确定自己并不希望
async void
上应用肉夹馍切面类型，或者你希望子出现这种情况时能提醒你让你做相应的修改，那么你可以在项目文件的
PropertyGroup
节点下新增一个子节点
<FodyTreatWarningsAsErrors>true</FodyTreatWarningsAsErrors>
，这个配置会让Fody产生的告警信息变为错误信息，从而使得编译失败达到提醒的目的。
<Project Sdk="Microsoft.NET.Sdk">
<PropertyGroup>
<FodyTreatWarningsAsErrors>true</FodyTreatWarningsAsErrors>
</PropertyGroup>
</Project>
MethodContext成员变化
删除
MethodContext
中的
IsAsync
,
IsIterator
,
MosNonEntryFIFO
,
Data
属性，将
RealReturnType
标记为过时并隐藏，同时新增
TaskReturnType
属性，该属性与
RealReturnType
具有类似功能。
配置文件智能提示
肉夹馍有些许可配置项，这些配置项可在
FodyWeavers.xml
中配置，详见
配置项
。现在为这些配置增加了对应的xml schema，在修改
FodyWeavers.xml
的
Rougamo
节点时会出现智能提示。
