リファクタリングまたはラップfして、パスする代わりに新しいものを返すことができますX。これは、パックの拡張を手に入れ、関数を非常に簡潔にするためです。
template<class T>
X fw(T const& t){ X x; f(x, t); return x; }
template<class... Args>
void h(Args... args){
X xs[] = { fw(args)... };
g(xs, sizeof...(Args));
}
実例。
gそして、を受け入れるように変更できればstd::initializer_list、さらに簡潔になります。
template<class... Args>
void h(Args... args){
g({f(args)...});
}
実例。または（おそらくより良い）、g実際に転送するラッパーだけを提供することもできますg：
void g(X const*, unsigned){}
void g(std::initializer_list<X> const& xs){ g(xs.begin(), xs.size()); }
template<class... Args>
void h(Args... args){
g({f(args)...});
}
実例。
編集：別のオプションは、一時配列を使用することです。
template<class T>
using Alias = T;
template<class T>
T& as_lvalue(T&& v){ return v; }
template<class... Args>
void h(Args... args){
g(as_lvalue(Alias<X[]>{f(args)...}), sizeof...(Args));
}
実例。この関数は危険であることに注意してくださいas_lvalue。配列は完全な式（この場合）が終了するまでしか存続しないgため、使用するときは注意が必要です。言語の文法上、許可されていないため、これAliasが必要です。X[]{ ... }
それがすべて不可能な場合は、argsパックのすべての要素にアクセスするために再帰が必要になります。
#include <tuple>
template<unsigned> struct uint_{}; // compile-time integer for "iteration"
template<unsigned N, class Tuple>
void h_helper(X (&)[N], Tuple const&, uint_<N>){}
template<unsigned N, class Tuple, unsigned I = 0>
void h_helper(X (&xs)[N], Tuple const& args, uint_<I> = {}){
f(xs[I], std::get<I>(args));
h_helper(xs, args, uint_<I+1>());
}
template<typename... Args>
void h(Args... args)
{
static constexpr unsigned nargs = sizeof...(Args);
X xs[nargs];
h_helper(xs, std::tie(args...));
g(xs, nargs);
}
実例。
編集： ecatmurのコメントに触発されて、私はインデックストリックを使用して、パックの拡張だけで、変更せずにそのままで動作するようにfしgました。
template<unsigned... Indices>
struct indices{
using next = indices<Indices..., sizeof...(Indices)>;
};
template<unsigned N>
struct build_indices{
using type = typename build_indices<N-1>::type::next;
};
template <>
struct build_indices<0>{
using type = indices<>;
};
template<unsigned N>
using IndicesFor = typename build_indices<N>::type;
template<unsigned N, unsigned... Is, class... Args>
void f_them_all(X (&xs)[N], indices<Is...>, Args... args){
int unused[] = {(f(xs[Is], args), 1)...};
(void)unused;
}
template<class... Args>
void h(Args... args){
static constexpr unsigned nargs = sizeof...(Args);
X xs[nargs];
f_them_all(xs, IndicesFor<nargs>(), args...);
g(xs, nargs);
}
実例。