如何用Java Agent与ASM动态记录任意Java方法参数及处理可变栈值？

看起来你已经走对了方向——用方法描述符解析参数数量是正确的思路，下面我来帮你解决这两个核心问题：

一、recordParameters的方法描述符选择 #

Java字节码里并没有真正的“可变参数”描述符，不过我们可以利用装箱+数组的方式来兼容任意数量和类型的参数。你需要把recordParameters定义成接收Object数组的静态方法（可变参数在字节码层面就是数组）：

public static void recordParameters(Object... args) {
    // 这里实现参数记录和历史对比逻辑
}

对应的字节码方法描述符是：([Ljava/lang/Object;)V。这个描述符表示方法接收一个Object[]类型的参数，返回值为void，完美适配任意数量的参数——不管原方法参数是基本类型还是引用类型，我们都可以把它们装箱后存入数组传入。

二、复制操作数栈中任意数量的参数 #

要复制操作数栈上的参数，关键是要处理不同类型的栈槽占用（比如long/double占2个栈槽，其他类型占1个），还要保证复制后原参数仍然保留在栈上供原方法调用。具体步骤如下：

1. 解析参数类型与数量 #

用ASM的Type.getArgumentTypes(desc)可以直接获取方法的参数类型数组，同时要注意：实例方法调用时，操作数栈的第一个元素是this引用，如果你需要记录这个this，也要把它算入参数列表。

2. 复制栈上的参数 #

因为栈是后进先出的结构，我们需要从最后一个参数（栈顶）开始往前复制，这样才能保证复制后的参数顺序和原顺序一致。对于long/double用DUP2指令复制，其他类型用DUP。

3. 装箱参数并组装成数组 #

复制完成后，我们需要把复制出来的参数逐个装箱（基本类型转包装类），然后存入Object[]数组，再传给recordParameters。

完整代码示例 #

import org.objectweb.asm.Type;
import static org.objectweb.asm.Opcodes.*;

public class MethodVisitorAdapter extends org.objectweb.asm.MethodVisitor {
    public MethodVisitorAdapter(int api, MethodVisitor mv) {
        super(api, mv);
    }

    @Override
    public void visitMethodInsn(int opc, String owner, String name, String desc, boolean isInterface) {
        Type[] argTypes = Type.getArgumentTypes(desc);
        boolean isInstanceCall = opc == INVOKEVIRTUAL || opc == INVOKESPECIAL || opc == INVOKEINTERFACE;
        int totalParams = argTypes.length + (isInstanceCall ? 1 : 0);

        // 步骤1：复制栈上的所有参数（包括this，如果是实例方法）
        // 先复制this（实例方法）
        if (isInstanceCall) {
            mv.visitInsn(DUP);
        }
        // 复制方法参数：从最后一个参数往前复制
        for (int i = argTypes.length - 1; i >= 0; i--) {
            Type type = argTypes[i];
            if (type.getSize() == 2) {
                mv.visitInsn(DUP2); // 处理long/double
            } else {
                mv.visitInsn(DUP); // 处理其他类型
            }
        }

        // 步骤2：创建Object数组，存放装箱后的参数
        mv.visitLdcInsn(totalParams);
        mv.visitTypeInsn(ANEWARRAY, "java/lang/Object");

        // 步骤3：逐个装箱参数并存入数组
        int arrayIndex = 0;
        // 先处理this（实例方法）
        if (isInstanceCall) {
            mv.visitInsn(DUP);
            mv.visitLdcInsn(arrayIndex++);
            // this是引用类型，直接存入数组
            mv.visitInsn(AASTORE);
        }
        // 处理方法参数
        for (Type type : argTypes) {
            mv.visitInsn(DUP);
            mv.visitLdcInsn(arrayIndex++);

            // 基本类型装箱，引用类型直接使用
            switch (type.getSort()) {
                case Type.BOOLEAN:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Boolean", "valueOf", "(Z)Ljava/lang/Boolean;", false);
                    break;
                case Type.BYTE:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Byte", "valueOf", "(B)Ljava/lang/Byte;", false);
                    break;
                case Type.CHAR:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Character", "valueOf", "(C)Ljava/lang/Character;", false);
                    break;
                case Type.SHORT:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Short", "valueOf", "(S)Ljava/lang/Short;", false);
                    break;
                case Type.INT:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Integer", "valueOf", "(I)Ljava/lang/Integer;", false);
                    break;
                case Type.LONG:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Long", "valueOf", "(J)Ljava/lang/Long;", false);
                    break;
                case Type.FLOAT:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Float", "valueOf", "(F)Ljava/lang/Float;", false);
                    break;
                case Type.DOUBLE:
                    mv.visitMethodInsn(INVOKESTATIC, "java/lang/Double", "valueOf", "(D)Ljava/lang/Double;", false);
                    break;
                // 引用类型无需装箱，直接跳过
                case Type.OBJECT:
                case Type.ARRAY:
                    break;
            }

            // 将装箱后的对象存入数组
            mv.visitInsn(AASTORE);
        }

        // 步骤4：调用recordParameters方法
        mv.visitMethodInsn(INVOKESTATIC, "MyClass", "recordParameters", "([Ljava/lang/Object;)V", false);

        // 最后执行原方法调用，此时栈上保留的是最初的参数
        super.visitMethodInsn(opc, owner, name, desc, isInterface);
    }
}

关键注意事项 #

• 栈槽处理：一定要区分long/double和其他类型的复制指令，否则会导致栈结构混乱，引发运行时错误。
• 实例方法的this：如果不需要记录this，可以去掉相关的复制和装箱逻辑，只处理方法本身的参数。
• 性能考量：装箱操作会带来一定的性能开销，如果你的场景对性能要求极高，可以考虑针对不同参数数量生成重载的recordParameters方法，但复杂度会大幅提升，用数组的方式是平衡易用性和性能的最优解。

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