On 7/4/2011 7:07 AM, John Maddock wrote:
For Intel 11.1 or 12.0 can you tell me if the MPL tests pass, particularly just the test of has_xxx.cpp ? If that fails for MPL it fully explains why my tests for Intel are failing ( I am just reusing BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF internally ) and a workaround would need to be found in MPL.
Ah: there are failures for mpl with Intel as well - results attached.
Thanks !
If you can, is it possible to get the preprocessor output decently formatted for Intel Linux 12.0 when it expands the macro BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF on line 20 of boost/libs/mpl/test/has_xxx.cpp ? There is no rush and if you find it is too much work, I will understand.
Reduced test case below compiles with VC++ and G++ but not Intel: I'll report it to Intel later. John. template <bool b> struct bool_ { static const bool value = b; }; template< typename T > struct type_wrapper { typedef T type; }; template< typename T , typename fallback_ = bool_< false > > class has_xxx_template { template< typename U > struct has_xxx_template_introspect { template< template< typename V0 > class V > struct has_xxx_template_substitute0 { }; template< template< typename V0 , typename V1 > class V > struct has_xxx_template_substitute1 { }; template< template< typename V0 , typename V1 , typename V2 > class V
struct has_xxx_template_substitute2 { }; template< template< typename V0 , typename V1 , typename V2 , typename V3 > class V > struct has_xxx_template_substitute3 { }; template< template< typename V0 , typename V1 , typename V2 , typename V3 , typename V4 > class V > struct has_xxx_template_substitute4 { }; template< typename V > static char has_xxx_template_test(...); template< typename V > static double has_xxx_template_test( type_wrapper< V > const volatile* , has_xxx_template_substitute0 < V::template xxx > * = 0 ); template< typename V > static double has_xxx_template_test( type_wrapper< V > const volatile* , has_xxx_template_substitute1 < V::template xxx > * = 0 ); template< typename V > static double has_xxx_template_test( type_wrapper< V > const volatile* , has_xxx_template_substitute2 < V::template xxx > * = 0 ); template< typename V > static double has_xxx_template_test( type_wrapper< V > const volatile* , has_xxx_template_substitute3 < V::template xxx > * = 0 ); template< typename V > static double has_xxx_template_test( type_wrapper< V > const volatile* , has_xxx_template_substitute4 < V::template xxx > * = 0 ); static const bool value = sizeof(has_xxx_template_test< U >(0)) == sizeof(double); typedef bool_< value > type; }; public: static const bool value = has_xxx_template_introspect< T > ::value; typedef typename has_xxx_template_introspect< T > ::type type; }; struct a5 { template< typename T > struct xxx {}; }; int main() { typedef int a[has_xxx_template<a5>::value ? 1 : -1]; }