可変長テンプレートを使用してタプルを構築する

Question

テンプレート引数に基づいて文字列を解析するC++ 11より前に書かれたコードがいくつかあります。引数の数ごとに1つの定義を持たせるのではなく、バリデーショナルなテンプレートを使いたいのですが、タプルを正しく初期化する方法については頭を悩ますことはできません。私は可変長の場合にはタプルの引数を置くの問題を抱えている

template <typename Arg1, typename Arg2> 
struct parser 
{ 
    static tuple<Arg1, Arg2> parse(const string& str) 
    { 
    Arg1 arg1; 
    Arg2 arg2; 
    // do the parsing with for example stringstream 
    return tuple<Arg1, Arg2>(arg1, arg2);    
    } 
}; 

：これは2つの引数の特殊な場合であるが、私が何をしたいのこの単純化されたコードを参照してください。私は、戻り値ホルダーを構築することができます。

tuple<Args...> retVal; 

が、引数を反復処理し、タプルでそれらを配置する方法があるかどうかはわかりません。私は、例えば、printf関数を得るための再帰的な魔法を見てきましたが、このケースに適用できるかどうかはわかりません。

Answer 1

ヘルパークラスは不要です。代わりに関数でそれを行います。

template <typename T> std::tuple<T> parse(std::istream& is) 
{ 
    T t; is >> t; 
    return std::tuple<T>(std::move(t)); 
} 

template <typename T, typename Arg, typename... Args> 
std::tuple<T, Arg, Args...> parse(std::istream& is) 
{ 
    T t; is >> t; 
    return std::tuple_cat(std::tuple<T>(std::move(t)), 
         parse<Arg, Args...>(is)); 
} 

template <typename... Args> 
std::tuple<Args...> parse(const std::string& str) 
{ 
    std::istringstream is(str); 
    return parse<Args...>(is); 
} 

EDIT：今日、私は膨張を利用して、非常に簡単な方法でそれを行うにはどのようにアイデアを得た：

template <typename T> T read(std::istream& is) 
{ 
    T t; is >> t; return t; 
} 

template <typename... Args> 
std::tuple<Args...> parse(std::istream& is) 
{ 
    return std::make_tuple(read<Args>(is)...); 
} 

template <typename... Args> 
std::tuple<Args...> parse(const std::string& str) 
{ 
    std::istringstream is(str); 
    return parse<Args...>(is); 
}