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 >>> { }
) ; 。

如果

(since C++23)

该程序是非良构的。

目录

参数

t - 其元素将用作 T 构造函数参数的元组

返回值

构造的 T 对象或引用。

注释

Tuple 不必是 std::tuple ，而可以是任何支持 std::get 和 std::tuple_size 的类型；特别是可以使用 std::array 和 std::pair 。

(C++23 前)

Tuple 被约束为类元组类型，即其中每个类型都必须是 std::tuple 的特化或其他（例如 std::array 和 std::pair ）实现了 tuple-like 概念的类型。

(C++23 起)

由于 保证性拷贝消除 机制， T 无需具备可移动性。

功能测试 宏 值 标准 功能
__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 在单元素元组情况下允许包含 reinterpret_cast 等转换操作 禁止使用

参见

(C++11)
创建由实参类型定义的 tuple 对象
(函数模板)
(C++11)
创建由 转发引用 构成的 tuple
(函数模板)
(C++17)
以实参元组调用函数
(函数模板)