struct Boo{};
int buf[64];
Boo* b = new(buf) Boo[3];
とやると
buf[0]に3が入ったり入らなかったりするんですがどういう規定があるんでしょうか。