Инкапсуляция - защита внутреннего состояния объекта

ОБЯЗАТЕЛЬНОДЛЯ НОВИЧКОВ

Разработчику Аналитику Тестировщику
Архитектору Инженеру

Инкапсуляция

Что такое инкапсуляция?

★ Инкапсуляция — объединение данных и методов, работающих с ними, в одном классе и управление доступом к внутреннему состоянию. Внешний код взаимодействует с объектом через публичный контракт (методы, свойства), а поля часто скрыты модификаторами доступа.

По классическому определению ООП инкапсуляция включает сокрытие, но не сводится к нему: в Smalltalk, Eiffel и OCaml различают "объединить данные и поведение" и "запретить прямой доступ к полям". В C++, Java и Ruby термины часто смешивают — в учебниках под инкапсуляцией имеют в виду и то, и другое.

Понятие	Смысл
Инкапсуляция	данные и операции живут в одной сущности (классе)
Сокрытие информации	`private` / `protected`, геттеры и сеттеры, пакетная видимость
Целостность	инварианты объекта (баланс ≥ 0) проверяются внутри класса

`protected` и открытый список друзей

В C++ и родственных языках защищённые (protected) члены доступны функциям-членам производных классов, но скрыты от остальной программы. Так базовый класс может отдать наследникам доступ к внутренней детали (например, Rectangle inside у window), не открывая её всему миру.

Важный нюанс модели ООП: для protected-члена нельзя заранее составить полный список всех функций, которым разрешён доступ — в любой момент может появиться новый производный класс с новым методом-наследником. Это гибко для расширяемых иерархий, но слабее для жёсткого контракта "ровно эти N функций видят поле". Стили абстракции данных в духе Modula-2 иногда требуют явно перечислить в описании типа, кому доступен член; в C++ для этого служат private и механизм friend (детали в C++).

Можно вынести класс в отдельный файл и обращаться к нему из другого модуля, сохраняя границу "внутри класса / снаружи".

Play ITЗагрузка интерактивного демо…

Классы могут быть как в одном файле, так и в разных файлах. Представим, что у нас есть два класса:

Класс1.cs (Класс1.java или Класс1.py - зависит от языка);
Класс2.cs.

В каждом классе находится свой класс. Например, вот так выглядит Класс1.cs:

Код ITЗагрузка примера кода…

Получается, класс содержит два поля и два метода.

Из второго файла, Класс2.cs, мы можем обращаться к элементам Класс1.cs, обращаясь по имени, словно по адресу. Чтобы обратиться к элементу (полю, методу и свойству) другого класса, мы используем точку (.) — это универсальный способ во всех языках.

Класс1 объект = new Класс1();
вывод(объект.публичноеПоле); // Обращение к полю
объект.публичныйМетод();     // Вызов метода

Здесь мы создаём экземпляр объекта (чтобы выделить память), обращаемся к полю и вызываем метод.

И вот так выглядит файл Класс2.cs:

Код ITЗагрузка примера кода…

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

Такой доступ определён модификатором.

КЛАСС Счёт
  приватное поле баланс := 0

  публичный метод Пополнить(сумма)
    если сумма > 0 то
      баланс := баланс + сумма
    конец
  конец

  публичный метод ПрочитатьБаланс()
    вернуть баланс
  конец
КОНЕЦ

// снаружи: счёт.Пополнить(100) — можно
// счёт.баланс := 999 — нельзя (поле приватное)

Именно он определяет, можно ли использовать из других файлов соответствующий элемент.

Модификаторы доступа

★ Модификаторы доступа - ключевой механизм инкапсуляции. Они определяют уровень видимости атрибутов и методов класса. Они позволяют контролировать, кто может обращаться к этим элементам. Пишутся они в начале объявления элемента (класса, метода, свойства, поля) по шаблону: <модификатор> <тип> <название> Пример:

public int age; // Модификатор доступа: public, тип: int, название: age

