boost::mpl::equal 对于 vector 和 vector_c 总是错误的

Question

我正在尝试重现 Abrahams 和 Gurtovoy 所著 "C++ Template Metaprogramming" 一书中的示例“3.1 维度分析”。在某些时候，他们比较一个值（mpl::vector_c 类型）的 "dimensions" 与转换值的 "dimensions" 相同（mpl::transform 应用于两个 mpl::vector_c).

对我来说，比较总是false，我不明白哪里出错了。没有转换的简化示例：

#include <iostream>
#include <boost/mpl/vector_c.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/equal.hpp>
#include <boost/type_index.hpp>
using boost::typeindex::type_id_with_cvr;
using namespace boost;

using X1 = mpl::vector_c<int, 1, 2, 3>;
using X2 = mpl::vector<mpl::int_<1>, mpl::int_<2>, mpl::int_<3>>;
using CMP = mpl::equal<X1, X2>;

int main() {
  std::cout << "X1: " << type_id_with_cvr<X1>().pretty_name() << std::endl;
  std::cout << "X2: " << type_id_with_cvr<X2>().pretty_name() << std::endl;
  std::cout << "CMP: " << type_id_with_cvr<CMP>().pretty_name() << std::endl;
  std::cout << "CMP::type: " << type_id_with_cvr<CMP::type>().pretty_name() << std::endl;
  std::cout << "CMP::type::value: " << CMP::type::value << std::endl;
}

来自输出：

CMP: boost::mpl::equal<boost::mpl::vector_c<int, 1l, 2l, 3l, 21474
83647l, 2147483647l, 2147483647l, 2147483647l, 2147483647l, 214748
3647l, 2147483647l, 2147483647l, 2147483647l, 2147483647l, 2147483
647l, 2147483647l, 2147483647l, 2147483647l, 2147483647l, 21474836
47l, 2147483647l>, boost::mpl::vector<mpl_::int_<1>, mpl_::int_<2>
, mpl_::int_<3>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na,
mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::
na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::is_s
ame<mpl_::arg<-1>, mpl_::arg<-1> > >
CMP::type: mpl_::bool_<false>
CMP::type::value: 0

Answer 1

好的。原因很简单。您的代码中有一个小错误。但首先让我们看一下 mpl::equal 语义是如何定义的：

typedef equal<Sequence1,Sequence2,Pred>::type c;

c::value == true is and only if size::type::value == size::type::value and for every iterator i in [begin::type,end::type) i::type is identical to advance< begin::type, distance< begin::type,i >::type >::type.

让我们检查 mpl::begin<X1>::type::type 的类型：

mpl_::integral_c<int, 1>

然后检查 mpl::begin<X2>::type::type 的类型：

mpl_::int_<1>

如您所见，它们并不相同，但上面的定义指出，如果 return 为真，则它们必须相同。因此，让我们尝试在 X2.

的类型定义中使用 intergral_c<int, X> 而不是 int_c<X>

瞧（注意：我在这里使用了 vector3 而不是矢量，但只是为了便于阅读。它也适用于 mpl::vector<...>）：

X1: boost::mpl::vector3_c<int, 1, 2, 3>
X2: boost::mpl::vector3<mpl_::integral_c<int, 1>, mpl_::integral_c<int, 2>, mpl_::integral_c<int, 3> >
CMP: boost::mpl::equal<boost::mpl::vector3_c<int, 1, 2, 3>, boost::mpl::vector3<mpl_::integral_c<int, 1>, mpl_::integral_c<int, 2>, mpl_::integral_c<int, 3> >, boost::is_same<mpl_::arg<-1>, mpl_::arg<-1> > >
CMP::type: mpl_::bool_<true>
CMP::type::value: 1

更新： 正如您在下面的评论中看到的，用户想要比较包含的值而不仅仅是类型。以下谓词应该做用户喜欢的事情（注意：为简单起见，没有检查（例如，is_integral 等）。当然应该这样做。）：

template <typename T, typename V>
struct func : boost::mpl::bool_<(T::value == V::value)> {};

为了将它传递给相等的写这个：

using CMP = mpl::equal<X1, X2, func<boost::mpl::_1, boost::mpl::_2> >;

boost::mpl::equal 对于 vector 和 vector_c 总是错误的

boost::mpl::equal is always false for vector and vector_c

c++

boost-mpl