From -371364915191731963 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f78e5,d4f7ecb803aeab3d X-Google-Attributes: gidf78e5,public X-Google-ArrivalTime: 2003-03-29 22:25:48 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!kibo.news.demon.net!mutlu.news.demon.net!demon!mail2news.demon.co.uk!devnull From: hyrosen@mail.com (Hyman Rosen) Newsgroups: comp.std.c++ Subject: Re: Strange template parameter deduction scenario Date: Sun, 30 Mar 2003 06:25:48 +0000 (UTC) Lines: 14 Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++) Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: mail2news.demon.co.uk 1049005548 23339 10.0.0.1 (30 Mar 2003 06:25:48 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Sun, 30 Mar 2003 06:25:48 +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 18zWGI-00064I-00 for mail2news@news.news.demon.net; Sun, 30 Mar 2003 06:25:46 +0000 X-Received: from localhost (localhost [[UNIX: localhost]]) by mulga.cs.mu.OZ.AU id QAA15995; Sun, 30 Mar 2003 16:25:42 +1000 (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++@ncar.ucar.edu X-User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.4a) Gecko/20030315 X-Accept-Language: en-us, en X-Newsgroups: comp.std.c++ X-NNTP-Posting-Date: Sat, 29 Mar 2003 21:37:19 EST X-Spam-Status: No, hits=-7.3 required=5.0 tests=INVALID_MSGID,IN_REP_TO,QUOTED_EMAIL_TEXT,REFERENCES, SPAM_PHRASE_00_01,USER_AGENT,USER_AGENT_MOZILLA_UA, X_ACCEPT_LANG version=2.41 Xref: archiver1.google.com comp.std.c++:18577 Samar Lotia wrote: > Wondering if this kind of template parameter deduction (ala MSVC 7) is > supposed to be valid according to the standard? No. Conceptually, the compiler would need to search through an infinite set of types C to find those for which ATraits::a_type was an A. --- [ 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 ]