ceph/src/boost/libs/typeof/test/function_binding.cpp

   1 // Copyright (C) 2006 Arkadiy Vertleyb
   2 // Use, modification and distribution is subject to the Boost Software
   3 // License, Version 1.0. (http://www.boost.org/LICENSE_1_0.txt)
   4
   5 #include <boost/typeof/typeof.hpp>
   6 #include <boost/type_traits/is_same.hpp>
   7 #include <boost/type_traits/is_same.hpp>
   8 #include <boost/static_assert.hpp>
   9
  10 int foo1(double);
  11 int foo2(...);
  12 int foo3(int, ...);
  13 typedef int(&FREF1)(double);
  14 typedef int(&FREF2)(...);
  15 typedef int(&FREF3)(int, ...);
  16 FREF1 fref1 = *foo1;
  17 FREF2 fref2 = *foo2;
  18 FREF3 fref3 = *foo3;
  19
  20 BOOST_STATIC_ASSERT((boost::is_same<BOOST_TYPEOF(fref1), int(double)>::value));
  21 BOOST_STATIC_ASSERT((boost::is_same<BOOST_TYPEOF(fref2), int(...)>::value));
  22 BOOST_STATIC_ASSERT((boost::is_same<BOOST_TYPEOF(fref3), int(int,...)>::value));