Почему этот класс считается изменяемым?

Он изменчив, потому что вы можете изменить содержимое values с помощью метода, который вы указали.

A obj = new A(...) // values gets filled here
int[] leak = obj.getValues()
leak[0] = 42

Это будет означать, что ваше свойство values теперь содержит информацию, которая была изменена извне. Чтобы сделать его неизменяемым, вы должны вернуть копию массива, чтобы вы были уверены, что никакой внешний агент не может его изменить, и вы должны сделать его окончательным, чтобы не могли быть созданы подклассы, которые могут раскрыть состояние и снова сделать его изменяемым. :

public final class A {
  private int[] values;

  public int[] getValues() {
    return Arrays.copyOf(values);
  }
}

На самом деле он не изменяется через массив values, как указано в других ответах: этот массив null, так как он никогда не инициализируется, и вы не можете сделать его ненулевым с помощью результата геттера.

Он изменчив, потому что вы можете создать подкласс и добавить изменяемое состояние:

class AA extends A {
  String foo;
}

AA aa = new AA();
aa.foo = "foo";
A a = aa;
aa.foo = "bar";  // Mutates the state of a.

Обратите внимание, что существует "Стратегия определения неизменяемых объектов" в руководстве по Oracle Java, а также список обязательных свойств неизменяемых объектов в Effective Java 2nd Ed, пункт 15: "Минимизируйте изменчивость".

values, будучи массивом, является ссылочным типом. Вы можете узнать больше о ссылках здесь. Это означает, что когда getValues() возвращает values, он фактически возвращает указатель на него (который каждый раз разыменовывается, поскольку в Java нет явных указателей). Хотя саму ссылку нельзя переназначить, поскольку values является частной, ее содержимое можно изменить.

Таким образом, что-то вроде a.getValues()[0]++ будет увеличивать первый элемент values, если он не пуст.

Вы можете получить ссылку и изменить массив элементов:

 A.getValues()[0] = -100500

Вы можете использовать отражение для изменения поля значений или где-то еще (возможно, автор имеет в виду) или с наследованием, как показано ниже.

Например,

Неизменяемый класс:

import java.util.Arrays;

public final class A {
    private int[] values;

    public int[] getValues() {
        return values;
    }
}

Неизменяемый объект:

import java.util.Arrays;

public class A {
    private final int[] values;

    public A(int[] values) {
        this.values = null == values ? null : Arrays.copyOf(values);
    }

    public int[] getValues() {
        return Arrays.copyOf(values);
    }
}

Неизменный класс и объект:

import java.util.Arrays;

public final class A {
    private final int[] values;

    public A(int[] values) {
        this.values = null == values ? null : Arrays.copyOf(values);
    }

    public int[] getValues() {
        return Arrays.copyOf(values);
    }
}