From: Marc Glisse <marc.glisse@inria.fr>
To: Paolo Carlini <paolo.carlini@oracle.com>
Cc: Ollie Wild <aaw@google.com>,
gcc-patches <gcc-patches@gcc.gnu.org>,
Richard Smith <richardsmith@google.com>,
Diego Novillo <dnovillo@google.com>,
Paul Pluzhnikov <ppluzhnikov@google.com>
Subject: Re: Value type of map need not be default copyable
Date: Sat, 04 Aug 2012 13:27:00 -0000 [thread overview]
Message-ID: <alpine.DEB.2.02.1208041505230.3271@laptop-mg.saclay.inria.fr> (raw)
In-Reply-To: <501D0D6A.3090407@oracle.com>
On Sat, 4 Aug 2012, Paolo Carlini wrote:
> .. note anyway, that only the new testcase was failing, no regressions on pre
> existing testcases.
What I am seeing is a different testcase (with the same name but in a
different directory) failing, because:
typedef std::pair<const rvalstruct,rvalstruct> V;
static_assert(std::is_constructible<V, V&&>::value,"too bad");
and it makes sense, since you end up having to construct a rvalstruct from
a rvalstruct const&&.
make_pair constructs a pair without const, from which a pair with const is
constructible, though I am surprised it doesn't fail somewhere further. I
don't know what the right solution is, maybe something emplace-like. In
any case, make_pair is unlikely to be right.
--
Marc Glisse
next prev parent reply other threads:[~2012-08-04 13:27 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-08-03 4:18 Ollie Wild
2012-08-03 9:39 ` Paolo Carlini
2012-08-03 15:19 ` Ollie Wild
2012-08-04 11:23 ` Paolo Carlini
2012-08-04 11:54 ` Paolo Carlini
2012-08-04 13:27 ` Marc Glisse [this message]
2012-08-04 15:08 ` Paolo Carlini
2012-08-04 15:16 ` Marc Glisse
2012-08-04 15:19 ` Paolo Carlini
2012-08-04 15:28 ` Marc Glisse
2012-08-04 15:34 ` Paolo Carlini
2012-08-07 21:43 ` Ollie Wild
2012-08-07 22:11 ` Paolo Carlini
[not found] ` <CAGL0aWftQAdQXjOBYSoa6fjjM64Mw9_RuTBZXh4UJqhPqmWD0g@mail.gmail.com>
2012-08-08 7:35 ` Marc Glisse
2012-08-08 13:16 ` François Dumont
2012-08-08 13:39 ` Paolo Carlini
2012-08-08 20:46 ` François Dumont
2012-08-09 7:14 ` Marc Glisse
2012-08-09 8:35 ` Paolo Carlini
2012-08-09 12:01 ` Jonathan Wakely
2012-08-09 20:22 ` François Dumont
2012-08-09 21:22 ` Marc Glisse
2012-08-09 23:26 ` Paolo Carlini
2012-08-11 13:29 ` François Dumont
2012-08-11 13:47 ` Marc Glisse
2012-08-12 11:43 ` Jonathan Wakely
2012-08-12 12:02 ` Marc Glisse
2012-08-12 20:00 ` François Dumont
2012-08-13 12:10 ` Paolo Carlini
2012-08-13 19:50 ` François Dumont
2012-08-08 13:48 ` Marc Glisse
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=alpine.DEB.2.02.1208041505230.3271@laptop-mg.saclay.inria.fr \
--to=marc.glisse@inria.fr \
--cc=aaw@google.com \
--cc=dnovillo@google.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=paolo.carlini@oracle.com \
--cc=ppluzhnikov@google.com \
--cc=richardsmith@google.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).