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@compuserve.com] Sent: Wednesday, January 08, 2003 4:17 AM To: Boost-Users@yahoogroups.com 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 #include

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@yahoogroups.com Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.