3

Я понимаю смысл использования «финальных» полей для констант. Иногда я встречаю, что программисты используют ключевое слово final на обычных полях (не константах). Вот пример с книги «Spring в действии»:

@Controller
@RequestMapping("/design")
@SessionAttributes("order")
public class DesignTacoController {
    private final IngredientRepository ingredientRepo;

    @Autowired
    public DesignTacoController(IngredientRepository ingredientRepo) {
    this.ingredientRepo = ingredientRepo;
    }

    @GetMapping
    public String showDesignForm(Model model) {
        List<Ingredient> ingredients = new ArrayList<>();
        ingredientRepo.findAll().forEach(i -> ingredients.add(i));
        Type[] types = Ingredient.Type.values();
        for (Type type : types) {
            model.addAttribute(type.toString().toLowerCase(),
            filterByType(ingredients, type));
        }
        return "design";
    }
 ...
}

Почему поле |ingredientRepo| с ключевым словом final, ведь это не константа?

Из этого всего мне постигли вопросы про использование final на полях класса:

В каких случаях нужно помечать финальными обычные поля класса? Какое преимущество мы получим?

5
  • почему вы считаете , что это не константа? 19 авг 2021 в 8:22
  • используйте final там, где в нормальных языках используется const. Вот и вся наука
    – KoVadim
    19 авг 2021 в 9:44
  • @Дмитрий почему вы считаете , что это не константа? --- думаю автора смущает то, что он может в таком случае сделать вот так this.ingredientRepo = ingredientRepo;. Но это лишь я предполагаю 19 авг 2021 в 10:52
  • это не влияет на ситуацию потому, что это происходит в конструкторе. данное поле не является статическим, следовательно, инициализируется только тогда, когда инициализируется объект, а объект инициализируется с помощью конструктора. поэтому и единственный возможный вариант инициализации данной переменной - инициализация через конструктор, второй раз присвоить ей значение уже не получится 19 авг 2021 в 13:55
  • @Дмитрий Не константа, потому что значение переменной не статическое и не является примитивным типом.
    – Roman C
    20 авг 2021 в 11:27

4 ответа 4

2

Если Вы хотите, чтобы никто не изменил поле, используйте final. Нельзя изменить только ссылку на объект, но свойства объекта могут быть изменены.

Если поле объявлено как final, то оно должно быть инициализировано при объявлении или в конструкторе.

Если кто-то попытается изменить значение final поля, то получит ошибку компилятора "cannot assign a value to final variable.."

3
  • Этого в общем касается всех финальных переменных, в этом вопросе речь идёт о переменных экземпляра класса.
    – Roman C
    20 авг 2021 в 11:14
  • 1
    Думаю, что при объяснении нужно делать акцент на то, что не изменяется только ссылка на объект в финальном поле. Сам объект может изменятся 21 авг 2021 в 11:45
  • @АндрейКолычев хорошее замечание!
    – forlift
    23 авг 2021 в 11:01
0

Конкретно в Spring (в связке с Lombok) часто используется final для полей класса, которые нужно заинжектить.

То есть поле помечается модификаторами private final, а над классом ставится аннотация @RequiredArgsConstructor. В этом случае финализированные поля - обязательное требование! Без этого бины не будут автоматически инжектиться.

Подробнее про эту конструкцию:

Lombok и аннотация @Autowired

1
  • Ломбок не обязательно использовать.
    – Roman C
    19 авг 2021 в 17:00
-1

В случаях, когда требуется их инициализировать один раз при создании объекта класса. Причем значение можно присвоить только один раз.

После того, как объект создан, значение изменить нельзя, то есть в методах можно только читать это значение.

Если все переменные класса финальные, то он становится немутируемым и не должен содержать сеттеров.

Вот что можно добавить:

Когда переменная объявляется с ключевым словом final, ее значение не может быть изменено. Это также означает, что вы должны инициализировать эту переменную, иначе компилятор выдаст ошибку во время компиляции.

Финальная переменная может быть инициализирована только один раз, либо с помощью инлайн инициализатора, либо с помощью оператора присваивания.

Есть три способа инициализировать финальную переменную:

  1. Вы можете инициализировать финальную переменную при ее объявлении. Этот подход является наиболее распространенным.

Конечная переменная называется пустой финальной переменной, если она не инициализирована при объявлении.

Пустая конечная переменная может быть инициализирована:

  1. внутри блока инициализатора экземпляра;

  2. внутри конструктора.

Если в классе более одного конструктора, тогда она должна быть инициализирован во всех из них, иначе будет выдана ошибка во время компиляции.

Пустая финальная статическая переменная может быть инициализирована внутри статического блока.

0
-1

Есть несколько причин использовать final для полей класса, которые не являются константами.

  1. Зная, что это поле не меняется никогда, компилятор может сгенерировать более оптимальный код.
  2. Это служит документацией для тех, кто будет читать ваш код.
  3. Поле final используется для безопасной публикации изменений в многопоточном окружении. Спецификация языка java (если более точно то java memory model) гарантирует, что final поле включая все другие поля доступные через final поле можно безопасно читать в других потоках не используя явной синхронизации. Безопасно в данном случае означает видеть полностью сконструированный и проинициализированный объект, не подверженный проблемам возникающих из-за переупорядочивания операций записи и чтения. Об этом чуть ниже подробней.

По последнему пункту, думаю, нужны пояснения.

Вот что говорит по этому поводу спецификация языка java:

final fields also allow programmers to implement thread-safe immutable objects without synchronization. A thread-safe immutable object is seen as immutable by all threads, even if a data race is used to pass references to the immutable object between threads. This can provide safety guarantees against misuse of an immutable class by incorrect or malicious code. final fields must be used correctly to provide a guarantee of immutability.

An object is considered to be completely initialized when its constructor finishes. A thread that can only see a reference to an object after that object has been completely initialized is guaranteed to see the correctly initialized values for that object's final fields.

И пример из той же спецификации:

class FinalFieldExample { 
    final int x;
    int y; 
    static FinalFieldExample f;

    public FinalFieldExample() {
        x = 3; 
        y = 4; 
    } 

    static void writer() {
        f = new FinalFieldExample();
    } 

    static void reader() {
        if (f != null) {
            int i = f.x;  // гарантированно увидит 3  
            int j = f.y;  // может увидеть 0
        } 
    } 
}

И комментарий к нему (перевод мой):

В классе FinalFieldExample есть final поле типа int поле x и не-final поле типа int y. Один поток исполняем метод writer, а другой исполняет метод reader.

Так как метод writer записывает в f после того, как конструктор объекта закончил выполнения, гарантируется что метод reader увидит правильно инициализированное значение f.x: будет прочитано значение 3. Поле f.y не final, так что нет гарантии, что метод reader увидит значение 4 присвоенное ему.

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

6
  • ... то другой поток, который не вызывал конструктор и использует getMap ... Я не очень понял эту часть. Как без экземпляра объекта вызвать метод, если он не статичный. Для этого в первую очередь нужно вызвать конструктор. 19 авг 2021 в 10:13
  • Конечно, речь идет о том, что экземпляр сконструированного объекта передали в другой поток каким угодно образом. 19 авг 2021 в 10:16
  • ничего общего не имеет с потоками
    – Roman C
    20 авг 2021 в 11:21
  • @RomanC с удовольствием выслушаю аргументацию к столь категоричному высказыванию. Особенно интересует комментарий к этой части спецификации docs.oracle.com/javase/specs/jls/se8/html/… 20 авг 2021 в 11:23
  • неудачный пример, не имеет отношения к вопросу.
    – Roman C
    20 авг 2021 в 15:49

Ваш ответ

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

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