c++ - 组成元函数

Question

是否有用于组合(“链接”)元函数的既定习惯用法？这是我目前的解决方案:

template
<
    template <typename> class First,
    template <typename> class Then,
    typename T
>
struct compose : Then<typename First<T>::type> {};

这是一个用法示例:

template <typename T>
struct remove_cv : compose<remove_const, remove_volatile, T> {};

有更好的方法吗？

Answer 1

您可以查看 boost::mpl 库:

http://www.boost.org/doc/libs/1_46_0/libs/mpl/doc/refmanual/composition-and-argument-binding.html

我并不是说 mpl 比你拥有的更好。只是它看起来像相似的领域，您可能会感兴趣。