组合元函数

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 比你所拥有的更好。只是它看起来很相似，你可能会感兴趣。