Расширения для рефлексии

Расширения C++ для Рефлексии, ISO/IEC ТС 23619:2021, определяют модификации ядра языка и определяют новые компоненты для стандартной библиотеки C++, перечисленные на этой странице.

ТС Рефлексии основана на стандарте C++20 (за исключением того, что определение концептов указано в стиле ТС Концептов).

Изменения ядра языка

спецификатор reflexpr

Спецификатор reflexpr имеет форму reflexpr ( reflexpr-операнд ), и определяет метаобъектный тип (смотрите ниже).

reflexpr-операнд может быть одним из следующего:


`::`	(1)

идентификатор-типа	(2)

вложенный-спецификатор-имени(необязательно) имя-пространства-имён	(3)

идентификатор-выражения	(4)

`(` выражение `)`	(5)

выражение-вызова-функции	(6)

функциональный-тип-выражения-преобразования	(7)

где выражение-вызова-функции это


постфиксное-выражение `(` список-выражений(необязательно) `)`

а функциональный-тип-выражения-преобразования следующие виды выражений, которые выполняют явное приведение:


спецификатор-простого-типа `(` список-выражений(необязательно) `)`	(1)

спецификатор-typename `(` список-выражений(необязательно) `)`	(2)

спецификатор-простого-типа список-инициализации-в-фигурных-скобках	(3)

спецификатор-typename список-инициализации-в-фигурных-скобках	(4)

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

Для reflexpr-операнда формы ( выражение ), выражение должно быть (возможно, в нескольких скобках) выражением-вызова-функции или функциональным-типом-выражения-преобразования.

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

Если операнд обозначает и псевдоним и имя класса, тип, представленный спецификатором-reflexpr, отражает псевдоним и соответствует reflect::Alias.

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

Типы метаобъектов

Тип метаобъекта это безымянный, неполный тип класса области видимости пространства имён. Тип соответствует концепту reflect::Object тогда и только тогда, когда он является метаобъектным типом. Типы метаобъектов могут соответствовать другим концептам, в зависимости от операнда для reflexpr.

Неопределено, приводит ли многократное применение reflexpr к одному и тому же операнду к тому же или к другому типу. Если тип метаобъекта отражает неполный тип класса, определённые преобразования типа не могут быть применены.

Тип метаобъекта позволяет проверять некоторые свойства операнда для reflexpr с помощью свойств типа или преобразований типа с ним.

Разрешение перегрузки

Если постфиксное-выражение выражения-вызова-функции имеет тип класса, то есть e в выражении-вызова-функции e(args) имеет тип класса, тогда определяемая пользователем функция преобразования типа постфиксного-выражения (e) не должна использоваться.

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

struct Functor {
    void operator()(int) const;

    using fptr_t = void(*)(std::nullptr_t);
    operator fptr_t() const;
};

using Meta0 = reflexpr(Functor{}(0));          // OK
// using Meta1 = reflexpr(Functor{}(nullptr)); // ошибка: используется функция
                                               // преобразования

Связь с рефлексией

Псевдоним это имя, введённое объявлением typedef, объявлением псевдонима или using-объявлением.

Сущность или псевдоним B связаны с рефлексией для сущности или псевдонима A, если

A и B это одна и та же сущность или псевдоним,
A это переменная или перечислитель, а B это тип A,
A это перечисление, а B базовый тип A,
A это класс, а B элемент или базовый класс A,
A это псевдоним не шаблона, который обозначает сущность B,
A не является глобальным пространством имён, а B включающий класс или пространство имён A,
A выражение в скобках ( B ),
A лямбда-захват типа замыкания B,
A тип замыкания лямбда-захвата B,
B это тип, указанный в функциональном-типе-выражения-преобразования A,
B это функция, выбранная разрешением перегрузки для выражения-вызова-функции A,
B тип возвращаемого значения, тип параметра или тип функции для функции A, или
B связано рефлексией с сущностью или псевдонимом X, а X связано рефлексией с A.

Отношение связи с рефлексией рефлексивно и транзитивно, но не симметрично.

