220 28140 article Path: news.gmane.org!.POSTED!not-for-mail From: "Ivan G." Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Implicit function template arguments enabling syntax, an alternative to abbreviated templates Date: Wed, 7 Sep 2016 11:08:08 -0700 (PDT) Lines: 103 Approved: news@gmane.org Message-ID: References: <627640bf-62bf-491e-bea9-f76eec0033ec@isocpp.org> <0c4a29e2-b327-4957-9120-2fbe623a6ca3@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_359_1296811968.1473271688361" X-Trace: blaine.gmane.org 1473271700 1956 195.159.176.226 (7 Sep 2016 18:08:20 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 7 Sep 2016 18:08:20 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBD26JFH7QQHRBCNPYG7AKGQEKARIAMI@isocpp.org Wed Sep 07 20:08:15 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pf0-f199.google.com ([209.85.192.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bhhGc-0007zk-9h for gclcip-std-proposals@m.gmane.org; Wed, 07 Sep 2016 20:08:10 +0200 Original-Received: by mail-pf0-f199.google.com with SMTP id g202sf55615422pfb.3 for ; Wed, 07 Sep 2016 11:08:11 -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 :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=BHWYZimcAp+0U+oKCChcdRYd0JSime8lJzMdwa9bxc4=; b=M1AJhwzNMeMI73hRfBrqTxT9ahh6lfc65DpUpOnSgvDAdfedzthzqf9xGa5y324Eo1 cAXLRcMtVuhaPlyTss83hfP4OEGuUV5DCciW+XSC2MNpqBTlsn88BPQ+ndRv8R94nCth TuoGfrCGhRQ8hrQWwgf0AKZcEb4rrfLZ9NMazeqQ/SRptsr7KMNNFYni3Zm1DEHOG+6U p1Cau/zwHj8qUZBeP7uaInvsnFu/tmXIJZDnnFHe2H7OPBCutva1Hu59SgtmMiMbT7ak Czf1DzkAxVvWzoCNrE1c0L1yb3GQ7nFePDq4rsCw5maFIGvWv3ZVrNsDtZR6IAS4jKQO f3ow== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=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=BHWYZimcAp+0U+oKCChcdRYd0JSime8lJzMdwa9bxc4=; b=Mgxx3nRqgiY9BDPEq/AiDemtmkKZPXVKRmos2ChTD72iApQMQJaWcVFbH/2LgpnVKP wPqsEMu9T3qTxip6cNz/G94VqvVu91/yy8dk+/2uuyh0kl5yAAA/WOwnAxrqMu8dQgJI ZAjXhRpTClekLHUYAAuXz+oGj2YspgQz1epb1Oq6YH+ucZCRvo75fxx6484MkLtPGIeQ C5dFbmQUFgHQ4kkz53RuUHFnjsrZIku5LHOFon3y2qmnB33+sraIY7qdTJXqFNbwCJ0Q +5nA5wSv3nkmPPnlVeJyhRs5leXYL0GdWxFkHye+CAPH8g4CyXpN7tCD+tN1Jyu6tmyk r09w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; 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=BHWYZimcAp+0U+oKCChcdRYd0JSime8lJzMdwa9bxc4=; b=IqZkiHk6jDReHXCo7G4zJQ3MW13TDCoDQ2wtWDkViRBTbqZzR/4d1SSIF62Fn44JxM 8R9xKuZsNuTPMtAMoQj5uXAyzUBa8L/MA/Zre0u7wp8zRRqwjtVuWleryjTfClQR3m4a 3Zcs2wyC/IT7YGiQ1tprkDUkG3uuFTSS1HLNMOsYELtehYiOSpXPOzBkZ0bvuGIC2LZ7 0+3X954aUPPEpnzFUaKDZk8ZqrTfaMOVfR7P325kF+SK1iq00YzFGVBx9zKDZoGBuiIF Du0IwMepRWoao6jsOJ8w9/z4GYuFrrUZclv1BtxRD1S48qV3hO3eWT0gUxVSSZKztNVA zjQA== X-Gm-Message-State: AE9vXwOCfMZ+rzPDmK5V0sdbNyS2sFLayrVa0wNgCBWYtoS3kfouVFvgX7rLuasnnS+apw== X-Received: by 10.66.150.70 with SMTP id ug6mr39064880pab.1.1473271691321; Wed, 07 Sep 2016 11:08:11 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.36.84.16 with SMTP id t16ls5809006ita.22.canary; Wed, 07 Sep 2016 11:08:09 -0700 (PDT) X-Received: by 10.36.237.193 with SMTP id r184mr187132ith.2.1473271689289; Wed, 07 Sep 2016 11:08:09 -0700 (PDT) In-Reply-To: X-Original-Sender: nekotekina@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:28140 Archived-At: ------=_Part_359_1296811968.1473271688361 Content-Type: multipart/alternative; boundary="----=_Part_360_1870783310.1473271688361" ------=_Part_360_1870783310.1473271688361 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Does Concepts TS allow mixing invented template parameters and usual=20 template parameters? I couldn't find an example. Also, is the following code correct C++14? It compiles fine with Visual C++= =20 and Clang, and lambda's operator() template argument list seems=20 well-specified. auto foo =3D [](auto x) { return x; }; auto x =3D foo.operator()(42); Is it still correct in Concepts TS? =D1=81=D1=80=D0=B5=D0=B4=D0=B0, 7 =D1=81=D0=B5=D0=BD=D1=82=D1=8F=D0=B1=D1= =80=D1=8F 2016 =D0=B3., 20:30:53 UTC+3 =D0=BF=D0=BE=D0=BB=D1=8C=D0=B7=D0=BE= =D0=B2=D0=B0=D1=82=D0=B5=D0=BB=D1=8C Tom Honermann=20 =D0=BD=D0=B0=D0=BF=D0=B8=D1=81=D0=B0=D0=BB: > > The Concepts TS specifies the order for invented template parameters. Se= e=20 > N4553 [1] [dcl.fct] 8.3.5 p16-17. > > Tom. > > [1]: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4553.pdf > --=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/c79a7512-3d53-464c-ad25-8f9f61607791%40isocpp.or= g. ------=_Part_360_1870783310.1473271688361 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Does Concepts TS allow mixing invented template param= eters and usual template parameters? I couldn't find an example.

Also, is the following code correct C++14? It compil= es fine with Visual C++ and Clang, and lambda's operator() template arg= ument list seems well-specified.
auto foo =3D [](auto x) { return x; };
auto x =3D foo.operator()<int&= gt;(42);

Is it still correct in Concepts TS?
=
=D1=81=D1=80=D0=B5=D0=B4=D0=B0, 7 =D1=81=D0=B5=D0=BD=D1=82=D1=8F=D0=B1= =D1=80=D1=8F 2016 =D0=B3., 20:30:53 UTC+3 =D0=BF=D0=BE=D0=BB=D1=8C=D0=B7=D0= =BE=D0=B2=D0=B0=D1=82=D0=B5=D0=BB=D1=8C Tom Honermann =D0=BD=D0=B0=D0=BF=D0= =B8=D1=81=D0=B0=D0=BB:
=20 =20 =20
The Concepts TS specifies the order for invented template parameters.=C2=A0 See N4553 [1] [dcl.fct] 8.3.5 p16-17.

Tom.

[1]: http://www.o= pen-std.org/jtc1/sc22/wg21/docs/papers/2015/n4553.pdf

--
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/c79a7512-3d53-464c-ad25-8f9f61607791= %40isocpp.org.
------=_Part_360_1870783310.1473271688361-- ------=_Part_359_1296811968.1473271688361-- .