Если модификатор не указан, используется стандартный по умолчанию (private для полей в C#, default в Java). В C++ модификаторы доступа указываются внутри класса в виде блоков, а не перед каждым элементом. В большинстве языков программирования рекомендуется явно указывать модификатор доступа для всех элементов, чтобы избежать путаницы с модификаторами по умолчанию.

Количество модификаторов зависит от языка программирования. Например, в C# и Java их четыре.

public

public - доступен всем - внутри класса, вне класса, в других пакетах и сборках.

Код ITЗагрузка примера кода…

Схематично работу модификатора Public можно представить так:

private

private - доступен только внутри класса.

Код ITЗагрузка примера кода…

Схематично работу защищённых элементов можно представить так:

protected

protected - доступен внутри класса и его наследников.

Код ITЗагрузка примера кода…

Кто такие наследники - поговорим отдельно.

internal и default

internal (C#) или default (Java) - доступен внутри текущей сборки/пакета.

Код ITЗагрузка примера кода…

Доступ

Приватные поля

★ Приватные поля — это атрибуты класса, доступные только внутри самого класса.

Пример:

Код ITЗагрузка примера кода…

Здесь поле password защищено от прямого доступа, и его можно изменить только через метод setPassword, который будет являться сеттером.

Контролируемый доступ

Публичные методы предоставляют контролируемый доступ к приватным полям:

Геттер (getter) - метод для чтения значения;
Сеттер (setter) - метод для установки значения.

Таким образом, само поле защищается от доступа через User.password, но доступно при вызове метода setPassword.

Приватные поля нельзя напрямую изменять извне класса - только через геттеры и сеттеры.

Код ITЗагрузка примера кода…

Пример сеттеров и геттеров:

Код ITЗагрузка примера кода…

Тут name является private и недоступно для изменения, однако можно получить его значение, вызвав геттер-метод getName(), а для установки значения - вызвав сеттер setName.

Схематично геттеры и сеттеры работают так:

Свойства как раз представляют собой механизм управления доступом к полям, который объединяет геттеры и сеттеры в одно целое, что и упрощает работу с данными. Свойство пишется по формату:

Пример:

Код ITЗагрузка примера кода…

Есть механизм автоматических свойств, который упрощает написание кода, когда логика доступа простая, в таком случае компилятор автоматически создаёт приватное поле и реализует геттер и сеттер:

class User {
    public string Name { get; set; } // Автоматическое свойство
}

Иммутабельность

Объекты могут быть иммутабельными (неизменяемыми) - их состояние нельзя изменить после создания. Это достигается за счёт использования только приватных полей и отсутствия сеттеров (ведь сеттер используется для изменения). Пример:

Код ITЗагрузка примера кода…

Здесь Name имеет только геттер get, что не позволит установить ему значения - сеттера просто нет.

Применение инкапсуляции

Где можно применять такие инструменты?

Безопасность данных - защита паролей, личных данных пользователей. К примеру, в банковском приложении можно сделать доступным баланс пользователя только через методы.
Управление состоянием объекта — это гарантирует, что данные всегда находятся в допустимом состоянии, допустим путём установки запрета на установку отрицательного возраста.
Сокрытие реализации - пользователь класса не должен знать, как работает внутренняя логика.

Важно: инкапсуляция и сокрытие - не одно и то же. Сокрытие данных — это механизм, который делает данные недоступными для внешнего кода за счёт использования модификаторов доступа private или protected - для обеспечения безопасности данных, подразумевая невозможность доступа (фокус на безопасности). Инкапсуляция же подразумевает обеспечение целостности объекта за счёт объединения данных (атрибутов) и методов работы с ними в единый объект (фокус на контролируемом доступе и целостности). То есть, сокрытие - более узкое понятие.

Может возникнуть вопрос - а зачем инкапсуляция нужна, если программист может делать все элементы публичными, а приватными просто закрывает их?

Давайте закрепим практическим применением инкапсуляции.

Инкапсуляция защищает от ошибок внутри команды. Программисты — это люди, и они могут допускать ошибки. Инкапсуляция помогает избежать случайных изменений данных, которые могут привести к непредсказуемым последствиям. Допустим, другой программист не сможет установить некорректное значение для баланса, если он не может быть отрицательным - IDE предупредит и выдаст ошибку.
Инкапсуляция помогает поддерживать целостность системы. Когда данные защищены (private), их можно изменять только через определённые методы. Это позволяет добавлять проверки, логику и обработку ошибок. К примеру, можно добавить проверку, что возраст пользователя всегда положителен - и никто не сможет установить его в отрицательном значении и не нарушит логику работы команды.
Инкапсуляция делает код более безопасным для будущих изменений. Если сделать все поля public, то любое изменение внутренней реализации класса потребует изменения всего кода, который использует этот класс. Инкапсуляция скрывает детали реализации, позволяя изменять их без влияния на внешний код. К примеру, мы храним баланс в виде числа. И если позже мы решим хранить баланс в виде строки (например, для форматирования), внешний код не заметит изменений, потому что интерфейс остался неизменным - мы как вызывали "получитьБаланс()", так и будем вызывать, а что за тип у поля - не узнаем, так как метод публичный, а поле - приватное:

Код ITЗагрузка примера кода…

Инкапсуляция помогает предотвратить злоупотребления, задавая правила игры "не трогай эти данные напрямую, используй интерфейс". Если видим, что поле private, значит автор класса не хочет, чтобы вы изменяли эти данные напрямую — это сигнал - "используй геттеры и сеттеры, потому что здесь может быть дополнительная логика".
Инкапсуляция упрощает тестирование и отладку. Когда данные защищены, мы точно знаем, какие методы могут изменять состояние объекта, что упрощает поиск ошибок и тестирование. К примеру, если поле баланс публичное, мы не сможем отследить, кто и когда его изменил. Если же доступ к нему только через методы, можно добавить логирование:

Код ITЗагрузка примера кода…

Инкапсуляция помогает создавать переиспользуемые компоненты. Можно создать какую-то сложную логику сохранения файла, но спрятать её в класс, оставив публичным метод, что спрячет её "под капотом", и другие смогут использовать этот класс, не зная, как именно реализованы методы.

Инкапсуляция - защита внутреннего состояния объекта