Неформально говоря, случай, когда B связано рефлексией с A, означает, что B участвует в объявлении или определении A.

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

struct X;
struct B {
    using X = ::X;
    typedef X Y;
};
struct D : B {
    using B::Y;
};
// ::X, но не B::X или B::Y, связан с рефлексией D::Y

Разное

Выражение, используемое как reflexpr-операнд это неоценённое выражение и потенциально вычисленная константа.
В целях определения переменных, захваченных в лямбда-выражении по умолчанию для захвата, операнд reflexpr не считается неоценённым операндом.
Функция или переменная со статической продолжительностью хранения отражённая типом метаобъекта T является использующей odr специализацией std::experimental::reflect::get_pointer<T>, как если бы она взяла адрес выражения-идентификатора, определяющего функцию или переменную.
Может быть несколько определений типа метаобъекта, если все операции с этим типом дают одинаковые результаты константного выражения.
Тип является зависимым, если он обозначен спецификатором reflexpr, и операндом
- являющимся зависящим от типа выражением или (возможно, заключённым в скобки) функциональным-типом-выражения-преобразования с по крайней мере одним зависящим от типа непосредственным подвыражением, или
- обозначает зависимый тип или элемент неизвестной специализации или константное выражение, зависящее от значения.

Ключевые слова

reflexpr

Предопределённые макросы тестирования функциональности

__cpp_reflection

(ТС рефлексии)

значение не менее 201902 указывает, что ТС Рефлексии поддерживается
(макроконстанта)

Поддержка библиотеки

Концепты

Определены в заголовочном файле `<experimental/reflect>`
Определены в пространстве имён `std::experimental::reflect`
Определены в пространстве имён `std::experimental::reflect::v1`
Object (ТС рефлексии)	указывает, что тип является типом метаобъекта (концепт)
ObjectSequence (ТС рефлексии)	указывает, что тип метаобъекта является типом метаобъекта последовательности (концепт)
TemplateParameterScope (ТС рефлексии)	указывает, что тип метаобъекта отражает область видимости параметра шаблона (концепт)
Named (ТС рефлексии)	указывает, что тип метаобъекта отражает сущность или псевдоним со связанным (возможно, пустым) именем (концепт)
Alias (ТС рефлексии)	указывает, что тип метаобъекта отражает псевдоним типа, псевдоним пространства имён или псевдоним, введённый using-объявлением (концепт)
RecordMember (ТС рефлексии)	указывает, что тип метаобъекта отражает объявление-элемента класса (концепт)
Enumerator (ТС рефлексии)	указывает, что тип метаобъекта отражает перечислитель (концепт)
Variable (ТС рефлексии)	указывает, что тип метаобъекта отражает переменную или элемент данных (концепт)
ScopeMember (ТС рефлексии)	указывает, что тип метаобъекта соответствует `RecordMember`, `Enumerator` или `Variable`, или отражает пространство имён, отличное от глобального пространства имён (концепт)
Typed (ТС рефлексии)	указывает, что тип метаобъекта отражает сущность с типом (концепт)
Namespace (ТС рефлексии)	указывает, что тип метаобъекта отражает пространство имён (концепт)
GlobalScope (ТС рефлексии)	указывает, что тип метаобъекта отражает глобальное пространство имён (концепт)
Class (ТС рефлексии)	указывает, что тип метаобъекта отражает тип класса не объединения (концепт)
Enum (ТС рефлексии)	указывает, что тип метаобъекта отражает тип перечисления (концепт)
Record (ТС рефлексии)	указывает, что тип метаобъекта отражает тип класса (концепт)
Scope (ТС рефлексии)	указывает, что тип метаобъекта отражает пространство имён, класс, перечисление, функцию, тип замыкания, область видимости параметра шаблона (концепт)
Type (ТС рефлексии)	указывает, что тип метаобъекта отражает тип (концепт)
Constant (ТС рефлексии)	указывает, что тип метаобъекта отражает перечислитель или переменную constexpr (концепт)
Base (ТС рефлексии)	указывает, что тип метаобъекта отражает непосредственный базовый класс, полученный из `get_base_classes` (концепт)
FunctionParameter (ТС рефлексии)	указывает, что тип метаобъекта отражает параметр функции (концепт)
Callable (ТС рефлексии)	указывает, что тип метаобъекта отражает функцию (включая конструкторы и деструкторы) (концепт)
Expression (ТС рефлексии)	указывает, что тип метаобъекта отражает выражение (концепт)
ParenthesizedExpression (ТС рефлексии)	указывает, что тип метаобъекта отражает выражение в скобках (концепт)
FunctionCallExpression (ТС рефлексии)	указывает, что тип метаобъекта отражает выражение-вызова-функции (концепт)
FunctionalTypeConversion (ТС рефлексии)	указывает, что тип метаобъекта отражает выражение-преобразования-функционального-типа (концепт)
Function (ТС рефлексии)	указывает, что тип метаобъекта отражает функцию (исключая конструкторы и деструкторы) (концепт)
MemberFunction (ТС рефлексии)	указывает, что тип метаобъекта отражает функцию-элемент (исключая конструкторы и деструкторы) (концепт)
SpecialMemberFunction (ТС рефлексии)	указывает, что тип метаобъекта отражает специальную функцию-элемент (концепт)
Constructor (ТС рефлексии)	указывает, что тип метаобъекта отражает конструктор (концепт)
Destructor (ТС рефлексии)	указывает, что тип метаобъекта отражает деструктор (концепт)
Operator (ТС рефлексии)	указывает, что тип метаобъекта отражает функцию оператор или функцию преобразования (концепт)
ConversionOperator (ТС рефлексии)	указывает, что тип метаобъекта отражает функцию преобразования (концепт)
Lambda (ТС рефлексии)	указывает, что тип метаобъекта отражает тип замыкания неуниверсальной лямбды (концепт)
LambdaCapture (ТС рефлексии)	указывает, что тип метаобъекта отражает лямбда-захват (концепт)

Мета-объектные операции

Определены в заголовочном файле `<experimental/reflect>`
Определены в пространстве имён `std::experimental::reflect`
Определены в пространстве имён `std::experimental::reflect::v1`
Операции с `объектами`
reflects_same (ТС рефлексии)	проверяет, отражают ли два типа метаобъектов одну и ту же сущность или псевдоним (шаблон класса)
get_source_line (ТС рефлексии)	получает предполагаемый номер строки объявления отражённой сущности или псевдонима (шаблон класса)
get_source_column (ТС рефлексии)	получает определяемый реализацией номер столбца объявления отражённой сущности или псевдонима (шаблон класса)
get_source_file_name (ТС рефлексии)	получает предполагаемое имя файла объявления отражённой сущности или псевдонима (шаблон класса)
Операции `ObjectSequence`
get_size (ТС рефлексии)	получает размер последовательности метаобъектов (шаблон класса)
get_element (ТС рефлексии)	получает тип метаобъекта с указанным индексом в последовательности (шаблон класса)
unpack_sequence (ТС рефлексии)	применяет шаблон к последовательности метаобъектов (шаблон класса)
Операции с `Именем`
is_unnamed (ТС рефлексии)	проверяет, является ли отражённая сущность или псевдоним безымянным (шаблон класса)
get_name (ТС рефлексии)	получает неквалифицированное имя отражённой сущности или псевдонима (шаблон класса)
get_display_name (ТС рефлексии)	получает определяемое реализацией отображаемое имя отражённой сущности или псевдонима (шаблон класса)
Операции с `псевдонимами`
get_alias (ТС рефлексии)	получает тип метаобъекта, отражающий связанную сущность отражённого псевдонима (шаблон класса)
Операции с `типом`
get_type (ТС рефлексии)	получает тип метаобъекта, отражающий тип отражённой сущности или псевдонима (шаблон класса)
get_reflected_type (ТС рефлексии)	получает тип отражённого объекта или псевдонима (шаблон класса)
is_enum (ТС рефлексии)	проверяет, отражает ли тип метаобъекта тип перечисления (шаблон класса)
is_union (ТС рефлексии)	проверяет, отражает ли тип метаобъекта тип объединения (шаблон класса)
uses_class_keyuses_struct_key (ТС рефлексии)	проверяет, отражает ли тип метаобъекта тип класса не объединения, в объявлении которого используется `class` или `struct` соответственно (шаблон класса)
Операции `ScopeMember`
get_scope (ТС рефлексии)	получает тип метаобъекта, отражающий область видимости отражённой сущности или псевдонима (шаблон класса)
Операции с `базовым типом`
get_class (ТС рефлексии)	получает тип метаобъекта, отражающий базовый класс в данном отношении базового класса (шаблон класса)
Операции `RecordMember` и с `базовым типом`
is_public (ТС рефлексии)	проверяет, является ли отражённый элемент или базовый класс public (шаблон класса)
is_protected (ТС рефлексии)	проверяет, является ли отражённый элемент или базовый класс protected (шаблон класса)
is_private (ТС рефлексии)	проверяет, является ли отражённый элемент или базовый класс private (шаблон класса)
Операции с `записями`
get_public_data_membersget_accessible_data_membersget_data_members (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают public, доступные или все элементы данных отражённого класса (шаблон класса)
get_public_member_functionsget_accessible_member_functionsget_member_functions (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают public, доступные или все функции-элементы отражённого класса (шаблон класса)
get_constructors (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают все конструкторы отражённого класса (шаблон класса)
get_operators (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают все функции operator и функции преобразования, объявленные в отражённом классе (шаблон класса)
get_destructor (ТС рефлексии)	получает тип метаобъекта, отражающий деструктор отражённого класса (шаблон класса)
get_public_member_typesget_accessible_member_typesget_member_types (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают public, доступные или все вложенные типы или определения типов элементов отражённого класса (шаблон класса)
get_public_base_classesget_accessible_base_classesget_base_classes (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают public, доступные или все базовые классы отражённого класса (шаблон класса)
Операции с `Перечислением`
is_scoped_enum (ТС рефлексии)	проверяет, имеет ли отражённое перечисление область видимости (шаблон класса)
get_enumerators (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают перечислители отражённого перечисления (шаблон класса)
get_underlying_type (ТС рефлексии)	получает тип метаобъекта, отражающий базовый тип отражённого перечисления (шаблон класса)
Операции с `Переменными`
get_constant (ТС рефлексии)	получает значение отражённой переменной, которое является константным выражением (шаблон класса)
is_thread_local (ТС рефлексии)	проверяет, объявлена ли переменная как `thread_local` (шаблон класса)
Операции с `FunctionParameter`
has_default_argument (ТС рефлексии)	проверяет, имеет ли отражённый параметр аргумент по умолчанию (шаблон класса)
Операции `Вызовов`
get_parameters (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают параметры отражённой функции (шаблон класса)
is_vararg (ТС рефлексии)	проверяет, содержит ли список параметров отражённой функции параметр с многоточием (шаблон класса)
is_noexcept (ТС рефлексии)	проверяет, не выбрасывает ли исключение отражённая функция (шаблон класса)
is_deleted (ТС рефлексии)	проверяет, удалена ли отражённая функция (шаблон класса)
Операции с `Переменными` и `Вызовами`
is_constexpr (ТС рефлексии)	проверяет, является ли отражённая переменная или функция constexpr (шаблон класса)
Операции с `Пространствами имён` и `Вызовами`
is_inline (ТС рефлексии)	проверяет, является ли отражённое пространство имён или функция встроенными (шаблон класса)
Операции `ParenthesizedExpression`
get_subexpression (ТС рефлексии)	получает тип метаобъекта, отражающий выражение без скобок отражённого выражения со скобками (шаблон класса)
Операции `FunctionCallExpression`
get_callable (ТС рефлексии)	получает тип метаобъекта, отражающий функцию в отражённом выражении-вызова-функции (шаблон класса)
Операции `FunctionalTypeConversion`
get_constructor (ТС рефлексии)	получает тип метаобъекта, отражающий конструктор в отражённом выражении-преобразования-функционального-типа (шаблон класса)
Операции с `Переменными` и `Функциями`
get_pointer (ТС рефлексии)	получает адрес отражённой переменной или функции или значение указателя на элемент для отражённого нестатического элемента (шаблон класса)
Операции `MemberFunction`
is_constis_volatilehas_lvalueref_qualifierhas_rvalueref_qualifier (ТС рефлексии)	проверяет, объявлена ли отражённая функция-элемент с квалификатором `const`, `volatile`, `&` или `&&` соответственно (шаблон класса)
is_override (ТС рефлексии)	проверяет, переопределяет ли отражённая функция-элемент функцию-элемент базового класса (шаблон класса)
Операции с `Записями` и `MemberFunction`
is_final (ТС рефлексии)	проверяет, помечены ли отраженные класс или функция-элемент как `final` (шаблон класса)
Операции с `Переменными` и `MemberFunction`
is_static (ТС рефлексии)	проверяет, имеет ли отражённая переменная статическую длительность хранения или отражённая функция-элемент статическая (шаблон класса)
Операции `SpecialMemberFunction`
is_implicitly_declared (ТС рефлексии)	проверяет, неявно ли объявлена отражённая специальная функция-элемент (шаблон класса)
is_defaulted (ТС рефлексии)	проверяет, задана ли отражённая специальная функция-элемент по умолчанию в её первом объявлении (шаблон класса)
Операции с `Конструктором` и `ConversionOperator`
is_explicit (ТС рефлексии)	проверяет, объявлены ли отражённый конструктор или функция преобразования как `explicit` (шаблон класса)
Операции `MemberFunction` и `Деструктор`
is_virtual (ТС рефлексии)	проверяет, является ли отражённая функция-элемент виртуальной (шаблон класса)
is_pure_virtual (ТС рефлексии)	проверяет, является ли отражённая функция-элемент чисто виртуальной (шаблон класса)
Операции с `Lambda`
get_captures (ТС рефлексии)	получает тип последовательности метаобъектов, элементы которого отражают захваты отражённого типа замыкания (шаблон класса)
uses_default_copy_captureuses_default_reference_capture (ТС рефлексии)	проверяет, является ли значение по умолчанию для лямбда-выражения отражённого типа замыкания `=` или `&` соответственно (шаблон класса)
is_call_operator_const (ТС рефлексии)	проверяет, объявлен ли `operator()` отражённого типа замыкания как `const` (шаблон класса)
Операции `LambdaCapture`
is_explictly_captured (ТС рефлексии)	проверяет, явно ли захвачен отражённый лямбда-захват (шаблон класса)
is_init_capture (ТС рефлексии)	проверяет, является ли отражённый лямбда-захват захватом инициализации (шаблон класса)

Макросы тестирования функциональности библиотеки

Определены в заголовочном файле `<experimental/reflect>`
__cpp_lib_reflection (ТС рефлексии)	значение не менее `201902` указывает, что поддерживается библиотека поддержки ТС Рефлексии (макроконстанта)

Соответствие концептам

В следующей таблице указано, соответствует ли тип метаобъекта отражённого операнда концептам, введённым в ТС Рефлексии.

Категория	Операнды `reflexpr`	Соответствие концептам
Тип	имя-класса обозначает объединение	`reflect::Union`
	имя-класса обозначает тип замыкания	`reflect::Lambda`
	имя-класса обозначает класс не объединение	`reflect::Record`
	имя-перечисления	`reflect::Enum`
	параметр-типа шаблона	`reflect::Type`, `reflect::Alias`
	спецификатор-decltype	`reflect::Type`, `reflect::Alias`
	имя-типа введённое using-объявлением	`reflect::Type`, `reflect::Alias`, `reflect::ScopedMember`
	любое другое typedef-имя	`reflect::Type`, `reflect::Alias`
	любой другой идентификатор-типа	`reflect::Type`
Пространство имён	псевдоним-пространства-имён	`reflect::Namespace`, `reflect::Alias`
	глобальное пространство имён	`reflect::GlobalScope`
	любое другое пространство-имён	`reflect::Namespace`
Выражение	имя элемента данных	`reflect::Variable`
	имя переменной	`reflect::Variable`
	имя перечислителя	`reflect::Enumerator`
	имя параметра функции	`reflect::FunctionParameter`
	имя захваченной сущности	`reflect::LambdaCapture`
	выражение в скобках	`reflect::ParenthesizedExpression`
	выражение-вызова-функции	`reflect::FunctionCallExpression`
	выражение-преобразования-функционального-типа	`reflect::FunctionalTypeConversion`

Если операнд в форме выражения-идентификатора является константным выражением, тип, указанный спецификатором reflexpr, также соответствует reflect::Constant.

Если reflexpr-операнд обозначает элемент класса, тип, представленный спецификатором reflexpr, также соответствует reflect::RecordMember.

Смотрите также

type_info	содержит некоторую информацию о типе, сгенерированную реализацией. Это класс, возвращаемый оператором `typeid`. (класс) [править]
<type_traits> (C++11)	Информация о типе времени компиляции [править]
Метапрограммирование времени компиляции в C++

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

Библиотека файловой системы (ТС файловой системы)
Основы библиотеки (ТС основ библиотеки)
Основы библиотеки 2 (ТС основ библиотеки v2)
Основы библиотеки 3 (ТС основы библиотеки v3)
Расширения для параллелизма (ТС параллелизма)
Расширения для параллелизма 2 (ТС параллелизма v2)
Расширения для конкуренции 2 (ТС конкуренции v2)
Концепты (ТС концепций)
Диапазоны (ТС диапазонов)
Рефлексия (ТС рефлексии)
Специальные математические функции (ТО специальные функции)

cppreference.com

Поиск

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

Варианты

Просмотры

Действия

Расширения для рефлексии

Изменения ядра языка

спецификатор reflexpr

Типы метаобъектов

Разрешение перегрузки

Связь с рефлексией

Разное

Ключевые слова

Предопределённые макросы тестирования функциональности

Поддержка библиотеки

Концепты

Мета-объектные операции

Операции с объектами

Операции ObjectSequence

Операции с Именем

Операции с псевдонимами

Операции с типом

Операции ScopeMember

Операции с базовым типом

Операции RecordMember и с базовым типом

Операции с записями

Операции с Перечислением

Операции с Переменными

Операции с FunctionParameter

Операции Вызовов

Операции с Переменными и Вызовами

Операции с Пространствами имён и Вызовами

Операции ParenthesizedExpression

Операции FunctionCallExpression

Операции FunctionalTypeConversion

Операции с Переменными и Функциями

Операции MemberFunction

Операции с Записями и MemberFunction

Операции с Переменными и MemberFunction

Операции SpecialMemberFunction

Операции с Конструктором и ConversionOperator

Операции MemberFunction и Деструктор

Операции с Lambda

Операции LambdaCapture

Макросы тестирования функциональности библиотеки

Соответствие концептам

Смотрите также

Навигация

Инструменты

Операции с `объектами`

Операции `ObjectSequence`

Операции с `Именем`

Операции с `псевдонимами`

Операции с `типом`

Операции `ScopeMember`

Операции с `базовым типом`

Операции `RecordMember` и с `базовым типом`

Операции с `записями`

Операции с `Перечислением`

Операции с `Переменными`

Операции с `FunctionParameter`

Операции `Вызовов`

Операции с `Переменными` и `Вызовами`

Операции с `Пространствами имён` и `Вызовами`

Операции `ParenthesizedExpression`

Операции `FunctionCallExpression`

Операции `FunctionalTypeConversion`

Операции с `Переменными` и `Функциями`

Операции `MemberFunction`

Операции с `Записями` и `MemberFunction`

Операции с `Переменными` и `MemberFunction`

Операции `SpecialMemberFunction`

Операции с `Конструктором` и `ConversionOperator`

Операции `MemberFunction` и `Деструктор`

Операции с `Lambda`

Операции `LambdaCapture`