220 41521 <fafecf1b-2bb2-4803-8745-797bd8cbb4ac@isocpp.org> article
Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail
From: Barry Revzin <barry.revzin@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: Anybody interested in reviewing
 draft/presenting "anti" spaceship paper?
Date: Fri, 1 Mar 2019 11:49:21 -0800 (PST)
Approved: news@gmane.org
Message-ID: <fafecf1b-2bb2-4803-8745-797bd8cbb4ac@isocpp.org>
References: <544de10d-be39-4c83-a211-b888a34724c3@isocpp.org> <7ca8c57f-64d6-44aa-9bcf-1ae2535b3a26@isocpp.org>
 <CAB=+0+OtfXGd_QdpHihhYHOz5=J4EB2NZOJH8UD9txjz_H+O+Q@mail.gmail.com>
 <82f8dd84-6321-437d-9a40-ff6ee6e014fb@isocpp.org>
Reply-To: std-proposals@isocpp.org
Mime-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_290_729406082.1551469761176"
Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226";
	logging-data="68626"; mail-complaints-to="usenet@blaine.gmane.org"
To: ISO C++ Standard - Future Proposals <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCJJTG7CS4ARBQUZ43RQKGQEM5IT7OA@isocpp.org Fri Mar 01 20:49:25 2019
Return-path: <std-proposals+bncBCJJTG7CS4ARBQUZ43RQKGQEM5IT7OA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-yw1-f71.google.com ([209.85.161.71])
	by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
	(Exim 4.89)
	(envelope-from <std-proposals+bncBCJJTG7CS4ARBQUZ43RQKGQEM5IT7OA@isocpp.org>)
	id 1gzo9s-000HhK-Jn
	for gclcip-std-proposals@m.gmane.org; Fri, 01 Mar 2019 20:49:24 +0100
Original-Received: by mail-yw1-f71.google.com with SMTP id w185sf3231728ywd.4
        for <gclcip-std-proposals@m.gmane.org>; Fri, 01 Mar 2019 11:49:24 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=isocpp-org.20150623.gappssmtp.com; s=20150623;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe;
        bh=N07QHGMzFrWA0xP8kLli+NH1zGZLD80aM9xIFfN0FAE=;
        b=GUs5jywY2VckImnR1kyHUmlC6GaT5puyLHAaBu6ezJFipBsQH5r/ANFZ0Pk79wXKyR
         AM6gn9At3r7e/ccg+oAZmyrWm3pX4/6hrty5KLCG+MGfGtbiwfpTXY9MwNDVO7x4CUZC
         b2ES0jtVbjPGoY3kPA6BN58b+wW4Q9P2nUKfl6OzMewnTuPTbLZA1AgZQ0SzG3g+utZs
         M6pDys+iAiankseVnZmSsIVyOFwAdC2aRBHa5g6cH98pntFnYSuxWC/mkV2xao2t299O
         nLyblqIepZVwHCsc6vCR0UNdKhOFOvInR66x/nU8tKz+FDJ+drZ1xmmhrizg1R8pEaBJ
         XMcg==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20161025;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe;
        bh=N07QHGMzFrWA0xP8kLli+NH1zGZLD80aM9xIFfN0FAE=;
        b=g0EtgBlacveOcOeswKFMObBvbvrFNsmCqoHyu98GYXw0H0aBYsA5XMc9NnvR7aLwy8
         2ZZt83FMF6gXLgw0flasphW820a+Fx6TCJvI7ZijHgp9E69tBMpUKFfCyLlJudTpI4fl
         VeWuD0Yb6qBbmGxueN3k77WXW4UhnF60ULG9DkAa3dW1nJbQNYKj0kyj6qIbBfu3G1YC
         FccuvUmPil9ty21SCI5Y8u94qks7vsmz9cE1R3oFIzndm0U6oZi03lmfoePuHiTF+8Kh
         EqBYa2c7kjONvPaYQTHQViHb+4fwJyUgm3n5IBLxN+/gYXSgtX1WR7epOJNP0Zf6bgfj
         05Gg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:date:from:to:message-id:in-reply-to:references
         :subject:mime-version:x-original-sender:reply-to:precedence
         :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help
         :list-archive:list-subscribe:list-unsubscribe;
        bh=N07QHGMzFrWA0xP8kLli+NH1zGZLD80aM9xIFfN0FAE=;
        b=qohboTstIydsgBVYpuLMN7KxBy+NVTjrJzquden72IVE4y1pXeL52qpwgYJn/HlDVJ
         lBS8ljKdcFw2Os9fl4UnYh0IFizkMjnNBv7nfBCBKNHLIunhUA5K/ZpounENTHS6AaRd
         C8qQ0+IE8WVboLiv5WyfyzEncvL50xcQ/Lk5guXj97JaI5Yab2oUS1dItB/k9iGbPan+
         yUTnezoDC8xQkrsblzBPtj2RovbEs7x2MdHfAznQL9z7HkkcAinLk8PKJqhFg7iVDbAP
         Y1zVAFeeReG2fqOdoadUKmBRxdY76Ip6whj7jxVS8Afbmlz56K7dhGaqyj/ajrjl0nLz
         CyKQ==
X-Gm-Message-State: APjAAAUMsTu0p3GEC6aOEnMFz52qdRqb5WbN/2uwyvepfPVZ55SoRuRV
	Yt7hUgJNfH48yu4vrbMwpuyBTQ==
