From -2687293252454578046 X-Google-Thread: f78e5,57f37be32367f817 X-Google-Attributes: gidf78e5,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news2.google.com!news.glorb.com!peer1.news.newnet.co.uk!194.159.246.34.MISMATCH!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!stump.algebra.com!devnull From: gdr@cs.tamu.edu (Gabriel Dos Reis) Newsgroups: comp.std.c++ Subject: Re: Defect report: [dcl.constexpr]/5 constexpr and templates Date: Mon, 5 Nov 2007 17:14:39 GMT Organization: Texas A&M University- College Station, TX, USA Lines: 32 Sender: mail2news@demon.net Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++) Message-ID: References: NNTP-Posting-Host: news.news.demon.net Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: news.demon.co.uk 1194282890 26815 158.152.254.254 (5 Nov 2007 17:14:50 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Mon, 5 Nov 2007 17:14:50 +0000 (UTC) X-Original-To: std-c++@mailman.ucar.edu X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov) X-Virus-Scanned: amavisd-new at csse.unimelb.edu.au X-Received: (from fjh@localhost) by mulga.csse.unimelb.edu.au (8.13.8+Sun/8.13.8/Submit) id lA5HEdY4009699; Tue, 6 Nov 2007 04:14:39 +1100 (EST) X-Path: comp-std-cpp-robomod!not-for-mail X-NNTP-Posting-Date: Mon, 5 Nov 2007 05:47:57 +0000 (UTC) X-Delivered-To: std-c++@mailman.ucar.edu X-Authentication-Warning: mulga.csse.unimelb.edu.au: fjh set sender to devnull@stump.algebra.com using -f X-SMTP-Auth: no X-Newsgroups: comp.std.c++ Xref: g2news1.google.com comp.std.c++:9525 On Sun, 4 Nov 2007, Alberto Ganesh Barbati wrote: | Hi, | | in the latest draft N2461, [dcl.constexpr]/5 reads: | | "If the instantiated template specialization of a constexpr function | template would fail to satisfy the requirements for a constexpr | function, the constexpr specifier is ignored and the specialization is | not a constexpr function." | | such wording implicitly excludes member functions of class templates and | member templates. However, the feature might be useful even in those | cases and there is no apparent reason why they should be excluded. They are not excluded -- I see, however, how the sentence could be read that way. `function template' in the above refers to all kinds of function templates, including constructors, etc. -- Dr. Gabriel Dos Reis (gdr@cs.tamu.edu), Assistant Professor http://www.cs.tamu.edu/people/faculty/gdr Texas A&M University -- Department of Computer Science 301, Bright Building -- College Station, TX 77843-3112 --- [ comp.std.c++ is moderated. To submit articles, try just posting with ] [ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ] [ --- Please see the FAQ before posting. --- ] [ FAQ: http://www.comeaucomputing.com/csc/faq.html ]