From -93810316300595253 X-Google-Thread: f78e5,d9fe358a73c69991 X-Google-Attributes: gidf78e5,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news4.google.com!news.glorb.com!border1.nntp.dca.giganews.com!local01.nntp.dca.giganews.com!nntp.speakeasy.net!news.speakeasy.net.POSTED!not-for-mail NNTP-Posting-Date: Thu, 11 Aug 2005 23:50:04 -0500 Return-Path: X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov) Delivered-To: std-c++@ucar.edu From: "Wu Yongwei" Newsgroups: comp.std.c++ Subject: Re: Should failure to instantiate a function template abort compilation during overload resolution? Organization: http://groups.google.com Message-ID: <1123821638.258573.189860@g14g2000cwa.googlegroups.com> References: <1123485075.096196.242990@g44g2000cwa.googlegroups.com> <42F9CFA3.4000006@cs.york.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Complaints-To: groups-abuse@google.com User-Agent: G2/0.2 Complaints-To: groups-abuse@google.com Injection-Info: g14g2000cwa.googlegroups.com; posting-host=211.152.42.2; posting-account=YpX4bQ0AAABQX3uC3kY4dsrVfN1inbmo X-Greylisting: NO DELAY (Relay+Sender autoqualified); processed by UCSD_GL-v2.1 on mailbox4.ucsd.edu; Thu, 11 August 2005 21:40:45 -0700 (PDT) X-Spamscanner: mailbox4.ucsd.edu (v1.6 Aug 4 2005 15:27:38, -2.8/5.0 3.0.4) X-MailScanner: PASSED (v1.2.8 97531 j7C4ejGE000171 mailbox4.ucsd.edu) X-Virus-Scanned: amavisd-new at ucar.edu X-Virus-Scanned: amavisd-new at cs.mu.OZ.AU Approved: Fergus Henderson , moderator of comp.std.c++ X-Virus-Scanned: amavisd-new at cs.mu.OZ.AU Date: Thu, 11 Aug 2005 23:49:15 CST Lines: 35 NNTP-Posting-Host: 65.182.171.162 X-Trace: sv3-ybQ5CmRH4dMrzNSUCZVLhckeOXaCeLbQy8HQ0zaUpuZfFx24XjKbolZ0TAu5ybvI8GFyLnaGEMzCJqT!r2gvPbTtQpncV/W4DYnRsXWg4KXSCc2k8HyCptFzrHQ0qS1vqMM4hyClBwEjiaXosh0e3fic0em+!IOmxmFnahu/7lQwcbdVXpVfZ1zJqaIG08fEqmPKIdG4= X-Complaints-To: abuse@speakeasy.net X-DMCA-Complaints-To: abuse@speakeasy.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.32 Xref: g2news1.google.com comp.std.c++:1781 Gabriel Dos Reis wrote: > | I've simply taken a few > | non-conforming programs that have undefined behavior and assigned them > | behavior my customers may find more pleasing. > > I don't believe the specific case under discussion invokes undefined > behaviour. Please show what the `defined' behaviour of this program is, which I think is exactly we are discussing: #include int distance(const std::vector& v1, const std::vector& v2) { return v1.size() - v2.size(); } int main() { std::vector v1(3), v2(1); int d = distance(v1, v2); return 0; } Best regards, Yongwei --- [ 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 ]