std::allocator_traits::select_on_container_copy_construction(C++11)

#include <iostream>
#include <memory>

template <class T, class Alloc>
class MyVector {
  T* data_;
  std::size_t size_;
  Alloc alloc_;
public:
  MyVector()
    : data_(nullptr), size_(0) {}

  MyVector(std::size_t size)
  {
    using traits = std::allocator_traits<Alloc>;

    size_ = size;
    data_ = traits::allocate(alloc_, size);

    for (std::size_t i = 0; i < size_; ++i) {
      traits::construct(alloc_, &data_[i]);
    }
  }

  MyVector(const MyVector& other, Alloc alloc)
  {
    alloc_ = alloc; // 受け取ったアロケータをメンバ変数に保持する

    // 受け取ったアロケータでメモリ確保
    using traits = std::allocator_traits<Alloc>;
    size_ = other.size_;
    data_ = traits::allocate(alloc_, size_);

    for (std::size_t i = 0; i < size_; ++i) {
      traits::construct(alloc_, &data_[i], other.data_[i]);
    }
  }

  // コピー構築に使用するアロケータオブジェクトを取得し、
  // アロケータを受け取るコピーコンストラクタに委譲
  MyVector(const MyVector& other)
    : MyVector(
        other,
        std::allocator_traits<Alloc>::select_on_container_copy_construction(other.alloc_)) {}

  ~MyVector()
  {
    release();
  }

private:
  void release()
  {
    if (!data_)
      return;

    using traits = std::allocator_traits<Alloc>;

    // 要素を破棄
    for (std::size_t i = 0; i < size_; ++i) {
      traits::destroy(alloc_, &data_[i]);
    }

    // メモリを解放
    traits::deallocate(alloc_, data_, size_);

    size_ = 0;
    data_ = nullptr;
  }
};

int main()
{
  MyVector<int, std::allocator<int>> a;
  MyVector<int, std::allocator<int>> b = a;
}