220 9891 <c17acc18-db6f-4233-b819-49bb623259dd@isocpp.org> article
Path: news.gmane.org!not-for-mail
From: Matheus Izvekov <mizvekov@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: Explicitly-defaulted enumeration operators
Date: Mon, 17 Mar 2014 22:01:02 -0700 (PDT)
Lines: 129
Approved: news@gmane.org
Message-ID: <c17acc18-db6f-4233-b819-49bb623259dd@isocpp.org>
References: <3B09C97E-7ADE-49ED-8C31-B5B41CD3DDE7@gmail.com> <781009e3-cd3c-4cb8-b034-b51a7c97c750@isocpp.org> <E797CAFE-4967-4881-870D-569BF15C757E@gmail.com> <10450602-fee9-48c4-9fa2-d000e434f5fb@isocpp.org> <6F532E62-C10A-404A-8F0D-662B7EA3D202@gmail.com> <24e85eaf-e67b-4a0b-acee-47d996d6f6ee@isocpp.org>
 <7F327393-B9EF-46EB-A40E-86F80EFEF5BD@gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_796_10176964.1395118862444"
X-Trace: ger.gmane.org 1395118859 23531 80.91.229.3 (18 Mar 2014 05:00:59 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Tue, 18 Mar 2014 05:00:59 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBCOKZ27XTMNRBD5GT6MQKGQE5KDTDUA@isocpp.org Tue Mar 18 06:01:06 2014
Return-path: <std-proposals+bncBCOKZ27XTMNRBD5GT6MQKGQE5KDTDUA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-qa0-f72.google.com ([209.85.216.72])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBCOKZ27XTMNRBD5GT6MQKGQE5KDTDUA@isocpp.org>)
	id 1WPm9A-0001tN-Dz
	for gclcip-std-proposals@m.gmane.org; Tue, 18 Mar 2014 06:01:04 +0100
Original-Received: by mail-qa0-f72.google.com with SMTP id f11sf14024983qae.7
        for <gclcip-std-proposals@m.gmane.org>; Mon, 17 Mar 2014 22:01:03 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        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
         :content-type;
        bh=vlfoImZ0E4oZZk0kWcUhwebc1nQmKhIA/WbvoymOxms=;
        b=OFOl3yLhNzaWwQQ1WSVTM5se7Q/UrWzZjCJPKFZAz5VE5q+PpuT3qp49+zFSYEPqky
         OhV2g+gVT++sNrTKq/R04kvfJ1PeELTks/jV/SwEaMQ1fF83dH9UweagU8ayC6Vp2k9w
         r14BVH6UuP671Pf8wUEz6kZEcA4saMyjGQAsbij+oS+1YogXJg8U033TtFfQBSka+EUB
         TtQX6mvjDpTVzoa0glv30PV6rx+zQrOfd6KZYM77gr7nnGn1uM6D/S96Du4ggpwLAPEw
         1qeQb8AMFfYTmcbOXH2mqzdC5RCGHam9wNK/9QlBnSkvMlEVeOZQyVi0gM53rMQQt0pC
         U3aw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        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:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type;
        bh=vlfoImZ0E4oZZk0kWcUhwebc1nQmKhIA/WbvoymOxms=;
        b=GRqQg2Hy1XEbnbuoclT8bG5yF9r8CK3EiEJd8j32PK4/Hf98aTxpDK1TYq88wTynhM
         /KUgkqXh7IramyPuOGrL+cDzcNsxqQwLvccvOpAp79iyHrrK2l+MpfbZdfAbqjEYCaZw
         iHLiqpxcwokpasm52sA+tuP3kP4j02YaB5iPShEIuHmRAcjhkdHWXPa+QCTtGv01uaIP
         CzexiHC30PvHbUFwbUcBh3c/Qv+atwgcTyxq/VFrKLndDNxTJcJHqNuu2fMzGA0jF82V
         nX6oXwkbmpVVqI16ShJ6Vu35E83NEqVkbADGnz3XDmCwL82H24o4qDLz/cos1w48NBHF
         U0DA==
X-Gm-Message-State: ALoCoQltvO1Mue7sY7Kc/klnPzZkiKBWx0khxIFwjVdgSkqJVuHx+2QNySrVDw8J0jwM4F5+MjGP
X-Received: by 10.236.94.238 with SMTP id n74mr1492036yhf.27.1395118863524;
        Mon, 17 Mar 2014 22:01:03 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.140.105.100 with SMTP id b91ls1967067qgf.26.gmail; Mon, 17 Mar
 2014 22:01:02 -0700 (PDT)
X-Received: by 10.140.93.109 with SMTP id c100mr5108qge.21.1395118862882;
        Mon, 17 Mar 2014 22:01:02 -0700 (PDT)
In-Reply-To: <7F327393-B9EF-46EB-A40E-86F80EFEF5BD@gmail.com>
X-Original-Sender: mizvekov@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: <http://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <http://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <http://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:9891
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/9891>

------=_Part_796_10176964.1395118862444
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

On Tuesday, March 18, 2014 1:51:08 AM UTC-3, David Krauss wrote:
>
>
> On 2014=E2=80=9303=E2=80=9318, at 12:42 PM, Matheus Izvekov <mizv...@gmai=
l.com<javascript:>>=20
> wrote:=20
>
> > Well, he doesn't say explicitly, but it seems Walter's approach would b=
e=20
> applicable to enum types just as well, or if not, could be easily extende=
d=20
> to cover that.=20
>
> Yeah, but it would be redundant. And you would lose the=20
> implicit/defaultable definitions because there would be no underlying=20
> operators.=20
>
>
Hmm, but suppose you could write something like this:

