为什么String类具有复制构造函数？

Question

如果不可变的类对象副本将与原始副本相等，那么为什么StringJava 中的类具有副本构造函数？这是一个错误还是背后有原因？在Java文档中，指定了：

/**
 * Initializes a newly created {@code String} object so that it represents
 * the same sequence of characters as the argument; in other words, the
 * newly created string is a copy of the argument string. Unless an
 * explicit copy of {@code original} is needed, use of this constructor is
 * unnecessary since Strings are immutable.
 *
 * @param  original
 *         A {@code String}
 */
 public String(String original) {
 ....
 ....}

Answer 1

复制字符串的主要原因是为了 “修剪行李” ，即仅将底层char数组修剪为必需的字符。

基本的char数组可能太大，因为通过调用创建字符串时substring，char数组可以在新的字符串实例和源字符串实例之间共享；偏移量指向第一个字符，并且包括长度。

我使用的表达式 “修剪行李” 取自String复制构造函数的源代码：

  164       public String(String original) {
  165           int size = original.count;
  166           char[] originalValue = original.value;
  167           char[] v;
  168           if (originalValue.length > size) {
  169               // The array representing the String is bigger than the new
  170               // String itself.  Perhaps this constructor is being called
  171               // in order to trim the baggage, so make a copy of the array.
  172               int off = original.offset;
  173               v = Arrays.copyOfRange(originalValue, off, off+size);
  174           } else {
  175               // The array representing the String is the same
  176               // size as the String, so no point in making a copy.
  177               v = originalValue;
  178           }
  179           this.offset = 0;
  180           this.count = size;
  181           this.value = v;

这是许多开发人员忘记的事情，并且很重要，因为较小的字符串可能会阻止对较大的char数组进行破坏。看到这个相关的问题，实际上，许多开发人员认为Java设计师决定使用C编码人员熟悉的旧优化技巧，实际上弊大于利。我们中的很多人都知道它，因为我们被它咬了，不得不去研究Sun的源代码以了解发生了什么…

正如Marko指出的（请参阅下面的注释），从Java 7 Update
6开始，在OpenJDK中，substring不再共享char数组String(String)，因此构造函数是无用的。但是它仍然很快（实际上甚至更快），并且由于此更改尚未传播到所有VM（可能不是所有客户），因此我建议new String(substring)在旧行为证明其正确性时保留使用最佳做法。