std:: is_corresponding_member

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;
    double d;
};
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(&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() {}

関連項目