220 17262 <429E588C-6B22-40E7-BDE8-3FBEAEBEBCE4@gmail.com> article Path: news.gmane.org!not-for-mail From: Jonathan Coe Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: noexcept(auto) Date: Sun, 5 Apr 2015 15:11:15 +0100 Lines: 119 Approved: news@gmane.org Message-ID: <429E588C-6B22-40E7-BDE8-3FBEAEBEBCE4@gmail.com> References: <1657285.u9ziYB6mWs@tjmaciei-mobl4> <273de67b-0d68-42b9-ab94-c69f3f53da79@isocpp.org> <42db35ac-f4d7-413d-ab19-f7f1d08f401a@isocpp.org> <681F630D-A356-4421-8D4F-608D662B8604@gmail.com> <10BA9BA5-25E6-46CC-BD1D-42A5EF5D08E3@gmail.com> <343A7F22-CFF3-4A67-97AE-30DA16F0EBB4@gmail.com> <1DF3C3DB-2D40-4A18-B5E3-E5A400998B35@gmail.com> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (1.0) Content-Type: multipart/alternative; boundary=Apple-Mail-F6D208A5-6F1B-41B1-A07A-EDCD06D2AD6A Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1428243085 2446 80.91.229.3 (5 Apr 2015 14:11:25 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 5 Apr 2015 14:11:25 +0000 (UTC) To: "std-proposals@isocpp.org" Original-X-From: std-proposals+bncBC2JVFPBRAHBBBMFQWUQKGQEZPRA2EA@isocpp.org Sun Apr 05 16:11:20 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-la0-f71.google.com ([209.85.215.71]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YelGh-0003Fn-6N for gclcip-std-proposals@m.gmane.org; Sun, 05 Apr 2015 16:11:19 +0200 Original-Received: by lamp14 with SMTP id p14sf1873363lam.3 for ; Sun, 05 Apr 2015 07:11:18 -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:content-transfer-encoding :mime-version:subject:message-id:date:references:in-reply-to: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=GiQWBHSgodbhcttOxOECSaauouyn4+d12U+n6wp7+WQ=; b=L5D6FMcsCJwcp9FRo2+VbNyIUfFIFOJAgE5QvosgBgqYMui15GwtZtpfrk1gkC/VuU NXVY6d1rfDwB5/9t8F6/EtmafndCvXh9l0YRlJN1Lsbg2ktmo7Cu6PhqJ06dqV/DSS6t q0EXx4qc/0K9pud2Mq/SDhdUweWuLLuL4drCdgcl4Qf35ScxDSXumEuyy71kdqqn9Woh rhQLLsmKqocP4IXxPhDSn02rWZOa83mUDW8albZpZq+GK0ujI/lZ32/dEGx9lRWXN3Jp YtH8XxfA1YAQW83igk8tcq3QkGwRey+bljFw8r++nhb1LoWkRa/nddGfSRn1nvBoyoKY oepw== X-Gm-Message-State: ALoCoQlF5lLhGkDpAE5hWJ/Emq2TdOr8qHa2sZHENBgapV6Y9VWuC0u0pqXPvAG/MsnL56shMTwd X-Received: by 10.180.91.76 with SMTP id cc12mr2465460wib.7.1428243078316; Sun, 05 Apr 2015 07:11:18 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.180.186.41 with SMTP id fh9ls377871wic.35.gmail; Sun, 05 Apr 2015 07:11:17 -0700 (PDT) X-Received: by 10.180.216.38 with SMTP id on6mr22396653wic.15.1428243077282; Sun, 05 Apr 2015 07:11:17 -0700 (PDT) Original-Received: from mail-wi0-x22d.google.com (mail-wi0-x22d.google.com. [2a00:1450:400c:c05::22d]) by mx.google.com with ESMTPS id fv2si3092974wib.78.2015.04.05.07.11.17 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sun, 05 Apr 2015 07:11:17 -0700 (PDT) Received-SPF: pass (google.com: domain of jonathanbcoe@gmail.com designates 2a00:1450:400c:c05::22d as permitted sender) client-ip=2a00:1450:400c:c05::22d; Original-Received: by wiun10 with SMTP id n10so12421964wiu.1 for ; Sun, 05 Apr 2015 07:11:17 -0700 (PDT) X-Received: by 10.194.110.38 with SMTP id hx6mr22349560wjb.128.1428243076988; Sun, 05 Apr 2015 07:11:16 -0700 (PDT) Original-Received: from [192.168.1.71] (host86-147-57-160.range86-147.btcentralplus.com. [86.147.57.160]) by mx.google.com with ESMTPSA id dn7sm2540510wid.12.2015.04.05.07.11.16 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 05 Apr 2015 07:11:16 -0700 (PDT) In-Reply-To: X-Mailer: iPhone Mail (12D508) X-Original-Sender: jonathanbcoe@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of jonathanbcoe@gmail.com designates 2a00:1450:400c:c05::22d as permitted sender) smtp.mail=jonathanbcoe@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:17262 Archived-At: --Apple-Mail-F6D208A5-6F1B-41B1-A07A-EDCD06D2AD6A Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable If we are proposing new syntax with noexcept(auto) is it much work to add n= oexcept(auto=3Dtrue)? The static_assert approach is nice but if it's likely to get much use then = I prefer the briefer syntax of noexcept(auto=3Dtrue). Jon > On 5 Apr 2015, at 14:48, David Krauss wrote: >=20 >=20 >> On 2015=E2=80=9304=E2=80=9305, at 9:39 PM, Jonathan Coe wrote: >>=20 >> noexcept(auto=3Dtrue) means that I believe no exceptions will be thrown = but I'd like the compiler to be able to guarantee this rather than provide = such a guarantee myself. >=20 > Just use noexcept(auto) followed by a static_assert(noexcept(foo(), "inva= lid exception safety"). >=20 > For a function template, you=E2=80=99d need a wrapper to contain the stat= ic_assert, which is a little inconvenient, but not IMHO motivation for synt= ax like auto=3Dtrue. It would be just as well to decree that the exception-= specification of the enclosing function is complete in a static_assert decl= aration. > --=20 >=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= email 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-propo= sals/. --=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-F6D208A5-6F1B-41B1-A07A-EDCD06D2AD6A Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
If we are proposing new syntax wit= h noexcept(auto) is it much work to add noexcept(auto=3Dtrue)?
The static_assert approach is nice but if it's likely to get m= uch use then I prefer the briefer syntax of noexcept(auto=3Dtrue).

Jon



On 5 Apr 2015, at 14:48, Dav= id Krauss <potswa@gmail.com> = wrote:


On 2015=E2=80=9304=E2=80=9305= , at 9:39 PM, Jonathan Coe <jonathanbcoe@gmail.com> wrote:

noexcept(auto=3Dtrue) means that I believe= no exceptions will be thrown but I'd like the compiler to be able to guara= ntee this rather than provide such a guarantee myself.
=

Just use noexcept(auto) followed by a static_assert(noexcept(foo(), "invalid exception safety").

For a function template, you=E2=80= =99d need a wrapper to contain the static= _assert, which is a little inconvenient, but not IMHO motivation for= syntax like auto=3Dtrue. It would= be just as well to decree that the exception-specification of the enclosin= g function is complete in a static_assert declaration.

--

---
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-proposa= ls+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-proposals/<= /a>.

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+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-proposals/<= /a>.
--Apple-Mail-F6D208A5-6F1B-41B1-A07A-EDCD06D2AD6A-- .