Классы

Класс это пользовательский тип.

Тип класса определяется спецификатором класса, который появляется в последовательности-спецификаторов-объявления синтаксиса объявления. Смотрите объявление класса для синтаксиса спецификатора класса.

Класс может иметь следующие типы элементов:

1) элементы данных:

a) нестатические элементы данных, включая битовые поля.

b) статические элементы данных

2) функции-элементы:

a) нестатические функции-элементы

b) статические функции-элементы

3) вложенные типы:

a) вложенные классы и перечисления, определённые в определении класса

b) псевдонимы существующих типов, определённые с помощью объявлений typedef или псевдонимов типов (начиная с C++11)

c) имя класса в его собственном определении действует как псевдоним открытого элемента для целей поиска (за исключением случаев, когда используется для именования конструктора): это известно как внедрённое-имя-класса

4) перечислители из всех перечислений без области видимости, определённых в классе, или представленных using-объявлениями или using enum объявлениями (начиная с C++20)

5) шаблоны элементов (шаблоны переменных, (начиная с C++14)шаблоны классов или шаблоны функций) могут появляться в теле любого нелокального класса/структуры/объединения.

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

Элемент класса T не может использовать T в качестве своего имени, если элемент

статический элемент данных,
функция-элемент,
тип элемент,
шаблон элемент,
перечислитель перечисления (если перечисление не имеет область видимости) (начиная с C++11), или
элемент анонимного объединения, являющимся элементом.

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

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

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

Класс с constexpr конструктором является LiteralType: объектами этого типа можно управлять с помощью constexpr функций во время компиляции.

(начиная с C++11)

Свойства классов

Тривиально копируемый класс

Тривиально копируемый класс это класс, который

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

(до C++20)

имеет по крайней мере один допустимый конструктор копирования, конструктор перемещения, оператор присваивания копированием или оператор присваивания перемещением,
каждый допустимый конструктор копирования тривиальный
каждый допустимый конструктор перемещения тривиальный
каждый допустимый оператор присваивания копированием тривиальный
каждый допустимый оператор присваивания перемещением тривиальный и
имеет неудаляемый тривиальный деструктор.

(начиная с C++20)

Тривиальный класс

Тривиальный класс это класс, который

тривиально копируется, и

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

Класс со стандартным выравниванием

Класс со стандартным выравниванием это класс, который

не имеет нестатических элементов данных типа класса с нестандартным выравниванием (или массива таких типов) или ссылки на него
не имеет виртуальных функций и виртуальных базовых классов,
имеет одинаковый контроль доступа для всех нестатических элементов данных,
не имеет базовых классов с нестандартным выравниванием,
только один класс в иерархии имеет нестатические элементы данных, и
Неформально ни один из базовых классов не имеет того же типа, что и первый нестатический элемент данных. Или, формально: для класса S, не имеет элемент множества типов M(S) в качестве базового класса, где M(X) для типа X определяется как:

Если X является типом класса не объединения без (возможно, унаследованных) нестатических элементов данных, множество M(X) пусто.
Если X является типом класса не объединения, первый нестатический элемент данных которого имеет тип X0 (где указанный элемент может быть анонимным объединением), множество M(X) состоит из X0 и элементов M(X0).
Если X является типом объединения, множество M(X) является объединением всех M(Ui) и набора, содержащего все Ui, где каждый Ui является типом i-го нестатического элемента данных X.
Если X является типом массива с типом элементов Xe, множество M(X) состоит из Xe и элементов M(Xe).
Если X не относится к типу класса и массива, множество M(X) пусто.

(начиная с C++11)

Структура со стандартным выравниванием это класс со стандартным выравниванием, определённый с помощью ключевого слова struct или ключевого слова class. Объединение со стандартным выравниванием это класс со стандартным выравниванием, определённый с помощью ключевого слова union. }}

Класс с неявным временем жизни

Класс с неявным временем жизни это класс, который

является агрегатом, деструктор которого не объявлен пользователем (до C++11)предоставляется пользователем (начиная с C++11), или
имеет по крайней мере один тривиальный допустимый конструктор и тривиальный неудаляемый деструктор.

(начиная с C++20)

Класс POD

Класс POD это класс, который

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

