将 boost mpl lambda 与可变参数模板一起使用 class
using boost mpl lambda with variadic template class
我很难理解为什么以下简单程序无法编译。我有一个可变参数模板 class(下面的 my_type
),我想用它来转换 mpl 向量。以下代码片段导致编译错误“/boost/mpl/aux_/preprocessed/gcc/apply_wrap.hpp:38:19:'template' 关键字后的 'apply' 未引用模板”。
#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
template <class... T>
struct my_type{};
using namespace boost::mpl;
using test_type = vector<int, double>;
// expected result is vector< my_type<int>, my_type<double> >
using result_type = transform< test_type, my_type<_> >::type;
int main() {
}
使 my_type
采用单个模板参数工作正常,但我想了解为什么可变参数版本不起作用。提前致谢!
转换期望的第二个参数是您没有传递的一元运算。
在你的例子中,my_type
不是 mpl 期望的 metafunction
,因为它使用了可变参数列表。
A metafunction
在最简单的情况下公开了一个 type
typedef 或 ststic bool
value
。例如:
template <typename T>
struct add_pointer {
using type = T*;
};
注意 add_pointer
如何转换提供的模板参数。这是一个 unary
操作的例子,因为它只需要一个模板参数 T
.
在您的示例中,my_type
纯粹是一种类型,不能用作元函数或操作,因为它不满足 transform
元函数所要求的 metafunction
标准它有一个 type
字段来指示转换后的类型。
在某些情况下,简单的模板类型会转换为 metafunction
,如下面的 Detailed Reasoning
部分所述。
文档参考:http://www.boost.org/doc/libs/1_31_0/libs/mpl/doc/ref/Reference/transform.html
代码:
#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/equal.hpp>
#include <type_traits>
#include <typeindex>
#include <iostream>
template <class... T>
struct my_type{};
using namespace boost::mpl;
using test_type = vector<int, double>;
template <typename T>
struct add_my_type {
using type = my_type<T>;
};
using result_type = typename transform< test_type, add_my_type<_1> >::type;
int main() {
static_assert (equal<result_type, vector< my_type<int>, my_type<double> >>::value, "Nope!!");
std::cout << typeid(result_type).name() << std::endl;
}
详细原因
上面解释的原因很简短,应该足以回答问题。但是让我们尽可能深入地了解细节。
免责声明:我不是 boost::mpl 方面的专家。
根据 OP 下面的评论,如果我们将 my_type
更改为:
,则原始代码有效
template <class T>
struct my_type{};
但这与我之前提到的不相符,即 operation
需要一个 type
标识符。那么,让我们看看 mpl 在幕后做了什么:
struct transform
有点像:
template<
typename Seq1 = mpl::na
, typename Seq2OrOperation = mpl::na
, typename OperationOrInserter = mpl::na
, typename Inserter = mpl::na
>
struct transform {
boost::mpl::eval_if<
boost::mpl::or_<
boost::mpl::is_na<OperationOrInserter>,
boost::mpl::is_lambda_expression<my_type<mpl_::arg<1> > >,
boost::mpl::not_<boost::mpl::is_sequence<my_type<mpl_::arg<1> > > >,
mpl_::bool_<false>,
mpl_::bool_<false>
>,
boost::mpl::transform1<
boost::mpl::vector<int, double>,
my_type<mpl_::arg<1>>,
mpl_::na
>,
boost::mpl::transform2<boost::mpl::vector<int, double>,
my_type<mpl_::arg<1> >,
mpl_::na, mpl_::na>
>
};
这里要看的重要部分是 is_lambda_expression
元函数,它主要检查您的 Operation
是否满足 metafunction
.
的要求
在应用了一些繁重的宏和模板机制和专业化之后,上面的检查合成在结构下面:
template<
typename IsLE, typename Tag
, template< typename P1 > class F
, typename L1
>
struct le_result1
{
typedef F<
typename L1::type
> result_;
typedef result_ type;
};
在这里,F
是您的 my_type
,L1
是 placeholder
。所以,本质上,上面的结构只是 add_my_type
我在最初的回复中展示的。
如果到目前为止我是正确的,le_result1
就是将在您的 sequence
.
上执行的 operation
我很难理解为什么以下简单程序无法编译。我有一个可变参数模板 class(下面的 my_type
),我想用它来转换 mpl 向量。以下代码片段导致编译错误“/boost/mpl/aux_/preprocessed/gcc/apply_wrap.hpp:38:19:'template' 关键字后的 'apply' 未引用模板”。
#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
template <class... T>
struct my_type{};
using namespace boost::mpl;
using test_type = vector<int, double>;
// expected result is vector< my_type<int>, my_type<double> >
using result_type = transform< test_type, my_type<_> >::type;
int main() {
}
使 my_type
采用单个模板参数工作正常,但我想了解为什么可变参数版本不起作用。提前致谢!
转换期望的第二个参数是您没有传递的一元运算。
在你的例子中,my_type
不是 mpl 期望的 metafunction
,因为它使用了可变参数列表。
A metafunction
在最简单的情况下公开了一个 type
typedef 或 ststic bool
value
。例如:
template <typename T>
struct add_pointer {
using type = T*;
};
注意 add_pointer
如何转换提供的模板参数。这是一个 unary
操作的例子,因为它只需要一个模板参数 T
.
在您的示例中,my_type
纯粹是一种类型,不能用作元函数或操作,因为它不满足 transform
元函数所要求的 metafunction
标准它有一个 type
字段来指示转换后的类型。
在某些情况下,简单的模板类型会转换为 metafunction
,如下面的 Detailed Reasoning
部分所述。
文档参考:http://www.boost.org/doc/libs/1_31_0/libs/mpl/doc/ref/Reference/transform.html
代码:
#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/equal.hpp>
#include <type_traits>
#include <typeindex>
#include <iostream>
template <class... T>
struct my_type{};
using namespace boost::mpl;
using test_type = vector<int, double>;
template <typename T>
struct add_my_type {
using type = my_type<T>;
};
using result_type = typename transform< test_type, add_my_type<_1> >::type;
int main() {
static_assert (equal<result_type, vector< my_type<int>, my_type<double> >>::value, "Nope!!");
std::cout << typeid(result_type).name() << std::endl;
}
详细原因
上面解释的原因很简短,应该足以回答问题。但是让我们尽可能深入地了解细节。
免责声明:我不是 boost::mpl 方面的专家。
根据 OP 下面的评论,如果我们将 my_type
更改为:
template <class T>
struct my_type{};
但这与我之前提到的不相符,即 operation
需要一个 type
标识符。那么,让我们看看 mpl 在幕后做了什么:
struct transform
有点像:
template<
typename Seq1 = mpl::na
, typename Seq2OrOperation = mpl::na
, typename OperationOrInserter = mpl::na
, typename Inserter = mpl::na
>
struct transform {
boost::mpl::eval_if<
boost::mpl::or_<
boost::mpl::is_na<OperationOrInserter>,
boost::mpl::is_lambda_expression<my_type<mpl_::arg<1> > >,
boost::mpl::not_<boost::mpl::is_sequence<my_type<mpl_::arg<1> > > >,
mpl_::bool_<false>,
mpl_::bool_<false>
>,
boost::mpl::transform1<
boost::mpl::vector<int, double>,
my_type<mpl_::arg<1>>,
mpl_::na
>,
boost::mpl::transform2<boost::mpl::vector<int, double>,
my_type<mpl_::arg<1> >,
mpl_::na, mpl_::na>
>
};
这里要看的重要部分是 is_lambda_expression
元函数,它主要检查您的 Operation
是否满足 metafunction
.
在应用了一些繁重的宏和模板机制和专业化之后,上面的检查合成在结构下面:
template<
typename IsLE, typename Tag
, template< typename P1 > class F
, typename L1
>
struct le_result1
{
typedef F<
typename L1::type
> result_;
typedef result_ type;
};
在这里,F
是您的 my_type
,L1
是 placeholder
。所以,本质上,上面的结构只是 add_my_type
我在最初的回复中展示的。
如果到目前为止我是正确的,le_result1
就是将在您的 sequence
.
operation