[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 Jakub Jelinek changed: What|Removed |Added Target Milestone|8.0 |8.2 --- Comment #11 from Jakub Jelinek

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 Jonathan Wakely changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #9 from Jonathan Wakely --- That would only work for vector not vector , for the reasons given above.

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #8 from Askar Safin --- Recently I noticed this bug can be easily fixed simply by manually implementing is_copy_constructible. So, please, apply the fix. And same for other type traits (is_copy_assignable etc). #include #include

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #7 from TC --- (In reply to Jonathan Wakely from comment #6) > (In reply to TC from comment #5) > > In any event, it would be wrong to SFINAE on > > std::is_copy_constructible. The requirement is CopyInsertable, > > not

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #6 from Jonathan Wakely --- (In reply to TC from comment #5) > In any event, it would be wrong to SFINAE on > std::is_copy_constructible. The requirement is CopyInsertable, > not CopyConstructible. The allocator's construct() can

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 TC changed: What|Removed |Added CC||rs2740 at gmail dot com --- Comment #5 from TC

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #4 from Jonathan Wakely --- Yes, I know how to do it, that doesn't mean we can do so easily in existing types.

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #3 from Askar Safin --- (In reply to Jonathan Wakely from comment #2) > It's not required, and it would be impossible to require it in general. The > problem is that std::vector does have a copy constructor, so the trait value > is

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #2 from Jonathan Wakely --- (In reply to Askar Safin from comment #0) > Also, please, make sure that std::is_copy_constructible gives right answers > for all standard containers. And same for other type_traits > (move_constructible

[Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr>>::value is true

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472 --- Comment #1 from Askar Safin --- Also, this code doesn't compile: http://paste.debian.net/422907/ and I think this is related to this bug. If I decomment noexcept line, it compiles