220 39456 article Path: news.gmane.org!.POSTED!not-for-mail From: "'Hamza Sood' via ISO C++ Standard - Future Proposals" Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Contract attributes and trailing return types Date: Tue, 31 Jul 2018 12:08:40 -0700 (PDT) Lines: 88 Approved: news@gmane.org Message-ID: References: <08e4fce4-e6c6-4dc2-a9ca-098f1ed8b380@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_11564_1394178166.1533064120174" X-Trace: blaine.gmane.org 1533063996 32680 195.159.176.226 (31 Jul 2018 19:06:36 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 31 Jul 2018 19:06:36 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCP5NIM2SYKRBOHHQLNQKGQEEASJ6RY@isocpp.org Tue Jul 31 21:06:32 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yb0-f197.google.com ([209.85.213.197]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fkZyY-0008Le-Np for gclcip-std-proposals@m.gmane.org; Tue, 31 Jul 2018 21:06:31 +0200 Original-Received: by mail-yb0-f197.google.com with SMTP id a12-v6sf8883140ybe.21 for ; Tue, 31 Jul 2018 12:08:41 -0700 (PDT) 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=XvEsTf33y1im5JX1TjIdecZ3n59eCFxvXnY8uYAgzBQ=; b=yrpx2tKyf7T5yUCdoiShCVDhwdMTGQWKE4T/VFwWiTrnrwxYXiEA3YUtc+q6evTPCQ m16w2lr6nSiYqcjVOxwklU3nXPPYo6kgZrjBMA6jkqGBFFIakK4vJhf7yaU9rZdbEUil ukTqukjvtEBdn1HRId5qMhBnBM/lPC7e9Q5ze+sgT4brH3e2hNlMuhuKJ5W1QLBzWZFM MvxL51sjWR4G7268Wyyjo94S6Mt5E4jx4517rNfyj+XAJhJ0Oq07Nwtqf8c4us6fBoQC Q4lqgOCKBU22tI0d1GBRbEfCXBEFJCKnUa+uvQuTpRVe6YuI4HjCkXaYopEVRyX2PD5n EHFw== 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=XvEsTf33y1im5JX1TjIdecZ3n59eCFxvXnY8uYAgzBQ=; b=KhmUjSKJO2N8zV76pgko0oU/byfgPmmyku2hqLANk7hGoxEySATJxhXuIyJUWotK8h uhJVmgFF5nkw+NJZ8GkN41GbP2LjrqpqyCRCNUI3DKu8ee9amFXvw9bFeZSJB4L1bHQ1 eUH58sb7L6o803qLiDMjXHcRPkyjtREp7zsE8hBSihfaNodImfnQ7ULWk6X1k0yDpLC9 IyrVXfa3l2eZMcMtfu+yTxo5m7yMuf1sgWz3uCRdo/T9xWvNufR0wtPlUyYM19I8uWQU HCReICRme4c2FgY8/f8rxJQqJaTnzMqjntHt6BEPIWtjriOQ5oeuDvwNQM0CrXVTSdGF RYyg== X-Gm-Message-State: AOUpUlFM9RfqhTDmYhJscnLY5EhQNjBbcMPF3ZocFVI/Mb1OQzNQeA0t LckgfG9hVBdKc2QSZEHRBUt3Xg== X-Google-Smtp-Source: AAOMgpdAnnfbaW1EP/vV6bJtf9SfWte9xyCKfpGjDeJ8bHozzl9fpIOfhvGU/X9Niu1CELvT5PNDZg== X-Received: by 2002:a5b:50c:: with SMTP id o12-v6mr6683264ybp.0.1533064121417; Tue, 31 Jul 2018 12:08:41 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a25:9d0e:: with SMTP id i14-v6ls313341ybp.3.gmail; Tue, 31 Jul 2018 12:08:40 -0700 (PDT) X-Received: by 2002:a5b:60f:: with SMTP id d15-v6mr255184ybq.6.1533064120590; Tue, 31 Jul 2018 12:08:40 -0700 (PDT) In-Reply-To: X-Original-Sender: hamza_sood@me.com X-Original-From: Hamza Sood Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org 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:39456 Archived-At: ------=_Part_11564_1394178166.1533064120174 Content-Type: multipart/alternative; boundary="----=_Part_11565_840912426.1533064120174" ------=_Part_11565_840912426.1533064120174 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Would anything break if a dedicated contract-specifier-seq was added after= =20 the requires-clause? It feels really messy having contracts interrupt the function type like=20 that, especially when they don=E2=80=99t really have anything to do with it= =20 (semantically anyway). On Friday, July 27, 2018 at 4:59:24 AM UTC+1, Nicol Bolas wrote: > > On Thursday, July 26, 2018 at 9:07:47 PM UTC-4, Tony V E wrote: >> >> How does this compare to where `requires` goes? Is that before or after= =20 >> the trailing return? >> > > It appears to be after the whole thing, including the trailing return. It= =20 > seems to be: > > Identifier/auto function_name(...) cv_qualifiers &/&& noexcept attributes= =20 > trailing-return-type requires-clause > > C++'s syntax is a huge mess... > --=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. To view this discussion on the web visit https://groups.google.com/a/isocpp= ..org/d/msgid/std-proposals/c787e7ba-9c65-429b-9d53-ba8af7998963%40isocpp.or= g. ------=_Part_11565_840912426.1533064120174 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Would anything break if a dedicated contract-specifie= r-seq was added after the requires-clause?

It feel= s really messy having contracts interrupt the function type like that, espe= cially when they don=E2=80=99t really have anything to do with it (semantic= ally anyway).

On Friday, July 27, 2018 at 4:59:24 AM UTC+1, Nicol = Bolas wrote:
O= n Thursday, July 26, 2018 at 9:07:47 PM UTC-4, Tony V E wrote:
How does this compare to w= here `requires` goes?=C2=A0 Is that before or after the trailing return?

It appears to be after the wh= ole thing, including the trailing return. It seems to be:

Identifier/auto function_name(...) cv_qualifiers &/&& n= oexcept attributes trailing-return-type requires-clause

C++'s syntax is a huge mess...

--
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.
To view this discussion on the web visit https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/c787e7ba-9c65-429b-9d53-ba8af7998963= %40isocpp.org.
------=_Part_11565_840912426.1533064120174-- ------=_Part_11564_1394178166.1533064120174-- .