Java 中，一个 final 的 List 变量，被往里加了元素，算不算违反了 final 这个关键词在这里暗示的约定？

你说的对,final 和浅拷贝一样,都只管变量引用本身,不管更深层次的变量持有数据,纯粹从语义上看是效果是不对的

不过,毕竟编程语言是需要和性能妥协的,深层次不可变约束会引入更多性能成本,也许未来的编程语言能支持上

我还以为楼主在纠结 final 的自然语义，结果发现他被程序语义说服了……

final int a = 0; //值赋值
final AtomInteger a = new AtomInteger(0); //引用对象(也就是指针）赋值
final 修饰符是用来标识变量赋值后不能进行重复赋值
final int a 只能赋值一次。
而 final AtomInteger a 也是赋值一次（指针赋值）

final 是对 对象地址的限定。
final int a = 0 ，a 变为 1 是不可接受的。并非是值的变化不可接受，而是 a 对象地址不能变，如果 值 0 所在的地址可以变更为 值 1 ，那么 a 的值也可以从 0 变 1 。

看了大家的解释，感觉跟 ES 语法的 const 一个意思。

折腾一下 C 指针就明白了

@Newyorkcity 不是，到底是谁和你说 java 没有引用的。。。

cpp 为了区分这种区别有 logical 和 physical 的 const ，physical const 是指值本身的不变性，而 logical const 指从引用 /指针的视角看指向的对象时的不变性（尽管这个对象可能并不是 physical const ）。
java 对引用类型变量的 final 声明更类似 cpp 中的 physical const （指针本身的不变性，T* const ），而不是 logical const （指针指向对象从指针视角看的不变性，const T*），只是 final 对值类型的变量有特殊的逻辑（ const T ）

其实就是设计缺陷吧，例如 Rust 就增加了 mut 关键字来专门标识是否允许修改

Collections.unmodifiableList(list)
List.of(list.toArray(new String[]{}))

这个我记得属于 JVM 的范畴，可以看看相关书籍技能

完全不一样的 final 修饰的是 内存引用不能改变。 你 add 没有改变内存指向。

List 集合 -->火车见过吧，就比作火车好了
final List --> D3062 次列车就是这个编号 xxx 的车，不能用别的车
每天坐的人不一样能说 火车变了吗，火车还是那个火车。
其实就是一个概念的问题，你认为 一个 List 就应该是 List + 它的元素 ，但很明显 Java 设计的就是 List 只是容器，你说的这层 “final” 只能你自己去实现。

了解概念区别就行了，再探究下去感觉没啥意义。

你说的叫 immutable 吧

贴个链接
https://docs.oracle.com/javase/9/core/creating-immutable-lists-sets-and-maps.htm

一个杯子 装了水，你倒了，换成了可乐，你能说这个杯子的物理性质发生了变化吗