Методы: Как их писать

Словарь

English	Значение
accessor/əkˈsesə/	Доступ к данным (аксессор)
mutator/mjuːˈteɪtə/	Изменение данных (мутатор)

Отклонённое обновление сохраняет предыдущее состояние

Счёт начинается со 20. Метод setScore(s) присваивает значение только при s >= 0; вызов setScore(-5) оставляет счёт на уровне 20.
Охранитель (guard) предотвращает некорректное обновление. Последующий вызов getScore() вернёт существующее состояние, а не отклонённый аргумент.

Написание метода

Метод состоит из заголовка и тела. Заголовок: public void addScore(int s) — модификатор доступа, тип возвращаемого значения, имя, параметры.
Тело: инструкции в { }, выполняющие работу. Метод может читать и изменять переменные экземпляра объекта.

Возвращаемые значения

Тип возвращаемого значения метода указывает, что он возвращает; используйте return value; для его передачи. public int getScore() { return score; } возвращает текущий счёт.
void метод возвращает ничего — он просто выполняет свою задачу (например, вывод). Возвращаемое значение должно быть совместимо с назначением типа; например, значение int может быть расширено и возвращено методом double.

Практика

Метод public double result() { return 3; } может скомпилироваться, хотя 3 — это целочисленный литерал.

Сложность 1/5 · 100 монет + небольшой бонус за первое выполнение сегодня

Геттеры и сеттеры

Доступник (getter) возвращает информацию, не изменяя объект: getScore(). Изменитель (setter) изменяет состояние объекта: addScore(s) или setName(n).
Геттеры обычно возвращают int/String; сеттеры обычно void. Вместе они формируют публичный интерфейс объекта над его приватными данными.

Исследовать

Геттер возвращает значение

Начиная со значения score 20, вызов setScore(-5) отклоняет обновление; getScore возвращает 20.

Практика

Метод, который возвращает информацию, не изменяя объект, это...

Сложность 1/5 · 100 монет + небольшой бонус за первое выполнение сегодня

геттер (accessor)
сеттер (mutator)
конструктор
приведение типа (cast)

Практика

Метод void...

Сложность 1/5 · 100 монет + небольшой бонус за первое выполнение сегодня

ничего не возвращает
должен возвращать int
не может изменять состояние
не имеет имени

Практика

A non-void method may reach its closing brace and complete normally without returning a value.

Сложность 1/5 · 100 монет + небольшой бонус за первое выполнение сегодня

Практика

Какой метод может валидировать входные данные до изменения состояния?

Сложность 1/5 · 100 монет + небольшой бонус за первое выполнение сегодня

сеттер вроде setScore(int s)
геттер
ни один метод не может
только конструктор

Практика

Написание return-значения внутри метода void компилируется корректно.

Сложность 1/5 · 100 монет + небольшой бонус за первое выполнение сегодня

Методы могут выполнять проверку

Поскольку внешний код проходит через методы, метод может проверить данные перед действием. public void setScore(int s) { if (s >= 0) score = s; } отвергает отрицательный счёт.
Приватный доступ препятствует прямому присвоению поля стороннему коду. Конструкторы и все методы класса, записывающие это поле, должны соблюдать установленное правило; охраняемый сеттер не может исправить невалидное начальное значение самостоятельно.

Watch out

Нестатический void-метод должен возвращать совместимое значение на каждом пути нормального завершения. Путь может вместо этого выбросить исключение. Если int-метод достигает конца без возврата, компиляция завершается ошибкой. Сигнатура void не возвращает значений, поэтому там корректно использовать return; (или отсутствие оператора return); запись return value; в метод с сигнатурой void не скомпилируется.

Практика

For the stated guarded setter, what does getScore() return after setScore(-5)?

Сложность 2/5 · 140 монет + небольшой бонус за первое выполнение сегодня

Практика

Начиная со значения score 20, вызов replaceScore(30) сохраняет старое значение score, присваивает 30, а затем возвращает старое значение score. Какое значение вернет этот вызов?

Сложность 2/5 · 140 монет + небольшой бонус за первое выполнение сегодня

Example

Геттер и сеттер:

Геттер: public int getScore() { return score; } — читает, возвращает int.
Сеттер: public void addScore(int s) { score += s; } — изменяет состояние, ничего не возвращает.
student.addScore(10); int now = student.getScore();

Перенесите рассуждения на новый случай

Рассмотрите public int replaceScore(int s) { int old = score; score = s; return old; }. Это мутатор, хотя он возвращает значение: начиная со значения 20, вызов replaceScore(30) возвращает 20 и оставляет счет равным 30.
Оценивайте поведение, а не имена или типы возвращаемых значений. Метод под именем getScore, который увеличивает счёт, не является чистым геттером, а метод void, который лишь выводит сообщение, не обязан изменять объект.

Key idea

Метод имеет заголовок (модификатор доступа, тип возврата, имя, параметры) и тело. Не void-метод должен return значение, совместимое с назначением, на каждом пути, завершающемся нормально; void-метод ничего не возвращает. Аксессоры (геттеры) возвращают состояние без изменения его; мутаторы (сеттеры) изменяют состояние и могут проверять новое значение.