java在foreach循环中有一个最终变量是如何工作的

Question

考虑这段代码

public static void main(String[] args) {
    for(final String s : Arrays.asList("a","b","c")){
        System.out.println(s);
    }
}

这段代码没有特定的用途，只是为了演示finalforeach-loop变量的用法

这是怎么回事？一个变量怎么可能是final而每个循环都给它分配了不同的值。或者该变量在不同的作用域\堆栈中多次声明