Boost C++ Libraries: Ticket #1828: is_class maybe triggering a VC8 compiler bug

anonymous — Tue, 15 Apr 2008 08:22:18 GMT

Update: the following simple code produces the same bug on VC8.

It seems that using this form of SFINAE on an incomplete type makes the compiler remember an inappropriate size for member function pointers. Methinks that implementing is_class in terms of the intrinsic is_class would solve this problem.

#include <boost/type_traits/is_class.hpp> struct base; boost::is_class<base> stub; struct base {

void foo();

}; int main() {

char x[sizeof(&base::foo) == 16 ? -1 : 1];

}

John Maddock — Tue, 15 Apr 2008 08:38:33 GMT

That's strange: builds OK for me with VC8 (and SVN Trunk), what am I missing?

Ah... now I see... is_class in trunk has been changed to use the is_class intrinsic. The code fails as you mention with 1.35.0.

But... why can't a pointer to member be 16-bytes? If instead of your assert I add:

std::cout << sizeof(&Der::foo) << std::endl; void (Der::*mp)(); std::cout << sizeof(mp) << std::endl;

Then both output 16 - really though this should be reserved for pointers to (possibly) virtual functions - I'm not sure why the compiler thinks that might be the case here though... I don't think there's anything in is_class that would trigger that, and is_polymorphic answers false for that type so that's all right. Why does it matter what size the member function pointer is?

Ah.. just got your update when trying to post, SVN Trunk already uses is_class, does this fix things for you?

John.

status changed; resolution set

John Maddock — Mon, 21 Apr 2008 08:49:01 GMT

status new → closed
resolution → fixed

I'm assuming that this is fixed in Trunk, please reopen if problems re-occur.