增强MPL转换序列"真实"类型

Boost mpl transformed sequence "real" type

本文关键字：真实 类型 MPL 转换 增强      更新时间：2023-10-16

请参阅boost mpl转换文档中的以下代码：

typedef vector<char,short,int,long,float,double> types;
typedef vector<char*,short*,int*,long*,float*,double*> pointers;
typedef transform< types,boost::add_pointer<_1> >::type result;
BOOST_STATIC_ASSERT(( equal<result,pointers>::value ));

我想了解boost::mpl的类型系统以及"它实际上是如何工作的"。据我所知，mpl::equal只是比较以下两个序列的元素，而不是整个序列类型本身。我不明白为什么以下失败：

BOOST_STATIC_ASSERT(( std::is_same<result,pointers>::value )); //< assert fails

为什么结果类型与"指针"类型不是100%相同？我想这是因为mpl在懒惰地执行转换，还是结果只是一个序列，不再是矢量？有没有可能以某种方式迫使mpl不再懒惰，并获得100%相同的类型（我可以用这个结果自己写一个转换函数，但我想知道如何在mpl中做到这一点）？

我已经尝试了一些事情，比如将结果插入一个新的向量中，但没有成功：

BOOST_STATIC_ASSERT(( std::is_same<
  mpl::insert_range< mpl::vector<>, mpl::begin<mpl::vector<> >::type,
  result >::type, pointers >::value )); //< assert fails too

此外，我尝试在转换函数中使用back_insert，但也失败了：

typedef transform< types,boost::add_pointer<_1>,
  mpl::back_inserter< mpl::vector< > > >::type result_new;
BOOST_STATIC_ASSERT(( std::is_same<result_new,pointers>::value )); //< fails...

阅读"文档"对我没有帮助。那么，有可能用mpl变换（或任何其他变换序列函数）得到100%相同的类型吗？类型的结果是什么

result

"在现实中"，当它不与指针相同时？

再次感谢@llonesmiz使用typeid（）漂亮地打印类型的代码，这有助于理解发生了什么。

因此，真正的结果类型似乎取决于编译器（可能是boost#ifdefs），英特尔编译器和visual studio将其转换回std:：vectorN<>其中最大N是升压中的预定义数字（因此当N太大时它不起作用）。对于g++，生成了一个损坏的类型（甚至是我的转换调用中的两个不同类型）。

所以我想通过mpl:：equal检查类型是可以的（检查范围的元素）。如果所有类型都应该"真正"等效（std:：is_same成立），我想您需要手动将结果转换为一个可变模板类std:：tuple。

请参阅http://liveworkspace.org/code/3l8O9K$16代码样本

简而言之：

template < class T, class R >
struct ToStdTuple;
template < class... TTypes, class X >
struct ToStdTuple< std::tuple< TTypes... >, X >
{
  typedef std::tuple< TTypes..., X > type;
};

然后

// typedef mpl::vector<char,short,int,long,float,double> types;
// typedef mpl::transform< types,boost::add_pointer<mpl::_1> >::type result;
typedef mpl::fold< result, std::tuple<>,
  ToStdTuple< mpl::_1, mpl::_2 > >::type result_normalized;

导致

std::tuple<char*, short*, int*, long*, float*, double*>

对于所有转换调用

相关文章：