变量在无法赋值时可能已经赋值

Question

研究这段代码：

public class TestFinalAndCatch {
    private final int i;

    TestFinalAndCatch(String[] args) {
        try {
            i = method1();
        } catch (IOException ex) {
            i = 0;  // error: variable i might already have been assigned
        }
    }

    static int method1() throws IOException {
        return 1;
    }
}

编译器说java: variable i might already have been assigned

但对我来说，这似乎是不可能的情况。

Answer 1

问题在于，在这种情况下，编译器是基于语法而不是基于语义的。 有2个解决方法： 首先基于在方法上移动异常句柄：

package com.java.se.stackoverflow;

public class TestFinalAndCatch {
    private final int i;

    TestFinalAndCatch(String[] args) {
        i = method1();
    }

    static int method1() {
        try {
            return 1;
        } catch (Exception ex) {
            return 0;
        }
    }
}

使用临时变量的第二个基础：

package com.java.se.stackoverflow;

import java.io.IOException;

public class TestFinalAndCatch {
    private final int i;

    TestFinalAndCatch(String[] args) {
        int tempI;
        try {
            tempI = method1();
        } catch (IOException ex) {
            tempI = 0;
        }
        i = tempI;
    }

    static int method1() throws IOException {
        return 1;
    }
}

Answer 2

要解决这个问题，请在 try catch 块中使用局部变量，然后将该结果分配给实例变量。

public class TestFinalAndCatch {
    private final int i;

    TestFinalAndCatch(String[] args) {
        int tmp;
        try {
            tmp = method1();
        } catch (IOException ex) {
            tmp = 0;
        }
        i = tmp;
    }

    static int method1() throws IOException {
        return 1;
    }
}

Answer 3

i 是最终的，因此只能分配一次。编译器可能不够聪明，无法意识到如果抛出异常，则不会进行第一次赋值，如果未抛出异常，则不会进行第二次赋值。

Answer 4

https://bugs.openjdk.java.net/browse/JDK-6326693?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel

看起来像 JDK 错误。现在状态 - 已修复。但是我找不到哪个版本。