Topic: D0196R0- A generic none_t literal type for
Author: =?UTF-8?Q?Andrzej_Krzemie=C5=84ski?= <akrzemi1@gmail.com>
Date: Tue, 2 Feb 2016 02:27:44 -0800 (PST)
Raw View
------=_Part_6174_1483153960.1454408864092
Content-Type: multipart/alternative;
boundary="----=_Part_6175_2035950320.1454408864092"
------=_Part_6175_2035950320.1454408864092
Content-Type: text/plain; charset=UTF-8
The proposal has the following:
The explicit default construction of none_t{} is equal to none
>
Further down you require that `none_t` is EqualityComparable and always
returns true. This already implies the above special case.
If the intent is to give a short overview, would it not be better to just
say that (Given that `none_t` only has one state) all instances of `none_t`
compare equal to one another?
--
---
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.
Visit this group at https://groups.google.com/a/isocpp.org/group/std-proposals/.
------=_Part_6175_2035950320.1454408864092
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr">The proposal has the following:<br><br><blockquote style=
=3D"margin: 0px 0px 0px 0.8ex; border-left: 1px solid rgb(204, 204, 204); p=
adding-left: 1ex;" class=3D"gmail_quote">The explicit default construction =
of <code>none_t{}</code> is equal to <code>none</code><br><code></code></bl=
ockquote><code><br></code>Further down you require that `none_t` is Equalit=
yComparable and always returns true. This already implies the above special=
case.<br><br>If the intent is to give a short overview, would it not be be=
tter to just say that (Given that `none_t` only has one state) all instance=
s of `none_t` compare equal to one another?<br></div>
<p></p>
-- <br />
<br />
--- <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 />
Visit this group at <a href=3D"https://groups.google.com/a/isocpp.org/group=
/std-proposals/">https://groups.google.com/a/isocpp.org/group/std-proposals=
/</a>.<br />
------=_Part_6175_2035950320.1454408864092--
------=_Part_6174_1483153960.1454408864092--
.
Author: "Vicente J. Botet Escriba" <vicente.botet@wanadoo.fr>
Date: Tue, 2 Feb 2016 18:25:11 +0100
Raw View
This is a multi-part message in MIME format.
--------------040600050004020401010800
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: quoted-printable
Le 02/02/2016 11:27, Andrzej Krzemie=C5=84ski a =C3=A9crit :
> The proposal has the following:
>
> The explicit default construction of |none_t{}| is equal to |none|
> ||
>
> |
> |Further down you require that `none_t` is EqualityComparable and=20
> always returns true. This already implies the above special case.
>
> If the intent is to give a short overview, would it not be better to=20
> just say that (Given that `none_t` only has one state) all instances=20
> of `none_t` compare equal to one another?
>
yes, if we add that none_t is default constructible.
Vicente
--=20
---=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.
Visit this group at https://groups.google.com/a/isocpp.org/group/std-propos=
als/.
--------------040600050004020401010800
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta content=3D"text/html; charset=3Dutf-8" http-equiv=3D"Content-Type=
">
</head>
<body bgcolor=3D"#FFFFFF" text=3D"#000000">
<div class=3D"moz-cite-prefix">Le 02/02/2016 11:27, Andrzej
Krzemie=C5=84ski a =C3=A9crit=C2=A0:<br>
</div>
<blockquote
cite=3D"mid:7f1434dc-be28-4ecb-8aff-6f3ee548c2d8@isocpp.org"
type=3D"cite">
<div dir=3D"ltr">The proposal has the following:<br>
<br>
<blockquote style=3D"margin: 0px 0px 0px 0.8ex; border-left: 1px
solid rgb(204, 204, 204); padding-left: 1ex;"
class=3D"gmail_quote">The explicit default construction of <code>=
none_t{}</code>
is equal to <code>none</code><br>
<code></code></blockquote>
<code><br>
</code>Further down you require that `none_t` is
EqualityComparable and always returns true. This already implies
the above special case.<br>
<br>
If the intent is to give a short overview, would it not be
better to just say that (Given that `none_t` only has one state)
all instances of `none_t` compare equal to one another?<br>
</div>
<br>
</blockquote>
yes, if we add that none_t is default constructible.<br>
<br>
Vicente<br>
</body>
</html>
<p></p>
-- <br />
<br />
--- <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 />
Visit this group at <a href=3D"https://groups.google.com/a/isocpp.org/group=
/std-proposals/">https://groups.google.com/a/isocpp.org/group/std-proposals=
/</a>.<br />
--------------040600050004020401010800--
.