220 33566 <7ba631a5-c4c5-cd5b-8e80-c583420cfca5@gmail.com> article
Path: news.gmane.org!.POSTED!not-for-mail
From: Matthew Woehlke <mwoehlke.floss@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Add type alias that mirrors given type
Date: Thu, 3 Aug 2017 10:38:34 -0400
Lines: 38
Approved: news@gmane.org
Message-ID: <7ba631a5-c4c5-cd5b-8e80-c583420cfca5@gmail.com>
References: <20f365ce-2a24-4576-894f-923e7b9cd76e@isocpp.org>
 <edbf0c37-4672-0c79-d95b-331b3812ba1c@gmail.com>
 <03d0948e-506b-4e0b-b5e0-b255d3698cd5@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 1501772829 8043 195.159.176.226 (3 Aug 2017 15:07:09 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Thu, 3 Aug 2017 15:07:09 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.2.1
Cc: antonio@perezexcelsior.com
To: std-proposals@isocpp.org, Nicol Bolas <jmckesson@gmail.com>
Original-X-From: std-proposals+bncBC37LBFWUIFBBGHYRTGAKGQEI3BSQFQ@isocpp.org Thu Aug 03 17:07:00 2017
Return-path: <std-proposals+bncBC37LBFWUIFBBGHYRTGAKGQEI3BSQFQ@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-it0-f70.google.com ([209.85.214.70])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <std-proposals+bncBC37LBFWUIFBBGHYRTGAKGQEI3BSQFQ@isocpp.org>)
	id 1ddHiG-0001by-8b
	for gclcip-std-proposals@m.gmane.org; Thu, 03 Aug 2017 17:07:00 +0200
Original-Received: by mail-it0-f70.google.com with SMTP id 77sf16829889itj.4
        for <gclcip-std-proposals@m.gmane.org>; Thu, 03 Aug 2017 08:07:06 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; t=1501772826; cv=pass;
        d=google.com; s=arc-20160816;
        b=EDWdLKMjgM4dEphxNgMAetsXP1w6TD/ycfI8aRoI5FvkR9Qc7D7T8v0gW/d3Zw7oMy
         0I1i+rSjRth9llJo9UbJOgTd0XjGVMZzXtPAhDUfppXav+qfuRoE/CnfRnqYj9HmlV78
         6yQE42pHxYQW26KKohKZ8mqNL1xE37wdwwWGoKPoMN/7hN5FQMvsucNIc/PRgGARBWO4
         Fou8K0hCfQAq+p0TKPCL4TTlmOtJRbobjFBTyrKM+Tg2z8eEdv66R+nu3obSJ4q30dXR
         cjLoEPBTKABUjveapz3zd8qcaVcTgXHW40W39amCM+WSP3evu6KZXSYsB1o/n3sDFRwh
         ogoQ==
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:content-language
         :in-reply-to:mime-version:user-agent:date:message-id:from:references
         :newsgroups:cc:to:subject:arc-authentication-results
         :arc-message-signature:dkim-signature:arc-authentication-results;
        bh=HcsIFCOE8k68dHiFkLytCYeLvhT/j/rzSTOg/foHfkE=;
        b=n6QXrEsEbzKHBjiQXk5ch4Tada68cBhzDGpgEGVVy04WhW63mgjrzXuQX9rtdRvtEv
         GdHLfSXAJVLI2B56oN8+e4kCm/LZa2iQk4mzCxZQfF/TyxEITbmy8Y/bVYuTZbyMiWm1
         /iF95OmzZlUoTa74oaJsVUbKqNpj+15fm/JUuAkkZpuyx3J9/pWj6brskLszBgQs3D6e
         4CJT9t7IRGKfcSVv+06woAZRlWPqjVqIMsSfsKjXIN19qPlhimQ2cR9vCZr/gClJBWNU
         usUE1O2NczxeksPAd7IzlSFLHYDiqeqJZZ9dCtWhJONyoNj7kC6ZntGlrEOCFGrDuh4z
      
