由编译器完成的Javatry-with-resource实现

我想知道,当发生异常时,try with resource 语句如何在进入 catch 块之前设法关闭资源。当异常发生时,执行立即跳转到 catch 块。所以实际上 try-with-resource 关闭资源的地方。

为了更好地理解它是如何工作的,我决定看看编译器是如何实现它的。我编写了以下代码并编译了它。

public class Test
{
    public static void main(final String[] args) {
       //I used same JDK for compilation and execution.
        System.out.println("Java version: " + System.getProperty("java.version") + "n");
        try(CloseMe me = new CloseMe(); 
                CloseMeToo meToo = new CloseMeToo()){
                
                System.out.println("trying");
                throw new Exception("try failed");

            } catch(Exception e) {
                System.out.println("failed");
                System.out.println("n");
                System.out.println(e.getMessage());
                System.out.println(e.getSuppressed()[0].getMessage());
                System.out.println(e.getSuppressed()[1].getMessage());
            }
    }
}

class CloseMe implements AutoCloseable {
    @Override
    public void close() throws Exception {
        System.out.println("me closing!");
        throw new Exception("don't close me :o");
    }
}

class CloseMeToo implements AutoCloseable {
    @Override
    public void close() throws Exception {
        System.out.println("meToo closing!");
        throw new Exception("don't close me too :O");
    }
}

输出

Java version: 15.0.1

trying
meToo closing!
me closing!
failed


try failed
don't close me too :O
don't close me :o

然后我去了www.javadecompilers.com并尝试了那里的反编译器。两个反编译器给出了不错的结果:CFR 0.150 和 Fernflower。CFR 的可读性和完整性最高,因此将其张贴在这里。

public class Test
{
    public static void main(final String[] args) throws Throwable{
        System.out.println("Java version: " + System.getProperty("java.version") + "n");
        
        try {
            Throwable throwable = null;
            Object var2_4 = null;     //<-- where this variable is used?
            try {
                CloseMe me = new CloseMe();
                try {
                    CloseMeToo meToo = new CloseMeToo();
                    try {
                        System.out.println("trying");
                        throw new Exception("try failed");
                    }
                    catch (Throwable throwable2) {
                        throwable = throwable2; //<-- I put this line to make it work
                        if (meToo != null) {
                            meToo.close();
                        }
                        throw throwable2;
                    }
                }
                catch (Throwable throwable3) {
                    if (throwable == null) {
                        throwable = throwable3;
                    } else if (throwable != throwable3) {
                        throwable.addSuppressed(throwable3);
                    }
                    if (me != null) {
                        me.close();
                    }
                    throw throwable;
                }
            }
            catch (Throwable throwable4) {
                if (throwable == null) {
                    throwable = throwable4;
                } else if (throwable != throwable4) {
                    throwable.addSuppressed(throwable4);
                }
                throw throwable;
            }
        }
        catch (Exception e) {
            System.out.println("failed");
            System.out.println("n");
            System.out.println(e.getMessage());
            System.out.println(e.getSuppressed()[0].getMessage());
            System.out.println(e.getSuppressed()[1].getMessage());
        }
    }
}

我知道反编译器有局限性。理想的反编译器会给我同样的 try-with-resource,而我不会看到这些细节。所以没关系。
我的问题是:

  1. 在上面的反编译代码中,变量var2_4未使用。另外,我必须添加一行以使其像 try-with-resource 一样工作。我认为代码不完整。如果有的话,你能补充/解释一下缺失的部分吗?
  2. 如果有人了解字节码,将类文件转换为准确的 Java 代码会很棒。或者给我一些关于我可以从哪里获得工具来完成这项工作的指示。

谢谢!

回答

try-with-resources的行为在Java Language Specification 的14.20.3节中有完整的文档。尝试使用资源。

它具体显示了以下问题代码的缩写版本:

try (CloseMe me = new CloseMe(); CloseMeToo meToo = new CloseMeToo()) {
    System.out.println("trying");
} catch (Exception e) {
    System.out.println("failed");
}

首先转换为:

try {
    try (CloseMe me = new CloseMe(); CloseMeToo meToo = new CloseMeToo()) {
        System.out.println("trying");
    }
} catch (Exception e) {
    System.out.println("failed");
}

然后到:

try {
    final CloseMe me = new CloseMe();
    Throwable #primaryExc1 = null;

    try (CloseMeToo meToo = new CloseMeToo()) {
        System.out.println("trying");
    } catch (Throwable #t) {
        #primaryExc1 = #t;
        throw #t;
    } finally {
        if (me != null) {
            if (#primaryExc1 != null) {
                try {
                    me.close();
                } catch (Throwable #suppressedExc) {
                    #primaryExc1.addSuppressed(#suppressedExc);
                }
            } else {
                me.close();
            }
        }
    }
} catch (Exception e) {
    System.out.println("failed");
}

然后到:

try {
    final CloseMe me = new CloseMe();
    Throwable #primaryExc1 = null;

    try {
        final CloseMeToo meToo = new CloseMeToo()
        Throwable #primaryExc2 = null;

        try {
            System.out.println("trying");
        catch (Throwable #t) {
            #primaryExc2 = #t;
            throw #t;
        } finally {
            if (meToo != null) {
                if (#primaryExc2 != null) {
                    try {
                        meToo.close();
                    } catch (Throwable #suppressedExc) {
                        #primaryExc2.addSuppressed(#suppressedExc);
                    }
                } else {
                    meToo.close();
                }
            }
        }
    } catch (Throwable #t) {
        #primaryExc1 = #t;
        throw #t;
    } finally {
        if (me != null) {
            if (#primaryExc1 != null) {
                try {
                    me.close();
                } catch (Throwable #suppressedExc) {
                    #primaryExc1.addSuppressed(#suppressedExc);
                }
            } else {
                me.close();
            }
        }
    }
} catch (Exception e) {
    System.out.println("failed");
}


以上是由编译器完成的Javatry-with-resource实现的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>