Question

以下代码使用Java 8中引入的try-with-resources结构。 occasionallyThrow（）方法被声明为抛出 OccasionalException ，资源的 close（）方法抛出 CloseException 。 Eclipse（版本：Neon Release（4.6.0），Build id：20160613-1800）在标有 // dead code 的行上添加一条警告，表明该分支是死代码。隐含地，Eclipse确认标有 // alive code 的行是而不是死代码。

Object tryWithResources() throws OccasionalException {
    Object value = null;
    try (Resource resource = new Resource()) {
        occasionallyThrow();
        value = new Object();
    }
    catch (CloseException e) {
        if (value == null) {
            // alive code
        }
        else {
            // dead code
        }
    }
    return value;
}

我对此感到困惑。如果偶然拖出（）会抛出偶然异常，那么try - with-resources应该将其作为主要异常捕获，然后尝试关闭资源。如果关闭资源会抛出 CloseException ，那么它将在 OccasionalException 下被抑制，因此不会捕获 CloseException 。因此，唯一需要 CloseException 来捕获的是尝试中的块成功完成，这意味着值非空。所以看起来“死代码”实际上是活着的，而“活着代码”实际上已经死了。我不确定这里的编译器实际上是什么意思，但至少，这里的“死代码”似乎应该 not 被称为死。

使这更复杂的原因是，不使用try-with-resources表单的翻译表单根本没有标记任何死代码警告。（我非常有信心，基于14.20.3.2. Extended try-with-resources，我得到了正确的翻译，但如果这里有错误，我也不会感到惊讶......）

Object expandedTry() throws OccasionalException {
    Object value = null;
    try {
        Resource resource = new Resource();
        Throwable $primary = null;
        try {
            occasionallyThrow();
            value = new Object();
        }
        catch (Throwable t) {
            $primary = t;
            throw t;
        }
        finally {
            if (resource != null) {
                if ($primary != null) {
                    try {
                        resource.close();
                    }
                    catch (Throwable $suppressed) {
                        $primary.addSuppressed($suppressed);
                    }
                }
                else {
                    resource.close();
                }
            }
        }
    }
    catch (CloseException e) {
        if (value == null) {
            // alive (not dead!)
        }
        else {
            // alive
        }
    }
    return value;
}

我是否遗漏了一些东西会使if-else中的任何一个分支在其中一个中死亡，而在另一个中却没有？

完整代码

以下是包含辅助异常类型定义的完整代码，资源类和顶级类。

public class TestTryWithResources {

    /** Exception thrown by Resource's close() method */
    @SuppressWarnings("serial")
    static class CloseException extends Exception {}

    /** AutoCloseable declared to throw a CloseException */ 
    static class Resource implements AutoCloseable {
        @Override
        public void close() throws CloseException {}
    }

    /** An occasionally thrown exception */
    @SuppressWarnings("serial")
    static class OccasionalException extends Exception {}

    /** Method declared to throw an occasional exception */
    void occasionallyThrow() throws OccasionalException {}

    /*
     * Method using try-with-resources.  Eclipse warns that the 
     * portion marked with "// dead code" is Dead code.
     */
    Object tryWithResources() throws OccasionalException {
        Object value = null;
        try (Resource resource = new Resource()) {
            occasionallyThrow();
            value = new Object();
        }
        catch (CloseException e) {
            if (value == null) {
                // alive code
            }
            else {
                // dead code
            }
        }
        return value;
    }

    /*
     * Method not using try-with-resources.  This is the translation
     * of the try-with-resources in tryWithResources, according to 
     * [14.20.3 try-with-resources][1].  Eclipse does not warn about 
     * any of the code being Dead code.
     * 
     * [1]: https://docs.oracle.com/javase/specs/jls/se7/html/jls-14.html#jls-14.20.3 
     */
    Object expandedTry() throws OccasionalException {
        Object value = null;
        try {
            Resource resource = new Resource();
            Throwable $primary = null;
            try {
                occasionallyThrow();
                value = new Object();
            }
            catch (Throwable t) {
                $primary = t;
                throw t;
            }
            finally {
                if (resource != null) {
                    if ($primary != null) {
                        try {
                            resource.close();
                        }
                        catch (Throwable $suppressed) {
                            $primary.addSuppressed($suppressed);
                        }
                    }
                    else {
                        resource.close();
                    }
                }
            }
        }
        catch (CloseException e) {
            if (value == null) {
                // alive
            }
            else {
                // alive
            }
        }
        return value;
    }
}

对评论的回应

Amin J's answer建议在设置 value 以更改Eclipse的代码分析后使用资源的解决方法。但这不起作用。在使用资源之后，例如通过打印它，Luna和Neon中仍然存在死码警告：

Answer 1

由于某种原因，静态代码分析器认为资源将在try声明之后立即关闭，而根据this教程，资源在声明之后关闭。

try-with-resources语句确保在语句结束时关闭每个资源。

因此，例如，如果您更改代码以在值为（下面的代码）后使用资源，则它不会警告您有关死代码（但在Eclipse Luna上测试）。

Object tryWithResources() throws OccasionalException {
    Object value = null;
    try (Resource resource = new Resource()) {
        occasionallyThrow();
        value = new Object();
        resource.someMethod(); // using the resource, so eclipse thinks it's not closed yet (correctly)
    }
    catch (CloseException e) {
        if (value == null) {
            // alive code
        }
        else {
            // dead code
        }
    }
    return value;
}

<强>更新

这是我在设置值后使用资源（在本例中为reader）测试的实际代码。

        Object val = null;

        try (BufferedReader reader = new BufferedReader(new FileReader("C:\\file.txt"))) {
            val = new Object();
            System.out.println("got here");
            reader.readLine();
        }
        catch(IOException e){
            System.out.println("io ex");
            if ( val == null){

            }
            else{

            }
        }

Answer 2

这并没有回答为什么 Eclipse正在生成警告的问题，或者它是否应该是，但这是一种解决方法，至少消除了警告暂时的。而不是将条件放在 catch 块中，您可以使用被测试的值以及异常调用另一个方法，并从该方法测试对象是否为null然后执行任何需要完成：

"CAR"

try-with-resources中的死代码警告，但在翻译的try-catch-finally

完整代码

对评论的回应

2 个答案: