Re: [boost] Re: Re: IOStreams formal review start

From: Christoph Ludwig (cludwig_at_[hidden])
Date: 2004-09-01 04:28:28

On Tue, Aug 31, 2004 at 07:59:49PM -0600, Jonathan Turkanis wrote:
> 
> "Carlo Wood" <carlo_at_[hidden]> wrote in message
> news:20040831234344.GB18151_at_alinoe.com...
> > > +++ boost/io/operations.hpp Tue Aug 31 23:23:59 2004
> > > @@ -99,7 +99,7 @@ struct read_impl<input> {
> > >
> > >      template<typename T>
> > >      static void putback(T&, BOOST_IO_CHAR_TYPE(T))
> > > -    { BOOST_STATIC_ASSERT(false); }
> > > +    { BOOST_STATIC_ASSERT(true); }
> >
> > This is caused by the fact that since 3.4.1, template bodies
> > that do not depend on a template parameter need to
> > be compilable.  Thus, the body *is* checked for compilation
> > problems, even when putback is never instantiated.
> 
> Thanks for the tip. Do you know whether this is considered standard conforming?

Yes, it is. The problem can be avoided, though, by an indirection as
suggested by Peter Dimov: 

  http://lists.boost.org/MailArchives/boost/msg06980.php

Regards

Christoph
-- 
http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/cludwig.html
LiDIA: http://www.informatik.tu-darmstadt.de/TI/LiDIA/Welcome.html