220 38242 article Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?B?R2HFoXBlciBBxb5tYW4=?= Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Simple, terse universal forwading for the next decade Date: Mon, 28 May 2018 18:11:20 +0100 Lines: 354 Approved: news@gmane.org Message-ID: References: <80548757-8a42-499a-bf15-3670b2727082@isocpp.org> <8d3b34de-c06a-4083-bb0c-8e2c7482abf0@isocpp.org> <9930a9dc-b998-4431-a159-6d72d1d9b2ff@isocpp.org> <8e1c6607-a92d-496b-aad1-e992e049a748@isocpp.org> <2f782c2d-e89c-4d8b-8ef6-372c00e62ab1@isocpp.org> <93ee46a2-1469-48ae-b931-c060946f38d5@isocpp.org> <609892ba-f717-4458-b9e3-c5975378ad29@isocpp.org> <4d68237c-077a-4408-abf1-5f9670311f71@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000000e9952056d473641" X-Trace: blaine.gmane.org 1527527376 4592 195.159.176.226 (28 May 2018 17:09:36 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 28 May 2018 17:09:36 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDRYVJ6TVYBRBTPQWDMAKGQETY52FDA@isocpp.org Mon May 28 19:09:32 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pl0-f72.google.com ([209.85.160.72]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fNLeF-00014L-7g for gclcip-std-proposals@m.gmane.org; Mon, 28 May 2018 19:09:31 +0200 Original-Received: by mail-pl0-f72.google.com with SMTP id f10-v6sf7853199pln.21 for ; Mon, 28 May 2018 10:11:42 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1527527502; cv=pass; d=google.com; s=arc-20160816; b=zUiLArGQYjfZxjFLDrs+Y5ea3JppYDPEqj9lGx1jE6zAw38bcsbjB4kLqyfYA3boYA EBT+eaPcs57qK8B21nFBgC44ArLjM2J4G34vskHH32RcFPD660RkSnoYfDnGxycCuej8 uLzBY7CQAs0DPXmjZdL/nxJ1mjFEBNdLwph6xrcysRZDTWbBCYYxRnm6xr5SdcN8mquL uqbXXovn0S1UDadZ4J/iylsTNJsTo+l3k7YiLEXV4aYoUNrgg7nIb3v3CMYYnKMEKqeK PPn0wSCUhi5WYrWmKzX8jENn7dzp/IfmmYOVhKcszLRwOc62wFWTP3y3R4hwawM8wXZO jgmw== 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:to:subject:message-id:date :from:references:in-reply-to:mime-version:arc-authentication-results :arc-message-signature:dkim-signature:arc-authentication-results; bh=eF4QuzMRHCX0F02D3eSnHxm5IPoqer/ou8iI3o7kh6g=; b=nJoCbDQRsc+qsZWJNUnmNvs2KsH9muaAcX7fr0SOvl4DKdrB5v+YxIawv5ZJ2ldD5t ZuX8ltdbyHxPf17o8Pmj7owXhuExE4oFkMC22RSwkMJozWbIGbsQHyVoKqFKcS1k+XIk xcRpQ1VG0ZFdxFrwXDOWTRR1LceO+lYNJZ9ekQFdOZv4kNoT+bg9bv7hvBuJjMZg1W6N l44wFGt0AKt3YKLFwiisO/Qpp9tOQZl2h/gQY9QILGyjzk+TPR/kI3Prz4Ao+UrqUdzJ /BFz13+Ms7OqzTXNi1C6mGGIflXmI4vMbYZD9BExvsIFvLlCxuK4zD22E1HeTMZLXydL wNgQ== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=FJ9tU5rP; spf=pass (google.com: domain of gasper.azman@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=gasper.azman@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 :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=eF4QuzMRHCX0F02D3eSnHxm5IPoqer/ou8iI3o7kh6g=; b=0qBSkyV56alE97XdBOBXoTOl3X526TX9sITg5hKl09X/c6dGItIMv8zBwexYhJ4P92 ZnMc4QexueCKyubMG9l82ELwvCvMjsDAr1M7TdzIq0Huoqu53RSWVWB9X+FbGEEJcoQ4 b15jfWQctsibMLQ5yJC+q4Jo3G5xhNaHTH4L0O96v3Mp/FuYyU4rK9f4U742MKzWUE9G YfxlY0TE4h9jEdO6wcCqFT5qFFBHMyYXmQYOhZ211G7TLvvUhqO8b9AYY5e55TVipYc0 e92qE3mdzoZ9347+5KjzQC4zxHfltmeTN1gbJocsOri+50NrMBz7KcrVzK+FY+adfEYY HKMg== 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: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=eF4QuzMRHCX0F02D3eSnHxm5IPoqer/ou8iI3o7kh6g=; b=Aw1n+j/uHSlPzbTmKqbKl5J3UFLT5C9WVXKh/sQlLnmp9HU5RZO/BY8Q3a81GjvVDh wn878aAFPjRHTerW0tSj1z/L100+oDwkhjx5gbbWqZyYDbnpWrvejx9OUDUEGKPn23il yjw0boug3LdAu9llJpr88tYMB8Trt6GBEwWbSnV52BwGm4vMGLVUFuLKQEO4baceyy5j XSOqKvEvYWZPqZwhr01givBOU5onMHVmQOIRhGlnG3ivJ5ewyVNF+gsl/J8U8WHcYORq IEb5VopWOXhZ5mkWFIhM2biE8CxauPkBYj5GikVTR5RDjVxAZkbHAuZxAGyQW5iT+imv etlA== X-Gm-Message-State: ALKqPwfVSka05R09CeBp6cspYCcpOCXFJLzr1mjE6pn4hX5cairqb/kc +0bNnPigasvjD8xtDzC46r3GWA== X-Google-Smtp-Source: AB8JxZpBX10NlQPnDzqeF1/gE7fz1rExNvf1XtvfeWqVZa2NIEVA8wjRCQrY9NKzaK15Mm3GYSvPQA== X-Received: by 2002:a63:4284:: with SMTP id p126-v6mr2466398pga.49.1527527502068; Mon, 28 May 2018 10:11:42 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a17:902:2903:: with SMTP id g3-v6ls11910793plb.9.gmail; Mon, 28 May 2018 10:11:41 -0700 (PDT) X-Received: by 2002:a17:902:848e:: with SMTP id c14-v6mr14304891plo.129.1527527501036; Mon, 28 May 2018 10:11:41 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1527527501; cv=none; d=google.com; s=arc-20160816; b=TTT5PyeEM4cNXCPbIBvx/EWMSb3D81CFynYmXW4e+T1QxT2R7uJPqCFHXE9+Glkamv nYNNT7oukiBa87gslk2ZB068D7d4xaVziPihiJIIH07i4dnw/iuGvHtKYlM21emZoCFm CgFOLGJPSVyC+S/Ia7wgU5LsMNB4190Fj7/xEb1AkSVa+kmneeks0QMSx+M7tOnLoW0F ANrNBJIsrhM3cTVdND1YY8EWV4bmx5PSg0M7jZW9n7cliUNTiENqfv4mpdjxSlMOu68b wbJmz7G6r956dYw/LCDjSfpZ+yXzzgY+zRn2KoGhgpGOQjc3ckd2kXkPWvz1Jybo1A63 lFmw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:references:in-reply-to:mime-version :dkim-signature:arc-authentication-results; bh=gX9APCH/LG+4FGyk0yGqQ8nNVGysHHDNieE6ZpbRqnI=; b=Eo+OyFHOcY89SdKX6TeAXg3OBeH2zQ/bvkXwrhVuCeeSQZ/Q5KKRFXjiUXTQglp2TN C1l4Gfye/5OR4FuvioznfhEY7nIusp33ScrZgQlA9bf+yq877PGOjwkKf3qoQkUcY150 kN0GbG1GBGzOV7AdQ7okWDLV8kt8pajhMtkoUFItzBk1ETGQ64YUH088/tczSbJAibB/ KZ6tNNjwArMGgTufgEGnYsdOPpQGSvtgxr7saxpwkgmatvOdVfKNfdnnBHXfrhYipO+b 29B09q/Io2e4/akdHKnPMdeyjLVddo8iWUAe0WQLk+KW4iFv54jMoLhHvdTkD8m7EOlN zQnA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=FJ9tU5rP; spf=pass (google.com: domain of gasper.azman@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=gasper.azman@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 j9-v6sor13492525plk.1.2018.05.28.10.11.40 for (Google Transport Security); Mon, 28 May 2018 10:11:41 -0700 (PDT) Received-SPF: pass (google.com: domain of gasper.azman@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:a17:902:b488:: with SMTP id y8-v6mr9943371plr.157.1527527500583; Mon, 28 May 2018 10:11:40 -0700 (PDT) Original-Received: by 2002:a17:90a:2364:0:0:0:0 with HTTP; Mon, 28 May 2018 10:11:20 -0700 (PDT) In-Reply-To: X-Original-Sender: gasper.azman@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=FJ9tU5rP; spf=pass (google.com: domain of gasper.azman@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=gasper.azman@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:38242 Archived-At: --0000000000000e9952056d473641 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I forsee a fight to distinguish the unary && from the binary && in fold expressions, but otherwise... I mean it *looks* good, but is it too cute? I have to sleep on this. G On Mon, May 28, 2018 at 6:09 PM, Arthur Tchaikovsky wrote: > I really hope it '&&' will make it! > > On Mon, May 28, 2018 at 7:07 PM, wrote: > >> >> >> On Monday, May 28, 2018 at 7:29:12 PM UTC+3, Ga=C5=A1per A=C5=BEman wrot= e: >>> >>> What about =3D> as the forward operator? Was that considered? >>> >>>> >>>> >> I have no idea, I might write the author. I also have no idea if any >> postfix was considered at all. >> >> >> In any case, all things considered, a postfix && is *very* good >> candidate in my book: >> >> auto f(QImage img) >> { >> return process(img&&.mirrored()); *//< QImage&& QImage::mirrored() && >> overload, D'OH* >> } >> >> Class::Class(string&& s, function&& f) >> : _s(s&&) *//< natural, language level syntax!* >> , _f(f&&) // >> {} >> >> auto cally =3D [](auto&&... args) >> { >> return func(arg&&...); >> }; >> >> >> template >> auto delay_invoke(F&& f, Args&&... args) >> { >> return [f=3Df&&, args =3D args&&...]() -> decltype(auto) >> { >> return std::invoke(f, args...); >> }; >> } >> >> >> && preserves the common established mental image for BOTH rval refs and >> frw refs. >> >> Making it posfix works *absolutely beautiful *with variadic expansion. >> >> It is the killer candidate. >> >> -- >> You received this message because you are subscribed to the Google Group= s >> "ISO C++ Standard - Future Proposals" group. >> To unsubscribe from this group and stop receiving emails from it, send a= n >> 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/is >> ocpp.org/d/msgid/std-proposals/aa3b6d3b-78c9-447b-8052- >> 143f6dc5b32c%40isocpp.org >> >> . >> > > > > -- > Yours sincerely > Artur Czajkowski > > -- > 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/CANPOWsdk%2BX4Ydb4acYW9b9iy1nUOKxNLqhZBk > %2BJeCnJyeetB5w%40mail.gmail.com > > . > --=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/CAANG%3DkXffB7HuGUMsLAfrKHbavJwxdOrmz9%3DtWC2Ev4= S0pFQuw%40mail.gmail.com. --0000000000000e9952056d473641 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
I forsee a fight to distinguish the unary && from = the binary && in fold expressions, but otherwise... I mean it *look= s* good, but is it too cute?

