1234567891011121314151617181920212223242526272829303132333435 |
- // Copyright (C) 2009-2012 Lorenzo Caminiti
- // Distributed under the Boost Software License, Version 1.0
- // (see accompanying file LICENSE_1_0.txt or a copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- // Home at http://www.boost.org/libs/utility/identity_type
- #include <boost/utility/identity_type.hpp>
- #include <boost/static_assert.hpp>
- #include <boost/type_traits/add_reference.hpp>
- #include <boost/type_traits/remove_reference.hpp>
- //[abstract
- #define TMP_ASSERT(metafunction) \
- BOOST_STATIC_ASSERT(metafunction::value)
- template<typename T, bool b>
- struct abstract {
- static const bool value = b;
- virtual void f(T const& x) = 0; // Pure virtual function.
- };
- TMP_ASSERT(
- boost::remove_reference< // Add and remove
- BOOST_IDENTITY_TYPE(( // reference for
- boost::add_reference< // abstract type.
- abstract<int, true>
- >::type
- ))
- >::type
- );
- //]
- int main() { return 0; }
|