組合元函數

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 比你擁有的更好。 只是它看起來像類似的領域，它可能會讓你感興趣。