220 9838 <23cc4067-d6c1-4444-b7b2-d71ff1127736@isocpp.org> article Path: news.gmane.org!not-for-mail From: Christ-Jan Wijtmans Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: auto variable templates? Date: Sun, 16 Mar 2014 04:39:47 -0700 (PDT) Lines: 130 Approved: news@gmane.org Message-ID: <23cc4067-d6c1-4444-b7b2-d71ff1127736@isocpp.org> References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_4390_24636596.1394969987810" X-Trace: ger.gmane.org 1394969980 19240 80.91.229.3 (16 Mar 2014 11:39:40 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 16 Mar 2014 11:39:40 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDU4R6M73ABRBBE3S2MQKGQEHGULORI@isocpp.org Sun Mar 16 12:39:50 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ve0-f197.google.com ([209.85.128.197]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WP9Px-0005DD-WF for gclcip-std-proposals@m.gmane.org; Sun, 16 Mar 2014 12:39:50 +0100 Original-Received: by mail-ve0-f197.google.com with SMTP id pa12sf10993096veb.0 for ; Sun, 16 Mar 2014 04:39:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to: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 :content-type; bh=OWamgStlZGy+dtBqXY4itv12EAPOogFBtVfiwiMwLDA=; b=o5Y/2CrZZg/2AoyORdyr/k3rayI6txiYofvcYTD8RUBgnAEHKlZKQiFANvGV6kU6Jh 417lWIEHS0scuWkxBdQfsqpn+WyX3QNPoiMnNaMApYalDHJ4o0MClTUSd32q2G7QbsLv AEnv2U9wTTdZRcISMnynk5FzJF2biYCasSmo6O8KysDjcGBaVCZbzaWBpR1M9jSTfoeE gn0zm2TWtCPWH9KNz29q4BovaVqAkRrwAiqyeufqEpdUo5vdPS/5It5BVZ3VFhmscUqO wWjgq4PjkvPdTFkWBOnxI7mxWGI52iQOJfpx9+8CrPNRYvBHM8kTXB8M5OBeyF+WCI7X LDrQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to: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:content-type; bh=OWamgStlZGy+dtBqXY4itv12EAPOogFBtVfiwiMwLDA=; b=iEUtaIbxBJnAARBHa/rIZxdzy1+D2xuT6CHTW4uudcRwSATn9K/y1lfYFmVzJ7KPa9 Lq1OkmQQK3r2bEz51rDkxX/ZnZTWJC4uL5QuIm3wmTLpQ00C5TmtVSqsmw8XZ7rSvW6d o50mm5GPUAl7EaZbR/u+PsE4GTZhwPR8KU1OrCUphGPBQ74oQlfUYyx76hVWWPk7dXdi sEVQrAmFGyPhUr3nwEf/Xqw45HX7T97M7jeTQJRHHwotOjY3TGyuJLoZOuUKpOuQ3DIu SPDTWhcl/xR/y37mar5kgp2vlwP3wbXH5rLeP613DrtF4OqNBH6my5bnGu7RGpTfdJuW ykKg== X-Gm-Message-State: ALoCoQlHkOzkjsz6xnAXvYQEiOj9b7PXpBJUkeQGU1u5A2lWqz74muvPEL3KD0Fx+f5bLzhSZkQj X-Received: by 10.236.105.170 with SMTP id k30mr5800066yhg.30.1394969988854; Sun, 16 Mar 2014 04:39:48 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.140.47.239 with SMTP id m102ls515277qga.8.gmail; Sun, 16 Mar 2014 04:39:48 -0700 (PDT) X-Received: by 10.140.107.52 with SMTP id g49mr15793qgf.9.1394969988269; Sun, 16 Mar 2014 04:39:48 -0700 (PDT) In-Reply-To: X-Original-Sender: cj.wijtmans@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:9838 Archived-At: ------=_Part_4390_24636596.1394969987810 Content-Type: text/plain; charset=UTF-8 is typedef a declaration? I remember VC++ suppporting template typedefs however apparently this was not standard C++. Op zaterdag 15 maart 2014 21:46:21 UTC+1 schreef Andrew Tomazos: > > Is the following supposed to be ill-formed according to the current draft? > > template constexpr auto X = 42; > int main(){ > static_assert(X == 42, "");} > > > [dcl.spec.auto]/4 says that auto is allowed when declaring variables in > namespace-scope, but doesn't explicitly say in variable templates - > consequently this is ill-formed. > > Clang trunk rejects it, albeit it with an obtuse error message: "invalid > operands to binary expression ('auto' and 'int')" > > Was this intended? > > If so, what was the problem with having them? auto variable templates > would be very useful. > > -- --- 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/. ------=_Part_4390_24636596.1394969987810 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
is typedef a declaration? I remember VC++ suppporting temp= late typedefs however apparently this was not standard C++.

Op zater= dag 15 maart 2014 21:46:21 UTC+1 schreef Andrew Tomazos:
Is the following supposed to b= e ill-formed according to the current draft?

template<class> cons=
texpr auto X =3D 42;

int main()
{
        st=
atic_assert(X<int> =3D=3D 42,=
 "");
}

[dcl.spec.auto]/4 says that auto is allowed when declarin= g variables in namespace-scope, but doesn't explicitly say in variable temp= lates - consequently this is ill-formed.

Clang tru= nk rejects it, albeit it with an obtuse error message: "invalid operands to binary expression ('auto'= and 'int')"

W= as this intended?

If so, what was the problem with= having them?  auto variable templates would be very useful.

--

---
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>.
------=_Part_4390_24636596.1394969987810-- .