The usage of boost::mpl::bind
The usage of boost::mpl::bind
当我使用以下测试代码尝试mpl::bind函数时,我未能通过gcc中的编译器,谁能帮我找出问题,非常感谢。
#include <iostream>
#include <typeinfo>
#include <string>
#include <boost/mpl/apply.hpp>
#include <boost/mpl/char.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/arg.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/static_assert.hpp>
#include <boost/type_traits/add_pointer.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/mpl/quote.hpp>
using namespace std;
using namespace boost::mpl;
template< typename T1,typename T2 >
struct int_plus:boost::mpl::int_< (T1::value+T2::value) >
{
};
int main()
{
typedef boost::mpl::lambda< int_plus<_1, _2 > >::type test1; //-fine
// test2 define is causeing error
typedef boost::mpl::bind < int_plus<_1, _2 > > test2; //-error?
typedef boost::mpl::lambda< quote2<int_plus>, _2, _1 >::type test3; //-fine
typedef boost::mpl::bind< quote2<int_plus>, _2, _1 > test4; //-fine
typedef test1::apply<int_<42>, int_<23>>::type test5; //-fine
typedef test2::apply<int_<42>, int_<23>>::type test6; //-error
typedef test3::apply<int_<42>, int_<24>>::type test7; //-fine
typedef test4::apply<int_<42>, int_<24>>::type test8; //-fine
BOOST_MPL_ASSERT_RELATION( test5::value, ==, 65 ); //-fine
//BOOST_MPL_ASSERT_RELATION( test6::value, ==, 65 );
}
错误信息:
||=== Build: Debug in jtest2 (compiler: GNU GCC compiler) ===|
C:boostmplaux_预处理gccapply_wrap.hpp||实例化'struct boost::mpl::apply_wrap0, mpl_::arg<2>>, mpl_::bool_>':|
C:boostmplaux_preprocessedgccbind.hpp|86| from 'struct boost::mpl::bind0, mpl_::arg<2>>>::apply, mpl_::int_<23>>'|C:lsjtest2main.cpp|30|required from here|
C:boostmplaux_preprocessedgccapply_wrap.hpp|20|错误:'struct int_plus, mpl_::arg<2>>'|
C:boostmplaux_preprocessedgccbind.hpp||实例化'struct boost::mpl::bind0, mpl_::arg<2>>>::apply, mpl_::int_<23>>':|
C:lsjtest2main.cpp|30|required from here|C:boostmplaux_预处理gccbind.hpp|86|错误:'struct boost::mpl::apply_wrap0, mpl_::arg<2>>, mpl_::bool_>'|
| | = = =构建失败:2错误(s), 5警告(s)(0分钟(s), 0秒(s)) = = = |
在检查了bind的定义和语义之后,它需要一个元函数类作为第一个参数,这意味着元函数不能工作;
在本例中,有几个方法可以将元函数转换为函数类元函数int_plus可以通过
隐蔽1)中(int_plus)
2) int_plus_f
3) int_plus_f2
#include <iostream>
#include <typeinfo>
#include <string>
#include <boost/mpl/apply.hpp>
#include <boost/mpl/char.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/arg.hpp>
#include <boost/mpl/plus.hpp>
#include <boost/mpl/placeholders.hpp>
#include <boost/static_assert.hpp>
#include <boost/type_traits/add_pointer.hpp>
#include <boost/type_traits/is_same.hpp>
#include <boost/mpl/quote.hpp>
using namespace std;
using namespace boost::mpl;
template< typename T1,typename T2 >
struct int_plus:boost::mpl::int_< (T1::value+T2::value) >
{
};
struct int_plus_f // method 1 to get metafunction class, not perfect for lambda
{
template< typename T1,typename T2 >
struct apply:boost::mpl::int_< (T1::value+T2::value) >
{
};
};
struct int_plus_f2 // method 2 to get metafunction class, perfect for lambda
{
template< typename A1, typename A2 > struct apply
: int_plus<A1,A2>
{
};
};
int main()
{
//bind define:
// typedef bind<f,a1,...an> g;
//bind parameters:
// F Metafunction Class An metafunction class to perform binding on.
// A1,... An Any type Arguments to bind.
//lambda define:
// typedef lambda<x>::type f;
// typedef lambda<x,Tag>::type f;
//lambda parameters
// X Any type An expression to transform.
// Tag Any type A tag determining transform semantics
//lambda Semantics equivalent to
// typedef protect< bind< quoten<X> , lambda<a1>::type,... lambda<an>::type > > f;
//quote define:
// typedef quoten<f> g;
// typedef quoten<f,tag> g;
//quote2 Semantics Equivalent to
// struct g{
// template< typename A1,typename A2 >
// struct apply : f<A1,A2>{};
// };
typedef boost::mpl::lambda< int_plus<_1, _2 > >::type test1; //-fine
typedef boost::mpl::bind < int_plus_f,_1, _2 > test2; //-fine
typedef boost::mpl::bind < int_plus_f2,_1, _2 > test3; //-fine
typedef boost::mpl::lambda< int_plus_f2,_1, _2 >::type test4; //-fine
typedef boost::mpl::lambda< quote2<int_plus>, _2, _1 >::type test5; //-fine
typedef boost::mpl::bind< quote2<int_plus>, _2, _1 > test6; //-fine
typedef test1::apply<int_<42>, int_<22>>::type result1; //-fine
typedef test2::apply<int_<42>, int_<23>>::type result2; //-fine
typedef test3::apply<int_<42>, int_<24>>::type result3; //-fine
typedef test4::apply<int_<42>, int_<25>>::type result4; //-fine
typedef test5::apply<int_<42>, int_<26>>::type result5; //-fine
typedef test6::apply<int_<42>, int_<27>>::type result6; //-fine
BOOST_MPL_ASSERT_RELATION( result1::value, ==, 64 ); //-fine
BOOST_MPL_ASSERT_RELATION( result2::value, ==, 65 ); //-fine
BOOST_MPL_ASSERT_RELATION( result3::value, ==, 66 ); //-fine
BOOST_MPL_ASSERT_RELATION( result4::value, ==, 67 ); //-fine
BOOST_MPL_ASSERT_RELATION( result5::value, ==, 68 ); //-fine
BOOST_MPL_ASSERT_RELATION( result6::value, ==, 69 ); //-fine
//apply : Invokes a Metafunction Class or a Lambda Expression F with arguments A1,... An.
// typedef apply<f,a1,...an>::type t;
//apply parameters
// F Lambda Expression: An expression(e.g.: a metafunction) to invoke,
// metafunction class is fine also
// A1,... An Any type Invocation arguments.
// apply Semantics Equivalent to
// typedef apply_wrapn< lambda<f>::type,a1,... an>::type t;.
typedef apply< int_plus<_1,_2>, int_<2>, int_<3> >::type r1;
typedef apply< quote2<int_plus>, int_<2>, int_<3> >::type r2;
typedef apply< int_plus_f, int_<2>, int_<3> >::type r3;
typedef apply< int_plus_f2, int_<2>, int_<3> >::type r4;
BOOST_MPL_ASSERT_RELATION( r1::value, ==, 5 );
BOOST_MPL_ASSERT_RELATION( r2::value, ==, 5 );
BOOST_MPL_ASSERT_RELATION( r3::value, ==, 5 );
BOOST_MPL_ASSERT_RELATION( r4::value, ==, 5 );
}
- POCO::PostgreSQL:如何将std::vector支持添加到`Binder::bind`
- boost::bind()类似的东西,但用于函数调用
- 将 Boost MPL 容器替换为 C++17 功能
- 使用 std::应用于 std::bind
- PCL:当我在setConditionFunction中使用std::bind 时,没有合适的转换函数
- std::bind on statd::array 的运算符 []
- std::bind c++ in if statement
- std::bind 是否实现了 std::ref 和 std::cref 来消除函数调用的歧义?
- C++ 事件管理器的回调,使用 std::function 和 std:bind 以及派生类作为参数
- 试图克服 std::bind 编译错误
- c++ std::bind within function
- std::bind to void* to std::function
- std::bind,无法让具有单个参数的方法工作
- 非推导上下文,如标准库中的"boost::mpl::identity:<T>:type"?
- std::bind 和 std::函数术语不值为接受 0 个参数?
- 在调用 std::bind 的产品后意外调用析构函数
- 使用 object 中的方法调用带有 std::bind 和 std::function.target 的 C 样式函数
- 我们应该在使用 std::bind 应用之前检查一个不为空的函数吗?
- 为什么 std::bind 静态类型检查传递给函数的参数?
- The usage of boost::mpl::bind