Namespaces
Variants

std:: is_corresponding_member

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
Relationships and property queries
Type modifications
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
Défini dans l'en-tête <type_traits>
template < class S1, class S2, class M1, class M2 >
constexpr bool is_corresponding_member ( M1 S1 :: * mp, M2 S2 :: * mq ) noexcept ;
(depuis C++20)

Détermine si mp et mq font référence à des membres correspondants dans la séquence initiale commune de S1 et S2 . Le programme est mal formé si S1 ou S2 est un type incomplet .

Si soit S1 ou S2 n'est pas un StandardLayoutType , ou soit M1 ou M2 n'est pas un type objet, ou soit mp ou mq est égal à nullptr , le résultat est toujours false .

Table des matières

Paramètres

mp, mq - pointeurs-sur-membre à détecter

Valeur de retour

true si mp et mq se réfèrent aux membres correspondants dans la séquence initiale commune de S1 et S2 , sinon false .

Notes

Le type d'une expression pointeur-sur-membre & S :: m n'est pas toujours M S :: * , où m est de type M , car m peut être un membre hérité d'une classe de base de S . Les arguments template peuvent être spécifiés pour éviter des résultats potentiellement surprenants.

Exemple

Exécuter ce code 
#include <type_traits>
struct Foo
{
    int x;
    double d;
};
struct Bar
{
    int y;
    double z;
};
struct Baz : Foo, Bar {}; // pas 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(&Foo::d, &Bar::z) == 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() {}

Voir aussi

(C++11)
vérifie si un type est un type standard-layout
(modèle de classe)
(C++20)
vérifie si deux types sont layout-compatible
(modèle de classe)
(C++11)
vérifie si un type est un pointeur sur membre objet non statique
(modèle de classe)