最近知ったこと
unique_ptrはdeleterの型がテンプレート引数に現れているけど、shared_ptrはそうなっていない。shared_ptrは参照カウントのために (管理対象のオブジェクトとは別に) どのみち動的メモリ確保が必要になるから、せっかくならということでdeleterの型消去を実装したということらしい。へ~~
https://stackoverflow.com/questions/39288891/why-is-shared-ptrvoid-legal-while-unique-ptrvoid-is-ill-formed/39288979#39288979