Java 最终修饰符

Question

有人告诉我，我误解了 final 的影响. final有什么作用关键词？

这是我的想法的简短概述，我知道:

Java final modifier (aka aggregation relation)

primitive variables: can be set only once. (memory and performance gain)
objects variables: may be modified, final applies to object reference.
fields: can be set only once.
methods: can't be overridden, hidden.
classes: can't be extended.
garbage collection: will force Java generational garbage collection mark-sweep to double sweep.

jar 头和 jar 头

可以使克隆失败(这有好有坏)

可以制作不可变的原语，又名 const

可以使空白不可变 - 在创建时初始化又名只读

可以使对象浅不可变

可以使范围/可见性不可变

可以让方法调用开销更小(因为不需要虚表)

可以将方法参数用作 final(即使你不是)

可以使对象线程安全(如果对象定义为 final，则不会使方法参数成为 final)

可以进行模拟测试(不是说你可以做任何事情 - 你可以说是有缺陷的)

不能交 friend (与其他 friend 可变，休息不可变)

不能使以后更改为不可变的可变(但可以使用工厂模式如修复)

不能使数组元素不可变，也就是深度不可变

无法创建对象的新实例(这既好又坏)

无法使序列化工作

没有替代品 final ，但有包装器 + 私有(private)和枚举。

Answer 1

依次回答你的每一点:

primitive variables: can be set only once. (memory and performance gain)

是的，但没有内存增益，也没有性能增益。 (您假设的性能提升来自仅设置一次......而不是来自 final 。)

objects variables: may be modified, final applies to object reference.

是的。 (但是，这个描述忽略了这一点，即这与 Java 语言的其余部分处理对象/引用二元性的方式完全一致。例如，当对象作为参数传递并作为结果返回时。)

fields: can be set only once.

真正的答案是:与变量相同。

methods: can't be overridden, hidden.

是的。但还要注意，这里发生的事情是 final关键字在不同的句法上下文中用于表示与 final 不同的含义对于字段/变量。

classes: can't be extended.

是的。但也请参见上面的注释。

garbage collection: will force Java generational garbage collection mark-sweep to double sweep.

这是无稽之谈。 final关键字与垃圾收集没有任何关系。您可能会感到困惑 final最终确定......它们是无关的。

但即使是终结器也不会强制进行额外的扫描。发生的情况是需要终结的对象被设置在一侧，直到主 GC 完成。 GC 然后在对象上运行 finalize 方法并设置它的标志......并继续。下次 GC 运行时，该对象将被视为普通对象:

如果可访问，则标记并复制

如果无法访问，则不会对其进行标记。

(您的表征-“Java 分代垃圾收集标记-清除”是乱码。垃圾收集器可以是“标记-扫描”或“分代”(“复制”的子类)。不能两者兼而有之。Java 通常使用分代收集，并且仅在紧急情况下回退到标记清除；即当空间不足或低暂停收集器无法跟上时。)

Can make clone fail (this is both good and bad)

我不这么认为。

Can make immutable primitives aka const

是的。

Can make blank immutable - initialized at creation aka readonly

是的......虽然我以前从未听说过“空白不可变”这个词。

Can make objects shallowly immutable

对象可变性是关于可观察状态是否可能改变。因此，声明属性 final可能会也可能不会使对象表现为不可变的。此外，“浅不可变”的概念没有得到很好的定义，尤其是因为如果没有对类语义的深入了解，就无法映射“浅”的概念。

(需要明确的是，变量/字段的可变性在 JLS 的上下文中是一个定义明确的概念。从 JLS 的角度来看，它只是 undefined object 可变性的概念。)

Can make scope / visibility immutable

术语错误。可变性与对象状态有关。可见性和范围不是。

Can make method invocation overhead smaller (because it does not need virtual table)

在实践中，这无关紧要。如果非 final方法没有被应用程序实际使用的任何类覆盖，现代 JIT 编译器也会对非 final方法进行这种优化。 (聪明的事情发生了......)

Can make method arguments used as final (even if thy are not)

嗯？我无法解析这句话。

Can make objects threadsafe

在某些情况下是的。

(if object is defined as final, it wont make method arguments final)

是的，如果您的意思是类(class)是否是最终的。对象不是最终的。

Can make mock tests (not that you could do anything about it - you can say bugs are intended)

不会解析。

Can't make friends (mutable with other friends and immutable for rest)

Java 没有“ friend ”。

Can't make mutable that is changed to be immutable later (but can with factory pattern like fix)

是的，第一个 final字段不能从可变切换到不可变。

不清楚你说的第二部分是什么意思。确实可以使用工厂(或构建器)模式来构造不可变对象(immutable对象)。但是，如果您使用 final对于对象字段，对象在任何时候都不会是可变的。

或者，您可以实现使用非最终字段来表示不可变状态的不可变对象(immutable对象)，并且您可以设计 API，以便您可以“翻转开关”使以前的可变对象从现在开始不可变。但是如果你采用这种方法，你需要更加小心同步......如果你的对象需要是线程安全的。

Can't make array elements immutable aka deeply immutable

是的，但是您的术语已损坏；请参阅上面关于“浅可变性”的评论。

Can't make new instances of object (this is both good and bad)

不会。没有什么能阻止您使用 final 字段或 final 类或 final 方法创建对象的新实例。

Can't make serialization work

不。序列化有效。 (当然，使用自定义 final 方法对 readObject 字段进行反序列化存在问题……尽管您可以使用反射技巧来解决这些问题。)

There are no alternatives to final,

正确的。

but there is wrapper + private

是的，模(严格来说)非最终字段的非同步 getter 可能是非线程安全的......即使它在对象构造期间被初始化，然后永远不会改变!

and enums.

解决一个不同的问题。和 enums可以是可变的。