指向匿名联盟成员的指针是否相等？

Question

C++ 11允许在函数中定义匿名联合,并且可以将其成员作为函数的变量进行访问.如果我检查指向不同成员的指针,它们是相同的,但==运算符说它们是不相等的.

这种奇怪的行为通常是未定义行为的结果,但我在代码中看不到任何未定义的内容(我确保两个成员属于同一类型).

如果我使用未命名联合类型的命名变量,则行为会有所不同.在这种情况下,指针比较相等.

该程序演示了两种情况:

#include <iostream>
using namespace std;

#ifdef NAMED
// Create a named object of a union type
#define NAME n
#define ADDR(mem) &(NAME.mem)
#else
// Create an anonymous union in main()
#define NAME
#define ADDR(mem) &mem
#endif

int main()
{
    union {
        int a;
        int b;
    } NAME;

    cout << "&a = " << ADDR(a) << endl;
    cout << "&b = " << ADDR(b) << endl;
    cout << "(&a==&b) = " << (ADDR(a) == ADDR(b)) << endl;

    return 0;
}

使用-DNAMED它编译时会打印到相同的指针和1(相等的指针).没有-DNAMED,它再次打印相同的指针,但然后是0(不等指针).

用g ++ 5.4.0,Ubuntu 16.04,x86_64测试.

Answer 1

您的地址检查已明确定义（正如 YSC 指出的那样），并且标准保证所有成员应具有相同的地址（cfr. [class.union]/3）。

您一定是偶然发现了一个现已修复的编译器错误。