12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091 |
- /*=============================================================================
- Copyright (c) 2006-2007 Tobias Schwinger
-
- Use modification and distribution are subject to the Boost Software
- License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
- http://www.boost.org/LICENSE_1_0.txt).
- ==============================================================================*/
- #include <boost/fusion/functional/generation/make_fused_procedure.hpp>
- #include <boost/detail/lightweight_test.hpp>
- #include <boost/noncopyable.hpp>
- #include <boost/mpl/empty_base.hpp>
- #include <boost/fusion/container/generation/make_vector.hpp>
- #include <boost/fusion/container/vector.hpp>
- namespace fusion = boost::fusion;
- using boost::noncopyable;
- using boost::cref;
- using boost::ref;
- int effect;
- #define CHECK_EFFECT(t,e) \
- { \
- effect = 1234567; t; \
- BOOST_TEST(effect == e); \
- }
- template <class Base = boost::mpl::empty_base>
- struct test_func
- : Base
- {
- template <typename T0, typename T1>
- int operator()(T0 const & x, T1 const & y) const
- {
- return effect = 1+x-y;
- }
- template <typename T0, typename T1>
- int operator()(T0 const & x, T1 const & y)
- {
- return effect = 2+x-y;
- }
- template <typename T0, typename T1>
- int operator()(T0 & x, T1 & y) const
- {
- return effect = 3+x-y;
- }
- template <typename T0, typename T1>
- int operator()(T0 & x, T1 & y)
- {
- return effect = 4+x-y;
- }
- };
- template <typename T>
- inline T const & const_(T const & t)
- {
- return t;
- }
- int main()
- {
- fusion::vector<int,char> lv_vec(1,'\004');
- test_func<> f;
- test_func<noncopyable> f_nc;
-
- boost::fusion::result_of::make_fused_procedure< test_func<> >::type fused_func
- = fusion::make_fused_procedure(f);
- CHECK_EFFECT(fused_func(lv_vec), 1);
- CHECK_EFFECT(const_(fused_func)(lv_vec), 0);
- CHECK_EFFECT(fusion::make_fused_procedure(const_(f))(lv_vec), 1);
- CHECK_EFFECT(fusion::make_fused_procedure(ref(f_nc))(lv_vec), 1);
- CHECK_EFFECT(fusion::make_fused_procedure(cref(f_nc))(lv_vec), 0);
- CHECK_EFFECT(fused_func(fusion::make_vector(2,'\003')), 1);
- CHECK_EFFECT(const_(fused_func)(fusion::make_vector(2,'\003')), 0);
- CHECK_EFFECT(fusion::make_fused_procedure(const_(f))(fusion::make_vector(2,'\003')), 1);
- CHECK_EFFECT(fusion::make_fused_procedure(ref(f_nc))(fusion::make_vector(2,'\003')), 1);
- CHECK_EFFECT(fusion::make_fused_procedure(cref(f_nc))(fusion::make_vector(2,'\003')), 0);
- return boost::report_errors();
- }
-
|