ceph/src/boost/libs/tr1/test/test_bind.cpp

   1 //  (C) Copyright John Maddock 2005.
   2 //  Use, modification and distribution are subject to the
   3 //  Boost Software License, Version 1.0. (See accompanying file
   4 //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   5
   6 #ifdef TEST_STD_HEADERS
   7 #include <functional>
   8 #else
   9 #include <boost/tr1/functional.hpp>
  10 #endif
  11
  12 #include <boost/static_assert.hpp>
  13 #include "verify_return.hpp"
  14
  15 // This should verify that _1 etc are lvalues, but we leave that
  16 // to the "tricky" test as the Boost implementation doesn't always
  17 // guarentee that:
  18 template <class T>
  19 void check_placeholder(T)
  20 {
  21    T t;
  22    T t2(t);
  23    (void)t2;
  24    //BOOST_STATIC_ASSERT(::std::tr1::is_placeholder<T>::value);
  25 }
  26
  27 template <class Binder, class R>
  28 void check_bind0(Binder b, R r)
  29 {
  30    //BOOST_STATIC_ASSERT(::std::tr1::is_bind_expression<Binder>::value);
  31    verify_return_type(b(), r);
  32
  33    typedef typename Binder::result_type result_type;
  34    BOOST_STATIC_ASSERT((::boost::is_same<result_type, R>::value));
  35 }
  36
  37 template <class Binder, class R, class A1>
  38 void check_bind1(Binder b, R r, A1 a1)
  39 {
  40    //BOOST_STATIC_ASSERT(::std::tr1::is_bind_expression<Binder>::value);
  41    verify_return_type(b(a1), r);
  42 }
  43
  44 double test_proc(int a, char b, long c)
  45 {
  46    return a+b+c;
  47 }
  48
  49 struct from_double
  50 {
  51    from_double(double){}
  52 };
  53
  54
  55 int main()
  56 {
  57    check_placeholder(std::tr1::placeholders::_1);
  58    check_placeholder(std::tr1::placeholders::_2);
  59    check_placeholder(std::tr1::placeholders::_3);
  60    check_placeholder(std::tr1::placeholders::_4);
  61    check_placeholder(std::tr1::placeholders::_5);
  62    check_placeholder(std::tr1::placeholders::_6);
  63    check_placeholder(std::tr1::placeholders::_7);
  64    check_placeholder(std::tr1::placeholders::_8);
  65    check_placeholder(std::tr1::placeholders::_9);
  66
  67    check_bind0(std::tr1::bind(&test_proc, 0, 0, 0), double(0));
  68    //check_bind0(std::tr1::bind<double>(&test_proc, 0, 0, 0), double(0));
  69    check_bind1(std::tr1::bind(&test_proc, 0, 0, std::tr1::placeholders::_1), double(0), 0);
  70    check_bind1(std::tr1::bind(&test_proc, std::tr1::placeholders::_1, 0, 0), double(0), 0);
  71
  72    check_bind0(std::tr1::bind(test_proc, 0, 0, 0), double(0));
  73    //check_bind0(std::tr1::bind<double>(test_proc, 0, 0, 0), double(0));
  74    check_bind1(std::tr1::bind(test_proc, 0, 0, std::tr1::placeholders::_1), double(0), 0);
  75    check_bind1(std::tr1::bind(test_proc, std::tr1::placeholders::_1, 0, 0), double(0), 0);
  76
  77    check_bind0(std::tr1::bind(std::plus<double>(), 0, 1), double(0));
  78    check_bind0(std::tr1::bind<double>(std::plus<double>(), 1, 0), double(0));
  79    check_bind0(std::tr1::bind<from_double>(std::plus<double>(), 1, 0), from_double(0));
  80    check_bind1(std::tr1::bind(std::plus<double>(), 0, std::tr1::placeholders::_1), double(0), 0);
  81    check_bind1(std::tr1::bind(std::plus<double>(), std::tr1::placeholders::_1, 0), double(0), 0);
  82    return 0;
  83 }
  84