スマートポインタ(shared_ptr)に対する共変(covariant)戻り型のメモ - My Life as a Mock Quant

頭出し 共変(covariant)戻り値について。 これを知らないと、たとえばオブジェクトのコピーを作成するcloneメソッドは以下のように書いてしまうわけですが、 これやっちゃうと、clone後、処理によってはいちいち基底型をdynamic_castして、NULLチェックして、それから処理・・・となるわけです。 #include<iostream> #include<boost/shared_ptr.hpp> class A { public : virtual A* clone(){return new A(*this);} }; class B : public A { public : virtual A* clone(){return new B(*this);} }; int main() { B *b1 = new B(); A *a = b1->clone(); B *b2