On Tue, Aug 31, 2004 at 07:59:49PM -0600, Jonathan Turkanis wrote:
"Carlo Wood" <carlo@alinoe.com> wrote in message news:20040831234344.GB18151@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