std::pointer_traits

#include <memory>
#include <iostream>
 
template <class Ptr>
struct BlockList
{
   // メモリブロックの事前定義。
   struct block;
 
   // ポインタライクなオブジェクト Ptr s からメモリブロックへのポインタを定義します。
   // Ptr が任意の種類の T* の場合、 block_ptr_t は block* です。
   // Ptr が smart_ptr<T> の場合、 block_ptr_t は smart_ptr<block> です。
   using block_ptr_t = typename std::pointer_traits<Ptr>::template rebind<block>;
 
   struct block
   {
      std::size_t size;
      block_ptr_t next_block;
   }; 
 
   block_ptr_t free_blocks;
}; 
 
int main()
{
    BlockList<int*> bl1;
    // bl1.free_blocks の型は block* です。
 
    BlockList<std::shared_ptr<char>> bl2;
    // bl2.free_blocks の型は std::shared_ptr<block> です。
    std::cout << bl2.free_blocks.use_count() << '\n';
}