C++0x 5

238 名前：デフォルトの名無しさん mailto:sage [2009/02/17(火) 20:53:21 ] >>232 コンストラクタで明示的に指定するdeleterの話じゃないぞ boost::shared_ptr<Base> p(new Derived); が（~Base()が仮想じゃなくても）デストラクタで~Derived()を呼んでくれるのがdynamic deleterだけど N2800のtemplate<class Y> explicit shared_ptr(Y* p);の説明をよく読んでくれ 4 Requires: p shall be convertible to T*. Y shall be a complete type. The expression delete p shall be well formed, shall have well defined behavior, and shall not throw exceptions. 5 Effects: Constructs a shared_ptr object that owns the pointer p. 6 Postconditions: use_count() == 1 && get() == p. ポインタpを所有したshared_ptrを作るとは書いてあるが、Y*として所有するとは書いてない pはT*に変換できなければならないし、事後条件で出てくるget()の戻り値型はT*だし T*として所有する実装は十分にありうる そして~shared_ptr()の説明には（deleterを指定していなければ）所有するポインタpに対して delete p;を呼ぶとしか書いてない つまり、Y*を持ってるshared_ptrならdelete (Y*)p;を呼んで欲しい（そしてboostはそうなってる）のに、 stdの方はdelete (T*)p;を呼びやがる可能性がある（そして破滅が待ってる） というわけで、shared_ptr<Base> p(new Derived);の解体に~Base()を呼び shared_ptr<void>は使い物にならずpimplに使うと鼻から悪魔を呼ぶ「標準準拠」のshared_ptrがありうるわけだ 恐ろしい話だと思わないか

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef