Question

我试图解决的问题是根据constexpr模板化函数的返回值对模板参数包进行排序，该函数专用于我正在排序的每个类型。

我有一个大约100个BOOST_STRONG_TYPEDEF的列表，它会创建类型TYPE_1, TYPE_2, ..., TYPE_N。

BOOST_STRONG_TYPEDEF(TYPE_1, int)
BOOST_STRONG_TYPEDEF(TYPE_2, double)
// et cetera
BOOST_STRONG_TYPEDEF(TYPE_N, uint8_t)

然后我宣布一个通用模板constexpr size_t value_of()，我专门针对每个类型：

template<> constexpr size_t value_of<TYPE_1>() { return 1; }
template<> constexpr size_t value_of<TYPE_2>() { return 2; }
// et cetera
template<> constexpr size_t value_of<TYPE_N>() { return n; }

然后我有一个声明如下的类。我需要根据UnsortedTypes的结果对value_of参数包中的每个类型进行排序。

template<typename ...UnsortedTypes>
class MyClass {
  typedef boost::mpl::vector<UnsortedTypes...> UnsortedTypeVector;
  typedef typename boost::mpl::sort<
    UnsortedTypeVector,
    boost::mpl::less<
      boost::mpl::size_t<value_of<boost::mpl::placeholders::_1>()>,
      boost::mpl::size_t<value_of<boost::mpl::placeholders::_2>()>
    >
  >::type SortedTypes;

  // Utility
  void print_types() {
    __print_types<SortedTypes>();
  }

  template<typename Type, typename ...Types>
  void __print_types() {
    std::cout << typeid(Type).name() << "\n";
    if constexpr (sizeof...(Types) > 0) __print_types<Types...>();
  }
};

当我按如下方式测试时：

int main(int, char *[]) {
  MyClass<TYPE_5, TYPE_3, TYPE_4, TYPE_2, TYPE_1> myclass;
  myclass.print_types();
}

我得到这个huge, pretty much unintelligible error message，它似乎包含mpl库中的错误。

直观地说，我怀疑这是因为我的排序谓词的定义不正确。但是，我不确定如何解决它！

（这是我第一次使用Boost.MPL并且网上的例子不多，所以请保持温和！）

Answer 1

这是一个简化的例子，可能会让事情变得更加明显：

namespace mpl = boost::mpl;

template <typename T> constexpr size_t value_of() { return sizeof(T); }

template <typename... Ts>
struct X {
    using V = mpl::vector<Ts...>;
    using sorted = typename mpl::sort<
        V,
        mpl::less<
            mpl::size_t<value_of<mpl::_1>()>,
        //              ~~~~~~~~~~~~~~~~~~~
            mpl::size_t<value_of<mpl::_2>()>
            >
        >::type;
};

现在，您希望这会延迟value_of()的调用，直到_1被替换为。但实际上发生的事情是它立即被调用 - 因为这就是你所要求的。就我而言，这就是sizeof(_1)最终的结果。因此，因为这些都是常量，所以完整的mpl::less<...>只是一个整数常量表达式 - 而不是像你想要的那样是一个lambda表达式。

您需要做的是通过将谓词转换为元函数来确保调用被延迟：

template <typename T>
struct value_of_ : mpl::size_t<sizeof(T)> { };

然后你可以使用：

template <typename... Ts>
struct X {
    using V = mpl::vector<Ts...>;
    using sorted = typename mpl::sort<
        V,
        mpl::less<value_of_<mpl::_1>, value_of_<mpl::_2>>
        >::type;
};

提升MPL排序模板参数包

1 个答案: