220 9939 <8738ideo1a.fsf@euclid.axiomatics.org> article Path: news.gmane.org!not-for-mail From: Gabriel Dos Reis Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: auto variable templates? Date: Wed, 19 Mar 2014 17:01:21 -0700 Organization: axiomatics.org Lines: 44 Approved: news@gmane.org Message-ID: <8738ideo1a.fsf@euclid.axiomatics.org> References: <878usaa8hz.fsf@euclid.axiomatics.org> <93E854CB-24C9-49ED-BE88-1A43D0FD715A@gmail.com> <877g7qm4yd.fsf@euclid.axiomatics.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: ger.gmane.org 1395273677 4098 80.91.229.3 (20 Mar 2014 00:01:17 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 20 Mar 2014 00:01:17 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCSYNQUB2UHRBUW7VCMQKGQETKKXOZQ@isocpp.org Thu Mar 20 01:01:27 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-oa0-f71.google.com ([209.85.219.71]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WQQQF-0001BL-O0 for gclcip-std-proposals@m.gmane.org; Thu, 20 Mar 2014 01:01:23 +0100 Original-Received: by mail-oa0-f71.google.com with SMTP id j17sf396401oag.6 for ; Wed, 19 Mar 2014 17:01:22 -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:to:subject:in-reply-to:organization :references:sender:date:message-id:lines:mime-version :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=RAPDmHJu6QGLOgaWEfP3aOe9Fhkdx4MSdDEnehQ+ixQ=; b=fkPO2jBPH2KKvSBYF3wHWIQHJwbphDpEXSV8qjz1MmLxQ93gaaNdpBeaVxPetcOqFc 3VwbWvQtFymNQBAqS6z519g0fYdbkaWorLwM+8EiT2w8jPNeTZ7ptSwKT7/prrK54t4W EUTLIY7fPlvUOrslRpl5DVxuAymok3krTA6m9JQkK9L1wjf3pT5L4g004D0DRybFEGuv koPOHY4UFo2GpngqNG1bh95FP4dxh8+XGc7UHK3mAXihuu6IzKoG5mmPgKmMs+htMrTb S34ceQo8nYBMJ+2IGo2w3oDeedjAY7n5y2f75GwYaEJfco2myofky7aVC3c87luELOUN iwkA== X-Gm-Message-State: ALoCoQn0FTAUQiIqe0FnTESIwpmXAHaWaD0aoLRwQYbJbaadQy+6kgbNOXeNEz5z4cXS4ma1VX/l X-Received: by 10.51.18.97 with SMTP id gl1mr12120083igd.7.1395273682793; Wed, 19 Mar 2014 17:01:22 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.156.15 with SMTP id wa15ls11090obb.1.gmail; Wed, 19 Mar 2014 17:01:21 -0700 (PDT) X-Received: by 10.60.115.68 with SMTP id jm4mr25202516oeb.45.1395273681872; Wed, 19 Mar 2014 17:01:21 -0700 (PDT) Original-Received: from mail.axiomatics.org (www.axiomatics.org. [66.228.53.191]) by mx.google.com with ESMTP id wu5si138920oeb.13.2014.03.19.17.01.21 for ; Wed, 19 Mar 2014 17:01:21 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of gdr@axiomatics.org designates 66.228.53.191 as permitted sender) client-ip=66.228.53.191; Original-Received: from euclid.axiomatics.org (localhost [IPv6:::1]) by mail.axiomatics.org (Postfix) with ESMTP id 84015E741 for ; Wed, 19 Mar 2014 17:01:21 -0700 (PDT) In-Reply-To: (Johannes Schaub's message of "Wed, 19 Mar 2014 20:14:59 +0100") Original-Sender: gdr@axiomatics.org Original-Lines: 35 X-Original-Sender: gdr@axiomatics.org X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of gdr@axiomatics.org designates 66.228.53.191 as permitted sender) smtp.mail=gdr@axiomatics.org 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:9939 Archived-At: Johannes Schaub writes: | 2014-03-19 19:14 GMT+01:00 Gabriel Dos Reis : | > David Krauss writes: | > | > | On 2014-03-16, at 3:49 PM, Gabriel Dos Reis | > | wrote: | > | | > | The general model of C++ templates, since day 1, is that if decl | > | is a | > | valid declaration, then | > | | > | template decl | > | | > | is also a valid declaration. | > | | > | | > | Well, Johannes' code is specifically a counterexample to that rule, | > | because the error is in the parameter-list. | > | > I am not sure why that is a counter example: if the parameter is | > non-sensical, it can't be a declaration. | > | | I was playing devil's advocate. You are saying that the following is a template | | template constexpr auto X = 42; | | But the "decl" is non-sensical, because while it is allowed to put | "auto" in the declaration of a variable, it is not allowed in the | declaration of a variable template. Why? -- Gaby -- --- 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. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. .