ARC-Authentication-Results: i=2; mx.google.com;
       dkim=pass header.i=@gmail.com header.b=RDqxfi0U;
       spf=pass (google.com: domain of mwoehlke.floss@gmail.com designates 2607:f8b0:400d:c0d::242 as permitted sender) smtp.mailfrom=mwoehlke.floss@gmail.com;
       dmarc=pass (p=NONE sp=NONE 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=subject:to:cc:newsgroups:references:from:message-id:date:user-agent
         :mime-version:in-reply-to:content-language: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=HcsIFCOE8k68dHiFkLytCYeLvhT/j/rzSTOg/foHfkE=;
        b=WzPO+1+vRwnTSEwCMB4bvQx22ToBCRsoeqtI5XQYEEAEwYHpBxFZV+F0DKG3g0BhxY
         34j1x2OESIIVJfeUYBgWiBbLaAuKBACIFKQtAT2cZlzCp9YVyi7Pqd9vs7z2Y9ZXpYuf
         QGbgnLvMvEoMecoslahG5ykX3r2fVvMdMLxU8P+1F2biGItkn6Yh4MNMzwAkgG3fiVLS
         oSq/HhuB9E5As8zucAj/2JxJypqmDGAPoDXHt6bbILxuXpw3Ynhg6XtUw7rr6ecNKTCJ
         lXeOsqNroIyWY0k/r7MgzbkN1JGGQoMo32zLgiyh3ESfz/uUwPMlerPtfOWL3wZ8/SWh
         pRbw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:subject:to:cc:newsgroups:references:from
         :message-id:date:user-agent:mime-version:in-reply-to
         :content-language: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=HcsIFCOE8k68dHiFkLytCYeLvhT/j/rzSTOg/foHfkE=;
        b=rad+kMGFg5kS/Fo8yj2DaJlE9ZJ18DTXSII8TOVo4vpfL0quwwz3eN33bpnqXzMEcD
         hg1flKTE1F94YbOQ1xYyJY6blWw6xrzNlxfqYWAtviHwI6gLJ7S7Phm7AvuiQ5mVNZLP
         8rk9Ap4POXZlrl78lHbnlZtLdADoSUhH4GrXlq4JdkPGrkEK89T6icu55DQIoeXqhgK2
         zYZbuxoTVYU+oYkfGzGTZRBfvjiSNma9VxjrtTi85rkEs/BPGByqSzl1mFxLI+gSyV0X
         29KnYu300S5c1EVns53FLINqIoTGSN8bHm2dgDtIISHK+yPvHJnNVnD 
X-Gm-Message-State: AIVw111Nrp1PUyZpfDBe/h8H6XClyaBhWRiNz8mlIujzZJNl5cTxZyZe
	wkUoHBBGlUuxg5lE
X-Received: by 10.107.195.75 with SMTP id t72mr1256230iof.86.1501772825986;
        Thu, 03 Aug 2017 08:07:05 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.36.197.194 with SMTP id f185ls1505086itg.4.canary-gmail; Thu,
 03 Aug 2017 08:07:04 -0700 (PDT)
X-Received: by 10.200.53.65 with SMTP id z1mr2452414qtb.337.1501772824606;
        Thu, 03 Aug 2017 08:07:04 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1501772824; cv=none;
        d=google.com; s=arc-20160816;
        b=b0OqCYTbIgdEaccCdODdhtsmqYnSvJAZt+uEa1R1jjHUvlunSUFpeZNK813IwcwM7R
         omI4fDJgg/xQI6GgrU/D8tOWgJ9tds6XAM5G3A0yLmP7eqBTDtREeLUcwntJhwQLhqea
         odVijt34Q3J1RXKuhrnoNnvbu6OSRIoxg+Um1gxqbYl041hRKYnZ7NIcJ8mQH8ovIL6n
         ZCj9YZiOBoeGEeKJSn2nHJwb7T9DZ2UTl7lAPJu6tvvEYl2kp1zwRRJJxNeBrfWz5YdG
         ovD5E36yxNq/NcTp1k0bmbCvnZm11n8biKh0OOzkslNYovgbufuuVcepjmZMbUHMngXh
         TsFA==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816;
        h=content-transfer-encoding:content-language:in-reply-to:mime-version
         :user-agent:date:message-id:from:references:newsgroups:cc:to:subject
         :dkim-signature:arc-authentication-results;
        bh=LSeldcImheujxBuaPTYjQmVEYg/trGScIm6F5gpQYrY=;
        b=BXxj0al+87szy+9CD4wad+JI2msu4/q1Zh6x/E66kFkFjyWaSpJBt+xTRDUAxXfRKg
         om3rMD1a22R159SwAEJ2uCBChjH2KnrjFdAwqvKc6/0oFEN/O09eBTQDH3JXEEsftPRd
         wYNuPAO99RtVjiG3qSMLe65wBmfLVjCYWYofDrqEt83uttGvczeWNmX7Y3KXNFojQKZH
         wSKGKRTt+Q+u5u0/ptpf06lVVFVB6BGaNbgkXglws6o5PHOc1VBboi5K8QjnHBha5JEu
         xcrvFSsbsDzU7pcbiCCDPrlLcj66idJ3PpbjPomwYCHyjijl5ZcEArb5xFwF8brAhzoY
         QaIg==
ARC-Authentication-Results: i=1; mx.google.com;
       dkim=pass header.i=@gmail.com header.b=RDqxfi0U;
       spf=pass (google.com: domain of mwoehlke.floss@gmail.com designates 2607:f8b0:400d:c0d::242 as permitted sender) smtp.mailfrom=mwoehlke.floss@gmail.com;
       dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com
Original-Received: from mail-qt0-x242.google.com (mail-qt0-x242.google.com. [2607:f8b0:400d:c0d::242])
        by mx.google.com with ESMTPS id m6si32893547qkm.303.2017.08.03.08.07.04
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 03 Aug 2017 08:07:04 -0700 (PDT)
Received-SPF: pass (google.com: domain of mwoehlke.floss@gmail.com designates 2607:f8b0:400d:c0d::242 as permitted sender) client-ip=2607:f8b0:400d:c0d::242;
Original-Received: by mail-qt0-x242.google.com with SMTP id u19so1529993qtc.0
        for <std-proposals@isocpp.org>; Thu, 03 Aug 2017 08:07:04 -0700 (PDT)
X-Received: by 10.237.51.37 with SMTP id u34mr2459447qtd.155.1501771118495;
        Thu, 03 Aug 2017 07:38:38 -0700 (PDT)
Original-Received: from gryphon.kitware.com (tripoint.kitware.com. [66.194.253.20])
        by smtp.googlemail.com with ESMTPSA id r191sm26068423qke.77.2017.08.03.07.38.35
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 03 Aug 2017 07:38:35 -0700 (PDT)
Original-Newsgroups: gmane.comp.lang.c++.isocpp.proposals
In-Reply-To: <03d0948e-506b-4e0b-b5e0-b255d3698cd5@isocpp.org>
Content-Language: en-US
X-Original-Sender: mwoehlke.floss@gmail.com
X-Original-Authentication-Results: mx.google.com;       dkim=pass
 header.i=@gmail.com header.b=RDqxfi0U;       spf=pass (google.com: domain of
 mwoehlke.floss@gmail.com designates 2607:f8b0:400d:c0d::242 as permitted
 sender) smtp.mailfrom=mwoehlke.floss@gmail.com;       dmarc=pass (p=NONE
 sp=NONE dis=NONE) header.from=gmail.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:33566
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/33566>

On 2017-08-03 09:54, Nicol Bolas wrote:
> On Thursday, August 3, 2017 at 9:35:36 AM UTC-4, Matthew Woehlke wrote:
>> On 2017-08-02 15:27, Antonio Perez wrote: 
>>> I propose that a type alias which simply returns the given type 
>>> be added to the standard library for the purpose of working with
>>> types whose syntax is problematic.>>>
>>> *What's the use for this?*As an example usage, here is a print function 
>>> that prints an array of things: 
>>>
>>> template<class T, size_t n> void print(std::typemirror<T[n]>& arr) 
>>
>> Um... 
>>
>>   template <typename T, size_t N> 
>>   void print(T (&arr)[N]) 
>>
>> ...? 
>>
>> I don't see a motivating use case here...
> 
> I think the motivation here is that that syntax looks *terrible* and quite 
> a few people have no idea how to type that.

Yes, it's esoteric, but if this is the *only* motivation for the
feature, IMHO it isn't worth a new library feature.

(It's actually not *that* weird, either... function pointers aren't much
different...)

-- 
Matthew

-- 
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/7ba631a5-c4c5-cd5b-8e80-c583420cfca5%40gmail.com.

.
