如何用CodeNarc或Groovy AST解析变量值，编写自定义不可达代码检测规则？

CodeNarc本身基于Groovy AST分析，而且已经封装了不少变量作用域追踪的能力，完全能实现你要的final常量推断逻辑。

核心实现思路 #

• 要么直接继承现有的ConstantIfExpressionRule扩展，要么基于AbstractAstVisitorRule写新规则，重点是处理IfStatement节点。
• 针对if条件里的变量引用，做两步检查：
  1. 确认变量是final修饰的；
  2. 确认变量的初始值是编译期可确定的布尔常量（比如直接赋值true/false，不是动态计算的结果）。
• 利用CodeNarc的Scope和AST节点的属性，就能拿到变量的定义和初始值——不用自己从零实现变量追踪逻辑。

核心代码示例 #

class FinalConstantIfExpressionRule extends AbstractAstVisitorRule {
    String name = 'FinalConstantIfExpression'
    int priority = 2
    Class astVisitorClass = FinalConstantIfExpressionAstVisitor
}

class FinalConstantIfExpressionAstVisitor extends AbstractAstVisitor {
    @Override
    void visitIfStatement(IfStatement node) {
        def condition = node.expression
        // 只处理变量引用作为条件的情况
        if (condition instanceof VariableExpression) {
            def var = condition.variable
            
            // 处理局部final变量
            if (var instanceof Variable && var.final && var.initialValueExpression instanceof ConstantExpression) {
                checkConstantBooleanValue(var.initialValueExpression.value, var.name, node)
            }
            // 处理类级final字段
            if (var instanceof FieldNode && (var.modifiers & Opcodes.ACC_FINAL) && var.initialValueExpression instanceof ConstantExpression) {
                checkConstantBooleanValue(var.initialValueExpression.value, var.name, node)
            }
        }
        super.visitIfStatement(node)
    }

    private void checkConstantBooleanValue(value, varName, IfStatement node) {
        if (value instanceof Boolean) {
            if (!value) {
                addViolation(node, "if条件使用了值为false的final变量${varName}，代码块永远不可达")
            } else {
                // 可选：检测else分支不可达的情况
                if (node.elseStatement) {
                    addViolation(node.elseStatement, "else分支对应值为true的final变量${varName}，永远不可达")
                }
            }
        }
    }
}

注意点 #

• 只处理编译期常量：如果final变量的初始值是方法调用、动态计算的结果，没法推断值，这类情况要跳过。
• 可以复用CodeNarc内置的ConstantExpressionUtils工具类，简化常量值的判断，不用自己写类型检查。
• 要覆盖局部变量和类字段两种场景，AST里对应的节点类型不一样（Variable vs FieldNode）。

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