220 18860 <9D53ABD7-2AE4-4109-ACE0-C939DE311ACA@mac.com> article
Path: news.gmane.org!not-for-mail
From: David Krauss <potswa@mac.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Compressing std::optional
Date: Mon, 29 Jun 2015 00:22:33 +0800
Lines: 65
Approved: news@gmane.org
Message-ID: <9D53ABD7-2AE4-4109-ACE0-C939DE311ACA@mac.com>
References: <4359ebfb-5e20-42c1-84a0-16ef6201db33@isocpp.org>
 <33303ec4-d4c3-4080-a7bb-346496e38114@isocpp.org>
 <CA+jCFLu=mau8v+XJxAg7eUwk=uLXdXLhhGTV9KsOxT=CjtzqfQ@mail.gmail.com>
 <CAOHCbiv9J9S=U02d=P3jrDN8WD1dLpoWsfz3Jmot7LV7JHQAVw@mail.gmail.com>
 <749546C6-8165-4775-A3E2-319F6EA84EE5@gmail.com>
 <8fc1d9f9-41a8-431c-a89d-448bea95a5db@isocpp.org>
 <D5EEF02F-4CA7-49C0-A40E-E3DCA4EDB2C5@mac.com>
 <07A8C4E9-69D7-4EE2-AADB-7179FB93BEA1@gmail.com>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2098\))
Content-Type: multipart/alternative;
 boundary="Apple-Mail=_77B7ABA9-3924-4B46-B3C4-4D48D3BCAD48"
X-Trace: ger.gmane.org 1435508568 4979 80.91.229.3 (28 Jun 2015 16:22:48 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Sun, 28 Jun 2015 16:22:48 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBAABBT56YCWAKGQERS5ZTGQ@isocpp.org Sun Jun 28 18:22:41 2015
Return-path: <std-proposals+bncBAABBT56YCWAKGQERS5ZTGQ@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-pd0-f199.google.com ([209.85.192.199])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBAABBT56YCWAKGQERS5ZTGQ@isocpp.org>)
	id 1Z9FLt-0001DP-6G
	for gclcip-std-proposals@m.gmane.org; Sun, 28 Jun 2015 18:22:41 +0200
Original-Received: by pdir4 with SMTP id r4sf283255801pdi.2
        for <gclcip-std-proposals@m.gmane.org>; Sun, 28 Jun 2015 09:22:40 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:from:content-type:message-id:mime-version
         :subject:date:references:to:in-reply-to:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-spam-checked-in-group:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=Tt+V7zME7NU7LT4PeGC7p9pLnBTzZDySKLq/iNyUQoI=;
        b=L/T0BOhdlB9U0SvYB7ZsBTMgmFyIXtXBC1Ky2vRNEkwCqEfJauwhe9UNPcy36Pt/O2
         IUOqNAQSXqaUj7K8PffUUAHSf2qUJSxigQOTEHB/rUAwNepfcarhO2NyZ8aPY2ySuTY9
         zdUthCq/9y/Al3tm4lJgM21kBVl9IwLrD6+pPeZnypH/od4OXIQs9eaYJ8U8qwiJ+SSQ
         P0SgZJ+GkXClAUCgiTzF4C8JKjkoAVU0Ny60zeCzBCpOgpcfJRn/hwNTyeEtuEF8CDPz
         774ltd9YOJ6Dv09OjVaWx+eonJUUOH1AMrVwhUJd/7kFxDQGjsRKOPYkos5EzxLzlkI5
         Or8Q==
X-Gm-Message-State: ALoCoQnH0pmBM5P+v9mO0u4b/IqtP1sGwGa8ENKvFSG33XzPjIrfvUoKaIDtSLsicLafJOmIib56
X-Received: by 10.68.195.166 with SMTP id if6mr14321203pbc.6.1435508560029;
        Sun, 28 Jun 2015 09:22:40 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.50.142.2 with SMTP id rs2ls673707igb.26.canary; Sun, 28 Jun
 2015 09:22:39 -0700 (PDT)