(до C++11)

тривиальный класс,
является классом со стандартным выравниванием, и
не имеет нестатических элементов данных типа, отличного от класса POD (или массива таких типов).

(начиная с C++11)

Структура POD это класс POD, не являющийся объединением. Объединение POD это объединение, являющееся классом POD.

Использование свойства POD устарело. Пользовательские коды должны ожидать или требовать тривиальное свойство или свойство стандартной компоновки или оба из них.

(начиная с C++20)

(до C++20)

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
CWG 148	C++98	классы POD не могут содержать указатели на элементы, которые сами являются типами POD (скалярными)	ограничение снято
CWG 383	C++98	операторы присваивания копированием или деструкторы могут быть объявлены пользователем в классах POD, если они не определены	не допускается
CWG 1363	C++11	класс, который одновременно имеет как тривиальные конструкторы по умолчанию, так и нетривиальные конструкторы по умолчанию, может быть тривиальным	он нетривиальный
CWG 1496	C++11	класс, который имеет только конструкторы, которые все определены как удаляемые, может быть тривиальным	он нетривиальный
CWG 1672	C++11	класс может быть классом со стандартным выравниванием, если он имеет несколько пустых базовых классов	это не класс со стандартным выравниванием
CWG 1734	C++11	тривиально копируемый класс не может иметь нетривиальные удаляемые конструкторы копирования/перемещения/операторы присваивания	может быть тривиальным
CWG 1813	C++11	класс не может быть классом со стандартным выравниванием, если у него есть базовый класс, который наследует нестатический элемент данных	это может быть класс со стандартным выравниванием
CWG 1881	C++11	для класса со стандартным выравниванием и его базовых классов безымянные битовые поля могут быть объявлены в другом классе, объявляющем элементы данных	все нестатические элементы данных и битовые поля должны быть сначала объявлены в одном классе
CWG 1909	C++98	элемент шаблон может иметь то же имя, что и его класс	запрещено
CWG 2120	C++11	определение M(X) при определении класса со стандартным выравниванием не учитывало случай класса, первый элемент которого является массивом	этот случай рассмотрен в определении M(X)
CWG 2605	C++98	класс с неявным временем жизни может иметь предоставленный пользователем деструктор	запрещено

Поддержка компилятором
Автономные и размещённые реализации
Язык
Стандартная библиотека
Заголовки стандартной библиотеки
Требования к именованию
Макросы тестирования функциональности (C++20)
Поддержка языка
Библиотека концептов (C++20)
Библиотека метапрограммирования (C++11)
Библиотека диагностики
Библиотека общих утилит
Библиотека строк
Библиотека контейнеров
Библиотека итераторов
Библиотека диапазонов (C++20)
Библиотека алгоритмов
Библиотека численных данных
Библиотека ввода/вывода
Библиотека локализаций
Регулярные выражения (C++11)
Атомарные операции (C++11)
Библиотека поддержки конкуренции (C++11)
Библиотека файловой системы (C++17)
Технические спецификации
Указатель символов
Внешние библиотеки

Общее
Обзор
Типы `class`/`struct`
Типы `union`
Введённое имя класса
Элементы
Элементы данных
Статические элементы
Указатель `this`
Вложенные классы
Элементы шаблоны
Битовые поля
`using`-объявления
Функции-элементы
Спецификаторы доступа к элементам
Конструкторы и списки инициализаторов элементов
Инициализатор элемента по умолчанию (C++11)
Спецификатор `friend`
Спецификатор `explicit`
Конструктор преобразования
Специальные функции-элементы
Конструктор по умолчанию
Конструктор копирования
Конструктор перемещения (C++11)
Оператор присваивания копированием
Оператор присваивания перемещением (C++11)
Деструктор
Наследование
Базовый и производный классы
Оптимизация пустой базы (EBO)
Виртуальные функции-элементы
Чисто виртуальные функции и абстрактные классы
Спецификатор `override` (C++11)
Спецификатор `final` (C++11)

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия

Классы

Содержание

Свойства классов

Тривиально копируемый класс

Тривиальный класс

Класс со стандартным выравниванием

Класс с неявным временем жизни

Класс POD

Отчёты о дефектах

Навигация

Инструменты