invariantes

Se dice de las variables que se declaran “final”.

Pueden haber campos invariantes. Se caracterizan porque hay que darles un valor inicial durante la construcción del objeto, bien en la misma línea de declaración, bien en el constructor. Una vez asignado un valor, este no puede cambiarse nunca jamás.

public class Circulo {

  private final double radio;

 

  public Circulo (double radio) {

    this.radio = radio;          // queda fijo para siempre

  }

}     

 

También pueden ser 'final' variables locales o parámetros cuyo valor no se puede modificar tras la asignación inicial.

    public int getFilaLibre(final int columna) {

        for (int fila = FILAS - 1; fila >= 0; fila--) {

            if (array[columna][fila] == null) {

                return fila;

            }

        }

        return -1;

    }

 

    public Ficha getFicha(Posicion posicion) {

        final int columna = posicion.getColumna();

        final int fila = posicion.getFila();

        return array[columna][fila];

    }      

 

Ver “Constantes”.

Temas relacionados

175. Variables [variables] (concepto)