class A
{
public:
　virtual ~A();
　int x;
};
A a[2];

↑という定義がある（ A はPODではない）とき、↓の式の結果は定まりますか？

reinterpret_cast<int*>(reinterpret_cast<char*>(&a[0].x) + sizeof(A)) == &a[1].x