本文整理汇总了C++中MPL_ASSERT函数的典型用法代码示例。如果您正苦于以下问题:C++ MPL_ASSERT函数的具体用法?C++ MPL_ASSERT怎么用?C++ MPL_ASSERT使用的例子?那么恭喜您, 这里精选的函数代码示例或许可以为您提供帮助。
在下文中一共展示了MPL_ASSERT函数的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef set0<> s;
MPL_ASSERT_RELATION( size<s>::value, ==, 0 );
MPL_ASSERT(( empty<s> ));
MPL_ASSERT(( is_same< clear<s>::type, set0<> > ));
MPL_ASSERT(( is_same< at<s,char>::type, void_ > ));
MPL_ASSERT_NOT(( has_key<s,char> ));
MPL_ASSERT_NOT(( has_key<s,int> ));
MPL_ASSERT_NOT(( has_key<s,UDT> ));
MPL_ASSERT_NOT(( has_key<s,incomplete> ));
MPL_ASSERT_NOT(( has_key<s,char const> ));
MPL_ASSERT_NOT(( has_key<s,int const> ));
MPL_ASSERT_NOT(( has_key<s,UDT const> ));
MPL_ASSERT_NOT(( has_key<s,incomplete const> ));
MPL_ASSERT_NOT(( has_key<s,int*> ));
MPL_ASSERT_NOT(( has_key<s,UDT*> ));
MPL_ASSERT_NOT(( has_key<s,incomplete*> ));
MPL_ASSERT_NOT(( has_key<s,int&> ));
MPL_ASSERT_NOT(( has_key<s,UDT&> ));
MPL_ASSERT_NOT(( has_key<s,incomplete&> ));
typedef insert<s,char>::type s1;
MPL_ASSERT_RELATION( size<s1>::value, ==, 1 );
MPL_ASSERT(( is_same< at<s1,char>::type, char > ));
typedef erase_key<s,char>::type s0_1;
MPL_ASSERT_RELATION( size<s0_1>::value, ==, 0 );
MPL_ASSERT(( is_same< at<s0_1,char>::type, void_ > ));
}
示例2: MPL_TEST_CASE
MPL_TEST_CASE() // fully bound metafunction classes
{
typedef apply_wrap0< bind1<f1,int> >::type r11;
typedef apply_wrap0< bind5<f5,void,void,void,void,int> >::type r51;
MPL_ASSERT(( boost::is_same<r11,int> ));
MPL_ASSERT(( boost::is_same<r51,int> ));
}
示例3: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef apply1< make_identity<>, char >::type t1;
typedef apply1< make_identity<_1>, int >::type t2;
MPL_ASSERT(( is_same< t1, identity<char> > ));
MPL_ASSERT(( is_same< t2, identity<int> > ));
}
示例4: MPL_TEST_CASE
MPL_TEST_CASE()
{
MPL_ASSERT(( is_same< mpl::aux::largest_int<bool,bool>::type, bool > ));
MPL_ASSERT(( is_same< mpl::aux::largest_int<bool,char>::type, char > ));
MPL_ASSERT(( is_same< mpl::aux::largest_int<char,bool>::type, char > ));
MPL_ASSERT(( is_same< mpl::aux::largest_int<int,unsigned>::type, unsigned > ));
MPL_ASSERT(( is_same< mpl::aux::largest_int<unsigned,long>::type, long > ));
}
示例5: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef always<true_> always_true;
MPL_ASSERT(( apply< always_true,false_ > ));
MPL_ASSERT(( apply< always_true,false_,false_ > ));
MPL_ASSERT(( apply< always_true,false_,false_,false_ > ));
}
示例6: MPL_TEST_CASE
MPL_TEST_CASE()
{
MPL_ASSERT(( is_same< mpl::min< int_<5>,int_<7> >::type,int_<5> > ));
MPL_ASSERT(( is_same< mpl::max< int_<5>,int_<7> >::type,int_<7> > ));
MPL_ASSERT(( is_same< mpl::min< int_<-5>,int_<-7> >::type,int_<-7> > ));
MPL_ASSERT(( is_same< mpl::max< int_<-5>,int_<-7> >::type,int_<-5> > ));
}
示例7: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef quote1<f1>::apply<int>::type t1;
typedef quote5<f5>::apply<char,short,int,long,float>::type t5;
MPL_ASSERT(( boost::is_same< t1, int > ));
MPL_ASSERT(( boost::is_same< t5, f5<char,short,int,long,float> > ));
}
示例8: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef mpl::advance<last,int_<-10> >::type iter1;
typedef advance_c<last,-10>::type iter2;
MPL_ASSERT(( is_same<iter1, first> ));
MPL_ASSERT(( is_same<iter2, first> ));
}
示例9: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef stable_partition<
numbers
, greater_equal< _, int_<3> >
>::type result;
MPL_ASSERT(( equal< result::first,manual_second > ));
MPL_ASSERT(( equal< result::second,manual_first > ));
}
示例10: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef list<> l0;
typedef push_front<l0,char>::type l1;
MPL_ASSERT(( is_same<front<l1>::type,char> ));
typedef push_front<l1,long>::type l2;
MPL_ASSERT(( is_same<front<l2>::type,long> ));
}
示例11: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef list_c<bool,true>::type l1;
typedef list_c<bool,false>::type l2;
MPL_ASSERT(( is_same< l1::value_type, bool > ));
MPL_ASSERT(( is_same< l2::value_type, bool > ));
MPL_ASSERT_RELATION( front<l1>::type::value, ==, true );
MPL_ASSERT_RELATION( front<l2>::type::value, ==, false );
}
示例12: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef int_<0> _0;
typedef int_<1> _1;
typedef int_<2> _2;
MPL_ASSERT(( is_same< next<_0>::type, _1 > ));
MPL_ASSERT(( is_same< next<_1>::type, _2 > ));
MPL_ASSERT(( is_same< prior<_1>::type, _0 > ));
MPL_ASSERT(( is_same< prior<_2>::type, _1 > ));
}
示例13: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef vector_c<bool,true>::type v1;
typedef vector_c<bool,false>::type v2;
MPL_ASSERT(( is_same< v1::value_type, bool > ));
MPL_ASSERT(( is_same< v2::value_type, bool > ));
MPL_ASSERT_RELATION( front<v1>::type::value, ==, true );
MPL_ASSERT_RELATION( front<v2>::type::value, ==, false );
}
示例14: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef vector2<char,long> v2;
typedef begin<v2>::type i1;
typedef next<i1>::type i2;
typedef next<i2>::type i3;
MPL_ASSERT(( is_same<deref<i1>::type,char> ));
MPL_ASSERT(( is_same<deref<i2>::type,long> ));
MPL_ASSERT(( is_same< i3, end<v2>::type > ));
}
示例15: MPL_TEST_CASE
MPL_TEST_CASE()
{
typedef deque<char,long> d2;
typedef begin<d2>::type i1;
typedef next<i1>::type i2;
typedef next<i2>::type i3;
MPL_ASSERT(( is_same<deref<i1>::type,char> ));
MPL_ASSERT(( is_same<deref<i2>::type,long> ));
MPL_ASSERT(( is_same< i3, end<d2>::type > ));
}