Topic: Now that the std::forward alternative has
Author: Bastien penavayre <bastienpenava@gmail.com>
Date: Mon, 25 Dec 2017 06:24:05 +0000
Raw View
--94eb2c0d273627d429056124370b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Le lun. 25 d=C3=A9c. 2017 =C3=A0 07:21, Jim Porter <jvp4846@g.rit.edu> a =
=C3=A9crit :
> On 12/24/2017 10:28 PM, Nicol Bolas wrote:
> > And code like this is certainly not limited to "library writers". Not
> > unless C++ gets lifting lambdas/overload set lambdas (and that's sadly
> > unlikely at this point).
>
> Does that mean "not likely to get *ever*" or "not likely to get in the
> immediate future"? I haven't followed the overload set stuff very
> closely (too busy with other things, unfortunately), but I was
> cautiously excited for it when the papers for it first showed up.
>
> - Jim
>
if you are talking about overload sets as values it will be availble
through reflexpr.
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "ISO C++ Standard - Future Proposals" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/a/isocpp.org/d/topic/std-proposals/rpIWOw1Yd1c/=
unsubscribe
> .
> To unsubscribe from this group and all its topics, send an email to
> std-proposals+unsubscribe@isocpp.org.
> To post to this group, send email to std-proposals@isocpp.org.
> To view this discussion on the web visit
> https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/p1q591%24cqe=
%241%40blaine.gmane.org
> .
>
--=20
You received this message because you are subscribed to the Google Groups "=
ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.com/a/isocpp=
..org/d/msgid/std-proposals/CAOhm51GU_jQzBuvZSfJZibFq%3D%2B2SSsvgNn-frAA72yh=
MLOLedA%40mail.gmail.com.
--94eb2c0d273627d429056124370b
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div><br><div class=3D"gmail_quote"><div dir=3D"auto">Le=C2=A0lun. 25 d=C3=
=A9c. 2017 =C3=A0 07:21, Jim Porter <<a href=3D"mailto:jvp4846@g.rit.edu=
">jvp4846@g.rit.edu</a>> a =C3=A9crit=C2=A0:<br></div><blockquote class=
=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padd=
ing-left:1ex">On 12/24/2017 10:28 PM, Nicol Bolas wrote:<br>
> And code like this is certainly not limited to "library writers&q=
uot;. Not<br>
> unless C++ gets lifting lambdas/overload set lambdas (and that's s=
adly<br>
> unlikely at this point).<br>
<br>
Does that mean "not likely to get *ever*" or "not likely to =
get in the<br>
immediate future"? I haven't followed the overload set stuff very<=
br>
closely (too busy with other things, unfortunately), but I was<br>
cautiously excited for it when the papers for it first showed up.<br>
<br>
- Jim<br>
</blockquote><div dir=3D"auto">if you are talking about overload sets as va=
lues it will be availble through reflexpr.</div><blockquote class=3D"gmail_=
quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1=
ex"><br>
--<br>
You received this message because you are subscribed to a topic in the Goog=
le Groups "ISO C++ Standard - Future Proposals" group.<br>
To unsubscribe from this topic, visit <a href=3D"https://groups.google.com/=
a/isocpp.org/d/topic/std-proposals/rpIWOw1Yd1c/unsubscribe" rel=3D"noreferr=
er" target=3D"_blank">https://groups.google.com/a/isocpp.org/d/topic/std-pr=
oposals/rpIWOw1Yd1c/unsubscribe</a>.<br>
To unsubscribe from this group and all its topics, send an email to <a href=
=3D"mailto:std-proposals%2Bunsubscribe@isocpp.org" target=3D"_blank">std-pr=
oposals+unsubscribe@isocpp.org</a>.<br>
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org" target=3D"_blank">std-proposals@isocpp.org</a>.<br>
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/p1q591%24cqe%241%40blaine.gmane.org" =
rel=3D"noreferrer" target=3D"_blank">https://groups.google.com/a/isocpp.org=
/d/msgid/std-proposals/p1q591%24cqe%241%40blaine.gmane.org</a>.<br>
</blockquote></div></div>
<p></p>
-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals" group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/CAOhm51GU_jQzBuvZSfJZibFq%3D%2B2SSsvg=
Nn-frAA72yhMLOLedA%40mail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter"=
>https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAOhm51GU_jQz=
BuvZSfJZibFq%3D%2B2SSsvgNn-frAA72yhMLOLedA%40mail.gmail.com</a>.<br />
--94eb2c0d273627d429056124370b--
.
Author: Nicol Bolas <jmckesson@gmail.com>
Date: Sun, 24 Dec 2017 22:46:11 -0800 (PST)
Raw View
------=_Part_14743_1241115424.1514184372003
Content-Type: multipart/alternative;
boundary="----=_Part_14744_1404046191.1514184372004"
------=_Part_14744_1404046191.1514184372004
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
On Monday, December 25, 2017 at 1:24:17 AM UTC-5, Bastien penavayre wrote:
>
>
> Le lun. 25 d=C3=A9c. 2017 =C3=A0 07:21, Jim Porter <jvp...@g.rit.edu <jav=
ascript:>>=20
> a =C3=A9crit :
>
>> On 12/24/2017 10:28 PM, Nicol Bolas wrote:
>> > And code like this is certainly not limited to "library writers". Not
>> > unless C++ gets lifting lambdas/overload set lambdas (and that's sadly
>> > unlikely at this point).
>>
>> Does that mean "not likely to get *ever*" or "not likely to get in the
>> immediate future"? I haven't followed the overload set stuff very
>> closely (too busy with other things, unfortunately), but I was
>> cautiously excited for it when the papers for it first showed up.
>>
>> - Jim
>>
> if you are talking about overload sets as values it will be availble=20
> through reflexpr.
>
In what respect? That you can reflect over all of the functions that would=
=20
be called from a particular name? Sure.
Will extracting that into an object be a one-liner? Highly unlikely.
>
--=20
You received this message because you are subscribed to the Google Groups "=
ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.com/a/isocpp=
..org/d/msgid/std-proposals/85442151-e543-416c-8d91-0aed4c395c6f%40isocpp.or=
g.
------=_Part_14744_1404046191.1514184372004
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><br><br>On Monday, December 25, 2017 at 1:24:17 AM UTC-5, =
Bastien penavayre wrote:<blockquote class=3D"gmail_quote" style=3D"margin: =
0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div><=
br><div class=3D"gmail_quote"><div dir=3D"auto">Le=C2=A0lun. 25 d=C3=A9c. 2=
017 =C3=A0 07:21, Jim Porter <<a onmousedown=3D"this.href=3D'javascr=
ipt:';return true;" onclick=3D"this.href=3D'javascript:';return=
true;" href=3D"javascript:" target=3D"_blank" rel=3D"nofollow" gdf-obfusca=
ted-mailto=3D"l5EWkSMuCAAJ">jvp...@g.rit.edu</a>> a =C3=A9crit=C2=A0:<br=
></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-=
left:1px #ccc solid;padding-left:1ex">On 12/24/2017 10:28 PM, Nicol Bolas w=
rote:<br>
> And code like this is certainly not limited to "library writers&q=
uot;. Not<br>
> unless C++ gets lifting lambdas/overload set lambdas (and that's s=
adly<br>
> unlikely at this point).<br>
<br>
Does that mean "not likely to get *ever*" or "not likely to =
get in the<br>
immediate future"? I haven't followed the overload set stuff very<=
br>
closely (too busy with other things, unfortunately), but I was<br>
cautiously excited for it when the papers for it first showed up.<br>
<br>
- Jim<br>
</blockquote><div dir=3D"auto">if you are talking about overload sets as va=
lues it will be availble through reflexpr.</div></div></div></blockquote><d=
iv><br></div><div>In what respect? That you can reflect over all of the fun=
ctions that would be called from a particular name? Sure.</div><div><br></d=
iv><div>Will extracting that into an object be a one-liner? Highly unlikely=
..<br></div><blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left=
: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div><div class=3D"=
gmail_quote"><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;b=
order-left:1px #ccc solid;padding-left:1ex">
</blockquote></div></div>
</blockquote></div>
<p></p>
-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals" group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/85442151-e543-416c-8d91-0aed4c395c6f%=
40isocpp.org?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.=
com/a/isocpp.org/d/msgid/std-proposals/85442151-e543-416c-8d91-0aed4c395c6f=
%40isocpp.org</a>.<br />
------=_Part_14744_1404046191.1514184372004--
------=_Part_14743_1241115424.1514184372003--
.
Author: Thiago Macieira <thiago@macieira.org>
Date: Mon, 25 Dec 2017 09:19:43 -0200
Raw View
On domingo, 24 de dezembro de 2017 23:17:30 -02 bastienpenava@gmail.com wrote:
> Even today std::forward is already way slower than a simple static_cast so
> making it worse is out of the question.
I assume you're talking about compilation time. Have you measured this? Though
it has logic and matches the assumption of what happens to template-heavy
code, I would be surprised about the "way" in "way slower".
You're not talking about runtime.
--
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
Software Architect - Intel Open Source Technology Center
--
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/1662970.mQ3ughF247%40tjmaciei-mobl1.
.
Author: Nicol Bolas <jmckesson@gmail.com>
Date: Mon, 25 Dec 2017 07:04:46 -0800 (PST)
Raw View
------=_Part_15703_281502382.1514214286237
Content-Type: multipart/alternative;
boundary="----=_Part_15704_397872.1514214286237"
------=_Part_15704_397872.1514214286237
Content-Type: text/plain; charset="UTF-8"
On Monday, December 25, 2017 at 6:19:53 AM UTC-5, Thiago Macieira wrote:
>
> On domingo, 24 de dezembro de 2017 23:17:30 -02 bastie...@gmail.com
> <javascript:> wrote:
> > Even today std::forward is already way slower than a simple static_cast
> so
> > making it worse is out of the question.
>
> I assume you're talking about compilation time. Have you measured this?
Yes, it has been measured. Boost.Hana converted all of their uses of
`std::forward` to the equivalent cast, and gained a significant compilation
time improvement
<https://github.com/boostorg/hana/commit/540f665e5132d75bbf6eda704638622727c0c01c>.
This fact was one of the motivations of P0644
<http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/p0644r1.html>.
--
You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/a359581c-f07d-46f1-8628-48bf0e051f18%40isocpp.org.
------=_Part_15704_397872.1514214286237
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">On Monday, December 25, 2017 at 6:19:53 AM UTC-5, Thiago M=
acieira wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-l=
eft: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">On domingo, 24 d=
e dezembro de 2017 23:17:30 -02 <a onmousedown=3D"this.href=3D'javascri=
pt:';return true;" onclick=3D"this.href=3D'javascript:';return =
true;" href=3D"javascript:" target=3D"_blank" rel=3D"nofollow" gdf-obfuscat=
ed-mailto=3D"OvhuEEU-CAAJ">bastie...@gmail.com</a> wrote:
<br>> Even today std::forward is already way slower than a simple static=
_cast so
<br>> making it worse is out of the question.
<br>
<br>I assume you're talking about compilation time. Have you measured t=
his?</blockquote><div><br></div><div>Yes, it has been measured. Boost.Hana =
converted all of their uses of `std::forward` to the equivalent cast, and <=
a href=3D"https://github.com/boostorg/hana/commit/540f665e5132d75bbf6eda704=
638622727c0c01c">gained a significant compilation time improvement</a>. Thi=
s fact was one of the motivations of <a href=3D"http://www.open-std.org/jtc=
1/sc22/wg21/docs/papers/2017/p0644r1.html">P0644</a>.</div><div><br></div><=
/div>
<p></p>
-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;ISO C++ Standard - Future Proposals" group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org">std-proposa=
ls+unsubscribe@isocpp.org</a>.<br />
To post to this group, send email to <a href=3D"mailto:std-proposals@isocpp=
..org">std-proposals@isocpp.org</a>.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/a359581c-f07d-46f1-8628-48bf0e051f18%=
40isocpp.org?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.=
com/a/isocpp.org/d/msgid/std-proposals/a359581c-f07d-46f1-8628-48bf0e051f18=
%40isocpp.org</a>.<br />
------=_Part_15704_397872.1514214286237--
------=_Part_15703_281502382.1514214286237--
.