Java编译器开发中：如何让传入函数的对象参数被赋值为子类型新实例

问题核心根源：Java 对所有参数都采用值传递机制，对象类型参数传递的是「引用地址的副本」，而非引用本身。方法内对形参node的重新赋值，仅修改了这个副本的指向，完全不会影响方法外部原变量的引用指向，这就是示例中changeNodeType逻辑失效的本质原因。

针对递归下降编译器、结合访问者模式做语义分析的场景，以下是可直接落地的三类实现方案：

方案1：通过方法返回值传递新节点实例 #

这是最符合Java语法规范、适配递归下降解析流程的方案，无额外内存开销：

// 替换原有错误的传参修改逻辑
Node currentNode = new ExprNode();
// 用方法返回值直接覆盖原变量的引用指向
currentNode = convertToAddOpNode(currentNode);

public Node convertToAddOpNode(Node oldNode) {
    // 校验旧节点符合转换条件后，返回对应子类型实例
    if (oldNode instanceof ExprNode) {
        return new AddOpNode();
    }
    // 不符合条件时返回原节点，保证流程兼容
    return oldNode;
}

• 方案优势：递归下降解析的核心逻辑本身就是「每个语法规则的解析方法直接返回对应AST节点」，这种返回值模式和现有解析流程天然契合，不需要引入额外的包装结构。

方案2：通过可变容器包装节点引用 #

如果场景需要在多层嵌套的解析逻辑中修改外层节点的指向（比如遇到语法回溯、需要替换已挂载到父节点下的子节点），不需要层层透传返回值时，可以用可变容器存储实际节点引用，修改容器内的节点值即可：

// 1. 定义简单的可变节点引用容器（也可以直接用长度为1的数组替代）
public class NodeRef {
    public Node value;
    public NodeRef(Node initialNode) {
        this.value = initialNode;
    }
}

// 2. 使用方式
NodeRef nodeRef = new NodeRef(new ExprNode());
convertToAddOpNode(nodeRef);
// 此时 nodeRef.value 已经是 AddOpNode 实例
public void convertToAddOpNode(NodeRef ref) {
    // 修改的是容器内存储的实际节点引用，而非形参ref的指向
    ref.value = new AddOpNode();
}

如果不想额外定义类，也可以直接用长度为1的Node数组实现同等效果：

Node[] nodeHolder = { new ExprNode() };
convertToAddOpNode(nodeHolder);
// nodeHolder[0] 此时为 AddOpNode
public void convertToAddOpNode(Node[] holder) {
    holder[0] = new AddOpNode();
}

• 方案优势：不需要嵌套方法层层传递返回值，适合需要跨多层作用域修改节点引用的回溯类解析场景。

方案3：从解析阶段直接生成对应子类型节点，跳过转换环节 #

这是从根源上避免类型转换需求的最优方案：
如果语法是LL(1)可解析的，完全不需要先创建通用基类节点再做类型转换——在递归下降解析的过程中，每一步拿到的语法上下文已经可以确定节点的具体类型，直接生成对应子类型的实例即可：

// 错误的冗余流程：先创建基类，再转换为子类型
Node node = new ExprNode();
node = changeNodeType(node);

// 正确的解析流程：直接生成对应子类型节点
public Node parseAddExpression() {
    // 解析完左右操作数、确认当前是加法语法节点后，直接返回AddOpNode实例
    Node left = parsePrimaryExpr();
    skipToken(TokenType.PLUS);
    Node right = parsePrimaryExpr();
    return new AddOpNode(left, right);
}

• 方案优势：从根源上消除了节点类型转换的需求，减少了无用的临时对象创建开销，生成的AST节点从创建开始就是确定的子类型，和访问者模式的类型分发逻辑完全适配，不需要额外做类型判断。

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