Topic: Defect Report: Postcondition for basic_ios::clear(iostate) incorrectly
Author: Seungbeom Kim <musiphil@bawi.org>
Date: Fri, 10 Mar 2006 09:46:54 CST Raw View
Section: 27.4.4.3 [lib.iostate.flags]
Paragraph 4 says:
> void clear(iostate state = goodbit);
>
> Postcondition: If rdbuf()!=0 then state == rdstate(); otherwise
> rdstate()==state|ios_base::badbit.
The postcondition "rdstate()==state|ios_base::badbit" is parsed as
"(rdstate()==state)|ios_base::badbit", which is probably what the
committee meant.
Proposed resolution: "rdstate()==state|ios_base::badbit" should be
replaced with "rdstate()==(state|ios_base::badbit)".
--
Seungbeom Kim
---
[ 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 ]