Boost logo

Boost :

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

Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk