std::is_corresponding_member

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека метапрограммирования

Свойства типов
Категории типов is_void (C++11) is_null_pointer (C++14)   is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11) is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11)   is_fundamental (C++11) is_arithmetic (C++11) is_reference (C++11) is_lvalue_reference (C++11) is_rvalue_reference (C++11) is_member_pointer (C++11) is_member_object_pointer (C++11) is_member_function_pointer (C++11) Свойства типов is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_implicit_lifetime (C++23) is_trivial (C++11) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(до C++20*) is_pod (C++11)(устарело в C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20) is_scoped_enum (C++23) has_unique_object_representations (C++17) Константы свойств типа integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11) Метафункции conjunction (C++17) disjunction (C++17) negation (C++17)	Поддерживаемые операции is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11) is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11) is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11) is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11) is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11) is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11) is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11) is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11) has_virtual_destructor (C++11) is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17) Запросы отношений и свойств is_same (C++11) is_base_of (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20)   is_corresponding_member (C++20) alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) Модификации типов remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11) remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11) Преобразования типов aligned_storage (C++11)(устарело в C++23) aligned_union (C++11)(устарело в C++23) decay (C++11) remove_cvref (C++20) enable_if (C++11) void_t (C++17) conditional (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) result_ofinvoke_result (C++11)(до C++20*)(C++17) type_identity (C++20)
Рациональная арифметика времени компиляции
Целочисленные последовательности времени компиляции
integer_sequence (C++14)

 

Определено в заголовочном файле <type_traits>
template<class S1, class S2, class M1, class M2> constexpr bool is_corresponding_member( M1 S1::* mp, M2 S2::* mq ) noexcept;		(начиная с C++20)

Определяет, ссылаются ли mp и mq на соответствующие элементы в общей исходной последовательности S1 и S2. Программа некорректна, если S1 или S2 является неполным типом.

Если S1 или S2 не является StandardLayoutType или M1 или M2 не является объектным типом, или либо mp или mq равно nullptr, результатом всегда будет false.

Параметры

mp, mq

—

указатели на элемент для обнаружения

Возвращаемое значение

true, если mp и mq ссылаются на соответствующие элементы в общей начальной последовательности S1 и S2, иначе false.

Примечание

Тип выражения указателя на элемент &S::m не всегда M S::*, где m имеет тип M, так как m может быть элементом, унаследованным от базового класса класса S. Аргументы шаблона можно указать, чтобы избежать потенциально неожиданных результатов.

Пример

Запустить этот код

#include <type_traits>
#include <iostream>
 
struct Foo { int x; };
struct Bar { int y; double z; };
 
struct Baz : Foo, Bar {}; // нестандартная компоновка
 
static_assert(
    std::is_same_v<decltype(&Baz::x), int Foo::*> == true
    and
    std::is_same_v<decltype(&Baz::y), int Bar::*> == true
    and
    std::is_corresponding_member(&Foo::x, &Bar::y) == true
    and
    std::is_corresponding_member(&Baz::x, &Baz::y) == true
    and
    std::is_corresponding_member<Baz, Baz, int, int>(&Baz::x, &Baz::y) == false
);
 
int main() {}

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

is_standard_layout (C++11)	проверяет, является ли тип типом со стандартной компоновкой (шаблон класса)
is_layout_compatible (C++20)	проверяет, являются ли два типа совместимыми по компоновке (шаблон класса)
is_member_object_pointer (C++11)	проверяет, является ли тип указателем на нестатический объект-элемент (шаблон класса)