exercise-4-0.hpp

Go to the documentation of this file.

// ===-- chapter-4/exercise-4-0.hpp ----------------------- -*- C++ -*- --=== //
#ifndef EXERCISE_4_0
#define EXERCISE_4_0
 
#include "chapter-4-undefined_bool.hpp"
 
#include <boost/static_assert.hpp>
 
#include <boost/mpl/and.hpp>
#include <boost/mpl/or.hpp>
 
 
namespace exercise_4_0 {
using namespace chapter4;
 
// Check or_<true, fase> short-circuit.  If short-circuit doesn't work,
// undefined_false<false> will be checked; being undefined, this will be a
// compilation error.
BOOST_STATIC_ASSERT(
    (boost::mpl::or_< undefined_false<true>, undefined_false<false> >::value));
 
// Check and_<false, true> short-circuit.  If short-circuit doesn't work,
// undefined_false<false> will be checked; being undefined, this will be a
// compilation error.
BOOST_STATIC_ASSERT(
    (!boost::mpl::and_< undefined_true<false>, undefined_true<true> >::value));
 
} // namespace exercise_4_0
 
#endif // EXERCISE_4_0