std::make_from_tuple

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

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

タプル T の要素をコンストラクタの引数として使用して、型 t のオブジェクトを構築する。

説明専用関数 /*make-from-tuple-impl*/ が以下のように定義されているものとする:
template<class T, タプルライク Tuple, std::size_t... I> // no constraint on Tuple before C++23
constexpr T /*make-from-tuple-impl*/(Tuple&& t, std::index_sequence<I...>)
{
    return T(std::get<I>(std::forward<Tuple>(t))...);
}

効果は以下と同等である:
return /*make-from-tuple-impl*/<T>(
std::forward<Tuple>(t),
std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>{}
);.

もし

• std::is_constructible_v<T, decltype(std::get<I>(std::declval<Tuple>()))...> が false である場合、

プログラムは ill-formed となる。

パラメータ

戻り値

構築された T オブジェクトまたは参照。

注記

保証された copy elision により、 T はmovableである必要はありません。

例

#include <iostream>
#include <tuple>
struct Foo
{
    Foo(int first, float second, int third)
    {
        std::cout << first << ", " << second << ", " << third << '\n';
    }
};
int main()
{
    auto tuple = std::make_tuple(42, 3.14f, 0);
    std::make_from_tuple<Foo>(std::move(tuple));
}

42, 3.14, 0

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目