1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
// Copyright Aleksey Gurtovoy 2001-2004
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// See http://www.boost.org/libs/mpl for documentation.
// $Id$
// $Date$
// $Revision$
#include <boost/mpl/logical.hpp>
#include <boost/mpl/comparison.hpp>
#include <boost/mpl/lambda.hpp>
#include <boost/mpl/size_t.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/sizeof.hpp>
#include <boost/mpl/apply.hpp>
#include <boost/mpl/aux_/test.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/is_float.hpp>
struct my
{
char a[100];
};
MPL_TEST_CASE()
{
// !(x == char) && !(x == double) || sizeof(x) > 8
typedef lambda<
or_<
and_<
not_< boost::is_same<_1, char> >
, not_< boost::is_float<_1> >
>
, greater< sizeof_<_1>, mpl::size_t<8> >
>
>::type f;
MPL_ASSERT_NOT(( apply_wrap1<f,char> ));
MPL_ASSERT_NOT(( apply_wrap1<f,double> ));
MPL_ASSERT(( apply_wrap1<f,long> ));
MPL_ASSERT(( apply_wrap1<f,my> ));
}
MPL_TEST_CASE()
{
// x == y || x == my || sizeof(x) == sizeof(y)
typedef lambda<
or_<
boost::is_same<_1, _2>
, boost::is_same<_2, my>
, equal_to< sizeof_<_1>, sizeof_<_2> >
>
>::type f;
MPL_ASSERT_NOT(( apply_wrap2<f,double,char> ));
MPL_ASSERT_NOT(( apply_wrap2<f,my,int> ));
MPL_ASSERT_NOT(( apply_wrap2<f,my,char[99]> ));
MPL_ASSERT(( apply_wrap2<f,int,int> ));
MPL_ASSERT(( apply_wrap2<f,my,my> ));
MPL_ASSERT(( apply_wrap2<f,signed long, unsigned long> ));
}
MPL_TEST_CASE()
{
// bind <-> lambda interaction
typedef lambda< less<_1,_2> >::type pred;
typedef bind2< pred, _1, int_<4> > f;
MPL_ASSERT(( apply_wrap1< f,int_<3> > ));
}
|
