From 4173979838299817861
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,3f47c04aec786084,start
X-Google-Attributes: gidf78e5,public
X-Google-ArrivalTime: 2004-01-22 20:52:10 PST
Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!kibo.news.demon.net!mutlu.news.demon.net!demon!mail2news.demon.co.uk!devnull
From: taintedwheat@yahoo.com (Gina Yarmel)
Newsgroups: comp.std.c++
Subject: default function arguments and template non-type parameters
Date: Fri, 23 Jan 2004 04:52:07 +0000 (UTC)
Organization: http://groups.google.com
Lines: 28
Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++)
Message-ID: <e4241c19.0401221930.666644ef@posting.google.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: mail2news.demon.co.uk 1074833527 27234 10.0.0.1 (23 Jan 2004 04:52:07 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Fri, 23 Jan 2004 04:52:07 +0000 (UTC)
X-Received: from mulga.cs.mu.oz.au ([128.250.1.22])
	by news.demon.co.uk with esmtp (Exim 4.12)
	id 1AjtIc-000757-00
	for mail2news@news.news.demon.net; Fri, 23 Jan 2004 04:52:06 +0000
X-Received: from mulga.cs.mu.OZ.AU (localhost [127.0.0.1]) by mulga.cs.mu.OZ.AU with ESMTP
	id i0N4q4l5001529; Fri, 23 Jan 2004 15:52:04 +1100 (EST)
X-Received: (from fjh@localhost)
	by mulga.cs.mu.OZ.AU (8.12.10+Sun/8.12.9/Submit) id i0N4q4mG001510;
	Fri, 23 Jan 2004 15:52:04 +1100 (EST)
X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f
X-Path: comp-std-cpp-robomod!not-for-mail
X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov)
X-Delivered-To: std-c++@ucar.edu
X-Newsgroups: comp.std.c++
X-NNTP-Posting-Date: Fri, 23 Jan 2004 03:30:24 +0000 (UTC)
X-Spam-Level: 
X-Spam-Status: No, hits=0.4 required=5.2 tests=FORGED_YAHOO_RCVD autolearn=no 
	version=2.60-mulga_r1
X-Spam-Checker-Version: SpamAssassin 2.60-mulga_r1 (1.212-2003-09-23-exp) on 
	mulga.cs.mu.OZ.AU
Xref: archiver1.google.com comp.std.c++:916

void f(int a = 0);

template<typename T, T * x>
struct foo {
  foo() { x(); }
};

template<typename T>
void bar(T * x) {
  x();
}


int main() {
  foo<void (int), f> baz; // #1
  bar(f); // #2
}

---------------------------
#2 is an error by 8.3.6/4 (I think?).  Is #1 an error for the same
reason?

---
[ 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.jamesd.demon.co.uk/csc/faq.html                       ]