X-Google-Smtp-Source: APXvYqxMEydQcoFItOGn80Kj8NXsNyf3pHOfqrdWQlXMjmeOnpfCixIc6W2icHva4jRmJrTD+CEmyQ==
X-Received: by 2002:a25:bed2:: with SMTP id k18mr3150195ybm.72.1551469763330;
        Fri, 01 Mar 2019 11:49:23 -0800 (PST)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 2002:a81:5888:: with SMTP id m130ls1828116ywb.9.gmail; Fri, 01
 Mar 2019 11:49:22 -0800 (PST)
X-Received: by 2002:a0d:e781:: with SMTP id q123mr5248264ywe.378.1551469761930;
        Fri, 01 Mar 2019 11:49:21 -0800 (PST)
In-Reply-To: <82f8dd84-6321-437d-9a40-ff6ee6e014fb@isocpp.org>
X-Original-Sender: Barry.Revzin@gmail.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:41521
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/41521>

------=_Part_290_729406082.1551469761176
Content-Type: multipart/alternative; 
	boundary="----=_Part_291_159041587.1551469761176"

------=_Part_291_159041587.1551469761176
Content-Type: text/plain; charset="UTF-8"



On Friday, March 1, 2019 at 1:31:10 PM UTC-6, Barry Revzin wrote:
>
> On Friday, March 1, 2019 at 10:47:41 AM UTC-6, Ivan Matek wrote:
>>
>>
>>
>> On Mon, Feb 25, 2019 at 2:40 PM Barry Revzin <barry....@gmail.com> wrote:
>>
>>> On Saturday, February 16, 2019 at 3:43:01 PM UTC-6, libb...@gmail.com 
>>> wrote:
>>> <=> will be in C++20
>>>
>> Disappointed, not surprised. :) 
>>  
>>
>>>
>>> But what does <= do? You have two choices:
>>> Which do you pick? 
>>>
>> Why do you not just use member's <=? 
>>
>
> You can do. It just means that if you're a type that provides something 
> other than lexicographic, member-wise comparison, you have to write *both* < 
> and <= (in addition to ==). Whichever way you go about doing (which 
> typically will just be <= just invoking <), that still seems worse than 
> just being able to write one <=>. 
>
> The only real benefit of this approach vs the <=> we have in C++20 is 
> slightly shorter defaulting of comparisons? That doesn't seem like a good 
> tradeoff when comparing the two options.
>

And to elaborate, it really is only slightly shorter:

default operator: <, <=, ==, !=, >=, >;      // proposed here
auto operator<=>(C const&) const = default;  // C++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 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/fafecf1b-2bb2-4803-8745-797bd8cbb4ac%40isocpp.org.

------=_Part_291_159041587.1551469761176
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><br>On Friday, March 1, 2019 at 1:31:10 PM UTC-6, Barr=
y Revzin wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-=
left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir=3D"ltr=
">On Friday, March 1, 2019 at 10:47:41 AM UTC-6, Ivan Matek wrote:<blockquo=
te class=3D"gmail_quote" style=3D"margin:0;margin-left:0.8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div dir=3D"ltr"><div dir=3D"ltr"><br></div>=
<br><div class=3D"gmail_quote"><div dir=3D"ltr">On Mon, Feb 25, 2019 at 2:4=
0 PM Barry Revzin &lt;<a rel=3D"nofollow">barry....@gmail.com</a>&gt; wrote=
:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.=
8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"lt=
r">On Saturday, February 16, 2019 at 3:43:01 PM UTC-6, <a>libb...@gmail.com=
</a> wrote:<div>&lt;=3D&gt; will be in C++20</div></div></blockquote><div>D=
isappointed, not surprised. :) <br></div><div>=C2=A0</div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rg=
b(204,204,204);padding-left:1ex"><div dir=3D"ltr"><div><span><br><div>But w=
hat does &lt;=3D do? You have two choices:<br></div></span><span><div>Which=
 do you pick? <br></div></span></div></div></blockquote>Why do you not just=
 use member&#39;s &lt;=3D? <br></div></div></blockquote><div><br></div><div=
>You can do. It just means that if you&#39;re a type that provides somethin=
g other than lexicographic, member-wise comparison, you have to write <i>bo=
th</i>=C2=A0&lt; and &lt;=3D (in addition to =3D=3D). Whichever way you go =
about doing (which typically will just be &lt;=3D just invoking &lt;), that=
 still seems worse than just being able to write one &lt;=3D&gt;.=C2=A0</di=
v><div><br></div><div>The only real benefit of this approach vs the &lt;=3D=
&gt; we have in C++20 is slightly shorter defaulting of comparisons? That d=
oesn&#39;t seem like a good tradeoff when comparing the two options.</div><=
/div></blockquote><div><br></div><div>And to elaborate, it really is only s=
lightly shorter:</div><div><br></div><div><div class=3D"prettyprint" style=
=3D"background-color: rgb(250, 250, 250); border-color: rgb(187, 187, 187);=
 border-style: solid; border-width: 1px; overflow-wrap: break-word;"><code =
class=3D"prettyprint"><div class=3D"subprettyprint"><div class=3D"subpretty=
print">default operator: &lt;, &lt;=3D, =3D=3D, !=3D, &gt;=3D, &gt;;=C2=A0 =
=C2=A0 =C2=A0 // proposed here</div><div class=3D"subprettyprint">auto oper=
ator&lt;=3D&gt;(C const&amp;) const =3D default;=C2=A0 // C++20</div></div>=
</code></div><br><br></div></div>

<p></p>

-- <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 />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/fafecf1b-2bb2-4803-8745-797bd8cbb4ac%=
40isocpp.org?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google.=
com/a/isocpp.org/d/msgid/std-proposals/fafecf1b-2bb2-4803-8745-797bd8cbb4ac=
%40isocpp.org</a>.<br />

------=_Part_291_159041587.1551469761176--

------=_Part_290_729406082.1551469761176--

.
