From -5057647953329307395
X-Google-Thread: f78e5,3c7d746be594880e
X-Google-Attributes: gidf78e5,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!aotearoa.belnet.be!news.belnet.be!newsgate.cistron.nl!xs4all!peer.news.zetnet.net!peer-uk.news.demon.net!kibo.news.demon.net!mutlu.news.demon.net!news.demon.co.uk!demon!stump.algebra.com!devnull
From: pete@versatilecoding.com (Pete Becker)
Newsgroups: comp.std.c++
Subject: Re: Concerning n2157 and is_empty specification
Date: Tue, 20 Mar 2007 15:40:12 GMT
Lines: 30
Sender: mail2news@demon.net
Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++)
Message-ID: <qumdnYnrY5ftYmLYnZ2dnUVZ_smonZ2d@giganews.com>
References: <1173648852.230192.11800@p10g2000cwp.googlegroups.com> <howard.hinnant-B96105.15010612032007@johnf2.biosci.ohio-state.edu>
NNTP-Posting-Host: news.news.demon.net
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.demon.co.uk 1174405223 13104 158.152.254.254 (20 Mar 2007 15:40:23 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Tue, 20 Mar 2007 15:40:23 +0000 (UTC)
X-Original-To: std-c++@mailman.ucar.edu
X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov)
X-User-Agent: Thunderbird 1.5.0.10 (Macintosh/20070221)
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Virus-Scanned: amavisd-new at csse.unimelb.edu.au
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Received: (from fjh@localhost)
	by mulga.csse.unimelb.edu.au (8.13.8+Sun/8.13.8/Submit) id l2KFeCnD001971;
	Wed, 21 Mar 2007 02:40:12 +1100 (EST)
X-Path: comp-std-cpp-robomod!not-for-mail
X-NNTP-Posting-Date: Tue, 20 Mar 2007 10:36:16 -0500
X-Delivered-To: std-c++@mailman.ucar.edu
X-Postfilter: 1.3.34
X-Authentication-Warning: serv1.gc.dca.giganews.com: news set sender to poster@giganews.com using -f
X-Newsgroups: comp.std.c++
Xref: g2news1.google.com comp.std.c++:8118

Howard Hinnant wrote:
> 
> Perhaps the best thing to do would be to go back to the old definition 
> for is_empty, but insist that it be defined somewhere in the language 
> spec.  And then is_empty can refer to that spec.  That makes it somebody 
> else's problem. :-)  Although, that definition may not be compatible 
> with our intent for is_empty...
> 

Depending, of course, on what "our intent" is. My intent in voting for 
this was for is_empty, like all the rest of the characterization traits, 
to reflect the meaning given in the core language (which is why the 
requirements for those traits simply refer to the appropriate section, 
rather than more or less duplicating what the core portion already 
says). There is a core problem that "empty class" is used in several 
places but not defined.

-- 

	-- Pete
Roundhouse Consulting, Ltd. (www.versatilecoding.com)
Author of "The Standard C++ Library Extensions: a Tutorial and 
Reference." (www.petebecker.com/tr1book)

---
[ 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                      ]



