>>916
あぁ、ごめんよ。
>>908を書いた時点ではクラスじゃないものに明らかに適用できない
「コンストラクタの完了」はconstructの定義になりえないと思ってたけど、
>>910で見つけた記述や>>914で挙げたDRを読んだら、十分条件の
ひとつと数えて問題ないと考え直したんだ。