{"id":102924,"date":"2019-09-26T07:00:00","date_gmt":"2019-09-26T14:00:00","guid":{"rendered":"http:\/\/devblogs.microsoft.com\/oldnewthing\/?p=102924"},"modified":"2019-09-25T22:08:09","modified_gmt":"2019-09-26T05:08:09","slug":"20190926-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20190926-00\/?p=102924","title":{"rendered":"Why does std::is_copy_constructible<\/CODE> report that a vector of move-only objects is copy constructible?"},"content":{"rendered":"

The std::is_<\/code>copy_<\/code>constructible<\/code> traits class reports whether a type is copy-constructible. But it sometimes reports that a type is copy-constructible even though it isn’t.<\/p>\n

#include <memory>\r\n#include <vector>\r\n#include <type_traits>\r\n\r\n\/\/ unique_ptr is movable but not copyable.\r\nusing move_only = std::unique_ptr<int>;\r\n\r\n\/\/ This assertion succeeds\r\nstatic_assert(std::is_copy_constructible_v<std::vector<move_only>>);\r\n\r\n\/\/ But the type is not copy-constructible.\r\nvoid f(std::vector<move_only> v)\r\n{\r\n    auto copy = v; \/\/ long confusing error message\r\n}\r\n<\/pre>\n
The Visual C++ compiler’s error message is the most expansive, which doesn’t necessarily mean it’s the most helpful.<\/p>\n
xmemory0(819): error C2280: 'std::unique_ptr<int, std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty, std::default_delete<_Ty>> &)': attempting to reference a deleted function\r\n        with\r\n        [\r\n            _Ty=int\r\n        ]\r\nmemory(1968): note: see declaration of 'std::unique_ptr<int, std::default_delete<_Ty>>::unique_ptr'\r\n        with\r\n        [\r\n            _Ty=int\r\n        ]\r\nmemory(1968): note: 'std::unique_ptr<int, std::default_delete<_Ty>>::unique_ptr(const std::unique_ptr<_Ty, std::default_delete<_Ty>> &)': function was explicitly deleted\r\n        with\r\n        [\r\n            _Ty=int\r\n        ]\r\nxmemory(141): note: see reference to function template instantiation 'void std::_Default_allocator_traits<_Alloc>::construct<_Ty, _Ty&>(_Alloc &, _Objty *const , _Ty &)' being compiled\r\n        with\r\n        [\r\n            _Alloc=std::allocator<move_only>,\r\n            _Ty=std::unique_ptr<int, std::default_delete<int>>,\r\n            _Objty=std::unique_ptr<int, std::default_delete<int>>\r\n        ]\r\nxmemory(142): note: see reference to function template instantiation 'void std::_Default_allocator_traits<_Alloc>::construct<_Ty, _Ty&>(_Alloc &, _Objty *const , _Ty &)' being compiled\r\n        with\r\n        [\r\n            _Alloc=std::allocator<move_only>,\r\n            _Ty=std::unique_ptr<int,std::default_delete<int>>,\r\n            _Objty=std::unique_ptr<int,std::default_delete<int>>\r\n        ]\r\nxmemory(173): note: see reference to function template instantiation 'void std::_Uninitialized_backout_al<_Ty *, _Alloc>::_Emplace_back<_Ty&>(_Ty &)' being compiled\r\n        with\r\n        [\r\n            _Ty=std::unique_ptr<int,std::default_delete<int>>,\r\n            _Alloc=std::allocator<move_only>\r\n        ]\r\nxmemory(173): note: see reference to function template instantiation 'void std::_Uninitialized_backout_al<_Ty *, _Alloc>::_Emplace_back<_Ty&>(_Ty &)' being compiled\r\n        with\r\n        [\r\n            _Ty=std::unique_ptr<int,std::default_delete<int>>,\r\n            _Alloc=std::allocator<move_only>\r\n        ]\r\nvector(1444): note: see reference to function template instantiation '_NoThrowFwdIt *std::_Uninitialized_copy<_Iter, std::unique_ptr<int, std::default_delete<_Ty>>*, std::allocator<std::unique_ptr<_Ty, std::default_delete<_Ty>>>>(const _InIt, const _InIt, _NoThrowFwdIt, _Alloc &)' being compiled\r\n        with\r\n        [\r\n            _NoThrowFwdIt=std::unique_ptr<int,std::default_delete<int>> *,\r\n            _Iter=std::unique_ptr<int,std::default_delete<int>> *,\r\n            _Ty=int,\r\n            _InIt=std::unique_ptr<int,std::default_delete<int>> *,\r\n            _Alloc=std::allocator<move_only>\r\n        ]\r\nvector(464): note: see reference to function template instantiation 'std::unique_ptr<int, std::default_delete<_Ty>> *std::vector<move_only, std::allocator<std::unique_ptr<_Ty, std::default_delete<_Ty>>>>::_Ucopy<std::unique_ptr<_Ty, std::default_delete<_Ty>>*>(_Iter, _Iter, std::unique_ptr<_Ty, std::default_delete<_Ty>> *)' being compiled\r\n        with\r\n        [\r\n            _Ty=int,\r\n            _Iter=std::unique_ptr<int,std::default_delete<int>> *\r\n        ]\r\nvector(464): note: see reference to function template instantiation 'std::unique_ptr<int, std::default_delete<_Ty>> *std::vector<move_only, std::allocator<std::unique_ptr<_Ty, std::default_delete<_Ty>>>>::_Ucopy<std::unique_ptr<_Ty, std::default_delete<_Ty>>*>(_Iter, _Iter, std::unique_ptr<_Ty, std::default_delete<_Ty>> *)' being compiled\r\n        with\r\n        [\r\n            _Ty=int,\r\n            _Iter=std::unique_ptr<int,std::default_delete<int>> *\r\n        ]\r\nvector(456): note: while compiling class template member function 'std::vector<move_only, std::allocator<_Ty>>::vector(const std::vector<_Ty, std::allocator<_Ty>> &)'\r\n        with\r\n        [\r\n            _Ty=move_only\r\n        ]\r\ntest.cpp(21): note: see reference to function template instantiation 'std::vector<move_only, std::allocator<_Ty>>::vector(const std::vector<_Ty, std::allocator<_Ty>> &)' being compiled\r\n        with\r\n        [\r\n            _Ty=move_only\r\n        ]\r\ntype_traits(694): note: see reference to class template instantiation 'std::vector<move_only, std::allocator<_Ty>>' being compiled\r\n        with\r\n        [\r\n            _Ty=move_only\r\n        ]\r\ntest.cpp(16): note: see reference to variable template 'const bool is_copy_constructible_v<std::vector<std::unique_ptr<int, std::default_delete<int> >, std::allocator<std::unique_ptr<int, std::default_delete<int> > > > >' being compiled\r\n<\/pre>\n
gcc and clang’s errors are roughly comparable. Here’s clang:<\/p>\n
In file included from memory:64:\r\nstl_construct.h:75:38: error: call to deleted constructor of 'std::unique_ptr<int, std::default_delete<int> >'\r\n    { ::new(static_cast<void*>(__p)) _T1(std::forward<_Args>(__args)...); }\r\n                                     ^   ~~~~~~~~~~~~~~~~~~~~~~~~~~~\r\nstl_uninitialized.h:83:8: note: in instantiation of function template specialization 'std::_Construct<std::unique_ptr<int, std::default_delete<int> >, const std::unique_ptr<int, std::default_delete<int> > &>' requested here\r\n                std::_Construct(std::__addressof(*__cur), *__first);\r\n                     ^\r\nstl_uninitialized.h:134:2: note: in instantiation of function template specialization 'std::__uninitialized_copy<false>::__uninit_copy<__gnu_cxx::__normal_iterator<const std::unique_ptr<int, std::default_delete<int> > *, std::vector<std::unique_ptr<int, std::default_delete<int> >, std::allocator<std::unique_ptr<int, std::default_delete<int> > > > >, std::unique_ptr<int, std::default_delete<int> > *>' requested here\r\n        __uninit_copy(__first, __last, __result);\r\n        ^\r\nstl_uninitialized.h:289:19: note: in instantiation of function template specialization 'std::uninitialized_copy<__gnu_cxx::__normal_iterator<const std::unique_ptr<int, std::default_delete<int> > *, std::vector<std::unique_ptr<int, std::default_delete<int> >, std::allocator<std::unique_ptr<int, std::default_delete<int> > > > >, std::unique_ptr<int, std::default_delete<int> > *>' requested here\r\n    { return std::uninitialized_copy(__first, __last, __result); }\r\n                  ^\r\nstl_vector.h:463:9: note: in instantiation of function template specialization 'std::__uninitialized_copy_a<__gnu_cxx::__normal_iterator<const std::unique_ptr<int, std::default_delete<int> > *, std::vector<std::unique_ptr<int, std::default_delete<int> >, std::allocator<std::unique_ptr<int, std::default_delete<int> > > > >, std::unique_ptr<int, std::default_delete<int> > *, std::unique_ptr<int, std::default_delete<int> > >' requested here\r\n          std::__uninitialized_copy_a(__x.begin(), __x.end(),\r\n               ^\r\ntest.cpp:21:13: note: in instantiation of member function 'std::vector<std::unique_ptr<int, std::default_delete<int> >, std::allocator<std::unique_ptr<int, std::default_delete<int> > > >::vector' requested here\r\nauto copy = v;\r\n            ^\r\nunique_ptr.h:394:7: note: 'unique_ptr' has been explicitly marked deleted here\r\n      unique_ptr(const unique_ptr&) = delete;\r\n      ^\r\n<\/pre>\n
and here’s gcc:<\/p>\n
In file included from memory:65,\r\n                 from test.cpp:2:\r\nstl_construct.h: In instantiation of 'void std::_Construct(_T1*, _Args&& ...) [with _T1 = std::unique_ptr<int>; _Args = {const std::unique_ptr<int, std::default_delete<int> >&}]':\r\nstl_uninitialized.h:89:18:   required from 'static _ForwardIterator std::__uninitialized_copy<_TrivialValueTypes>::__uninit_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const std::unique_ptr<int>*, std::vector<std::unique_ptr<int> > >; _ForwardIterator = std::unique_ptr<int>*; bool _TrivialValueTypes = false]'\r\nstl_uninitialized.h:142:15:   required from '_ForwardIterator std::uninitialized_copy(_InputIterator, _InputIterator, _ForwardIterator) [with _InputIterator = __gnu_cxx::__normal_iterator<const std::unique_ptr<int>*, std::vector<std::unique_ptr<int> > >; _ForwardIterator = std::unique_ptr<int>*]'\r\nstl_uninitialized.h:305:37:   required from '_ForwardIterator std::__uninitialized_copy_a(_InputIterator, _InputIterator, _ForwardIterator, std::allocator<_Tp>&) [with _InputIterator = __gnu_cxx::__normal_iterator<const std::unique_ptr<int>*, std::vector<std::unique_ptr<int> > >; _ForwardIterator = std::unique_ptr<int>*; _Tp = std::unique_ptr<int>]'\r\nstl_vector.h:555:31:   required from 'std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp, _Alloc>&) [with _Tp = std::unique_ptr<int>; _Alloc = std::allocator<std::unique_ptr<int> >]'\r\ntest.cpp:21:13:   required from here\r\nstl_construct.h:75:7: error: use of deleted function 'std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int>]'\r\n   75 |     { ::new(static_cast<void*>(__p)) _T1(std::forward<_Args>(__args)...); }\r\n      |       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\r\nIn file included from memory:81,\r\n                 from test.cpp:2:\r\nunique_ptr.h:461:7: note: declared here\r\n  461 |       unique_ptr(const unique_ptr&) = delete;\r\n      |       ^~~~~~~~~~\r\n<\/pre>\n
The gcc and clang errors are roughly the same, just in reverse order. gcc’s message ordering is frustrating because it spends so much time setting the scene that you want to interrupt it and say get to the point already I don’t have all day<\/i>.<\/p>\n
Anyway, the deal is that a vector of move-only objects is not copyable because the contents of the vector cannot be copied. So why did std::is_<\/code>copy_<\/code>constructible<\/code> say that it was copyable?<\/p>\n
Because std::is_<\/code>copy_<\/code>constructible<\/code> looks at whether the class has a copy constructor, and std::<\/code>vector<\/code> has a copy constructor. The copy constructor doesn’t compile if you have a vector of move-only objects, but std::is_<\/code>copy_<\/code>constructible<\/code> doesn’t try to compile the copy constructor. It just checks whether the copy constructor exists.<\/p>\n
You can’t really expect std::is_<\/code>copy_<\/code>constructible<\/code> to try to compile the copy constructor, because the copy constructor’s definition may not be visible at the time you ask.<\/p>\n
struct copyable\r\n{\r\n  copyable();\r\n  copyable(const copyable&);\r\n};\r\n<\/pre>\n
The copyable<\/code> class claims to be copyable, but how do we know that its copy constructor will compile successfully? There’s no way to know, because there is no definition visible. We have to go by what it says on the tin, and the tin says that it’s copyable.<\/p>\n
The std::vector<\/code> and other collections claim to be copyable, but whethey they actually are<\/i> copyable depends on what you put into them.<\/p>\n
We’ll investigate one of the consequences of this “Trust what it says on the tin” behavior next time.<\/p>\n","protected":false},"excerpt":{"rendered":"
Because it has a copy constructor, says so on the tin, even though the constructor itself doesn’t compile.<\/p>\n","protected":false},"author":1069,"featured_media":111744,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[25],"class_list":["post-102924","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
Because it has a copy constructor, says so on the tin, even though the constructor itself doesn’t compile.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/102924","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/users\/1069"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/comments?post=102924"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/102924\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media\/111744"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media?parent=102924"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=102924"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=102924"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}