public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr<int>>>::value is true
       [not found] <bug-70472-4@http.gcc.gnu.org/bugzilla/>
@ 2021-04-19 10:40 ` redi at gcc dot gnu.org
  2023-07-24 18:21 ` arthur.j.odwyer at gmail dot com
  2023-08-25 18:17 ` safinaskar at mail dot ru
  2 siblings, 0 replies; 3+ messages in thread
From: redi at gcc dot gnu.org @ 2021-04-19 10:40 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |NEW
           Assignee|redi at gcc dot gnu.org            |unassigned at gcc dot gnu.org

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr<int>>>::value is true
       [not found] <bug-70472-4@http.gcc.gnu.org/bugzilla/>
  2021-04-19 10:40 ` [Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr<int>>>::value is true redi at gcc dot gnu.org
@ 2023-07-24 18:21 ` arthur.j.odwyer at gmail dot com
  2023-08-25 18:17 ` safinaskar at mail dot ru
  2 siblings, 0 replies; 3+ messages in thread
From: arthur.j.odwyer at gmail dot com @ 2023-07-24 18:21 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472

Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |arthur.j.odwyer at gmail dot com

--- Comment #14 from Arthur O'Dwyer <arthur.j.odwyer at gmail dot com> ---
> The problem is that std::vector does have a copy constructor, so the trait value is true, but instantiating that constructor produces an error when the value_type is not copyable.

Worse, the value_type can be incomplete, as in

struct Node {
  std::vector<Node> children_;
};

Askar: see
https://quuxplusone.github.io/blog/2020/02/05/vector-is-copyable-except-when-its-not/
I suggest closing this bug report as Not A Bug. It certainly shouldn't be
tagged `wrong-code`.

^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr<int>>>::value is true
       [not found] <bug-70472-4@http.gcc.gnu.org/bugzilla/>
  2021-04-19 10:40 ` [Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr<int>>>::value is true redi at gcc dot gnu.org
  2023-07-24 18:21 ` arthur.j.odwyer at gmail dot com
@ 2023-08-25 18:17 ` safinaskar at mail dot ru
  2 siblings, 0 replies; 3+ messages in thread
From: safinaskar at mail dot ru @ 2023-08-25 18:17 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70472

Askar Safin <safinaskar at mail dot ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |INVALID
             Status|NEW                         |RESOLVED

--- Comment #15 from Askar Safin <safinaskar at mail dot ru> ---
I agree. I close as INVALID

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2023-08-25 18:17 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-70472-4@http.gcc.gnu.org/bugzilla/>
2021-04-19 10:40 ` [Bug libstdc++/70472] is_copy_constructible<vector<unique_ptr<int>>>::value is true redi at gcc dot gnu.org
2023-07-24 18:21 ` arthur.j.odwyer at gmail dot com
2023-08-25 18:17 ` safinaskar at mail dot ru

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).