boost::mpl::list< T > 结构模板引用

描述

template<typename ... T>
struct boost::mpl::list< T >

Boost.MPL 列表的适配器。

建模概念

MPL 列表可以建模一些概念。然而，由于它们只能持有类型，因此缺乏建模 Functor、Sequence 和其他相关概念所需的通用性。

1. Comparable (可比较)
   两个 MPL 列表当且仅当它们包含相同数量的类型，并且所有这些类型都相等时才相等。

   // 版权 Louis Dionne 2013-2017
   // 根据 Boost 软件许可证第 1.0 版分发。
   // （请参阅随附文件 LICENSE.md 或访问 https://boost.ac.cn/LICENSE_1_0.txt）
    
   #include <boost/hana/assert.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/list.hpp>
   #include <boost/hana/not_equal.hpp>
    
   #include <boost/mpl/list.hpp>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
    
    
   BOOST_HANA_CONSTANT_CHECK(
    hana::equal(mpl::list2<int, char>{}, mpl::list<int, char>{})
   );
   BOOST_HANA_CONSTANT_CHECK(
    hana::not_equal(mpl::list2<int, char>{}, mpl::list<int, char, float>{})
   );
    
   int main() { }

2. Foldable (可折叠)
   折叠 MPL 列表等同于将其作为一个 Sequence 进行折叠。

   // 版权 Louis Dionne 2013-2017
   // 根据 Boost 软件许可证第 1.0 版分发。
   // （请参阅随附文件 LICENSE.md 或访问 https://boost.ac.cn/LICENSE_1_0.txt）
    
   #include <boost/hana/assert.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/list.hpp>
   #include <boost/hana/ext/std/integral_constant.hpp>
   #include <boost/hana/fold_left.hpp>
   #include <boost/hana/if.hpp>
   #include <boost/hana/integral_constant.hpp>
   #include <boost/hana/plus.hpp>
   #include <boost/hana/type.hpp>
    
   #include <boost/mpl/list.hpp>
   #include <type_traits>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
    
    
   auto types = mpl::list<long, float, short, float, long, long double>{};
   auto number_of_floats = hana::fold_left(types, hana::int_c<0>, [](auto count, auto t) {
    return hana::if_(hana::trait<std::is_floating_point>(t),
    count + hana::int_c<1>,
    count
       );
   });
    
   BOOST_HANA_CONSTANT_CHECK(number_of_floats == hana::int_c<3>);
    
   int main() { }

3. Iterable (可迭代)
   遍历 MPL 列表就像遍历其中包含的每个类型一样，就好像它是一个 Sequence。

   // 版权 Louis Dionne 2013-2017
   // 根据 Boost 软件许可证第 1.0 版分发。
   // （请参阅随附文件 LICENSE.md 或访问 https://boost.ac.cn/LICENSE_1_0.txt）
    
   #include <boost/hana/assert.hpp>
   #include <boost/hana/drop_front.hpp>
   #include <boost/hana/drop_while.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/list.hpp>
   #include <boost/hana/ext/std/integral_constant.hpp>
   #include <boost/hana/front.hpp>
   #include <boost/hana/type.hpp>
    
   #include <boost/mpl/list.hpp>
   #include <type_traits>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
    
    
   BOOST_HANA_CONSTANT_CHECK(hana::front(mpl::list<int, char, void>{}) == hana::type_c<int>);
    
   BOOST_HANA_CONSTANT_CHECK(hana::equal(
    hana::drop_front(mpl::list<int, char, void>{}),
   mpl::list<char, void>{}
   ));
    
   BOOST_HANA_CONSTANT_CHECK(hana::equal(
    hana::drop_while(mpl::list<float, double const, int, float&>{},
   hana::trait<std::is_floating_point>),
   mpl::list<int, float&>{}
   ));
    
   int main() { }

4. Searchable (可搜索)
   MPL 列表可以像包含 hana::type 的元组一样进行搜索。

   // 版权 Louis Dionne 2013-2017
   // 根据 Boost 软件许可证第 1.0 版分发。
   // （请参阅随附文件 LICENSE.md 或访问 https://boost.ac.cn/LICENSE_1_0.txt）
    
   #include <boost/hana/assert.hpp>
   #include <boost/hana/equal.hpp>
   #include <boost/hana/ext/boost/mpl/list.hpp>
   #include <boost/hana/find.hpp>
   #include <boost/hana/find_if.hpp>
   #include <boost/hana/optional.hpp>
   #include <boost/hana/type.hpp>
    
   #include <boost/mpl/list.hpp>
   namespace hana = boost::hana;
   namespace mpl = boost::mpl;
    
    
   BOOST_HANA_CONSTANT_CHECK(
    hana::find_if(mpl::list<int, float, char const*>{}, hana::equal.to(hana::type_c<float>))
       ==
   hana::just(hana::type_c<float>)
   );
    
   BOOST_HANA_CONSTANT_CHECK(
    hana::find(mpl::list<int, float, char const*>{}, hana::type_c<void>)
       ==
   hana::nothing
   );
    
   int main() { }

从任意 <tt>Foldable</tt> 转换

MPL 列表可以从任何 Foldable 创建。更确切地说，对于一个线性化为 [x1, ..., xn] 的 Foldable xs，

to<ext::boost::mpl::list_tag>(xs) == mpl::list<t1, ..., tn>{}

其中 tk 是 xk 的类型，或者如果 xk 是 hana::type，则为 xk 所包含的类型。

警告

mpl::list 的大小限制会通过此转换工具继承，因此尝试转换包含超过 BOOST_MPL_LIMIT_LIST_SIZE 个元素的 Foldable 是一个错误。

// 版权 Louis Dionne 2013-2017
// 根据 Boost 软件许可证第 1.0 版分发。
// （请参阅随附文件 LICENSE.md 或访问 https://boost.ac.cn/LICENSE_1_0.txt）
 
#include <boost/hana/core/to.hpp>
#include <boost/hana/ext/boost/mpl/list.hpp>
#include <boost/hana/tuple.hpp>
#include <boost/hana/type.hpp>
 
#include <boost/mpl/list.hpp>
#include <type_traits>
namespace hana = boost::hana;
namespace mpl = boost::mpl;
 
 
auto xs = hana::make_tuple(hana::type_c<int>, hana::type_c<char>, hana::type_c<double>);
static_assert(std::is_same<
decltype(hana::to<hana::ext::boost::mpl::list_tag>(xs)),
mpl::list<int, char, double>
>{}, "");
 
int main() { }