Контейнер

контейнер(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# определяется с помощью метода деструктора класса.

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

Отличия финализатора от деструктора

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

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

Хрупкий базовый класс

Хрупкий базовый класс — фундаментальная проблема ООП, и заключается в том, что малейшие правки в деталях реализации базового класса могут привнести ошибку в производные классы. В худшем случае это приводит к тому, что любая успешная модификация базового класса требует предварительного изучения всего дерева наследования.

Проблема хрупкого базового класса сильно снижает ценность наследования.

В общем случае проблема не решаема, и является одним из существенных недостатков ООП.

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

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

Преимущества и недостатки шаблона невиртуального интерфейса

Использование этого шаблона приводит к разделению интерфейса класса на два отдельных интерфейса:

1. Клиентский интерфейс: общедоступный невиртуальный интерфейс.
2. Интерфейс подкласса: закрытый интерфейс, который может иметь любую комбинацию виртуальных и невиртуальных методов.

С такой структурой проблема хрупкого базового класса смягчается. Единственным недостатком является то, что код немного увеличен в размерах