RE: [Boost-Users] Problem with BOOST_STATIC_ASSERT

From: Randy Bowen (rbowen_at_[hidden])
Date: 2003-01-08 12:28:36

Thanks for investigating this, John.  I don't have access to the beta
VC7.1 compiler.  Do you (or does anyone else) know if this will still be
a problem with the forthcoming version of the Microsoft compiler?

Randy Bowen

-----Original Message-----
From: John Maddock [mailto:john_maddock_at_[hidden]] 
Sent: Wednesday, January 08, 2003 4:17 AM
To: Boost-Users_at_[hidden]
Subject: Re: [Boost-Users] Problem with BOOST_STATIC_ASSERT

> Some further follow-up on this.  I've created a minimal program that
> exhibits the new problem behavior:
>
> /******************************************/
> #include <boost/type_traits.hpp>
> #include <boost/static_assert.hpp>
>
> template < typename ValueType >
> struct A
> {
> BOOST_STATIC_ASSERT(boost::is_integral<ValueType>::value);
> };
>
> extern "C" int main(int argc, char* argv[])
> {
> return 0;
> }
> /******************************************/
>
> The fact that this assertion fails is counter-intuitive to me, since
> there is no instantiation to compile.  Note that this behavior seems
> limited to the use of "is_integral" as the type predicate.
Constructing
> a similar program using "is_POD" behaves as expected:

I can reproduce that with both VC6 and VC7, all the other compilers I
have
access to are OK with it. It's clearly a compiler bug, because the
assert is
triggered even though no instance of the template class is ever created.
Unfortunately I don't have any kind of workaround :-(

John Maddock
http://ourworld.compuserve.com/homepages/john_maddock/index.htm

Yahoo! Groups Sponsor
ADVERTISEMENT

Info: <http://www.boost.org>
Wiki: <http://www.crystalclearsoftware.com/cgi-bin/boost_wiki/wiki.pl>
Unsubscribe: <mailto:boost-users-unsubscribe_at_[hidden]>

Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.