Вызывает ли автоупаковка valueOf()?

Сначала я подумал, что ваш вопрос был обманом Какой код генерирует компилятор для автобокс?

Однако после вашего комментария к @ElliottFrisch я понял, что все по-другому:

Я знаю, что компилятор ведет себя именно так. Я пытаюсь выяснить, гарантировано ли такое поведение.

Для других читателей предположим, что «ведет себя таким образом» означает использование valueOf.

Помните, что для Java существует несколько компиляторов. Чтобы быть «законными», они должны следовать контракту, указанному в JLS. Поэтому, пока все правила здесь соблюдаются, нет никакой гарантии того, как автобокс будет реализован внутри.

Но я не вижу причин не использовать valueOf, особенно потому, что он использует кэшированные значения и является рекомендуемым способом в соответствии с эта статья Джозефа Д. Дарси.

Пока это не упомянуто в спецификации языка, не гарантируется, что автоупаковка эквивалентна вызову статических valueOf методов. Это аспект реализации, а не часть спецификации преобразования упаковки. Теоретически реализация может свободно использовать другой механизм, если он соответствует правилу, которое вы упомянули из JLS.

На практике существует множество отчетов об ошибках Sun JDK (например, JDK-4990346 и JDK-6628737), которые явно подразумевают, что когда автоупаковка была введена в Java 5, намерение состояло в том, чтобы компилятор полагался на valueOf, как указано в JDK-6628737:

Статические фабричные методы Integer.valueOf(int), Long.valueOf(long) и т. д. были введены в JDK 5 для javac для реализации поведения кэширования, требуемого спецификацией автоупаковки.

Но это только для javac, не обязательно для всех компиляторов.

Автоупаковка абсолютно реализована с использованием valueOf() ... в OpenJDK. Если это ваша реализация, читайте дальше... если нет, перейдите ниже.

((Boolean)true) == Boolean.TRUE
((Boolean)true) == Boolean.valueOf(true)

В документации Java указано, что Boolean.valueOf() всегда возвращает Boolean.TRUE или Boolean.FALSE, поэтому ваши эталонные сравнения в этих случаях будут успешными.

((Integer)1) == Integer.valueOf(1)

Для этого конкретного примера в реализации OpenJDK с настройками по умолчанию он вероятно будет работать благодаря тому факту, что вы выбрали значение ‹ 128, которое кэшируется при запуске (хотя это можно переопределить как командную строку аргумент). Он может также работать для больших значений, если он используется достаточно часто, чтобы его можно было кэшировать. Если вы не работаете с «безопасными» предположениями о целочисленном кеше, не ожидайте, что сравнение ссылок будет равенством.

Long, Short, Character и Byte кстати тоже реализуют это кэширование, но в отличие от Integer оно не настраивается. Byte всегда будет работать, если вы сравниваете ссылки autobox/valueOf(), поскольку, очевидно, вы не можете выйти за пределы допустимого диапазона. Неудивительно, что Float и Double всегда будут создавать новый экземпляр.

Теперь, в чисто общих терминах? см. этот раздел JLS — вам ДОЛЖНЫ быть даны одинаковые ссылки для boolean и любых int или char в диапазоне от -128 до 127. Ни для чего другого нет гарантий.

В учебнике Oracle по автоупаковке прозаично указано, что li.add(i) компилируется в li.add(Integer.valueOf(i)), где i — целое число. Но я не знаю, следует ли считать учебник авторитетным источником.

Я использую Oracle Java 1.7.0_72, похоже, он использует valueOf. Ниже приведен некоторый код и байт-код для него. Байт-код показывает, что он использует valueOf.

public class AutoBoxing {

    /**
     * @param args the command line arguments
     */
    public static void main(String[] args) {
        Integer x = 5;
        int i = x;
        System.out.println(x.toString());
    }

}





Compiled from "AutoBoxing.java"
public class testing.AutoBoxing {
  public testing.AutoBoxing();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: iconst_5
       1: invokestatic  #2                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       4: astore_1
       5: aload_1
       6: invokevirtual #3                  // Method java/lang/Integer.intValue:()I
       9: istore_2
      10: getstatic     #4                  // Field java/lang/System.out:Ljava/io/PrintStream;
      13: aload_1
      14: invokevirtual #5                  // Method java/lang/Integer.toString:()Ljava/lang/String;
      17: invokevirtual #6                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      20: return

Но я не знаю, что использует Open JDK. Попробую.