boost_utility/test/enable_if_member_templates.cpp

//
//    Copyright 2003 © The Trustees of Indiana University.
//
//    See the file enable_if_LICENSE for licensing conditions.
//
//    Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
//             Jeremiah Willcock (jewillco at osl.iu.edu)
//             Andrew Lumsdaine (lums at osl.iu.edu)
//

#include <boost/test/minimal.hpp>

#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/is_arithmetic.hpp>

using boost::enable_if;
using boost::disable_if;
using boost::is_arithmetic;

struct container {
  template <class T>
  typename enable_if<is_arithmetic<T>, bool>::type
  arithmetic_object(const T&, const int* /* disambiguate */ = 0) {return true;}

  template <class T>
  typename disable_if<is_arithmetic<T>, bool>::type
  arithmetic_object(const T&) {return false;}
};

int test_main(int, char*[])
{
 
  BOOST_CHECK(container().arithmetic_object(1));
  BOOST_CHECK(container().arithmetic_object(1.0));

  BOOST_CHECK(!container().arithmetic_object("1"));  
  BOOST_CHECK(!container().arithmetic_object(static_cast<void*>(0)));  

  return 0;
}