为什么尝试/捕获块会创建新的变量范围？

Question

例如：

try
{
    SomeObject someObject = new SomeObject();
    someObject.dangerousMethod();
}
catch(Exception e)
{
}
someObject.anotherMethod(); //can't access someObject!

但是你可以在try/catch块之前声明它，然后它就可以正常工作了：

SomeObject someObject;
try
{
    someObject = new SomeObject();
    someObject.dangerousMethod();
}
catch(Exception e)
{
}
someObject.anotherMethod(); //works fine

我只是想知道这样做的设计原因。为什么在try/catch块中创建的对象不在方法其余部分的范围内？也许我没有深入了解try/catch除了只是观察抛出的Exceptions之外是如何工作的。

Answer 1

变量或对象的范围在其定义的范围内（由大括号{}定义）。

因为try-catch会启动一个新的作用域，在这个作用域中可以抛出一些错误，所以try-catch中定义的对象在其作用域之外不可用。

Answer 2

在Java中，只要有{}对，就可以创建一个新的作用域。

考虑以下几点

class ScopeTest {
    public static void main(String[] args) {
        int i = 0;
        { int j = 0; System.out.println(j); }
        { int j = 2; System.out.println(j); }
    }
}

try/catch只是遵循这个习惯用法，并强制创建一个{}对。

要对无括号的if声明做出回应，请考虑：

class MultiRTree {
    public static void main(String...args) {
        boolean b = args.length == 0;
        if(b) String s = new String("hello");
    }
}

结果在

c:\files\j>javac ScopeTest.java
ScopeTest.java:4: not a statement
        if(b) String s = new String("hello");
              ^
ScopeTest.java:4: ';' expected
        if(b) String s = new String("hello");
                    ^
2 errors

然而，这将很好地编译。

class ScopeTest {
    public static void main(String...args) {
        boolean b = args.length == 0;
        if(b) new String("hello");
    }
}

为什么会这样，根据JLS第14章第9节，如果定义为：

IfThenStatement:
    if ( Expression ) Statement

声明的定义为（14.5）

Statement:
    StatementWithoutTrailingSubstatement
    LabeledStatement
    IfThenStatement
    IfThenElseStatement
    WhileStatement
    ForStatement

StatementWithoutTrailingSubstatement:
    Block
    EmptyStatement
    ExpressionStatement
    AssertStatement
    SwitchStatement
    DoStatement
    BreakStatement
    ContinueStatement
    ReturnStatement
    SynchronizedStatement
    ThrowStatement
    TryStatement

所以块、表达式语句或空语句都很好。但是声明（在第6章中定义）不在语句语法中。

Answer 3

为什么在try/catch块中创建的对象不在方法其余部分的范围内？

它们是。在try/catch块中声明的变量不在包含块的范围内，原因与所有其他变量声明都是它们发生的范围的本地变量相同：这就是规范定义它的方式。：-）（下面有更多内容，包括对您评论的回复。）

下面是一个在try/catch中创建的对象，可在其外部访问：

SomeObject someObject = null;
try
{
    someObject = new SomeObject();
    someObject.dangerousMethod();
}
catch(Exception e)
{
}
someObject.anotherMethod(); // This is fine -- unless the SomeObject
                            // constructor threw the exception, in which
                            // case someObject will be null

注意区别。声明变量的位置定义变量存在的范围，而不是对象的创建位置。

但是基于方法名称等，更有用的结构是：

SomeObject someObject = new SomeObject();
try
{
    someObject.dangerousMethod();
}
catch(Exception e)
{
}
someObject.anotherMethod();

请回复您的评论：

我想我很困惑为什么为try/catch块创建了另一个范围。

在Java中，所有块都创建作用域。if的主体、else的主体、while的主体等。

if (foo) {
    SomeObject bar = new SomeObject();
}
bar.doSomething(); // <== Compilation error, `bar` is not defined

（事实上，即使是没有任何控制结构的块也会创建一个。）

如果你仔细想想，这是有道理的：有些块是有条件的，比如定义if或while主体的块。在上面的if中，bar可能已经声明，也可能没有声明（取决于foo的值），这没有意义，因为编译器当然不知道foo的运行时值。所以可能为了一致性，Java的设计者同意让所有块创建一个新的嵌套作用域。（JavaScript的设计者走了另一条路