std::is_corresponding_member

template< class S1, class S2, class M1, class M2 >
constexpr bool is_corresponding_member( M1 S1::* mp, M2 S2::* mq ) noexcept;

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

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

Параметры

Значение результата

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

Примечания

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

Пример

#include <type_traits>
 
struct Foo { int x; };
 
struct Bar
{
    int y;
    double z;
};
 
struct Baz : Foo, Bar {}; // not standard-layout
 
static_assert(
    std::is_same_v<decltype(&Baz::x), int Foo::*> == true &&
    std::is_same_v<decltype(&Baz::y), int Bar::*> == true &&
    std::is_corresponding_member(&Foo::x, &Bar::y) == true &&
    std::is_corresponding_member(&Baz::x, &Baz::y) == true &&
    std::is_corresponding_member<Baz, Baz, int, int>(&Baz::x, &Baz::y) == false
);
 
int main() {}

См. также