いや、どう見ても>>203が言いたいのは
struct NonPod {
　int x;
　NonPod(): x(rand()) {}
　virtual int f() { return x; }
};
みたいなものを
new NonPod[n];
した時に、要素数を記録する領域を確保するのかどうか、だろ。