RE: libstdc++/10132: filebuf destructor throws exceptions

["Pétur Runólfsson" <peturr02@ru.is>]

The following reply was made to PR libstdc++/10132; it has been noted by GNATS.

From: =?iso-8859-1?Q?P=E9tur_Run=F3lfsson?= <peturr02@ru.is>
To: <bkoz@gcc.gnu.org>,
	<gcc-bugs@gcc.gnu.org>,
	=?iso-8859-1?Q?P=E9tur_Run=F3lfsson?= <peturr02@ru.is>,
	<gcc-gnats@gcc.gnu.org>
Cc:  
Subject: RE: libstdc++/10132: filebuf destructor throws exceptions
Date: Wed, 23 Apr 2003 08:48:52 -0000

 >     This is in violation of 17.4.4.8.
 
 Yes.
 
 >     I'm thinking about adding throw() exception=20
 > specifications to codecvt member funtions. This could be=20
 > considered a tightening of exception specs, which is allowed=20
 > in 17.4.4.8 p1 (although I remember some noise when the=20
 > proposal to add throw() to dtors was suggested.)
 
 This is disallowed by the resolution to DR 119. It won't
 fix the problem either since the destructor calls other
 functions that may throw (use_facet).
 
 > That should=20
 > at least make the locale::facet policy on error reporting=20
 > (22.2 - Standard locale categories p 2) clear, even though it=20
 > won't necessarily remove the issue.
 
 It is clear, facets may throw any exceptions (except from those
 members with throw() specs).
 
 >     To remove it completely, I'd have to do a try around the=20
 > close() call in basic_filebuf::~basic_filebuf(). And what=20
 > should happen in the catch?=20
 
 Probably just clean up and return.
 
 >     I believe the theory of error handling in the design of=20
 > the io classes is that basic_ios/basic_istream/basic_ostream=20
 > throw, catch, and propogate exceptions. The streambuf classes=20
 > just return eof/-1 (showmanyc, pbackfail, seekoff, seekpos)=20
 > or NULL (open, close) to report errors.
 
 See 17.4.4.8 p3. All streambuf/filebuf members except the
 destructor may throw exceptions of any type. Since the
 standard doesn't require streambuf/filebuf members to catch
 exceptions, I would expect them to propagate.
 
 >     The problem is the intersection of std::locale, which can=20
 > throw on construction (locale(const char*), combine) and=20
 > whenever a use_facet is used. Facets, as above, in practice=20
 > use iostate or some other mechanism to report errors.
 
 Some facets do. Others (like codecvt or the *_put facets)
 don't.
 
 > Although, nothing (except exception-saftey paradoxes) keeps=20
 > derived/user-defined classes from doing this.
 
 I believe user-defined facets are allowed to throw anything
 they choose, whenever they choose from those members
 without throw specs, and that the iostream library should
 be prepared to deal with this.
 
 Petur