ceph/src/boost/libs/phoenix/test/boost_bind_compatibility/bind_and_or_test.cpp

   1 /*==============================================================================
   2     Copyright (c) 2008 Peter Dimov
   3     Copyright (c) 2005-2010 Joel de Guzman
   4     Copyright (c) 2010 Thomas Heller
   5
   6     Distributed under the Boost Software License, Version 1.0. (See accompanying
   7     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   8 ==============================================================================*/
   9
  10 #include <boost/phoenix/core.hpp>
  11 #include <boost/phoenix/bind.hpp>
  12 #include <boost/phoenix/operator.hpp>
  13
  14 #include <iostream>
  15 #include <boost/detail/lightweight_test.hpp>
  16
  17 bool
  18 f(bool x)
  19 {
  20     return x;
  21 }
  22
  23 bool
  24 g(bool x)
  25 {
  26     return !x;
  27 }
  28
  29 bool
  30 h()
  31 {
  32     BOOST_ERROR("Short-circuit evaluation failure");
  33     return false;
  34 }
  35
  36 template <typename F, typename A1, typename A2, typename R>
  37 void
  38 tester(F f, A1 a1, A2 a2, R r)
  39 {
  40     BOOST_TEST(f(a1, a2) == r);
  41 }
  42
  43 int main()
  44 {
  45     using boost::phoenix::bind;
  46     using boost::phoenix::placeholders::_1;
  47     using boost::phoenix::placeholders::_2;
  48
  49     // &&
  50
  51     tester(bind(f, true) && bind(g, true), false, false, f(true) && g(true));
  52     tester(bind(f, true) && bind(g, false), false, false, f(true) && g(false));
  53
  54     tester(bind(f, false) && bind(h), false, false, f(false) && h());
  55
  56     tester(bind(f, _1) && bind(g, _2), true, true, f(true) && g(true));
  57     tester(bind(f, _1) && bind(g, _2), true, false, f(true) && g(false));
  58
  59     tester(bind(f, _1) && bind(h), false, false, f(false) && h());
  60
  61     // ||
  62
  63     tester(bind(f, false) || bind(g, true), false, false, f(false) || g(true));
  64
  65     tester(bind(f, false) || bind(g, false), false, false, f(false) || g(false));
  66
  67     tester(bind(f, true) || bind(h), false, false, f(true) || h());
  68
  69     tester(bind(f, _1) || bind(g, _2), false, true, f(false) || g(true));
  70     tester(bind(f, _1) || bind(g, _2), false, false, f(false) || g(false));
  71
  72     tester(bind(f, _1) || bind(h), true, false, f(true) || h());
  73
  74     //
  75
  76     return boost::report_errors();
  77 }