我很相信这里finalinti;try{i=calculateIndex();}catch(Exceptione){i=1;}i如果控制到达catch-block，则不可能已经分配。然而，Java编译器不同意并声称thefinallocalvariableimayalreadyhavebeenassigned.我在这里仍然缺少一些微妙之处，还是这只是Java语言规范用来识别潜在重新分配的模型的一个弱点？我主要担心的是Thread.stop()，这可能会导致“凭空”抛出异常，但我仍然不明白在赋值后如何抛出异常，这显然是tryblock中的最后一个操作。如果允许，上面的成语将使我的许多方法
