如何用Spoon获取Java类中异常构造方法的属性值？

要解决你遇到的问题——获取throw语句中异常构造方法的参数值（比如IndexOutOfBoundsException的消息字符串），可以通过Spoon的AST遍历、符号解析和数据流分析来实现，具体步骤如下：

1. 定位所有Throw语句 #

首先加载目标Java文件，遍历AST中的CtThrow节点：

Launcher launcher = new Launcher();
launcher.addInputResource("D:\\ProjectFile\\AST\\Test\\000001\\test.java");
launcher.buildModel();

CtModel model = launcher.getModel();
model.getAllElements(CtThrow.class).forEach(throwStmt -> {
    // 处理每个throw语句的逻辑写在这里
});

2. 获取异常的构造调用 #

从CtThrow节点中提取抛出的异常实例，也就是CtNewExpression，进而拿到构造方法的调用：

CtExpression<?> thrownExpr = throwStmt.getThrownExpression();
if (thrownExpr instanceof CtNewExpression<?>) {
    CtNewExpression<?> newExpr = (CtNewExpression<?>) thrownExpr;
    CtConstructorCall<?> constructorCall = newExpr.getConstructorCall();
    List<CtExpression<?>> constructorArgs = constructorCall.getArguments();
    // 处理构造参数
}

3. 解析构造参数的实际值 #

根据参数的类型，分场景处理：

场景1：参数是常量字符串 #

如果参数是CtLiteral类型，直接获取其字面量值：

for (CtExpression<?> arg : constructorArgs) {
    if (arg instanceof CtLiteral<?>) {
        CtLiteral<?> literal = (CtLiteral<?>) arg;
        Object msgValue = literal.getValue();
        // 这里就是异常的消息字符串，比如"index out of bounds"
        System.out.println("异常消息：" + msgValue);
    }
}

场景2：参数是变量引用 #

如果参数是变量（比如你提到的s），需要通过符号解析找到变量的定义，再追踪其赋值：

for (CtExpression<?> arg : constructorArgs) {
    if (arg instanceof CtVariableAccess<?>) {
        CtVariableAccess<?> varAccess = (CtVariableAccess<?>) arg;
        CtVariable<?> targetVar = varAccess.getVariable();
        
        // 获取变量的初始化赋值
        if (targetVar.getAssignment() != null) {
            CtExpression<?> assignExpr = targetVar.getAssignment();
            if (assignExpr instanceof CtLiteral<?>) {
                Object msgValue = ((CtLiteral<?>) assignExpr).getValue();
                System.out.println("变量对应的异常消息：" + msgValue);
            }
        }
    }
}

场景3：复杂数据流场景（变量值来自方法参数/运算） #

如果变量的值不是直接初始化的常量，而是来自方法参数、动态运算等，需要使用Spoon的数据流分析工具追踪取值来源：

CtDataFlowEngine dataFlowEngine = new CtDataFlowEngine();
CtDataFlowResult flowResult = dataFlowEngine.computeAllForward(targetVar);

for (CtDataFlowEdge edge : flowResult.getEdges()) {
    CtExpression<?> sourceExpr = edge.getSource();
    if (sourceExpr instanceof CtLiteral<?>) {
        Object msgValue = ((CtLiteral<?>) sourceExpr).getValue();
        System.out.println("追踪到的异常消息：" + msgValue);
    }
}

关键注意点 #

• 确保Spoon的符号解析功能正常，默认已开启，若有问题可添加launcher.getEnvironment().setAutoImports(true);配置
• 对于编译期无法确定值的变量（比如来自运行时输入），无法获取具体字符串
• 若参数是拼接的字符串表达式，需要额外解析表达式的计算结果，可结合Spoon的CtExpression#evaluate()方法（仅支持简单表达式）

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