220 9863 <4DFE3296-D96E-421A-9F3A-5F43613B94D7@gmail.com> article Path: news.gmane.org!not-for-mail From: David Krauss Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: auto variable templates? Date: Mon, 17 Mar 2014 08:45:55 +0800 Lines: 68 Approved: news@gmane.org Message-ID: <4DFE3296-D96E-421A-9F3A-5F43613B94D7@gmail.com> References: <87y50a8tr4.fsf@euclid.axiomatics.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 (Mac OS X Mail 7.2 \(1874\)) Content-Type: multipart/alternative; boundary="Apple-Mail=_208D01BC-5149-4CFF-B34F-699AD30F560D" X-Trace: ger.gmane.org 1395017156 17936 80.91.229.3 (17 Mar 2014 00:45:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 17 Mar 2014 00:45:56 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCW25A7E3QCRBS4LTGMQKGQEMDQYYOY@isocpp.org Mon Mar 17 01:46:05 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ig0-f197.google.com ([209.85.213.197]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WPLgq-0001tE-Fa for gclcip-std-proposals@m.gmane.org; Mon, 17 Mar 2014 01:46:04 +0100 Original-Received: by mail-ig0-f197.google.com with SMTP id hl1sf7502691igb.0 for ; Sun, 16 Mar 2014 17:46:03 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:message-id:mime-version:subject:date :references:to:in-reply-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:content-type; bh=Ijo8gK7ntPAUvxxFBGHo6VIHa2vrTKkgDuA+IeJxPEU=; b=GNTKLHAqrufb66xUGvrijcaSp/dtXb9hfNCi5IS01HRzBBOIyBkI6Rfukj60CsiLhW UyRvw0Uqw+DwYRJyY6995XBGkTrjMN/p45hddLLvUG01EzGWM4JgtZcGuCrO1OQANZYA fSuiqyYiiBHD3BvdDyqFyXO+556xm3Bb1MuaiJqiwM/DmdayQPhq3GuyC/Su8N5eGSJT VYsRUxMcoFrIg/2+ZLBnjehfX/uDnTQA9n9/T1oGT4eANrk/aHWzXoTC5aJiKrmy0r0k oVie2KFtzQyK5LRqrht+9+CjlzT3GACIbKOijDUWMsOIOTu7FqutgAGB+2Dp0yL6NQA9 65Cw== X-Gm-Message-State: ALoCoQlRCQKubwrobnt0RxmyE92o1kzqE3/sKPUFjgw4/9II4ysKvlRhH1v1JX/2GPU5OyBgO2dm X-Received: by 10.50.2.65 with SMTP id 1mr4236274igs.1.1395017163574; Sun, 16 Mar 2014 17:46:03 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.50.143.76 with SMTP id sc12ls829500igb.15.canary; Sun, 16 Mar 2014 17:46:02 -0700 (PDT) X-Received: by 10.68.137.136 with SMTP id qi8mr22004663pbb.79.1395017162772; Sun, 16 Mar 2014 17:46:02 -0700 (PDT) Original-Received: from mail-pb0-x235.google.com (mail-pb0-x235.google.com [2607:f8b0:400e:c01::235]) by mx.google.com with ESMTPS id se7si4748620pbb.130.2014.03.16.17.46.02 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 16 Mar 2014 17:46:02 -0700 (PDT) Received-SPF: pass (google.com: domain of potswa@gmail.com designates 2607:f8b0:400e:c01::235 as permitted sender) client-ip=2607:f8b0:400e:c01::235; Original-Received: by mail-pb0-f53.google.com with SMTP id rp16so4935101pbb.26 for ; Sun, 16 Mar 2014 17:46:02 -0700 (PDT) X-Received: by 10.68.171.229 with SMTP id ax5mr22708456pbc.125.1395017162664; Sun, 16 Mar 2014 17:46:02 -0700 (PDT) Original-Received: from [172.20.10.2] ([121.54.54.37]) by mx.google.com with ESMTPSA id yk4sm37944415pbc.16.2014.03.16.17.45.59 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 16 Mar 2014 17:46:01 -0700 (PDT) In-Reply-To: X-Mailer: Apple Mail (2.1874) X-Original-Sender: potswa@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of potswa@gmail.com designates 2607:f8b0:400e:c01::235 as permitted sender) smtp.mail=potswa@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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:9863 Archived-At: --Apple-Mail=_208D01BC-5149-4CFF-B34F-699AD30F560D Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1 On 2014-03-17, at 2:17 AM, Johannes Schaub = wrote: > Since the template parameter is what is being ill-formed, it is > important whether or not it will be part of the specialization of the > template. Because the template parameter declaration is ill-formed, it gets diagnosed= immediately and does not form any larger structure. Hence there is no temp= late to be specialized in the first place. There is no "being ill-formed", = because ill-formedness implies the state of not being. --=20 ---=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. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/. --Apple-Mail=_208D01BC-5149-4CFF-B34F-699AD30F560D Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1
On 2014&= ndash;03–17, at 2:17 AM, Johannes Schaub <schaub.johannes@googlemail.com> wrote:
Since t= he template parameter is what is being ill-formed, it is
important wheth= er or not it will be part of the specialization of the
template.
<= /blockquote>

Because the template parameter declaration = is ill-formed, it gets diagnosed immediately and does not form any larger s= tructure. Hence there is no template to be specialized in the first place. = There is no “being ill-formed”, because ill-formedness implies = the state of not being.

--

---
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.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
--Apple-Mail=_208D01BC-5149-4CFF-B34F-699AD30F560D-- .