| 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)); |
| 23 |