JAVA局部變數加final修飾的好處

一般來說有以下這幾種用法：
1、for迴圈中，使用局變數來儲存迴圈數次，並用final修飾，而非直接用getCount()、getSize()、lenght等
2、需要訪問集合中的某個對象時，使用局部變數來引用，並用final修飾，而非直接引用
3、需要訪問外部某個對象時，使用局部變數來引用，並用final修飾，而非直接引用
4、其它情況
 
個人理解的好處有：
1、訪問局部變數要比訪問成員變數要快
2、訪問局部變數要比每次調用方法去擷取對象要快
3、使用final修飾可以避免變數被重新賦值（引用賦值）
4、使用final修飾時，JVM不用去跟蹤該引用是否被更改。
 
以下是網上看到的一些見解：
 
Accessing a local variable is faster than accessing a field.  It's best to keep field accesses out of performance-critical inner loops when possible.  (Profile first, of course, to see if it matters.)  In theory the JVM could "inline" the field to a local variable automatically under the right conditions, but don't count on it.
 
A final local variable is not any different from a normal local variable at runtime.  The "final" keyword on a local variable expresses a constraint on the source code (that it is assigned to once) which the compiler can easily check.
 
Final *fields* do allow additional optimizations, and static final fields with primitive values (as in "public static final int MY_CONSTANT = 3") are treated as compile-time constants and inlined.