Java 带有try/catch的最终变量赋值

因为我相信这是一种很好的编程实践，所以我将所有（本地或实例）变量

final

，如果它们只打算编写一次

但是，我注意到，当变量赋值可以引发异常时，您不能使所述变量为final：

final int x;
try {
    x = Integer.parseInt("someinput");
}
catch(NumberFormatException e) {
    x = 42;  // Compiler error: The final local variable x may already have been assigned
}

---

有没有一种不用临时变量就能做到这一点的方法？（或者这不是最终修饰符的正确位置吗？

一种方法是引入一个（非

最终

）临时变量，但您说过不想这样做

另一种方法是将代码的两个分支移动到一个函数中：

final int x = getValue();

private int getValue() {
  try {
    return Integer.parseInt("someinput");
  }
  catch(NumberFormatException e) {
    return 42;
  }
}

这是否实用取决于具体的用例

总之，只要

x

是一个范围适当的局部变量，最实用的通用方法可能是将其保留为非

final

另一方面，如果

x

是成员变量，我的建议是在初始化期间使用非

final

临时变量：

public class C {
  private final int x;
  public C() {
    int x_val;
    try {
      x_val = Integer.parseInt("someinput");
    }
    catch(NumberFormatException e) {
      x_val = 42;
    }
    this.x = x_val;
  }
}

---

不，这不是正确的位置，假设您在try-and-catch块中得到了不止一条语句，第一条语句是：x=42。在其他一些语句之后，try块失败，它转到catch块，在那里你说x=30。现在定义了x两次。

我怀疑没有临时变量也能做到这一点。

final int x=makeX（）肯定。（在函数中尝试catch）令人震惊的是JDK。非常清楚，编译器错误是不正确的，不是吗？在给定的示例中，在任何情况下x都不能被赋值两次。@jaco0646，一般来说，当try块中有多行可能发生异常时，编译器需要付出很多代价才能得到它。不过，如果有一个例外情况，检测赋值何时是try中的最后一个语句，那就太好了。对于局部范围，我同意你的看法，但是这通常发生在实例变量中。我想这可能反映了一个错误，即无法对非静态方法getValue（）进行静态引用，因此，我们假设使用静态函数，我可能是错误的私有静态int getValue（）..@NPEIf如果这个.x是一个类似Integer的对象类型，那么您需要多一点（遗憾的是）。如果未声明x_val，编译器将抱怨它可能尚未初始化。如果catch块的回退为null，则需要预先初始化为null，并在catch中冗余地分配null以保持清晰（这是我的首选），或者使用空catch。@JoshuaGoldberg所说的即使对于基本类型也是正确的。我们有完全相同的代码模式，其中扮演
this.x
角色的成员是一个基本的
布尔值，就像局部变量一样。即使使用Java9，我们也会得到“可能尚未初始化”。这种情况下缺乏控制流分析是令人沮丧的，但很容易解决。编译器足够聪明，可以知道哪些语句抛出哪些异常。这可能不可能在所有情况下都实现，但就像编译器在某些情况下可以告诉你死代码等。它应该能够确定final是否有效。为了支持@Stefan所说的，Clang在编译Swift时能够理解这一点。