我知道已经有类似的问题被提出并回答了，我阅读了我能找到的那些问题，但仍不完全清楚。
考虑以下代码片段：
public static void fooMethod {
while(<...>) {
....
final int temp = <something>;
....
}
}
final是否有任何作用？final，编译器都会生成完全相同的字节码？temp不必是原始的），我获得和/或失去了什么？public static void fooMethod2 {
int temp;
while(<...>) {
....
temp = <something>;
....
}
}
final关键字不会出现在生成的字节码（.class文件）中，并且如预期的那样，在运行时不起作用。（尽管在编译时可能会有所不同，请参见下文。）在这些情况下，如果由于匿名内部类而未强制执行，则仅是一种风格选择，有助于记录变量的预期范围。下面的测试证实了这些信息。
final会产生差异：看一下这个片段：
boolean zZ = true;
while (zZ) {
int xX = 1001; // <------------- xX
int yY = 1002; // <------------- yY
zZ = (xX == yY);
}
两个int变量，xX和yY。第一次声明时都被声明为final，第二次则从两者中去掉了final。以下是生成的字节码（使用javap -c打印）：
两者均为final：
0: iconst_1 // pushes int 1 (true) onto the stack
1: istore_1 // stores the int on top of the stack into var zZ
2: goto 15
5: sipush 1001 // pushes 1001 onto the operand stack
8: istore_2 // stores on xX
9: sipush 1002 // pushes 1002 onto the operand stack
12: istore_3 // stores on yY
13: iconst_0 // pushes 0 (false): does not compare!! <---------
14: istore_1 // stores on zZ
15: iload_1 // loads zZ
16: ifne 5 // goes to 5 if top int (zZ) is not 0
19: return
两者均非final：
// 0: to 12: all the same
13: iload_2 // pushes xX onto the stack
14: iload_3 // pushes yY onto the stack
15: if_icmpne 22 // here it compares xX and yY! <------------
18: iconst_1
19: goto 23
22: iconst_0
23: istore_1
24: iload_1
25: ifne 5
28: return
final时，编译器知道它们不相等并且永远不会进行比较（无论何时xX == yY都会生成false字节码）。从这个可以得出结论，就字节码而言，使用final时编译器确实可以对生成的代码进行一些优化。（我不是说它们有意义，但是final在这里绝不仅仅是一种风格选择。）
final仅是一种设计选择：现在看下面的代码：
boolean zZ = true;
int aA = 1001;
int bB = 1002;
while (zZ) {
final int xX = aA; // <------- took away the "final" here, didnt matter
final int yY = bB; // <------- took away the "final" here, didnt matter
zZ = (xX == yY);
}
final，编译器也无法在编译时确定xX和yY是否相等，对吗？final生成类时，生成的字节码完全相同（相同的MD5！）。final有性能优势，其他人则持反对意见，但在局部块中，final绝对只是一种风格选择。
此片段生成的字节码...
boolean zZ = true;
int aA = 1001, bB = 1002;
while (zZ) {
int xX = aA; // <--- declaration is inside WHILE
int yY = bB;
zZ = (xX == yY);
}
...以及此片段生成的字节码...
boolean zZ = true;
int aA = 1001, bB = 1002;
int xX, yY; // <--- declaration is outside WHILE
while (zZ) {
xX = aA;
yY = bB;
zZ = (xX == yY);
}
...是完全相同的（当然，只有行号改变了）。
使用对象进行的其他测试（不仅限于原始类型变量）表现出相同的行为。
因此可以安全地得出结论，如果没有在其他地方使用，在循环内部或外部声明局部变量基本上是一种设计选择，没有字节码效果。
注意：所有测试都是在Oracle的JRE版本1.7.0_13下进行的。
final）。一旦 JIT 接管它，它就无法知道是否存在 final 关键字。因此，这不会有任何影响。您觉得呢？ - acdcjuniorfinal是常量变量的关键字。声明为final可以防止您在循环中重新分配它。
temp将在每次迭代中重新声明，无论它是否为final。
例如：
while (...)
{
final int temp = ...;
temp = 5; // compiler error
}
但如果它不是常量（终态）:
while (...)
{
int temp = ...;
temp = 5; // fine
}