cpp/types/is corresponding member

Determines whether and  refer corresponding members in the common initial sequence of  and. The program is ill-formed if either or  is an incomplete type.

If either or  is not a, or either  or  is not an object type, or either  or  is equal to , the result is always.

Return value
if and  refer corresponding members in the common initial sequence of  and, otherwise.