为何AspectJ会生成空的Annotation检查代码？

先澄清：反编译代码是工具的“误读”，字节码逻辑才是真相 #

你看到的JD-GUI反编译出来的奇怪条件：

Annotation tmp56_53 = ajc$anno$5;
if (tmp56_53 == null) { tmp56_53; }

其实是反编译工具对JVM字节码的错误转换，实际逻辑是注解实例的懒加载缓存，对应你提供的javap输出里的这段关键字节码：

51: getstatic #488 // Field ajc$anno$10:Ljava/lang/annotation/Annotation;
54: dup
55: ifnonnull 86
58: pop
// 反射获取注解并赋值给ajc$anno$10的逻辑
59: ldc #75 // class com/foo/SomeClass
...
83: putstatic #488 // Field ajc$anno$10:Ljava/lang/annotation/Annotation;
86: nop

实际逻辑拆解：AspectJ在缓存注解实例 #

这段字节码的执行流程是：

• 第一步：获取静态字段ajc$anno$10的值，并用dup指令复制一份到操作栈顶（这样后续既可以判断是否为空，又能保留原引用）
• 第二步：ifnonnull 86判断：如果字段不为空，直接跳转到86行的nop，跳过反射初始化逻辑
• 第三步：如果字段为空，执行pop弹出栈顶的空引用，然后通过反射获取doSomething方法上的@SomeAnnotation实例，赋值给ajc$anno$10静态字段做缓存
• 最后：不管是缓存命中还是初始化完成，都继续执行后续的类型转换和通知调用

AspectJ这么做的核心原因是性能优化：反射获取注解的开销相对较高，通过静态字段缓存注解实例，避免每次调用方法都走反射流程，尤其是当方法被频繁调用时，能显著降低性能损耗。

解决JaCoCo的“分支未命中”问题 #

JaCoCo检测到的分支未命中，就是这个ifnonnull对应的两个执行路径：

1. 第一次调用方法：ajc$anno$10为空，走反射初始化分支
2. 后续调用方法：ajc$anno$10已缓存，直接跳过初始化分支

要覆盖这两个分支，你可以：

• 在测试用例中至少调用两次目标方法：第一次触发初始化，第二次走缓存路径，JaCoCo就能捕获到两个分支的执行
• 如果需要单独测试两个分支，可以通过反射在两次调用之间重置ajc$anno$10字段为null，比如：

  // 重置注解缓存字段
  Field annoField = SomeClass.class.getDeclaredField("ajc$anno$10");
  annoField.setAccessible(true);
  annoField.set(null, null);
  

内容的提问来源于stack exchange，提问作者Lycus