chapter-6.cpp

Go to the documentation of this file.

// ===-- chapter-6/chapter-6.cpp -------------------------- -*- C++ -*- --=== //
#include "exercise-6-0.hpp"
#include "exercise-6-1.hpp"
#include "exercise-6-3.hpp"
#include "exercise-6-4.hpp"
 
#include <boost/mpl/copy.hpp>
#include <boost/mpl/equal.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/type_traits/is_same.hpp>
 
#include <stdio.h>
 
#ifdef EXERCISE_6_3
#   include "exercise-5-10.hpp"
#endif
 
 
namespace {
 
namespace test_6_0 {
using namespace exercise_6_0;
 
BOOST_STATIC_ASSERT((
    boost::is_same<
        smallest< boost::mpl::vector<int[2], char, double&> >::type,
        char
    >::value
));
BOOST_STATIC_ASSERT((
    boost::is_same<
        smallest< boost::mpl::vector<int, char[20], double&> >::type,
        int
    >::value
));
BOOST_STATIC_ASSERT((
    boost::is_same<smallest< boost::mpl::vector<> >::type, no_type>::value
));
 
} // namespace test_6_0
 
 
namespace test_6_3 {
using namespace exercise_6_3;
 
typedef chapter5::tree<
    mpl_::integral_c<int, 17>,
    chapter5::tree<
        mpl_::integral_c<int, 10>,
        mpl_::integral_c<int, 2>,
        mpl_::integral_c<int, 11> >,
    mpl_::integral_c<int, 25>
> bst_expected;
BOOST_STATIC_ASSERT((boost::is_same<exercise_6_3::bst, bst_expected>::value));
 
BOOST_STATIC_ASSERT((
    boost::mpl::equal<
        exercise_5_10::inorder_view<exercise_6_3::bst>,
        boost::mpl::vector_c<int, 2, 10, 11, 17, 25>
    >::value));
 
} // namespace test_6_3
 
 
namespace test_6_4 {
using chapter5::tree;
using namespace exercise_6_3;
using namespace exercise_6_4;
 
typedef boost::mpl::copy<
    boost::mpl::vector_c<int, 17, 25, 10, 2, 11>,
    binary_tree_inserter< tree<> >
>::type bst;
typedef binary_tree_search< bst, boost::mpl::int_<20> > qq;
typedef binary_tree_search< bst, boost::mpl::int_<11> >::type pos1;
typedef binary_tree_search< bst, boost::mpl::int_<20> >::type pos2;
typedef boost::mpl::end<bst>::type                            end_pos;
 
// Note: equal means int_<11> == int_<20> by some miracle -- equal_to is
// correct.
BOOST_STATIC_ASSERT((
   !boost::mpl::equal_to<
       boost::mpl::int_<11>,
       boost::mpl::int_<20>
   >::value));
 
BOOST_STATIC_ASSERT((!boost::is_same<pos1, end_pos>::value));
BOOST_STATIC_ASSERT(( boost::is_same<pos2, end_pos>::value));
 
} // namespace test_6_4
 
 
static void test_exercise_6_1()
{
#ifdef EXERCISE_6_1
    using namespace exercise_6_1;
    unsigned const zero  = binary<0>::value;
    unsigned const one   = binary<1>::value;
    unsigned const three = binary<11>::value;
    unsigned const five  = binary<101>::value;
    unsigned const seven = binary<111>::value;
    unsigned const nine  = binary<1001>::value;
 
    printf("Zero:  %i\n", zero);
    printf("One:   %i\n", one);
    printf("Three: %i\n", three);
    printf("Five:  %i\n", five);
    printf("Seven: %i\n", seven);
    printf("Nine:  %i\n", nine);
#endif
}
 
} // namespace <anon>
 
 
int main()
{
    test_exercise_6_1();
    return 0;
}