boost::proto::result_of::unpack_expr — 一个元函数,它根据子域推断出 proto::unpack_expr() 函数的返回类型。
// In header: <boost/proto/make_expr.hpp> template<typename Tag, typename Sequence, typename Void = void> struct unpack_expr { // types typedef typename proto::result_of::make_expr< Tag, typename fusion::result_of::value_at_c<S, 0>::type, ... typename fusion::result_of::value_at_c<S,N-1>::type >::type type; // Where S is a Fusion RandomAccessSequence equivalent to Sequence, and N is the size of S. };
计算 proto::unpack_expr() 函数的返回类型。
Sequence 是一个 Fusion Forward Sequence。
在此特化中,域是从子类型的域中推断出来的。如果 proto::is_domain<Sequence>::value 为 true,则会选择另一个特化。