220 17806 <9F7E8707-6BD1-4E79-8158-16DD68DB153F@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: warning usage operator
Date: Wed, 13 May 2015 10:17:56 +0800
Lines: 24
Approved: news@gmane.org
Message-ID: <9F7E8707-6BD1-4E79-8158-16DD68DB153F@mac.com>
References: <ac61d2cc-f30e-4adb-92c1-99f631703a23@isocpp.org>
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: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Trace: ger.gmane.org 1431483513 6527 80.91.229.3 (13 May 2015 02:18:33 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 13 May 2015 02:18:33 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBAABB37IZKVAKGQEZB723QQ@isocpp.org Wed May 13 04:18:24 2015
Return-path: <std-proposals+bncBAABB37IZKVAKGQEZB723QQ@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-ig0-f198.google.com ([209.85.213.198])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBAABB37IZKVAKGQEZB723QQ@isocpp.org>)
	id 1YsMFc-0001oN-OW
	for gclcip-std-proposals@m.gmane.org; Wed, 13 May 2015 04:18:24 +0200
Original-Received: by igchq3 with SMTP id hq3sf47312080igc.1
        for <gclcip-std-proposals@m.gmane.org>; Tue, 12 May 2015 19:18:23 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:content-type:mime-version:subject:from
         :in-reply-to:date:content-transfer-encoding:message-id:references:to
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe;
        bh=vL2QASUCrFj9KjPH+4jHB6oo4A6QcSNxyAQOzBDNKGE=;
        b=GlW4iA+v+FwgfY6UpCo9av6sJV4cAIT8xO3d7UfeSbI9A6B78301MRs9P/kqUlfpIq
         p95LbPS0Hdd3btyNp89gVpjWCjloN4lNY2BKaYbgO0i6ygvzYQSogR+jokYFyEtE9br/
         Msk5kGUE6RC+jzR08Z41sXdE0/hYE0FVIQ8DT5ujHwYrKuQxgGTLaNLnqvixupJbxcuG
         zfOPgV/XjaSUuNemoSPLIqg8uhaUHKFeN6Sblmy5WCRxYBiRIzjZvsrtIF4TU9dpQZDw
         MjNpjACAMqSxN7JypnNkSpWpvccJjTtXYz+IDR5IUD0NJKBD+APSNcDmpTfpqkA205AJ
         qRSA==
X-Gm-Message-State: ALoCoQl+9sTv5hvPrFFzl3Mmtzx6nLeGzoG2/8kXknqvtzdeHcbSY5k5Hz3VROpXUoPiN/dQzvH5
X-Received: by 10.42.26.137 with SMTP id f9mr8270208icc.17.1431483503748;
        Tue, 12 May 2015 19:18:23 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.50.30.193 with SMTP id u1ls1556172igh.13.canary; Tue, 12 May
 2015 19:18:23 -0700 (PDT)
X-Received: by 10.66.194.201 with SMTP id hy9mr33862618pac.140.1431483503146;
        Tue, 12 May 2015 19:18:23 -0700 (PDT)
Original-Received: from nk11p04mm-asmtp001.mac.com (nk11p04mm-asmtp001.mac.com. [17.158.236.236])
        by mx.google.com with ESMTPS id by4si20142968pdb.96.2015.05.12.19.18.23
        for <std-proposals@isocpp.org>
        (version=TLSv1.2 cipher=AES128-GCM-SHA256 bits=128/128);
        Tue, 12 May 2015 19:18:23 -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.89])
 by nk11p04mm-asmtp001.mac.com
 (Oracle Communications Messaging Server 7.0.5.35.0 64bit (built Dec  4 2014))
 with ESMTPSA id <0NO900D4ANPWWJ50@nk11p04mm-asmtp001.mac.com> for
 std-proposals@isocpp.org; Wed, 13 May 2015 02:18:00 +0000 (GMT)
X-Proofpoint-Virus-Version: vendor=fsecure
 engine=2.50.10432:5.14.151,1.0.33,0.0.0000
 definitions=2015-05-13_01:2015-05-12,2015-05-13,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-1505130018
In-reply-to: <ac61d2cc-f30e-4adb-92c1-99f631703a23@isocpp.org>
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-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:17806
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/17806>


> On 2015=E2=80=9305=E2=80=9313, at 9:42 AM, drax325 <draxlerm@gmail.com> w=
rote:
>=20
> Any opinion, just throwing things out there.=20

This is one of the main current study focuses of the committee. See various=
 recent papers on contracts.

C++ should, when possible, avoid re-checking all invariants of a class. I t=
hink =E2=80=9Ccheck everything, all the time=E2=80=9D is sort of an unspoke=
n starting point from which a usable technique hopefully evolves.

--=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/.

.
