Слайд 2
Классы и структуры в C++
Обеспечивают механизм создания собственных
типов и определения различных действий над ними.
Обычно используются для
описания различных понятий, фигурирующих в решаемой задаче.
Акцентируют внимание разработчика на моделировании данных, а не действий.
Слайд 3
Классы
Класс — это сущность, которая задает общие свойства
и общее поведение для объектов (общий шаблон для создания
объектов). По сути класс является типом данных.
Объект — это сущность в адресном пространстве вычислительной системы, которая появляется при создании экземпляра класса и обладает определенным состоянием, уникальностью и поведением.
Слайд 4
Основные элементы объектной модели
Концептуальной базой объектно-ориетированного стиля программирования
является объектная модель, основывающаяся на 4-х главных принципах:
Абстракция
Инкапсуляция
Модульность
Иерархия
Слайд 5
Абстракция
Выделяет существенные характеристики некоторого объекта, отличающие его от
других видов объектов.
Определяет концептуальные границы объекта с точки зрения
наблюдателя.
Слайд 6
Инкапсуляция
Отделяет друг от друга элементы объекта, определяющие его
устройство и поведения.
Изолирует внешний интерфейс (то, что нам нужно
знать для работы с объектом)от внутренней реализации.
Слайд 7
Иерархия
Позволяет упорядочить абстракции, сформировать уровни абстрагирования, определить способы
взаимодействия абстракций, их отношения.
Слайд 8
Модульность
Позволяет описать систему как набор компонентов с сильными
внутренними связями и более слабыми внешними связями.
Уменьшает сложность системы.
Уровни
модульности:
Файлы, каталоги…
Пространства имен, пакеты…
Слайд 9
Класс: от требований к реализации
Определить свойства рассматриваемой сущности,
важные для данной задачи
Определить основные действия
Определить, какой набор данных
достаточен для описания этих свойств
Определить список функций (методов), соответствующих требуемым действиям
Слайд 10
Модель данных
class Rational
{
// Числитель
int
numer;
// Знаменатель (>=1)
int denom;
public:
Rational();
Rational(int n, int d);
int getNumer();
int getDenom();
};
Слайд 11
Конструкторы
Конструктор — это метод класса который всегда вызывается
при создании экземпляра класса (объекта). Конструкторы предназначены для создания
объектов класса, и для инициализации атрибутов объекта.
Имя конструктора всегда совпадает с именем класса.
Конструктор может принимать параметры, но никогда не возвращает значения.
Класс может содержать несколько конструкторов (перегрузка конструкторов).
Если в классе не объявлен конструктор, то компилятор предоставит конструктор по умолчанию (стандартный конструктор).
Стандартный конструктор не принимает параметров и не выполняет никаких действий.
Слайд 12
Конструкторы
Rational::Rational()
{
std::cout
1;
}
Rational::Rational(int n, int d)
{
std::cout << "Call constructor with parameters" << std::endl;
numer = n;
denom = d;
}
…
int main()
{
Rational r;
Rational r2(2, 3);
}
Слайд 13
Деструкторы
Деструктор — это метод класса который
предназначен для уничтожения экземпляров класса, а также для освобождения
ресурсов используемых в объектах класса (например освобождение памяти).
Деструктор не принимает параметров и не может возвращать значение.
Класс может иметь только один деструктор.
Имя деструктора начинается символом «~»
Деструкторы не могут перегружаться.
Деструкторы невозможно вызвать, они вызываются автоматически.
Если в классе не объявлен деструктор, то компилятор предоставит деструктор по умолчанию (стандартный деструктор). Стандартный деструктор не выполняет никаких действий.
Деструктор всегда вызывается при выходе объекта за пределы области видимости
Слайд 14
Деструкторы
Rational::~Rational()
{
std::cout
main()
{
Rational r;
Rational r2(2, 3);
}
Слайд 15
Уровни доступа к членам класса
Для поддержки принципа инкапсуляции,
существуют три основных уровня доступа к членам класса. Приведем
их в порядке открытости для внешних абстракций:
Открытый(public) доступ – члены с этим уровнем доступа видимы всем клиентам класса.
Защищенный(protected) доступ – члены этого уровня видимы самому классу, его подклассам, и абстракциям.
Закрытый(private) доступ – члены этого уровня видимы только изнутри самого класса.
Слайд 23
“public”-наследование
Если класс объявлен как базовый для другого класса
со спецификатором доступа «public»:
«public»-члены базового класса — доступны как
«public»-члены производного класса;
«protected»-члены базового класса — доступны как «protected»-члены производного класса;
Слайд 25
“private”-наследование
«public»- и «protected»- члены базового класса – доступны
как «private»-члены производного класса.
Слайд 27
“protected”-наследование
«public» и «protected» - члены базового
класса - доступны как «protected»-члены производного класса;
Слайд 30
Абстрактный класс
Абстрактный класс в
ООП — базовый класс, который не предполагает создания экземпляров. Абстрактный
класс может содержать абстрактные методы и свойства. Абстрактный метод не реализуется для класса, в котором описан, однако должен быть реализован для его неабстрактных потомков. Абстрактные классы представляют собой наиболее общие абстракции, то есть имеющие наибольший объём и наименьшее содержание.
Слайд 32
Абстрактный класс
переменных и данных членов;
типов аргументов;
типов возвращаемых функциями
значений;
типов явных преобразований.
Ограничения на использование абстрактных классов
Абстрактные классы
невозможно использовать для следующих элементов:
Слайд 33
Виртуальные методы
Виртуальный метод (виртуальная функция) —
в ООП метод (функция) класса , который может быть переопределён в
классах-наследниках так, что конкретная реализация метода для вызова будет определяться во время исполнения. Таким образом, программисту необязательно знать точный тип объекта для работы с ним через виртуальные методы: достаточно лишь знать, что объект принадлежит классу или наследнику класса, в котором метод объявлен.
Слайд 34
Виртуальные методы
Виртуальные методы позволяют
создавать общий код, который может работать как с объектами
базового класса, так и с объектами любого его класса-наследника. При этом базовый класс определяет способ работы с объектами и любые его наследники могут предоставлять конкретную реализацию этого способа.
Слайд 41
Виртуальный деструктор
Если деструктор объявлен
как виртуальный, то при вызове его через указатель на
объект базового класса (через delete) будет вызван вначале деструктор производного класса, а затем деструктор базового класса.
Слайд 42
Приведение типов
const_cast
Снимает cv
qualifiers — const и volatile, то есть константность и
отказ от оптимизации компилятором переменной. Это преобразование проверяется на уровне компиляции и в случае ошибки приведения типов будет выдано сообщение.
Синтаксис:
TYPE const_cast (object);
Слайд 44
Приведение типов
static_cast
Преобразует выражения одного статического типа
в объекты и значения другого статического типа. Поддерживается преобразование
численных типов, указателей и ссылок по иерархии наследования как вверх, так и вниз. Проверка производится на уровне компиляции, так что в случае ошибки сообщение будет получено в момент сборки приложения или библиотеки.
Синтаксис:
TYPE static_cast (object);
Слайд 45
Приведение типов
dynamic_cast
Используется для динамического приведения типов во время
выполнения. В случае неправильного приведения типов для ссылок вызывается
исключительная ситуация std::bad_cast, а для указателей будет возвращен 0. Использует систему RTTI (Runtime Type Information). Безопасное приведение типов по иерархии наследования, в том числе для виртуального наследования.
Синтаксис:
TYPE& dynamic_cast (object);
TYPE* dynamic_cast (object);