220 35966 <6d5434aa-a3bd-460f-bdbd-3db00772768a@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: adrian.hawryluk@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Make aliased templates first class citizens Date: Sun, 17 Dec 2017 21:28:12 -0800 (PST) Lines: 108 Approved: news@gmane.org Message-ID: <6d5434aa-a3bd-460f-bdbd-3db00772768a@isocpp.org> References: <8e4dd67b-e929-4f83-8f68-4a7ebd20a4e3@isocpp.org> <7eb526d4-c557-443c-a7d5-235dc8e44926@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_16473_87918497.1513574892406" X-Trace: blaine.gmane.org 1513574777 8697 195.159.176.226 (18 Dec 2017 05:26:17 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 18 Dec 2017 05:26:17 +0000 (UTC) Cc: adrian.hawryluk@gmail.com To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBCULLOGNUQIRB3ND3XIQKGQEX7Q5TEI@isocpp.org Mon Dec 18 06:26:13 2017 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ua0-f199.google.com ([209.85.217.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eQnwK-0001wO-JQ for gclcip-std-proposals@m.gmane.org; Mon, 18 Dec 2017 06:26:12 +0100 Original-Received: by mail-ua0-f199.google.com with SMTP id 40sf470661uaf.11 for ; Sun, 17 Dec 2017 21:28:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:cc: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=yjZRxxNcles4+qs7T0d5k3KFmCm8aZe6HKbKOkKBmYs=; b=rlp7Cgc/G+h7baDn4HmND9h/miql9yJs2U6fbsp3ABAutHTuCf53XpaHyRmD5mdXxV TUM8VvgX5v8TV2ZyJh3rDg7hel+SKTcCpXoq9LOtBNV2VBPg/Tf7ixeZNyiuNxB9GFi3 LqWjn8hl7kk1kgy7FB8RDsC0wrP5bz3L8dF95sFT6K6502qkpuGAtZ7h2jXTY1gg/g71 9AsXZ52+2Fi+lz/dmzYYKqF++1wv+2Z8aKAMePqJqFMa96WTiA7/9HA1oB8pYvs72GhB +nSRKW2DhhlfQBL56c5s20SxST2QxR+sj/TqY3BMDav+Ol3RkQ9ce3FiF8Is5HWToLs5 5odA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc: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=yjZRxxNcles4+qs7T0d5k3KFmCm8aZe6HKbKOkKBmYs=; b=SdYTdNmWZuSlzcAsXAsIEsth/LFpJG1n7sWvyZsmPLRZC56GR6msNBe4FeVNW9h3nX 6CU0PLhAcHgdeGv55/dSoIvqsKzEREALpCt7wAMEuPLoX3khlB2bqV1iy2yXGjWXCptm OorFQXiSgbhVVJF2zc0h564hzpcudOB0CKpYVkBCRWhWx5cwkujXHRiobIZaRXAPHr3H 4xubc5ns+Fac3ptZwAAPqVvThRUxV2+BxqLFtRAvQ7xbDNkODDiDnXbWCCbs4hFNJ6W8 5T+WI754sFQkkCdOFZQ782uzzfr08McrPh6tUuo9A2KP7AD5H91qcBga7tifFo4QQ3kA ChUw== 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:cc: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=yjZRxxNcles4+qs7T0d5k3KFmCm8aZe6HKbKOkKBmYs=; b=PWLb49lrrBH9R5kw5LnZ4jbAjlNdeTFSdKB7dfuZIhA5S6I07LRdRu+s1ksJ8VmlRx dEoGgBir3UUvhFQhub6fldUeal5O9LO/LORtvm0cgJfM3w8HTZBl5/Ladm1h9iLQVLtX LhWn2fuy2jTFTXsV+ZSs2sNJJ01zY+AmE362LXWZGmmpzaXCZUBwsDhnKZRGXmQCqZ9A jmdya1nhsNSEkWFMm2OEDquoTeZRlg95MlgmsLFrd+fQYRgNAVzZ8EaTIwy61R8mtXO3 6qw2sdGID+eNRlsmDj5HYXuKvTVG8eBbPnnsGl4pgwMiK/sS5oFztqfrprtjvD0k7F6j hKNw== X-Gm-Message-State: AKGB3mLMs7mOzQIfuWecolFXUPbQGbzFfMp7kYc/vs3zk+kL0rxyXKs2 py/YamtksIWQAW1+sEJBa7dogw== X-Google-Smtp-Source: ACJfBovAKYS+rBZuiG+aUsYKNGQs87XRIEWYO5I5b74ojjCxUb2GGVPiKdooRkAwxFSBGex1lFXZtQ== X-Received: by 10.176.24.102 with SMTP id j38mr11413925uag.15.1513574894593; Sun, 17 Dec 2017 21:28:14 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.176.83.149 with SMTP id k21ls3896307uaa.16.gmail; Sun, 17 Dec 2017 21:28:13 -0800 (PST) X-Received: by 10.31.161.87 with SMTP id k84mr2263884vke.10.1513574892997; Sun, 17 Dec 2017 21:28:12 -0800 (PST) In-Reply-To: <7eb526d4-c557-443c-a7d5-235dc8e44926@isocpp.org> X-Original-Sender: adrian.hawryluk@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:35966 Archived-At: ------=_Part_16473_87918497.1513574892406 Content-Type: multipart/alternative; boundary="----=_Part_16474_1249384717.1513574892407" ------=_Part_16474_1249384717.1513574892407 Content-Type: text/plain; charset="UTF-8" On Sunday, December 17, 2017 at 8:18:29 PM UTC-5, Marcin Jaczewski wrote: > > > Right now I see only one problem with this: > template > using B = typename A::template template temp<1><2>; > //or > template > using C = template A::template temp<1>; //this return template not type, > this could be problematic when C++20 remove options for different `using` > //or > template > using D = template template A::temp; > You will probably need something like this to allow proper handle of `<` > and `>` by compiler in dependent context. > I'm not exactly sure what you mean. So, these are potential ways to tell the compiler what it should be seeing? temp is a binary operator? What is A? Could you please give more context or explain in more detail what you are attempting to say? -- 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/6d5434aa-a3bd-460f-bdbd-3db00772768a%40isocpp.org. ------=_Part_16474_1249384717.1513574892407 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Sunday, December 17, 2017 at 8:18:29 PM UTC-5, Marcin J= aczewski wrote:

Right now I see only one problem with this:
template<typename A>=
using B =3D typename A::= template template tem= p<1<= /span>><= 2>;<= br>//or=
template<typename A>
using C =3D template A::template temp<1>; //this return template not type, this could be problematic = when C++20 remove options for different `using`
//or
template<typename A>
using D =3D template template A::temp;
You will probably need someth= ing like this to allow proper handle of `<` and `>` by compiler in de= pendent context.

I'm not exac= tly sure what you mean.=C2=A0=C2=A0So, these are potential ways to tell the= compiler what it should be seeing?=C2=A0 temp is a binary operator?=C2=A0 What is A?=C2=A0 Could you please give more context or expla= in in more detail what you are attempting to say?

--
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/6d5434aa-a3bd-460f-bdbd-3db00772768a= %40isocpp.org.
------=_Part_16474_1249384717.1513574892407-- ------=_Part_16473_87918497.1513574892406-- .