220 39137 article Path: news.gmane.org!.POSTED!not-for-mail From: Zhihao Yuan Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: RE: Re: Concept-defined placeholder type Date: Fri, 13 Jul 2018 01:32:54 -0400 Lines: 30 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: text/plain; charset="UTF-8" X-Trace: blaine.gmane.org 1531459851 17311 195.159.176.226 (13 Jul 2018 05:30:51 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 13 Jul 2018 05:30:51 +0000 (UTC) To: hubert.reinterpretcast@gmail.com, 'ISO C++ Standard - Future Proposals' Original-X-From: std-proposals+bncBCSKRWMD4EHBBB7TUDNAKGQECYU4Y4Q@isocpp.org Fri Jul 13 07:30:47 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-wm0-f71.google.com ([74.125.82.71]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdqfE-0004NI-Pe for gclcip-std-proposals@m.gmane.org; Fri, 13 Jul 2018 07:30:44 +0200 Original-Received: by mail-wm0-f71.google.com with SMTP id v17-v6sf2740984wmc.0 for ; Thu, 12 Jul 2018 22:32:56 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1531459975; cv=pass; d=google.com; s=arc-20160816; b=HKgLkH1Xb7zUnki8h8qCgIljZ4/zmxyTJKZ4XZqFyXJRY9a4+zgpLz7PBuFlYNObZj pXIU+vGje16Yk6y+HZxlkghTM9fhe3PQFrkS6CB/Z7WeNfHSZ1h8IGeeU8qVmZJh91e8 0X+41kP/DrVjmqhVugJ92YDEz6tjDzVkzWL3ZAFPeZSa2sNJxbQqz15Y3KR/I53wwgoo w8S2+rckPTaVrvQWWVoDJisrXzaPnTTy6RmnIzQ7E0u2Hdxrijs/XBSq1MZoEal7JBVC 9tg3WDHzE7kMUu1QalIXm4wWagBkRjwMHvpJMv1izimEsI7pwxRDxz4lhYefmVqvnllZ 9B1A== 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:mime-version:feedback-id:references :in-reply-to:message-id:subject:reply-to:from:to:date :arc-authentication-results:arc-message-signature:dkim-signature :arc-authentication-results; bh=4MEnzXJyMQEHkqf816bvStUYsrncvhmXOYRQ4zw/AhY=; b=W5Xv4eLripLYasu/79yl7OGTRLJNlGo5eeE+Q+OOZ/GB1QuC9MmCuHMcX+UIpR7DcX IJ8P5DLRuK65L/WjJsrjIEp8v7s6ubD93qiGMoi1INgxMPkUGJ82wAud2yeEooK9/2cm yblCnH9E3cnxLEfYbgWC2e8tI9UYJ2NcfW0ljjx/z/hV1H0jTnDXHm81cWFVY0+MAeCb UmfN2JnJkBFVxG3GZdvOja5nL0VmPmaM2ExHVce8ztyIVgQR4dBsGbgQ/EF5xhEFckjd 9Y1VorZWBFQANeYGRhAB+g2OXi9ARx6oC5k7Vvf+KFyhbL76N9PcEelP2kDQGU/jik5B W4xA== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@miator.net header.s=protonmail header.b=wtxUa5Xa; spf=pass (google.com: domain of zy@miator.net designates 185.70.40.22 as permitted sender) smtp.mailfrom=zy@miator.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:to:from:reply-to:subject:message-id:in-reply-to:references :feedback-id:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=4MEnzXJyMQEHkqf816bvStUYsrncvhmXOYRQ4zw/AhY=; b=ZS6FS/NMkvlpxFockc9fWyhDC8Ha38oqSnRf94bny1w/IUpJN3DCb6uWUawvvhyAiH Q7nE15ezxF0ObcLliZiPWh6a1f/7ZQ43fBxgHyoO+c/rHTu0BhY8AKJS1Sa0qn6TqmNn ZQVH/mZkdHDcLqKDr3Ovx7tsHfb3myQ8UjjMwA+kBmFnOhcDLiMf6Oo0Au5z43MCka6o 2LeecleP9+TayFaCBFWCfolwTtq9NKIcb0oQC2ruXsfNG3JTyUxhqtHka6SIpyXq1BnZ HuC8v41bGXkKvIRYdQ0HpKOjcsl6fgEu2HWFimhv/T8K1jbW4EQWs8YjWsNBbAmUYPBm yvXg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:to:from:reply-to:subject:message-id :in-reply-to:references:feedback-id:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=4MEnzXJyMQEHkqf816bvStUYsrncvhmXOYRQ4zw/AhY=; b=Fk5G1Dnw6lU2DFQl2jm7NKAYy/VB3sZte7AK39R1s9fskj2xOq/DZHAGPkbSubMHUd O+T8n8lsC0gKiCyOI1TiHM+cyknSScZ26d1CU1Bz3cm9ZMzff9GoKULPbeMFZcGpH6lE FFf2DI6+Z4tTA5jBl7fxePStR3k9Ps91jZnzGO08vMF1EBGpkgIOGHSIE02wNACwmvuL Oo0hM/C+jaEIwnrfBAOBiFBMof2l2fS3yviIzTlHRKMUoTkBr/RRqFNp+EmaQ8MLof8T qOtW5Bk8F/pmuaICo6cW9zUD3BP1GKA3rxal4qIgqi9x1JI7DFE/4XulAhXYOy6cL5id rICA== X-Gm-Message-State: AOUpUlEujBqU80pwmafZzjClIrNMyNoI8xiguBkxU6KK0qOIy464dobE EnrlOpW2ivZnxw6f2cV8fXm68g== X-Google-Smtp-Source: AAOMgpcy9LjRJkhEkCAwQCbvWmiMnq9uCvrNn24mFkoSRXtstzeGcXt8LaEeHhBXTcc0/n7LzJFvXA== X-Received: by 2002:adf:ed11:: with SMTP id a17-v6mr479057wro.18.1531459975924; Thu, 12 Jul 2018 22:32:55 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a1c:7004:: with SMTP id l4-v6ls1601966wmc.10.gmail; Thu, 12 Jul 2018 22:32:54 -0700 (PDT) X-Received: by 2002:a1c:9d0b:: with SMTP id g11-v6mr2893726wme.78.1531459974846; Thu, 12 Jul 2018 22:32:54 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1531459974; cv=none; d=google.com; s=arc-20160816; b=eZHgO101KcxVQXSSPSqXXTIiqPSp2hTGofmGgQEe81CKAnQfNqCFUAa95CHuOpEBON tC1IUfR6wRA+623edZPJvwrnULqs8YLQ9dDCqsrNNfPKnJMjVOnsenbb0/yWGEdxBgEw O0AZ+Zhi/ZY0EYra78lpzwp1cDIoQgEUIXqmZelyKdnWuw96E60DjtCQzOtbqKKB7KsT DVtKtWM3w3y9KXmtIWWIzJBNXWCRUzLz8z+b3LP2Tc7figmmkrB7/2Z5AgAJHxJ0dTin dpklueb5E8dauLpDyWMPil3PUfgkxUKhfbyB1C0F22wwd2E4zrHed3Q/eCAHPCO+QYRP FjUg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:feedback-id:references :in-reply-to:message-id:subject:reply-to:from:to:dkim-signature:date :arc-authentication-results; bh=21z4+fAL9U8bQ94g02DSIFenlUiLuQhfouJSVHfwjds=; b=kb8uITDOPX1tO8XxL1oVPGPQSc1IRnU0sU2V6PTBTTq8g0b9wz91IYXGVXUxUk709M mSe3mavqv3HUNztCX3FUU9IUrECPME4T9hHiPn6D/Tfehh71Km+P3H2drRevI7jiVJbp HVhzp9t89bOSY0+N7xcxciuqQvYl99JO8ZfcR1SX4vx0VBSZZMZjzNntziedZZ8Sub1w 6v+ouQi1Waey5RmiZhkre8gvEAcvOEhYLGL94lI05pxfAtLQnzLoDSlEKkGJRwceIB+Y iGGX5tPh8D+11/CnJ+R7hHlrGOJ8QhUrCIL0XW6Ztvur3IwLhLYyfFLM7EmJSpu8RB70 lqZg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@miator.net header.s=protonmail header.b=wtxUa5Xa; spf=pass (google.com: domain of zy@miator.net designates 185.70.40.22 as permitted sender) smtp.mailfrom=zy@miator.net Original-Received: from mail2.protonmail.ch (mail2.protonmail.ch. [185.70.40.22]) by mx.google.com with ESMTPS id 204-v6si4436501wmw.56.2018.07.12.22.32.54 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 12 Jul 2018 22:32:54 -0700 (PDT) Received-SPF: pass (google.com: domain of zy@miator.net designates 185.70.40.22 as permitted sender) client-ip=185.70.40.22; In-Reply-To: <8e02275c-4567-4927-a770-fd3a8044ec14@isocpp.org> Feedback-ID: xu1i2ADzKwGyrUl8KbXpsa1PQSI0Bc21qlX1V7gpMylRDQPR42YBpWcLHW4brubvCmGM18xDo5tgsD-vWFu_cQ==:Ext:ProtonMail X-Original-Sender: zy@miator.net X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@miator.net header.s=protonmail header.b=wtxUa5Xa; spf=pass (google.com: domain of zy@miator.net designates 185.70.40.22 as permitted sender) smtp.mailfrom=zy@miator.net 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:39137 Archived-At: 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). If we have a multi-argument constrained-parameter like I suggested, we could make this orthogonal with a different syntax, like `Sortable Ts...,` where `Sortable` doesn't need to be a concept accepting a parameter pack. -- Zhihao Yuan, ID lichray The best way to predict the future is to invent it. _______________________________________________ -- 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/w6Lqc8Xm85A7T5i5JTIJsAoFOYd5xwY1Iyi-yah6BG_CZbT-wVcc3-0slIE_7IthHHtzJJg1Aq5B3yJphYj88BYYrxaxU4HdhNlxGnpfRRU%3D%40miator.net. .