>>642
>ただ、規格中にはっきりとした記述が見当たらない。
これが正しいかどうかは検証が大変なので置いといて

>なんて pimpl の雛型を書くと、ほとんどの実装でコンパイルは通るが
>厳密に規格と照らし合わせると未定義動作になる。
Tのインスタンスを作ろうとするとT::Implの定義が必要でコンパイルエラーになる
インスタンスがないものは動作しようがないので（たぶん）未定義動作は起こらない
のでは？