X-Received: by 10.66.55.105 with SMTP id r9mr23514881pap.143.1435508559300;
        Sun, 28 Jun 2015 09:22:39 -0700 (PDT)
Original-Received: from nk11p04mm-asmtp001.mac.com (nk11p04mm-asmtpout001.mac.com. [17.158.236.236])
        by mx.google.com with ESMTPS id g14si8173141pdf.174.2015.06.28.09.22.39
        for <std-proposals@isocpp.org>
        (version=TLSv1.2 cipher=AES128-GCM-SHA256 bits=128/128);
        Sun, 28 Jun 2015 09:22:39 -0700 (PDT)
Received-SPF: pass (google.com: domain of potswa@mac.com designates 17.158.236.236 as permitted sender) client-ip=17.158.236.236;
Original-Received: from [172.20.10.2] (unknown [121.54.44.88])
 by nk11p04mm-asmtp001.mac.com
 (Oracle Communications Messaging Server 7.0.5.35.0 64bit (built Mar 31 2015))
 with ESMTPSA id <0NQN009ACXHMSK30@nk11p04mm-asmtp001.mac.com> for
 std-proposals@isocpp.org; Sun, 28 Jun 2015 16:22:38 +0000 (GMT)
X-Proofpoint-Virus-Version: vendor=fsecure
 engine=2.50.10432:5.14.151,1.0.33,0.0.0000
 definitions=2015-06-28_03:2015-06-26,2015-06-28,1970-01-01 signatures=0
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0
 suspectscore=1 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0
 reason=mlx scancount=1 engine=7.0.1-1412110000 definitions=main-1506280295
In-reply-to: <07A8C4E9-69D7-4EE2-AADB-7179FB93BEA1@gmail.com>
X-Mailer: Apple Mail (2.2098)
X-Original-Sender: potswa@mac.com
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of potswa@mac.com designates 17.158.236.236 as permitted sender)
 smtp.mail=potswa@mac.com;       dmarc=pass (p=NONE dis=NONE) header.from=mac.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Spam-Checked-In-Group: 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: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:18860
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/18860>

--Apple-Mail=_77B7ABA9-3924-4B46-B3C4-4D48D3BCAD48
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset=UTF-8


> On 2015=E2=80=9306=E2=80=9329, at 12:19 AM, Vitali Lovich <vlovich@gmail.=
com> wrote:
>=20
> Hmmm... And how would optional decide what state it needs to store?

Initialize the disengaged state with invalidate_representation. Construct t=
he object to engage. Query engagement with is_valid_representation.

--=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/.

--Apple-Mail=_77B7ABA9-3924-4B46-B3C4-4D48D3BCAD48
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""><br class=3D""><di=
v><blockquote type=3D"cite" class=3D""><div class=3D"">On 2015=E2=80=9306=
=E2=80=9329, at 12:19 AM, Vitali Lovich &lt;<a href=3D"mailto:vlovich@gmail=
..com" class=3D"">vlovich@gmail.com</a>&gt; wrote:</div><br class=3D"Apple-i=
nterchange-newline"><div class=3D""><span style=3D"font-family: Helvetica; =
font-size: 12px; font-style: normal; font-variant: normal; font-weight: nor=
mal; letter-spacing: normal; line-height: normal; orphans: auto; text-align=
: start; text-indent: 0px; text-transform: none; white-space: normal; widow=
s: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; di=
splay: inline !important;" class=3D"">Hmmm... And how would optional decide=
 what state it needs to store?</span><br class=3D"Apple-interchange-newline=
"></div></blockquote></div><br class=3D""><div class=3D"">Initialize the di=
sengaged state with <font face=3D"Courier" class=3D"">invalidate_representa=
tion</font>. Construct the object to engage. Query engagement with&nbsp;<fo=
nt face=3D"Courier" class=3D"">is_valid_representation</font>.</div><div cl=
ass=3D""><br class=3D""></div></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"http://groups.google.com/a/isocpp.org/group/=
std-proposals/">http://groups.google.com/a/isocpp.org/group/std-proposals/<=
/a>.<br />

--Apple-Mail=_77B7ABA9-3924-4B46-B3C4-4D48D3BCAD48--

.
