Незамысловатый, но подвижный контейнер

У меня есть проблема с этой программой:

struct A {};

int main()
{
  ::std::vector< ::std::unique_ptr<A> > v;

  ::std::cout << ::std::is_copy_constructible<decltype(v)>{} << ::std::endl;

  //decltype(v) w(v);

  return 0;
}

Выводится:

Однако, если я раскомментирую прокомментированную строку, программа не сможет скомпилировать. Как вы думаете, это ошибка в стандарте, что ::std::is_copy_constructible<decltype(v)>{} оценивается как true и где в стандарте? Следует ли, например, зафиксировать метафокус или контейнер должен удалить его конструктор копирования, если value_type не может быть скопирован?

РЕДАКТОР: Полагаю, я должен уточнить, почему это важно. Скажем, у вас есть шаблон класса variant, который содержит шаблон класса контейнера, созданный с помощью не скопируемого value_type. variant могут SFINAE удалять методы, которые копируют контейнер и избегают ошибок компиляции, но поскольку он получает неверную информацию из STL, он не может. В результате этой проблемы мне пришлось написать специальный шаблон класса moving_variant, который только перемещается, никогда не копирует, тогда как он может/должен иметь один шаблон шаблона variant.

Ответ 1