4

Давайте представим, что есть некий метод, который принимает скажем 3 параметра.

public void something(final String id, final String name, final Entity entity){
    //...
}

В данном случае все параметры помечены как final. Т.е. я точно знаю, что не буду их изменять, а только буду пользоваться их значениями. Какие + и - описанного выше. Стоит ли писать слово 'final' в параметрах метода? Имеет ли это какой-либо смысл в плане оптимизации?

13
  • 1
    да, стоит и да, имеет смысл в любом случае. Минусов нет, кроме очевидного - невозможность изменить значение. Кроме того, в анонимный класс можно передать только final-значения, если вдруг такое потребуется.
    – pavlofff
    17 дек 2017 в 9:51
  • @pavlofff , пардон, какая оптимизация здесь есть ? 17 дек 2017 в 9:58
  • @aleshka-batman Компилятор, зная, что имеет дело с константами, может оптимизировать свою работу например, но в основном это относится к безопасности кода
    – pavlofff
    17 дек 2017 в 10:00
  • @pavlofff а можно поподробнее? Желательно со ссылками на соответствующие разделы документации и/или кода HotSpot. А то я пару лет назад пытался выяснить по поводу оптимизаций для финальных аргументов и ничего найти не смог. 17 дек 2017 в 10:11
  • @SergeyGornostaev Это предположение, а не утверждение. Я не настолько силен в Java или имею настолько много свободного времени, чтобы погружаться в такие тонкости :)
    – pavlofff
    17 дек 2017 в 13:12

1 ответ 1

7

Вот такой класс

public class Final {
    private final String second;
    private String first;

    public Final(String first, final String second) {
        this.first = first;
        this.second = second;
    }
}

Компилируется в вот такой байткод

// class version 52.0 (52)
// access flags 0x21
public class Final {

  // compiled from: Final.java

  // access flags 0x12
  private final Ljava/lang/String; second

  // access flags 0x2
  private Ljava/lang/String; first

  // access flags 0x1
  public <init>(Ljava/lang/String;Ljava/lang/String;)V
   L0
    LINENUMBER 5 L0
    ALOAD 0
    INVOKESPECIAL java/lang/Object.<init> ()V
   L1
    LINENUMBER 6 L1
    ALOAD 0
    ALOAD 1
    PUTFIELD Final.first : Ljava/lang/String;
   L2
    LINENUMBER 7 L2
    ALOAD 0
    ALOAD 2
    PUTFIELD Final.second : Ljava/lang/String;
   L3
    LINENUMBER 8 L3
    RETURN
   L4
    LOCALVARIABLE this LFinal; L0 L4 0
    LOCALVARIABLE first Ljava/lang/String; L0 L4 1
    LOCALVARIABLE second Ljava/lang/String; L0 L4 2
    MAXSTACK = 2
    MAXLOCALS = 3
}

Как видно, в сгенерированном байткоде, у final String second исчез модификатор final - Ljava/lang/String;

Т.е. в случае использования final как параметра метода или конструктора, ограничения накладываются только на этап компиляции (т.е. компилятор выдаст ошибку, если вы будете изменять значение final переменной), а в байткоде эти модификаторы будут банально отброшены, так как особого смысла в них уже не будет.

3
  • а с другими типами что, так же? стринг по умолчанию - final, даже если явно не указывать
    – pavlofff
    17 дек 2017 в 11:02
  • @pavlofff в принципе можете и сами проверить, но да - так же.
    – rjhdby
    17 дек 2017 в 11:14
  • 3
    @pavlofff String не final, он immutable, это разные вещи.
    – user224616
    17 дек 2017 в 14:14

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.