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&quot; 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&quot; 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--

.