I have to sleep on this.

G

On Mon, May 28, 2018 at 6:09 PM, Arthur Tchaikovsky <a= tch.cpp@gmail.com> wrote:
<= div dir=3D"ltr">I really hope it '&&' will make it!

On Mon, May 28, 2018 at 7:07 PM, <mihailnajdenov@gmail.com= > wrote:


On Monday, May 28, 2018 at 7:29:12 PM UTC+3, Ga=C5=A1per A=C5=BEma= n wrote:
What about= =3D> as the forward operator? Was that considered?


I have no idea, I might write the= author. I also have no idea if any postfix was considered at all.


In any case, all things considered, a postf= ix && is very good candidate in my book:

auto f(QImage img= )
{<= /div>
=C2=A0 return proc= ess(img&&.mirrored()); //< QImage&& QImage::mirrored() && = overload, D'OH
}

Class::Class(string&& s, function&& f)
=C2=A0: _s(s&&) //< natural, language level syntax!
= =C2=A0, _f(f&&) //
{}

auto cally =3D [](auto&&= .... args)=C2=A0
{
=C2=A0 return func(arg&&...);=C2=A0
};


template <class F, class... Args>
auto delay_invoke(F&&= amp; f, Args&&... args)
{
=C2=A0 return [f=3Df&&a= mp;, args =3D args&&...]() -> decltype(auto)=C2=A0
=C2= =A0 {=C2=A0
=C2=A0 =C2=A0 return std::invoke(f, args...);
=C2= =A0 };
}


&& preserves the common established = mental image for BOTH rval refs and frw refs.

Maki= ng it posfix works absolutely beautiful with variadic expansion.

It is the killer candidate.=C2=A0
<= /div>

--
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-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/aa3b= 6d3b-78c9-447b-8052-143f6dc5b32c%40isocpp.org.



-= -
Yours sincerely
Artur Czajkowski

--
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-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/CANPOWsdk%2BX4Ydb4acYW9b9iy1nUOKxNLqhZBk%2BJeC= nJyeetB5w%40mail.gmail.com.

--
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/CAANG%3DkXffB= 7HuGUMsLAfrKHbavJwxdOrmz9%3DtWC2Ev4S0pFQuw%40mail.gmail.com.
--0000000000000e9952056d473641-- .