Инкапсуляция в ООП

Инкапсуляция является одним из основных принципов ООп, который обеспечивает сокрытие деталей реализации объекта и предоставление интерфейса для взаимодействия с ним.

Этот подход упрощает использование объектов и является одним из способов защиты данных от различных изменений из-за ошибок в других частях программы.

Определение свойств и методов с модификаторами доступа private, protected или public – один из способов обеспечения инкапсуляции. Это позволяет установить уровни доступа к объектам и их методам, определяя, кто и как может обращаться к свойствам классов.

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

Что такое интерфейс?

Интерфейс в ООП – это абстрактный класс, который определяет набор методов без их реализации. Он дает возможность определить некоторый стандарт поведения для классов, которые помимо уже определенных методов могут иметь свои собственные и реализовывать этот интерфейс.

Используя интерфейсы, можно определить, как объекты могут обмениваться данными и какие операции они могут выполнять. Это упрощает процесс разработки и позволяет создавать более гибкие и расширяемые системы.

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

Конструктор и функциональное программирование

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

В функциональном программировании конструктор является частью алгебраического типа данных (ADT), который определяет структуру объекта, состоящего из группы значений. Конструкторы могут быть записаны с помощью ключевого слова data, type или newtype, а типы данных могут быть объединены с помощью оператора |, который определяет алгебраический тип.

Конструкторы могут принимать один или более аргументов, которые используются для инициализации свойств объекта. Они могут также возвращать функцию, которая изменяет свойства объекта и возвращает новый объект с обновленными свойствами.

Контейнер

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

Ключевой особенностью контейнеров является то, что они обеспечивают доступ к хранимым объектам через определенный интерфейс (например, итераторы), который скрывает детали реализации и позволяет удобно работать с коллекцией объектов.

Существует множество различных типов контейнеров, каждый из которых имеет свои уникальные свойства и методы. Некоторые из наиболее популярных контейнеров включают в себя векторы, связные списки, стеки, очереди, карты, множества и деревья.

Непрозрачный указатель

Это указатель на структуру, переменную или объект, которые определены в другом месте программы, и детали их реализации скрыты от пользователя. Таким образом, пользователь не знает о внутренней структуре и содержании объектов, на которые ссылается непрозрачный указатель.

Пример использования непрозрачного указателя может быть в графическом интерфейсе пользователя (GUI), где объекты, такие как окна и элементы управления, могут быть определены как непрозрачные указатели, чтобы скрыть детали их внутренней реализации от пользователя.

Обратите внимание, что для работы с объектом, на который ссылается непрозрачный указатель, необходимо, чтобы этот объект был доступен в текущем контексте. Поэтому, если объект был создан в другом месте программы, необходимо предоставить интерфейс для доступа к этому объекту.

Метод в ООП

Метод в объектно-ориентированном программировании — это функция или процедура, принадлежащая какому-то классу или объекту.

Их различают на:
- простые методы, которые имеют доступ к данным объекта (конкретного экземпляра данного класса),
- статические методы, которые не имеют доступа к данным объекта, и для их использования не нужно создавать экземпляры (данного класса).

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

В зависимости от того, какой уровень доступа предоставляет тот или иной метод, выделяют:
- открытый (public) интерфейс — общий интерфейс для всех пользователей данного класса;
- защищённый (protected) интерфейс — внутренний интерфейс для всех наследников данного класса;
- закрытый (private) интерфейс — интерфейс, доступный только изнутри данного класса.

Абстрактный метод

Абстрактный метод  — в ООП метод класса, реализация для которого отсутствует. Класс, содержащий абстрактные методы, также принято называть абстрактным.

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

Абстрактный метод ничего не делает, но определяет параметры и возвращаемое значение.

Назначение абстрактных методов:
- описание абстракции, которая не в более конкретизированном виде не может быть реализована;
- формальное удовлетворение требований о наличии статических методов при обращении к ним для прохождения проверки компилятора статической типизации, когда реализация их будет определена динамически.

Пример на с++:
// Чистая (пустая) виртуальная функция.
virtual void Abstr ( void ) = 0;

Тип-произведение в программирование

Это концепция, используемая при создании новых типов, что позволяет создавать более сложные структуры данных.

В языках программирования, которые поддерживают типы-произведения, создание таких структур данных осуществляется путем объединения двух или более типов данных в один составной тип.

Кроме того, тип-произведение может использоваться для передачи значений между функциями.

Также может быть использовано для создания таких структур данных, как списки, очереди и деревья.

Виртуальный метод

Виртуальный метод - это метод в ООП, который может быть переопределён в классах-наследниках так, что конкретная реализация метода для вызова будет определяться во время исполнения.

Таким образом, программисту необязательно знать точный тип объекта для работы с ним через виртуальные методы: достаточно лишь знать, что объект принадлежит классу или наследнику класса, в котором объявлен метод.

Виртуальные методы — один из важнейших приёмов реализации полиморфизма. Они позволяют создавать общий код, который может работать как с объектами базового класса, так и с объектами любого его класса-наследника.

Динамическое связывание

Техника вызова виртуальных методов называется ещё «динамическим связыванием». Имеется в виду, что имя метода, использованное в программе, связывается с адресом входа конкретного метода динамически, а не статически, так как в момент компиляции, в общем случае, невозможно определить, какая из существующих реализаций метода будет вызвана.

В компилируемых языках программирования динамическое связывание выполняется обычно с использованием таблицы виртуальных методов, которая создаётся компилятором для каждого класса, имеющего хотя бы один виртуальный метод.

