标签: effectively-final

到目前为止，我认为有效的 final和final或多或少是等效的，如果在实际行为中不相同，JLS 会将它们相似地对待。然后我发现了这个人为的场景：

final int a = 97;
System.out.println(true ? a : 'c'); // outputs a

// versus

int a = 97;
System.out.println(true ? a : 'c'); // outputs 97

显然，JLS 在这里两者之间产生了重要区别，我不知道为什么。

我阅读了其他主题，例如

• 最终和有效最终之间的区别
• 有效的最终变量与最终变量
• “有效最终”的变量是什么意思？

但他们没有详细说明。毕竟，在更广泛的层面上，它们似乎几乎是等价的。但深入挖掘，它们显然不同。

是什么导致了这种行为，谁能提供一些解释这一点的 JLS 定义？

编辑：我发现了另一个相关的场景：

final String a = "a";
System.out.println(a + "b" == "ab"); // outputs true

// versus

String a = "a";
System.out.println(a + "b" == "ab"); // outputs false

所以字符串实习在这里的行为也不同（我不想在实际代码中使用这个片段，只是对不同的行为感到好奇）。