Java出现变量未初始化编译错误：如何在switch分支正确处理变量赋值

错误原因 #

Java编译器的明确赋值规则不会对布尔标记变量的业务逻辑做复杂流推断，虽然你的代码逻辑上只有rt被初始化后才会走到使用它的代码段，但编译器无法识别这层关联，因此判定rt在使用前未初始化。

解决方案 #

你可以任选以下两种方案之一，匹配你的需求：

方案1：保证switch所有分支都完成rt初始化 #

在switch的default分支中给rt赋予任意初始值即可，走default分支时会将inputOK设为false，后续会直接return，该赋值不会影响业务逻辑：

switch (split[0]) {
    case "Leader":
        rt = RequestType.leader;
        break;
    case "Candidate":
        rt = RequestType.candidate;
        break;
    default:
        inputOK = false;
        rt = null; // 新增赋值语句，覆盖所有分支的初始化逻辑
}

也可以直接在声明rt时给定初始值：

RequestType rt = null;

方案2：重构代码结构，确保未初始化rt的路径不会走到使用rt的代码段 #

取消inputOK标记变量，所有校验不通过的场景直接提前return，编译器可以直接识别路径分支，不会再报初始化错误：

enum RequestType {leader, candidate};

private void processRequest(String input) {
    RequestType rt;
    if (!input.contains(":")) {
        return;
    }
    String[] split = input.split(":");
    if (split.length != 3) {
        return;
    }
    int port = Integer.parseInt(split[2]);
    if (!(port > 0 && port < 65537)) {
        return;
    }
    switch (split[0]) {
        case "Leader":
            rt = RequestType.leader;
            break;
        case "Candidate":
            rt = RequestType.candidate;
            break;
        default:
            return; // 校验不通过直接退出，不会走到后续使用rt的代码
    }
    String address = split[1].concat(split[2]);
    if (rt == RequestType.leader) {
        keepingLeader(address);
    }
}

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