В элементах таблицы находятся указатели на реализации виртуальных методов, соответствующие данному классу. Таким образом, для адреса каждого виртуального метода в дереве наследования имеется одно, фиксированное смещение в таблице виртуальных методов. Каждый объект имеет техническое поле, которое при создании объекта инициализируется указателем на таблицу виртуальных методов своего класса.

Для вызова виртуального метода из объекта берётся указатель на соответствующую таблицу виртуальных методов, а из неё, по известному фиксированному смещению, — указатель на реализацию метода, используемого для данного класса. При использовании множественного наследования ситуация несколько усложняется за счёт того, что таблица виртуальных методов становится нелинейной.

Геттер

Getter - это метод класса, который используется для получения значения закрытого поля класса. Он позволяет получить доступ к закрытому полю класса, но не позволяет изменить его.

Пример:
class Car {
private:
    int speed;
public:
    int getSpeed() const { // геттер
        return speed;
    }
};

В этом примере getSpeed() - это геттер, который возвращает значение переменной speed, объявленной как закрытая в классе Car.

Сеттер

Setters - это метод класса, который используется для установки значения приватного члена класса.

Пример:
class Car {
private:
    int speed;
public:
    void setSpeed(int newSpeed) { // сеттер
        speed = newSpeed;
    }
};

Деструктор

Destructor - это специальный метод класса, который вызывается при удалении объекта класса и отвечает за освобождение выделенной под объект памяти и выполнения других действий, необходимых для корректного завершения жизненного цикла объекта. Деструктор имеет тот же самый имя, что и класс, но с префиксом ~.

Деструктор не требует явного вызова и вызывается автоматически при удалении объекта (через оператор delete или при выходе объекта из области видимости). Он не возвращает значения, не принимает параметров и не может перегружаться.

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

Конструктор копирования

Конструктор копирования - это специальный метод класса, который используется для создания копии объекта. Он принимает в качестве параметра ссылку на объект этого же класса и создает новый объект, который идентичен данному объекту.

В языке C++, конструктор копирования имеет следующий синтаксис:
class MyClass
{
public:
    MyClass(); // конструктор по умолчанию
    MyClass(const MyClass& obj); // конструктор копирования
};

Чтобы использовать конструктор копирования, необходимо вызвать его явно, передав объект как параметр в соответствующий метод или оператор. Например:
MyClass obj1; // создание объекта
MyClass obj2(obj1); // вызов конструктора копирования
MyClass obj3 = obj1; // также вызов конструктора копирования

Когда следует вызывать констуктор копирования?

Существует четыре случая вызова конструктора копирования:

1. Когда объект является возвращаемым значением
2. Когда объект передается (функции) по значению в качестве аргумента
3. Когда объект конструируется на основе другого объекта (того же класса)
4. Когда компилятор генерирует временный объект (как в первом и втором случаях выше; как явное преобразование и т. д.)

Оператор присваивания

Оператор присваивания - это оператор, который используется для присвоения значения одного объекта другому объекту того же типа. Он выполняет копирование значений из одного объекта в другой.

В языке C++, оператор присваивания имеет следующий синтаксис:
class MyClass {
public:
    MyClass& operator=(const MyClass& obj); // оператор присваивания
};

Чтобы использовать оператор присваивания, необходимо вызвать его явно, используя знак равенства. Например:
MyClass obj1, obj2;// создание объектов
obj1 = obj2;// вызов оператора присваивания

Как работает присваивание?

Алгоритм:

1. Вычислить левостороннее значение первого операнда. На этом этапе становится известным местонахождение целевого объекта, приёмника нового значения.

2. Вычислить правостороннее значение второго операнда. Этот этап может быть сколь угодно большим и включать другие операторы (в том числе присвоения).

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

4. Возвратить вычисленное правостороннее значение как результат выполнения операции. Требуется не во всех языках.

Метод расширения

Extension method — это функция, расширяющая функциональность класса без изменения его кода, к которому применяется метод.

Метод расширения позволяет добавлять новые методы классу, не нарушая его принципы инкапсуляции, с использованием ключевого слова this в качестве первого параметра.

В C#, например, объявление метода расширения выглядит следующим образом:
public static class MyExtensionMethods {
    public static void MyExtensionMethod(this string str) {
        Console.WriteLine("My Extension Method: " + str);
    }
}

Кроме C#, методы расширения поддерживаются также в других языках программирования, таких как Visual Basic .NET и Kotlin. В стандарте C++23 методов расширения всё ещё нет.

Причина появления перегрузки процедур и функций

В большинстве ранних языков программирования для упрощения процесса трансляции существовало ограничение, согласно которому одновременно в программе не может быть доступно более одной процедуры с одним и тем же именем. В соответствии с этим ограничением все подпрограммы, видимые в данной точке программы, должны иметь различные имена.

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

Правила перегрузки функции

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

Этот подход применяется в статически типизированных языках, которые проверяют типы аргументов при вызове функции. Перегруженная функция фактически представляет собой несколько разных функций, и выбор подходящей происходит на этапе компиляции. Перегрузку функций не следует путать с формами полиморфизма, где правильный метод выбирается во время выполнения, например, посредством виртуальных функций, а не статически.

Пример:
class Program {
    static int Sum(int x, int y ) {       
        return x + y;
    }
    static double Sum(double x, double y) {
        return x + y;   
    }
}

Финализатор

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

Финализатор в основном используется для освобождения неуправляемых ресурсов, таких как дескрипторы файлов, сокеты, соединения с базами данных и т.д. при уничтожении объекта.

Финализатор в языке программирования C# определяется с помощью метода деструктора класса.

Обратите внимание, что финализаторы не могут быть вызваны явным образом из кода, их вызывает только сборщик мусора.