Namespaces
Variants

std:: make_from_tuple

From cppreference.net
C++
Utilities library
定義先ヘッダ <tuple>
template < class T, class Tuple >
constexpr T make_from_tuple ( Tuple && t ) ;
(C++17以降)
(C++23以前)
template < class T, tuple - like Tuple >
constexpr T make_from_tuple ( Tuple && t ) ;
(C++23以降)

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

以下のように定義される説明専用関数 /*make-from-tuple-impl*/ が与えられた場合:
template < class T, tuple-like Tuple, std:: size_t ... I > // C++23以前はTupleに対する制約なし
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 >>> { }
) ; 。

もし

(C++23以降)

プログラムは不適格です。

目次

パラメータ

t - T のコンストラクタの引数として使用される要素を持つtuple

戻り値

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

注記

Tuple は std::tuple である必要はなく、 std::get および std::tuple_size をサポートする任意の型を使用できる。特に、 std::array および std::pair を使用できる。

(C++23まで)

Tuple はタプルライクであるように制約され、すなわち、その中の各型は std::tuple の特殊化、または tuple-like をモデル化する他の型（ std::array や std::pair など）であることが要求される。

(C++23以降)

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

機能テスト マクロ 値 標準 機能
__cpp_lib_make_from_tuple 201606L (C++17) std::make_from_tuple

例

このコードを実行 
#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++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 3528 C++17 1要素タプルの場合、 reinterpret_cast などを含むキャストが許可されていた 禁止

関連項目

(C++11)
引数の型によって定義される型の tuple オブジェクトを作成する
(関数テンプレート)
(C++11)
転送参照 の tuple を作成する
(関数テンプレート)
(C++17)
引数のタプルで関数を呼び出す
(関数テンプレート)