Topic: Re:
Author: Bryce Glover <randomdsdevel@gmail.com>
Date: Sat, 17 Dec 2016 16:10:39 -0500
Raw View
--Apple-Mail=_DB474447-63C9-462F-85C8-8E3978059A72
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=UTF-8
> On Dec 17, 2016, at 12:21 PM, std-proposals@isocpp.org wrote:
>=20
> std-proposals@isocpp.org <https://groups.google.com/a/isocpp.org/forum/?u=
tm_source=3Ddigest&utm_medium=3Demail#!forum/std-proposals/topics> Google G=
roups <https://groups.google.com/a/isocpp.org/forum/?utm_source=3Ddigest&ut=
m_medium=3Demail/#!overview> <https://groups.google.com/a/isocpp.org/forum=
/?utm_source=3Ddigest&utm_medium=3Demail/#!overview> =20
> Topic digest <>
> View all topics <https://groups.google.com/a/isocpp.org/forum/?utm_source=
=3Ddigest&utm_medium=3Demail#!forum/std-proposals/topics>
> (snipped=E2=80=A6)
> [RFC] Implicit Return Type and Allowing Anonymous Structs as Return Value=
s <x-msg://4/#group_thread_3> - 1 Update
> (snipped=E2=80=A6)
> <>[RFC] Implicit Return Type and Allowing Anonymous Structs as Return Va=
lues <http://groups.google.com/a/isocpp.org/group/std-proposals/t/cbb7=
721dc0ff04a0?utm_source=3Ddigest&utm_medium=3Demail> =20
> Matthew Woehlke <mwoehlke.floss@gmail.com>: Dec 16 01:09PM -0500=20
>=20
> I'm soliciting comments on the attached draft proposal. At Jacksonville[=
,] it was suggested that the case for P0222 and P0224 would be stronger by =
combining the proposals[,] so this paper does that. One major change is th=
at I now suggest `decltype(return)` as the marker for reusing the previousl=
y declared return type, which avoids some issues present in the original pr=
oposal.
> =20
> Summary:
> =20
> - Remove the restriction on an anonymous type as a return value. =20
> - Add `decltype(return)` as a permitted return type specifier meaning =E2=
=80=98the type as seen in a previous declaration of this overload[.=E2=80=
=99] =20
> =20
> This is NOT a general proposal for `decltype(return)` in function [bodies=
] (although I do hope someone will make such a proposal[;)] only as the ret=
urn type specifier. =20
> =20
> Please let me know what y'all think!
> =20
> [P. S.:] There are some known broken links, as I intend to reference my =
not-yet-published paper on slicing and generalized unpacking. These will b=
e fixed prior to publication once I have=E2=80=A6document numbers.
> =20
> --=20
> Matthew
> Back to top <x-msg://4/#digest_top>
> You received this digest because you're subscribed to updates for this gr=
oup. You can change your settings on the group membership page <https://gro=
ups.google.com/a/isocpp.org/forum/?utm_source=3Ddigest&utm_medium=3Demail#!=
forum/std-proposals/join>.
> To unsubscribe from this group and stop receiving emails from it send an =
email to std-proposals+unsubscribe@isocpp.org <mailto:std-proposals+unsubsc=
ribe@isocpp.org>.
Dear Mr. Woehlke,=20
I couldn=E2=80=99t help but note that your paper=E2=80=99s section on =
=E2=80=98What about deduced return types?=E2=80=99 is now somewhat inaccura=
te due to progress on P0329 <http://wg.link/p0329> (currently titled =E2=80=
=99Designated Initialization Wording=E2=80=99 as of revisions 1 and 2, but =
originally christened simply =E2=80=98Designated Initialization=E2=80=99 in=
rev. 0,) which, as far as I can recall, has been accepted for inclusion po=
st-C++17. Do you intend to update said section accordingly before submitti=
ng it in a committee mailing? =20
Just checking,=20
Bryce Glover
RandomDSdevel@gmail.com
--=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/27564056-B878-4DB3-8198-1609F4AAC1E6%40gmail.com=
..
--Apple-Mail=_DB474447-63C9-462F-85C8-8E3978059A72
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html; charset=UTF-8
<html><head><meta http-equiv=3D"Content-Type" content=3D"text/html charset=
=3Dutf-8"></head><body style=3D"word-wrap: break-word; -webkit-nbsp-mode: s=
pace; -webkit-line-break: after-white-space;" class=3D""><div><blockquote t=
ype=3D"cite" class=3D""><div class=3D"">On Dec 17, 2016, at 12:21 PM, <a hr=
ef=3D"mailto:std-proposals@isocpp.org" class=3D"">std-proposals@isocpp.org<=
/a> wrote:</div><br class=3D"Apple-interchange-newline"><div class=3D"">
<div style=3D"border: 1px solid rgb(211, 211, 211); max-width: 850px; font-=
family: Arial, sans-serif;" class=3D"">
<div style=3D"background-color:#f5f5f5;padding:10px 20px" class=3D"">
<table cellpadding=3D"0" cellspacing=3D"0" style=3D"width:100%" class=
=3D"">
<tbody class=3D"">
<tr class=3D"">
<td style=3D"width:70%" class=3D"">
<span style=3D"font:18px/20px arial;color:#333333" class=3D"">
<a href=3D"https://groups.google.com/a/isocpp.org/forum/?utm_=
source=3Ddigest&utm_medium=3Demail#!forum/std-proposals/topics" style=
=3D"text-decoration:none; color:#333333" class=3D"">
std-proposals@isocpp.org</a>
</span>
</td>
<td style=3D"text-align:right;width:30%" class=3D"">
<span style=3D"font:20px/24px arial" class=3D""><a style=3D"col=
or:#dd4b39; text-decoration:none;" href=3D"https://groups.google.com/a/isoc=
pp.org/forum/?utm_source=3Ddigest&utm_medium=3Demail/#!overview" target=
=3D"_blank" class=3D"">Google Groups</a></span>
</td>
<td style=3D"width:32px;" class=3D"">
<a href=3D"https://groups.google.com/a/isocpp.org/forum/?utm_so=
urce=3Ddigest&utm_medium=3Demail/#!overview" target=3D"_blank" class=3D=
""><img style=3D"border:0;vertical-align:middle" src=3D"http://www.google.c=
om/images/icons/product/groups-32.png" class=3D""></a>
</td>
</tr>
</tbody>
</table>
</div>
<div style=3D"padding:20px; background-color: #f5f5f5;" class=3D"">
<div style=3D"font-family: arial; color: #222222; padding: 0px" class=3D"">
<a name=3D"digest_top" style=3D"font-size:21px;" class=3D"">
=20
=20
Topic digest
=20
</a><br class=3D"">
<span style=3D"font-size:11px" class=3D"">
<a style=3D"color:#1155cc;text-decoration:none" href=3D"https://groups.=
google.com/a/isocpp.org/forum/?utm_source=3Ddigest&utm_medium=3Demail#!=
forum/std-proposals/topics" class=3D"">View all topics</a>
</span>
</div>
<div style=3D"font: 13px/18px arial; color:#222222; padding: 0px; margin-bo=
ttom:30px" class=3D"">
<ul style=3D"margin-left:3px; padding-left:0px" class=3D"">
=20
<li class=3D"">(snipped=E2=80=A6)</li>
=20
<li class=3D"">
<a style=3D"color:#1155cc;text-decoration:none" href=3D"x-msg://4/#gr=
oup_thread_3" class=3D"">
[RFC] Implicit Return Type and Allowing Anonymous Structs as Return V=
alues</a> -
<span style=3D"color:#777777" class=3D"">1 Update</span>
</li>
=20
<li class=3D"">(snipped=E2=80=A6)</li>
=20
</ul>
</div>
=20
<a name=3D"group_thread_0" class=3D""></a><div style=3D"display:inline-bl=
ock; font-family: arial; padding: 4px 0 5px 0px;" class=3D""><a target=3D"_=
blank" href=3D"http://groups.google.com/a/isocpp.org/group/std-proposals/t/=
cbb7721dc0ff04a0?utm_source=3Ddigest&utm_medium=3Demail" style=3D"font-=
size:21px; color:#1155CC; text-decoration:none" class=3D"">[RFC] Implicit R=
eturn Type and Allowing Anonymous Structs as Return Values
</a>
=20
</div>
<table style=3D"border-collapse: collapse; width: 100%" class=3D"">
=20
<tbody class=3D""><tr class=3D""><td style=3D"background-color: #FFFF=
FF; color:#2E2E2E; font-family: arial; padding:10px 15px; border:1px solid =
#d3d3d3;" class=3D"">
<span style=3D"color:#B1B0B0; font-size: 15px;" class=3D"">
Matthew Woehlke <<a href=3D"mailto:mwoehlke.floss@gmail.com" c=
lass=3D"">mwoehlke.floss@gmail.com</a>>: Dec 16 01:09PM -0500
</span>
<br class=3D""><br class=3D"">
I'm soliciting comments on the attached draft proposal. At Ja=
cksonville[,] it was suggested that the case for P0222 and P0224 would=
be stronger by combining the proposals[,] so this paper does that. &n=
bsp;One major change is that I now suggest `decltype(return)` as the m=
arker for reusing the previously declared return type, which avoids so=
me issues present in the original proposal.<br class=3D"">
<br class=3D"">
Summary:<br class=3D"">
<br class=3D"">
- Remove the restriction on an anonymous type as a return value. <br =
class=3D"">
- Add `decltype(return)` as a permitted return type specifier meaning =
=E2=80=98the type as seen in a previous declaration of this overload[.=E2=
=80=99] <br class=3D"">
<br class=3D"">
This is NOT a general proposal for `decltype(return)` in function [<i class=
=3D"">bodies</i>] (although I do hope someone will make such a proposa=
l[;)] only as the return type specifier. <br class=3D"">
<br class=3D"">
Please let me know what y'all think!<br class=3D"">
<br class=3D"">
[P. S.:] There are some known broken links, as I intend to reference =
my not-yet-published paper on slicing and generalized unpacking.  =
;These will be fixed prior to publication once I have=E2=80=A6document=
numbers.<br class=3D"">
<br class=3D"">
-- <br class=3D"">
Matthew<br class=3D"">
</td></tr>
=20
</tbody></table>
<div style=3D"align:right; font-size:11px; margin-bottom: 40px; margin-to=
p:5px;" class=3D"">
<a style=3D"color:#1155cc;text-decoration:none" href=3D"x-msg://4/#dige=
st_top" class=3D"">Back to top</a></div>
</div>
<div style=3D"background-color: #f5f5f5;padding: 5px 20px;" class=3D"">
<table cellpadding=3D"0" cellspacing=3D"0" style=3D"width:100%" class=3D"=
">
<tbody class=3D""><tr class=3D"">
<td style=3D"padding-top:4px;font-family:arial,sans-serif;color:#636363=
;font-size:11px" class=3D"">
=20
You received this digest because you're subscribed to updates for thi=
s group. You can change your settings on the <a href=3D"https://groups.goog=
le.com/a/isocpp.org/forum/?utm_source=3Ddigest&utm_medium=3Demail#!foru=
m/std-proposals/join" style=3D"color:#1155cc;text-decoration:none" class=3D=
"">group membership page</a>.<br class=3D"">
To unsubscribe from this group and stop receiving emails from it send=
an email to <a href=3D"mailto:std-proposals+unsubscribe@isocpp.org" class=
=3D"">std-proposals+unsubscribe@isocpp.org</a>.
</td>
</tr></tbody>
</table>
</div>
</div>
</div></blockquote></div><br class=3D""><div class=3D"">Dear Mr. Woehlke,&n=
bsp;</div><div class=3D""><br class=3D""></div><div class=3D"">  =
; I couldn=E2=80=99t help but note that your paper=E2=80=99s section =
on =E2=80=98What about deduced return types?=E2=80=99 is now somewhat inacc=
urate due to progress on <a href=3D"http://wg.link/p0329" class=3D"">P=
0329</a> (currently titled =E2=80=99Designated Initialization Wording=
=E2=80=99 as of revisions 1 and 2, but originally christened simply =E2=80=
=98Designated Initialization=E2=80=99 in rev. 0,) which, as far as I can re=
call, has been accepted for inclusion post-C++17. Do you intend to up=
date said section accordingly before submitting it in a committee mailing? =
</div><br class=3D""><div class=3D"">
<div style=3D"color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; t=
ext-align: start; text-indent: 0px; text-transform: none; white-space: norm=
al; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-w=
rap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-=
space;" class=3D""><div style=3D"color: rgb(0, 0, 0); letter-spacing: norma=
l; orphans: auto; text-align: start; text-indent: 0px; text-transform: none=
; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke=
-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-=
break: after-white-space;" class=3D""><div style=3D"color: rgb(0, 0, 0); le=
tter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; t=
ext-transform: none; white-space: normal; widows: auto; word-spacing: 0px; =
-webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: s=
pace; -webkit-line-break: after-white-space;" class=3D""><div class=3D"">Ju=
st checking, </div><div class=3D""> Bryce Glover</d=
iv><div class=3D""> <a href=3D"mailto:RandomDSdevel@gmai=
l.com" class=3D"">RandomDSdevel@gmail.com</a></div></div></div></div></div>=
</body></html>
<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/27564056-B878-4DB3-8198-1609F4AAC1E6%=
40gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/27564056-B878-4DB3-8198-1609F4AAC1E6%=
40gmail.com</a>.<br />
--Apple-Mail=_DB474447-63C9-462F-85C8-8E3978059A72--
.