From -722562636448147444 X-Google-Thread: f78e5,57f37be32367f817 X-Google-Attributes: gidf78e5,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!news.cs.univ-paris8.fr!newsfeed.vmunix.org!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!stump.algebra.com!devnull From: AlbertoBarbati@libero.it (Alberto Ganesh Barbati) Newsgroups: comp.std.c++ Subject: Re: Defect report: [dcl.constexpr]/5 constexpr and templates Date: Mon, 5 Nov 2007 19:24:14 GMT Organization: [Infostrada] Lines: 39 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=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: news.demon.co.uk 1194290660 2344 158.152.254.254 (5 Nov 2007 19:24:20 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Mon, 5 Nov 2007 19:24:20 +0000 (UTC) X-Original-To: std-c++@mailman.ucar.edu X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov) X-User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) X-IronPort-Anti-Spam-Result: Ao8CAHL7LkfBRsBn/2dsb2JhbAA X-IronPort-Anti-Spam-Filtered: true X-Virus-Scanned: amavisd-new at csse.unimelb.edu.au X-Path: comp-std-cpp-robomod!not-for-mail X-Received: (from fjh@localhost) by mulga.csse.unimelb.edu.au (8.13.8+Sun/8.13.8/Submit) id lA5JOENj011627; Tue, 6 Nov 2007 06:24:14 +1100 (EST) X-NNTP-Posting-Date: Mon, 05 Nov 2007 20:22:16 MET 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++:9535 Gabriel Dos Reis ha scritto: > 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. > Such use of the term "function template" is not consistent with the use established in clause 14 (see in particular 14.7/2, 14.7/3). While I agree that the term "function template" might be stretched to also include member function templates, including members of a class template is IMHO a bit too far, and AFAIK it would be the first time in the standard that such a thing would be made. Just my opinion, Ganesh --- [ 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 ]