054-cpp17-lib-misc-make-from-tuple.md

make_from_tuple : tupleの要素を実引数にコンストラクターを呼び出す

make_from_tupleはヘッダーファイル<tuple>で定義されている。

template <class T, class Tuple>
constexpr T make_from_tuple(Tuple&& t);

applyはtupleの要素を実引数に関数を呼び出すライブラリだが、make_from_tupleはtupleの要素を実引数にコンストラクターを呼び出すライブラリだ。

ある型Tと要素数Nのtuple tに対して、make_from_tuple<T>(t)は、T型をT( get<0>(t), get<1>(t), ... , get<N>(t) )のように構築して、構築したT型のオブジェクトを返す。

class X
{
    template < typename ... Types >
    T( Types ... ) { }
} ;

int main()
{
    // int, int, int
    std::tuple t1(1,2,3) ;

    // X(1,2,3)
    X x1 = std::make_from_tuple<X>( t1 ) 

    // int, double, const char *
    std::tuple t2( 123, 4.56, "hello" ) ;

    // X(123, 4.56, "hello")
    X x2 = std::make_from_tuple<X>( t2 ) ;
}