可以将__attribute__((__may_alias__))用作指向类实例而不是类定义本身的指针吗?

我正在寻找以下问题的答案:may_alias是否适合作为指向某些类Foo对象的指针的属性?还是只能在类级别使用?

考虑以下代码(它基于一个更复杂的真实示例):

#include <iostream>
using namespace std;
#define alias_hack __attribute__((__may_alias__))
template <typename T>
class Foo
{
private:
    /*alias_hack*/ char Data[sizeof (T)];
public:
    /*alias_hack*/ T& GetT()
    {
        return *((/*alias_hack*/ T*)Data);
    } 
};
struct Bar
{
    int Baz;
    Bar(int baz)
      : Baz(baz)
    {}
} /*alias_hack*/; // <- uncommeting this line apparently solves the problem, but does so on class-level(rather than pointer-level)
// uncommenting previous alias_hack's doesn't help
int main()
{
    Foo<Bar> foo;
    foo.GetT().Baz = 42;
    cout << foo.GetT().Baz << endl;
}

有没有办法告诉gcc，单指针may_alias一些另一个?

顺便说一句，请注意gcc对这种问题的检测机制是不完善的，所以很容易让这个警告消失，而不会真正解决问题。

#include <iostream>
using namespace std;
int main()
{
    long i = 42;
    long* iptr = &i;
    //(*(short*)&i) = 3; // with warning
    //(*(short*)iptr) = 3; // without warning
    cout << i << endl;
}

取消其中一行的注释，以查看编译器输出的差异