220 35984 <90bc6ae9-54a4-4fe5-b4ee-a32db51ca820@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: inkwizytoryankes@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Make aliased templates first class citizens Date: Mon, 18 Dec 2017 12:56:36 -0800 (PST) Lines: 131 Approved: news@gmane.org Message-ID: <90bc6ae9-54a4-4fe5-b4ee-a32db51ca820@isocpp.org> References: <8e4dd67b-e929-4f83-8f68-4a7ebd20a4e3@isocpp.org> <7eb526d4-c557-443c-a7d5-235dc8e44926@isocpp.org> <6d5434aa-a3bd-460f-bdbd-3db00772768a@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_7262_1591443954.1513630597046" X-Trace: blaine.gmane.org 1513630489 14919 195.159.176.226 (18 Dec 2017 20:54:49 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 18 Dec 2017 20:54:49 +0000 (UTC) Cc: adrian.hawryluk@gmail.com To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBDDLTAGNTIBBBBWX4DIQKGQENGM666A@isocpp.org Mon Dec 18 21:54:44 2017 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-vk0-f72.google.com ([209.85.213.72]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eR2Qn-00033u-Bt for gclcip-std-proposals@m.gmane.org; Mon, 18 Dec 2017 21:54:37 +0100 Original-Received: by mail-vk0-f72.google.com with SMTP id w69sf6132254vkh.3 for ; Mon, 18 Dec 2017 12:56:39 -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=sH58CoP9Rn0TaKoGFKiynXW/hQk7jhUln4d5+cy8hiI=; b=tK1rtWi/pqoQIYLWar9eXISuVYPCDthjBVD2afV1EtsV4t75TFPmME+iWAo61R4/PU x7i+Ep40uwwfInliPDVnRj+fHS+nV1DmYifcuLHXUnFEgif1cNBOx8NxXQ1H1YsRa/hw 8zVmlKTWMm0SPlNVkOEsqNHxFKNyLpJbHUZ8Rug51JZeFeo+Eg/m9zvq0DrFhvVFrmeF 9w1skZdC9V2QwzU+868xBl4vXpONuOoXerm+CdQiSNgSqc5/LH+PFnujtMsHlEJceZHp 4VZxd3/UdX25FbJ66+HLZco1is776W7vrO3sBf1W96zif5TOPePOUTXh4PEdPf4mY3L+ 9wJw== 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=sH58CoP9Rn0TaKoGFKiynXW/hQk7jhUln4d5+cy8hiI=; b=l/e6/aTpoRrnFHKmzlJ1cffRTN8stDzYQpTWfLvTHKyh1l7B2W+ZCcXVf5+gZNshAI sMYLZh/aCw301+2qSiZAvi7Pwgh5ChIGoefHIZGc6pPDQAuE0n3WH9a853/T/4uFWPKM /yDgDSXMZ6dbMeML4kA3zNlJB6auDQmVttTguJnNmS9Tt+a8wm/4iGLjgo9/s8QYOduo 3TbNfAToZymc9254bZ/rpxi0vzveBVFvV2kNSNDg7X1cGvZ4fHU/wM0/GRDT6OVU0Zji BbsiiRSYTwEEcNuvmejYc6NSudBqIg6eKd6cJrpSexc9MZFU/396FsYLQXnBxzTD91GZ YWpg== 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=sH58CoP9Rn0TaKoGFKiynXW/hQk7jhUln4d5+cy8hiI=; b=PRwDFblbIdJN6WSd/b+WO9iAPonl9wyjFMQkx9dsC/r32S0p0VPMkupdGZI7EZyD3l 93Pr+iSQNGpShmVyjnLFjVj8mq6Xo+Q8kLFPBstlcf4tluTWJi2/5wj/2b9c/rPN2wIC agFlzALD7EnBPfUcquy1jIq+7kt0HSzIo3lVtx462oaKu+MOFCLwG8orp3talvcLFn4w 4TwdXIG1N/cf2/MY+gCPyCcpS99JggLZQgs+DBrs8h6xl99CL8aem58DJDnLNpy/4lbi 3NYEh5TIVeR1yy3H/6RMnDNdHLPtMNS7FhULiNC8GUUXL5dlBK4IQT7vBA7EE/H8lDyS XOKw== X-Gm-Message-State: AKGB3mKi4M/MkYrvkfhDgFcFMZAktKsEA23uPPAoRLT8VxWPnigq1hJy uEYOsaGSgKkNHFKAi9ZCKXvV0Q== X-Google-Smtp-Source: ACJfBouGHV3BvHuRy9BUk0YmENYuBAcZRu/yC5RRRty6Xo12sGaYuQTR8QXi0tVYMaxpeQt74b2Q2w== X-Received: by 10.159.35.11 with SMTP id 11mr564534uae.42.1513630599300; Mon, 18 Dec 2017 12:56:39 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.176.74.12 with SMTP id q12ls5044546uae.4.gmail; Mon, 18 Dec 2017 12:56:37 -0800 (PST) X-Received: by 10.31.164.131 with SMTP id n125mr97610vke.14.1513630597692; Mon, 18 Dec 2017 12:56:37 -0800 (PST) In-Reply-To: <6d5434aa-a3bd-460f-bdbd-3db00772768a@isocpp.org> X-Original-Sender: inkwizytoryankes@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:35984 Archived-At: ------=_Part_7262_1591443954.1513630597046 Content-Type: multipart/alternative; boundary="----=_Part_7263_1002987415.1513630597047" ------=_Part_7263_1002987415.1513630597047 Content-Type: text/plain; charset="UTF-8" On Monday, December 18, 2017 at 6:28:12 AM UTC+1, adrian....@gmail.com wrote: > > 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? > What is `temp`? This is good question that your proposal should answer because it's dependent name on template parameter `A`. If we implements your proposition how you will access it if it is in dependent context? Right now we have way to distinguish between objects, types and templates, now with your proposal we will need new way to support your first class aliases. -- 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/90bc6ae9-54a4-4fe5-b4ee-a32db51ca820%40isocpp.org. ------=_Part_7263_1002987415.1513630597047 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Monday, December 18, 2017 at 6:28:12 AM UTC+1, = adrian....@gmail.com wrote:
On Sunday, December 17, 2017 at 8:18:29 PM UTC-5, Marcin Jacz= ewski wrote:

Ri= ght now I see only one problem with this:
template<typename A>
using B =3D typename A::template template temp<1<= span style=3D"color:#660">><2>;
//or
template&l= t;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`
<= /span>//or
= template<typename A>
using D =3D template template A::temp;
You will probably need something like th= is to allow proper handle of `<` and `>` by compiler in dependent con= text.

I'm not exactly sure wh= at you mean.=C2=A0=C2=A0So, these are potential ways to tell the compiler w= hat 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 explain in more = detail what you are attempting to say?

What is = `temp`? This is good question that your proposal should answer because it&#= 39;s dependent name on template parameter `A`. If we implements your propos= ition how you will access it if it is in dependent context?
Right now we= have way to distinguish between objects, types and templates,= now with your proposal we will need new way to support your first class al= iases.

--
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/90bc6ae9-54a4-4fe5-b4ee-a32db51ca820= %40isocpp.org.
------=_Part_7263_1002987415.1513630597047-- ------=_Part_7262_1591443954.1513630597046-- .