Boost.MPL 转换与状态
Boost.MPL transform with state?
我有以下 mpl 序列
boost::mpl::vector_c<std::size_t, 0, 1, 2, 0, 1, 0>
我需要根据以下算法(运行时版本)对其进行转换:
i=0
output_sequence=[]
for k in (0,...,len(input_sequence)-1):
if input_sequence[k] == 0:
output_sequence.append(i)
i=i+1
else:
output_sequence.append(-1)
在我的情况下,结果应该是:
boost::mpl::vector_c<std::size_t, 0, -1, -1, 1, -1, 2>
我可以想象至少两种方法可以在运行时使用 std::transform 或 std::accumulate,但不知道如何使用 MPL 在编译时获得相同的结果。对我来说的主要问题是以某种方式存储状态"i"(当前找到的零数)以及输出序列。
谢谢!
添加
我想与大家分享基于HighCommander4的回答所采用的方法。实际上,可以将boost::mpl::fold
与自定义元函数一起使用。与HighCommander4相比,唯一的概念变化是将当前可用的自由索引打包为增长输出序列的第一个元素。最后可以删除的类型计算使用 boost::mpl::pop_font
.
#include <boost/mpl/size_t.hpp>
#include <boost/mpl/equal_to.hpp>
#include <boost/mpl/fold.hpp>
#include <boost/mpl/front.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/push_back.hpp>
#include <boost/mpl/pop_front.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/if.hpp>
#include <boost/mpl/at.hpp>
#include <boost/mpl/print.hpp>
namespace mpl=boost::mpl;
struct assign_index
{
enum { dim_dynamic, dim_static };
template<typename Output, typename Index,
typename Enable = typename mpl::if_<
mpl::equal_to<Index, mpl::size_t<1> >,
mpl::size_t<dim_dynamic>,
mpl::size_t<dim_static> >::type>
struct apply
{
typedef typename mpl::push_back<Output, mpl::size_t<-1> >::type type;
};
template<typename Output, typename Index>
struct apply <Output, Index, mpl::size_t<dim_dynamic> >
{
typedef typename mpl::front<Output>::type current;
typedef typename mpl::next<current>::type next;
typedef typename mpl::push_back<Output, current>::type append_type;
typedef typename mpl::push_front<
typename mpl::pop_front<append_type>::type,next
>::type type;
};
};
template<class input_sequence>
struct map_indices
{
// The first element of state0 keeps track of the current index count.
typedef mpl::vector_c<std::size_t, 0> state0;
typedef typename mpl::fold<input_sequence, state0, assign_index>::type output_sequence;
// Remove the first element from the final output sequence
typedef typename mpl::pop_front<output_sequence>::type type;
};
int main (int argc, const char** argv)
{
typedef mpl::vector_c<std::size_t, 1, 2, 3, 1, 2, 1> input_sequence;
typedef map_indices<input_sequence>::type output_sequence;
int i;
i=mpl::print<mpl::at_c<output_sequence, 0>::type>();
i=mpl::print<mpl::at_c<output_sequence, 1>::type>();
i=mpl::print<mpl::at_c<output_sequence, 2>::type>();
i=mpl::print<mpl::at_c<output_sequence, 3>::type>();
i=mpl::print<mpl::at_c<output_sequence, 4>::type>();
i=mpl::print<mpl::at_c<output_sequence, 5>::type>();
return 0;
}
PS:在此实现中,输入序列中的"1"转换为递增索引,而大于 1 的值转换为 std::size_t(-1)。输入序列中不允许使用零(在其他地方检查)。
PS2:我已经检查过了,boost::mpl
中确实没有将任意mpl
序列(作为算法的结果获得的序列)转换回boost::mpl::vector
的功能。因此它是还需要为此编写代码...我最终改编了代码
<boost/fusion/container/vector/detail/as_vector.hpp>
以"规范化"类型计算结果。
再次感谢!
模板元编程确实需要一些时间来适应。
请注意循环如何变成递归,if 语句大小写变成模板专用化,"state"变成其他模板参数:
#include <cstddef>
#include <boost/mpl/print.hpp>
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/push_back.hpp>
#include <boost/mpl/pop_front.hpp>
#include <boost/mpl/front.hpp>
#include <boost/mpl/size.hpp>
using boost::mpl::vector_c;
using boost::mpl::push_back;
using boost::mpl::pop_front;
using boost::mpl::front;
using boost::mpl::int_;
using boost::mpl::size;
typedef vector_c<std::size_t, 0, 1, 2, 0, 1, 0> input_sequence;
template <int i, int current>
struct next_i
{
static const int value = i;
};
template <int i>
struct next_i<i, 0>
{
static const int value = i + 1;
};
template <int i, int current>
struct next_output
{
static const int value = -1;
};
template <int i>
struct next_output<i, 0>
{
static const int value = i;
};
template <typename rest_of_input, int rest_of_input_size, int i, typename output_so_far>
struct loop
{
typedef typename front<rest_of_input>::type current_t;
static const int current = current_t::value;
static const int next_i_ = next_i<i, current>::value;
static const int next_output_ = next_output<i, current>::value;
typedef typename loop<
typename pop_front<rest_of_input>::type,
rest_of_input_size - 1,
next_i_,
typename push_back<output_so_far, int_<next_output_> >::type
>::type type;
};
template <typename rest_of_input, int i, typename output_so_far>
struct loop<rest_of_input, 0, i, output_so_far>
{
typedef output_so_far type;
};
template <typename input>
struct algorithm
{
typedef typename size<input>::type size_;
typedef typename loop<input, size_::value, 0, vector_c<std::size_t> >::type type;
};
typedef algorithm<input_sequence>::type output_sequence;
int main()
{
boost::mpl::print<output_sequence>();
}
这可能写得更好(也许用mpl::fold
)。
相关文章:
- 防止主数据类型C++的隐式转换
- 模板参数替换失败,并且未完成隐式转换
- 努力将整数转换为链表。不知道我在这里做错了什么
- HEX值到wchar_t字符(UTF-8)的转换
- lambda参数转换为constexpr技巧,然后获取带链接的数组
- 将 Qvector<uint8_t> 转换为 QString
- 如何在cuSparse中使用cusparseXcoo2csr从coo转换为csc
- 有关插入适配器的错误。[错误]请求从 'back_insert_iterator<vector<>>' 类型转换为非标量类型
- 启动状态机无法在启动时处理内部转换
- 提升::MSM 检查保护条件下的状态转换
- Windows编程:为什么我们要将lParam转换为CREATESTRUCT来获取应用程序状态
- 将Java状态机示例转换为C++,陷入最后一道障碍
- 将无状态C++函数由内而外转换为有状态函数
- 状态机:使用转换矩阵而不是嵌套的开关案例C++
- 将状态的输入转换为缩写
- Boost.MPL 转换与状态
- 布局中的 Qt 状态机转换
- 转换为调用私有构造函数的std::线程状态
- qstatemmachine获取导致状态转换的事件
- Boost状态图通过转换传递参数