220 39149 article Path: news.gmane.org!.POSTED!not-for-mail From: Hubert Tong Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Concept-defined placeholder type Date: Fri, 13 Jul 2018 11:54:12 -0400 Lines: 84 Approved: news@gmane.org Message-ID: References: <0fe92570-1bc7-4a8b-aaf4-b272950f20af@isocpp.org> <8ba6d594-0aa8-4c6c-87b1-b785cc519570@isocpp.org> <8e02275c-4567-4927-a770-fd3a8044ec14@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000f1a15e0570e37e18" X-Trace: blaine.gmane.org 1531497148 10945 195.159.176.226 (13 Jul 2018 15:52:28 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 13 Jul 2018 15:52:28 +0000 (UTC) Cc: "ISO C++ Standard - Future Proposals" To: Zhihao Yuan Original-X-From: std-proposals+bncBD373PPKVMHBBOMWUPNAKGQEKXPJROQ@isocpp.org Fri Jul 13 17:52:24 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-oi0-f70.google.com ([209.85.218.70]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fe0Mp-0002ku-UF for gclcip-std-proposals@m.gmane.org; Fri, 13 Jul 2018 17:52:24 +0200 Original-Received: by mail-oi0-f70.google.com with SMTP id w205-v6sf1570205oiw.21 for ; Fri, 13 Jul 2018 08:54:35 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1531497274; cv=pass; d=google.com; s=arc-20160816; b=Llbran19y2IcZRUeq4tDDx2Uay51h4gkBtsmtcTeW8OJ2chjnEqdHEh2Po1SJUIOFa oWAYoO53fpvlPB1xXrFNa5EP6bCgx0tSPuNmPURHg5bxPsOGicHNfZ3hcyjTxim5RXK/ HoUtn9nF62ChnDMFBV37RRmyjvuC2EjHQi9TCxZ9DXwPTpCrQZFtMdGvzY8WeiOr7Bao 6i3f6J8RSU61/fmGA2rJrT4C+ST4BmPOD8flWEisMUYNlPkUH3PwyARxfjFGMxQm8b71 tQjFfxqAzqpdTNzve0kPNrmkgjth3655A6uLxassBI87hGDfvAwnEjjLyApsmi/51SGF b2Qg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:cc:to:subject:message-id :date:from:references:in-reply-to:mime-version :arc-authentication-results:arc-message-signature:dkim-signature :arc-authentication-results; bh=yQ1dug/a6Y5I+PcaIB1J6Znjmr6bnMbIwqs9+OCG5nc=; b=OKAIYGSPuXuimH0504y/L3FoJ83CAYINvqw7f/xYFl5zzhc/UOovC/2h4I08C8TfkD /KWNxTsySacdQXrc6sRekpdL0uTJFWMXkzS5NCWMlWFNSLXpKd8P/CDeTt/BWT+favJv 82KIVf5HiAL3InG/X80Exx7cvSUppcpImg1IiI9TI9mjm+5UeHow7fe2/m+eJZvkbJ6p atiVI63M+lO3KyzPtIindWtPMJpk9zZ+CUyLkXYr7FGtizv2CsVfnqYCxOGKZXEyQleF my0Wgv5m2RtYFEv4Nse0Rf65WyEzGKCTyHjI7ShESiUHHM+WlymG2aowPWvHjipDwa2v lHwg== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Jk5zx4sg; spf=pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hubert.reinterpretcast@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc: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=yQ1dug/a6Y5I+PcaIB1J6Znjmr6bnMbIwqs9+OCG5nc=; b=lgLO0pX+NljcHGkdjXZeXlkEf2bcMkVSazQynWIQiQeixR8gxVe42dRBa7LIlciN8Q le6cxFlM3SNRUO3+1KwQrVpBiyVip6/1bSIVBrMg7wURmw0pg/yBQTM1NkWrbCv1G7Sk 5BwSpK5psuxYCkntfunWCi5PoVRM4SqRKfL9IU42yFoc3oxj+DPjVn7O947JRhcKigHm dawkWk99cBMHhsKnjFjGBZNSEqGenO5jyub0EMuS/tWF6405YZ52NZ57mTpVa8Uuxyrb LMqcOjR37sT7pRLfIjr0UTQ38jFdXpJviNuGfcM2mMqUCJ2+Sz5jSidl7xt8QejO/C2y WN4Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc: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=yQ1dug/a6Y5I+PcaIB1J6Znjmr6bnMbIwqs9+OCG5nc=; b=PjdcGjKhGylala8rb9euTzskgN5ph/k6LISUOlzUNoYIj2vHRIXCpk0wP1o2GZzEQE uv8hJf3gj2sWM+zATdwnRqs2eGoSEg0iavaYVD+WFcLlDpNZEODrPl/Lxw7DmjNw8mvr 56t2DwNfWtCKfzZWoitnVjoXufbQDs4eaF9XK5jy8ld248pLwp+LrqbTe0XVlush9TVY S3XGKQ/galczmhauun3HXxuLpX6YGlm295ZTZFPnyzO7dTBnbnylZ5FJIck/ClKSnf9O 5TQLOO2oajwl2ekttwSV4DU4OdwYG1NeovbleK3tYwxHwSR+S7aRwIY5GebZBV6LGkdZ tWvQ== X-Gm-Message-State: AOUpUlE4fcLa91Qmdb0GyfslEWrWS84LXf+3mFsxMEK0ZoWgm9loJQZL PBlIHScAgWD3qV5KohEnQWt4Zw== X-Google-Smtp-Source: AAOMgpeRcEiYHMB7SQTCCRLGYeeONbx6g+smxQMj/y1H18uATagUOnNp5T4eC/WTtM+vPNgX6vhv8A== X-Received: by 2002:aca:3d8a:: with SMTP id k132-v6mr4163398oia.19.1531497274617; Fri, 13 Jul 2018 08:54:34 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:aca:d14:: with SMTP id 20-v6ls15729114oin.8.gmail; Fri, 13 Jul 2018 08:54:33 -0700 (PDT) X-Received: by 2002:aca:2b14:: with SMTP id i20-v6mr7903822oik.335.1531497273462; Fri, 13 Jul 2018 08:54:33 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1531497273; cv=none; d=google.com; s=arc-20160816; b=dykfqK1juzFkygPoanWt4pQwXCszZCiwULG+b4qoOnGbqVymQ7LxORS2EeFhW/aLxY 6gckZd7HPBUCtc5lrXNx+A1v89JRN50/R13D7GmzeKP25EPwdCJqAhNgWhF0Rd4Z3At+ EUBRxlrxiyHs307rrrrA1k0+vACvWMVL5ur/PDdC8Kv4OhRe25S493cq8jmKXsLuvF/K WaeUjDp3KsKIDj4cCDbVX3FUqL+DaRdVJ4NhSNLd/7royEmfp8usZ0WE54KYVr8JUHcc wfrLAG1Ba5BSgCh9PT0NOU588ZhBPBbCP99BCq1fOD+9mxsTM7AJ0ta6sBlZA7/A/4Oq gkCw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:references:in-reply-to :mime-version:dkim-signature:arc-authentication-results; bh=a80ReflXxD71FcT4GHnCNxR91hWpjRuizerdXjDdvds=; b=xmW/01L0QO5aYAkhwpXEae7NwDu2Bm7OSSsXqxckpnctAo6c15pUKZiSLqU8aqz+P2 F8TV4nSKSo+aAWhmWJkyipLl9J+XR8D4Y7oj6LML9lwaRG2A5TsBbWTC9lky6KfcyChj Yb/j6W5ilOVRAcxZKunfywsmdksGuxCM/aDqaa24XXJYdaEEazMmx6j+chlozp845Hnk T4+qBNvUwnpB+eHBziea03E1k6wqB6YtJdfWB/n7Ioq8k9jvhDr4stQEzteX3PekmJ9b NPIVLrSLHoDpH5qWCWPgaV5baeOEtiA+uVd4WwfqZPMBrbgvLKxWAJ/r+P5q/jZsy1dh ejcA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Jk5zx4sg; spf=pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hubert.reinterpretcast@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Original-Received: from mail-sor-f41.google.com (mail-sor-f41.google.com. [209.85.220.41]) by mx.google.com with SMTPS id j2-v6sor17744420oiw.253.2018.07.13.08.54.33 for (Google Transport Security); Fri, 13 Jul 2018 08:54:33 -0700 (PDT) Received-SPF: pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:aca:b841:: with SMTP id i62-v6mr6575751oif.358.1531497273203; Fri, 13 Jul 2018 08:54:33 -0700 (PDT) Original-Received: by 2002:a9d:16a1:0:0:0:0:0 with HTTP; Fri, 13 Jul 2018 08:54:12 -0700 (PDT) In-Reply-To: X-Original-Sender: hubert.reinterpretcast@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=Jk5zx4sg; spf=pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hubert.reinterpretcast@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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:39149 Archived-At: --000000000000f1a15e0570e37e18 Content-Type: text/plain; charset="UTF-8" On Fri, Jul 13, 2018 at 1:32 AM, Zhihao Yuan wrote: > From: hubert.reinterpretcast@gmail.com > Sent: Thursday, July 12, 2018 9:44 PM > > > > template concept C0 = true; > > template concept C1 = true; > > > > template struct A0 { }; // (C0 && ...) > > template struct A1 { }; // C1 > > > > If you don't like it, then I think papers are welcome. [...] > > Oh dear, that's a crazy one, I wish P1141R0's wording > can get rid of it (because that's essentially the 4th kind). It's not the wording that needs to get rid of it, but the design. It seems you are saying that the design rationale, namely that "[i]t would further be nice if that syntax covered only the most common case", provided by P1141 for removing the shorthand associated with non-type and template concepts would also apply to this shorthand for applying a concept to a pack in aggregate. I think that could work, but I cannot make guarantees. -- 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. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CACvkUqZ6paQo6XHH0M1wStwK9q7JUkV_3vEJcEN_13jQMAYG9Q%40mail.gmail.com. --000000000000f1a15e0570e37e18 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On F= ri, Jul 13, 2018 at 1:32 AM, Zhihao Yuan <zy@miator.net> wrote:<= br>
From: hubert.reinterpretcas= t@gmail.com <hubert.reinterpretcast@gmail.com>
Sent: Thursday, July 12, 2018 9:44 PM
>
> template <typename T> concept C0 =3D true;
> template <typename ...Ts> concept C1 =3D true;
>
> template <C0 ...Ts> struct A0 { }; // (C0<Ts> && .= ...)
> template <C1 ...Ts> struct A1 { }; // C1<Ts...>
>
> If you don't like it, then I think papers are welcome. [...= ]

Oh dear, that's a crazy one, I wish P1141R0's wording
can get rid of it (because that's essentially the 4th kind).
It's not the wording that needs to get rid of it, but the design= .. It seems you are saying that the design rationale, namely that "[i]t= would further be nice if that syntax covered only the most common case&quo= t;, provided by P1141 for removing the shorthand associated with non-type a= nd template concepts would also apply to this shorthand for applying a conc= ept to a pack in aggregate. I think that could work, but I cannot make guar= antees.

--
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 htt= ps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CACvkUqZ6paQo6XHH= 0M1wStwK9q7JUkV_3vEJcEN_13jQMAYG9Q%40mail.gmail.com.
--000000000000f1a15e0570e37e18-- .