Java final raktažodis

Trys pagrindinės naudojimo vietos

1. final kintamasis priskiriamas vieną kartą

Veikiantis pavyzdys

final int MINIMALUS_AMZIUS = 18;

System.out.println(MINIMALUS_AMZIUS);

1. Kintamajam MINIMALUS_AMZIUS pirmą kartą priskiriame 18.
2. Šią reikšmę galima skaityti ir naudoti skaičiavimuose.
3. final nereiškia, kad reikšmė privalo būti žinoma kompiliavimo metu – svarbu, kad ji būtų priskirta tik kartą.

Nesikompiliuojantis pavyzdys

final int MINIMALUS_AMZIUS = 18;

MINIMALUS_AMZIUS = 21; // Klaida: antras priskyrimas neleidžiamas

Reikšmę galima suteikti konstruktoriuje

Klasės final lauką galima deklaruoti be reikšmės ir priskirti jį kiekviename konstruktoriuje. Tai vadinama tuščiuoju final lauku (angl. blank final field).

class Uzsakymas {
    final int numeris;
    String pirkejas;

    Uzsakymas(int numeris, String pirkejas) {
        this.numeris = numeris;
        this.pirkejas = pirkejas;
    }
}

Uzsakymas uzsakymas = new Uzsakymas(1042, "Ieva");
System.out.println(uzsakymas.numeris);
System.out.println(uzsakymas.pirkejas);

Kiekvienas Uzsakymas objektas gali turėti kitą numerį, tačiau jau sukurto objekto numerio perrašyti nebegalima.

class Uzsakymas {
    final int numeris;

    Uzsakymas() {
        // Klaida: numeris liko be reikšmės
    }
}

final nuoroda nereiškia nekintamo objekto

Veikiantis pavyzdys: keičiamas objekto turinys

final StringBuilder tekstas = new StringBuilder("Pirkinių sąrašas");

tekstas.append(": duona, pienas");
System.out.println(tekstas);

1. final užrakina nuorodą tekstas prie vieno StringBuilder objekto.
2. Pats StringBuilder yra keičiamas, todėl jo turinį galima papildyti su append().

Nesikompiliuojantis pavyzdys: nuoroda nukreipiama kitur

final StringBuilder tekstas = new StringBuilder("Pirkinių sąrašas");

tekstas = new StringBuilder("Kitas sąrašas"); // Klaida: antras priskyrimas

Plačiau apie keičiamus ir nekeičiamus objektus

static final – bendra klasės konstanta

class Laikas {
    static final int MINUCIU_PER_VALANDA = 60;
    static final int SEKUNDZIU_PER_MINUTE;

    static {
        SEKUNDZIU_PER_MINUTE = 60;
    }
}

int sekundziu = 2
    * Laikas.MINUCIU_PER_VALANDA
    * Laikas.SEKUNDZIU_PER_MINUTE;

System.out.println(sekundziu);

1. static reiškia, kad visa klasė turi vieną bendrą reikšmę.
2. final neleidžia jos priskirti antrą kartą.
3. Reikšmę galima suteikti iš karto arba statiniame inicializavimo bloke.
4. Konstantų vardai įprastai rašomi UPPER_SNAKE_CASE stiliumi.

Plačiau apie Java konstantas

final metodų parametrai ir vietiniai kintamieji

Veikiantis pavyzdys

class Pasisveikinimas {
    static String sukurti(final String vardas) {
        return "Labas, " + vardas + "!";
    }
}

System.out.println(Pasisveikinimas.sukurti("Rūta"));

final parametrui metodo viduje negalima priskirti kitos reikšmės. Tai gali parodyti ketinimą parametro nekeisti, tačiau objekto parametro vidinė būsena ir toliau gali būti keičiama, jei jo klasė tai leidžia.

Nesikompiliuojantis pavyzdys

class Pasisveikinimas {
    static String sukurti(final String vardas) {
        vardas = "Kitas vardas"; // Klaida: final parametro keisti negalima
        return "Labas, " + vardas + "!";
    }
}

2. final metodo negalima perrašyti

class Mokestis {
    final double galutineKaina(double kaina) {
        return kaina * 1.21;
    }
}

class SpecialusMokestis extends Mokestis {
    double galutineKaina(double kaina) { // Klaida: final metodo perrašyti negalima
        return kaina;
    }
}

final metodas naudojamas tada, kai poklasiai neturi teisės pakeisti svarbios taisyklės ar algoritmo. Tačiau jie vis tiek paveldi metodą ir gali jį iškviesti:

class Mokestis {
    final double galutineKaina(double kaina) {
        return kaina * 1.21;
    }
}

class PvmMokestis extends Mokestis {
    void rodyti(double kaina) {
        System.out.println(galutineKaina(kaina));
    }
}

PvmMokestis mokestis = new PvmMokestis();
mokestis.rodyti(100);

Plačiau apie Java metodų perrašymą

3. final klasės negalima paveldėti

final class AsmensKodas {
    private final String reiksme;

    AsmensKodas(String reiksme) {
        this.reiksme = reiksme;
    }

    String gauti() {
        return reiksme;
    }
}

class SpecialusKodas extends AsmensKodas { // Klaida: final klasės paveldėti negalima
    SpecialusKodas(String reiksme) {
        super(reiksme);
    }
}

final klasė užbaigia paveldėjimo grandinę. Tai naudinga, kai klasės elgesio negalima saugiai pakeisti per poklasį arba kai jos nekintamumo taisyklės priklauso nuo visiškai kontroliuojamos struktūros.

Ko final negarantuoja?

• final nuoroda negarantuoja, kad objektas yra nekintamas.
• final klasė savaime negarantuoja nekintamumo – jos laukai vis tiek gali būti keičiami.
• final nepadaro kodo automatiškai saugaus kelioms gijoms.
• final nėra prieigos modifikatorius ir nesprendžia, kas gali narį matyti.
• final ir finally yra skirtingi Java raktažodžiai, atliekantys skirtingas užduotis.

Kada verta naudoti?

Ką verta prisiminti?

• final kintamajam leidžia tik vieną priskyrimą.
• Tuščias final laukas turi būti inicializuotas kiekviename konstruktoriuje.
• final nuoroda negali rodyti į kitą objektą, bet pats objektas gali likti keičiamas.
• final metodo negalima perrašyti, tačiau galima paveldėti ir iškviesti.
• final klasės negalima paveldėti.
• static final dažniausiai naudojamas bendroms klasės konstantoms.