enum class flags : uint32_t {
   foo =3D 1, bar =3D 2, baz =3D 4;
   flags operator|(flags,flags) =3D default;
};

 Seems all the machinery for this is in Walter's paper, but it would need a=
=20
new grammar rule for allowing ';' inside enum definitions.

--=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 http://groups.google.com/a/isocpp.org/group/std-proposa=
ls/.

------=_Part_796_10176964.1395118862444
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On Tuesday, March 18, 2014 1:51:08 AM UTC-3, David Krauss =
wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left: 0.8=
ex;border-left: 1px #ccc solid;padding-left: 1ex;">
<br>On 2014=E2=80=9303=E2=80=9318, at 12:42 PM, Matheus Izvekov &lt;<a href=
=3D"javascript:" target=3D"_blank" gdf-obfuscated-mailto=3D"u_r0wc1okXsJ" o=
nmousedown=3D"this.href=3D'javascript:';return true;" onclick=3D"this.href=
=3D'javascript:';return true;">mizv...@gmail.com</a>&gt; wrote:
<br>
<br>&gt; Well, he doesn't say explicitly, but it seems Walter's approach wo=
uld be applicable to enum types just as well, or if not, could be easily ex=
tended to cover that.
<br>
<br>Yeah, but it would be redundant. And you would lose the implicit/defaul=
table definitions because there would be no underlying operators.
<br>
<br></blockquote><div><br>Hmm, but suppose you could write something like t=
his:<br><br><div class=3D"prettyprint" style=3D"background-color: rgb(250, =
250, 250); border-color: rgb(187, 187, 187); border-style: solid; border-wi=
dth: 1px; word-wrap: break-word;"><code class=3D"prettyprint"><div class=3D=
"subprettyprint"><div dir=3D"ltr" style=3D"font-size: 13.2835px; font-famil=
y: monospace; left: 122.567px; top: 287.962px; transform: rotate(0deg) scal=
e(0.99626, 1); transform-origin: 0% 0% 0px;" data-angle=3D"0" data-font-nam=
e=3D"g_font_303_0" data-canvas-width=3D"39.85040118763447"><span style=3D"c=
olor: #008;" class=3D"styled-by-prettify">enum</span><span style=3D"color: =
#000;" class=3D"styled-by-prettify"> </span><span style=3D"color: #008;" cl=
ass=3D"styled-by-prettify">class</span><span style=3D"color: #000;" class=
=3D"styled-by-prettify"> flags </span><span style=3D"color: #660;" class=3D=
"styled-by-prettify">:</span><span style=3D"color: #000;" class=3D"styled-b=
y-prettify"> uint32_t </span><span style=3D"color: #660;" class=3D"styled-b=
y-prettify">{</span><span style=3D"color: #000;" class=3D"styled-by-prettif=
y"><br>&nbsp; &nbsp;foo </span><span style=3D"color: #660;" class=3D"styled=
-by-prettify">=3D</span><span style=3D"color: #000;" class=3D"styled-by-pre=
ttify"> </span><span style=3D"color: #066;" class=3D"styled-by-prettify">1<=
/span><span style=3D"color: #660;" class=3D"styled-by-prettify">,</span><sp=
an style=3D"color: #000;" class=3D"styled-by-prettify"> bar </span><span st=
yle=3D"color: #660;" class=3D"styled-by-prettify">=3D</span><span style=3D"=
color: #000;" class=3D"styled-by-prettify"> </span><span style=3D"color: #0=
66;" class=3D"styled-by-prettify">2</span><span style=3D"color: #660;" clas=
s=3D"styled-by-prettify">,</span><span style=3D"color: #000;" class=3D"styl=
ed-by-prettify"> baz </span><span style=3D"color: #660;" class=3D"styled-by=
-prettify">=3D</span><span style=3D"color: #000;" class=3D"styled-by-pretti=
fy"> </span><span style=3D"color: #066;" class=3D"styled-by-prettify">4</sp=
an><span style=3D"color: #660;" class=3D"styled-by-prettify">;</span><span =
style=3D"color: #000;" class=3D"styled-by-prettify"><br></span></div><span =
style=3D"color: #000;" class=3D"styled-by-prettify">&nbsp; &nbsp;flags </sp=
an><span style=3D"color: #008;" class=3D"styled-by-prettify">operator</span=
><span style=3D"color: #660;" class=3D"styled-by-prettify">|(</span><span s=
tyle=3D"color: #000;" class=3D"styled-by-prettify">flags</span><span style=
=3D"color: #660;" class=3D"styled-by-prettify">,</span><span style=3D"color=
: #000;" class=3D"styled-by-prettify">flags</span><span style=3D"color: #66=
0;" class=3D"styled-by-prettify">)</span><span style=3D"color: #000;" class=
=3D"styled-by-prettify"> </span><span style=3D"color: #660;" class=3D"style=
d-by-prettify">=3D</span><span style=3D"color: #000;" class=3D"styled-by-pr=
ettify"> </span><span style=3D"color: #008;" class=3D"styled-by-prettify">d=
efault</span><span style=3D"color: #660;" class=3D"styled-by-prettify">;</s=
pan><div dir=3D"ltr" style=3D"font-size: 13.2835px; font-family: monospace;=
 left: 122.567px; top: 383.603px; transform: rotate(0deg) scale(0.99626, 1)=
; transform-origin: 0% 0% 0px;" data-angle=3D"0" data-font-name=3D"g_font_3=
03_0" data-canvas-width=3D"15.940160475053789"><span style=3D"color: #660;"=
 class=3D"styled-by-prettify">};</span></div></div></code></div><br>&nbsp;S=
eems all the machinery for this is in Walter's paper, but it would need a n=
ew grammar rule for allowing ';' inside enum definitions.<br></div></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"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

------=_Part_796_10176964.1395118862444--

.
