为什么在try-with语句之外声明的资源在java中必须是最终的或者实际上是最终的？

Question

为什么在try-with语句之外声明的资源在java中必须是最终的或者实际上是最终的？为什么下面的代码中的object_name必须是最终的或者实际上是最终的？

type object_name = new type();
try (object_name) {
  ...
}

Answer 1

这只是一个膝跳违约(一个好的)：当有疑问，没有特别好的理由允许一些奇怪的用法，似乎没有什么意义，只是。不要让它发生。如果结果是由于不允许而丢失了很多东西，那么您可以稍后再允许它。你不能做相反的事情--以后拒绝它将是向后不兼容的。

这里的具体理由很可能是这个简单的概念：

您在这里“尝试”的是什么?是变量A，还是对象B?想象一下下面的代码：

class DummyClosable implements AutoClosable {
  String print;

  DummyClosable(String print) {
    this.print = print;
  }

  @Override public void close() {
    System.out.println(print);
  }
}

class Example {
  public static void main(String[] args) {
    DummyClosable dc = new DummyClosable("a");
    try (dc) {
      dc = new DummyClosable("b");
    }
  }
}

那是打印“a”还是“b”？我可以看到有人完全相信它应该打印'a'，我也能看到有人完全相信它应该打印'b‘。

但是，我尤其可以看到，绝大多数java程序员会很快发现它会打印其中一个或另一个，但不确定它是哪一个。因为试图自动关闭非决赛是非常罕见的，他们将不会有经验，因此大部分将只是诅咒代码:他们现在需要猜测它做什么，或试图从上下文中找出它的极端惩罚，这会使任何错误在做什么，或实验/阅读文档，这需要时间。