为什么 String 类是final的？

Question

可能的重复：
为什么 Java 中的 String 是final的？

在我的编程生涯中，有很多时刻我希望 String 类不是final/sealed/NotInheritable。

语言架构师试图阻止我做什么，这会给工作带来麻烦。

相反，语言架构师希望通过限制我扩展 String 类来阻止我投入工作，到底是什么？

您能列出可扩展字符串类的优缺点吗？

Answer 1

String 是一个不可变类，这意味着您在创建它后无法修改其状态。如果您可以在字符串进入另一个库或地图（例如地图）后对其进行修改，则结果将是不可预测的。

Java API 的一个错误是 BigInteger 和 BigDecimal 不是最终的，这意味着当从不可信代码接收这些对象时，您需要执行这些对象的防御性副本。相反，您始终可以相信 String 将保持一致。

不可信的 BigInteger：

public class DestructiveBigInteger extends BigInteger {

    public DestructiveBigInteger(String value) {
        super(value);
    }

    public BigInteger add(BigInteger val) {
        return BigInteger.ONE; // add() method does not behave correctly
    }

    public BigInteger subtract(BigInteger val) {
        throw new UnsupportedOperationException("subtract is broken");
    }
}

对于 String 来说，同样的事情是不可能的。正如 Effective Java 中所述，您需要为这些类型的对象制作防御性副本：

public void setValue(BigInteger value) {
    this.value = new BigInteger(value.toByteArray());
}

Answer 2

字符串是最终的，因为它代表不可变的数据类型。天真地扩展 String 会导致多种可怕的情况，因为有很多库依赖于 String 对象的不变性。

扩展 String 使其可变对于 Sting 通过的任何代码都是不可见的，但会产生非常令人惊讶和讨厌的副作用，例如突然无法从 HashMap 加载值，即使您确实拥有自 hashCode 以来的键的 String就会被劫持。