feedc0de/boost_type_traits
1
0
Fork 0
forked from boostorg/type_traits
Code Pull Requests Activity

Added fix for abstract template types (the fix forces instantiation of the template, and corrects problems with gcc-3.4 and VC7.1).

Browse Source 
[SVN r26356]
This commit is contained in:
John Maddock
2004-11-29 16:49:48 +00:00
parent 2b9a6d5351
commit 7dc55473ad
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
include/boost/type_traits/is_abstract.hpp
View File

@@ -41,8 +41,12 @@
// (starting with submission #10).
// - Jan 2004: GCC 3.4 fixed to suport DR337 (Giovanni Bajo).
// - Jan 2004: modified to be part of Boost.TypeTraits (Pavel Vozenilek).
// - Nov 2004: Christoph Ludwig found that the implementation did not work with
// template types and gcc-3.4 or VC7.1, fix due to Christoph Ludwig
// and John Maddock.
//
#include <boost/static_assert.hpp>
#include <boost/type_traits/detail/yes_no_type.hpp>
#include <boost/type_traits/is_class.hpp>
#include "boost/type_traits/detail/ice_and.hpp"
@@ -64,6 +68,11 @@ struct is_abstract_imp
static type_traits::no_type check_sig(U (*)[1]);
template<class U>
static type_traits::yes_type check_sig(...);
//
// T must be a complete type, further if T is a template then
// it must be instantiated in order for us to get the right answer:
//
BOOST_STATIC_ASSERT(sizeof(T));
// GCC2 won't even parse this template if we embed the computation
// of s1 in the computation of value.