Namespaces
Variants

    std::make_from_tuple

    来自 zh.cppreference.net
     
    C++
     
    工具库
    通用工具
    关系运算符 (C++20 弃用)
    整数比较函数
    (C++20)(C++20)(C++20)    
    (C++20)
    交换 和 类型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    常用词汇类型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    定义于头文件 <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> // 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::tuple_size_v<std::remove_reference_t<Tuple>> 是 1 且 std::reference_constructs_from_temporary_v<
      T, decltype(std::get<0>(std::declval<Tuple>()))>       是 true，或者
    		 (C++23 起)
    • std::is_constructible_v<T, decltype(std::get<I>(std::declval<Tuple>()))...> 是 false，

    则程序非良构。

    参数

    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)
    		以实参元组调用函数
    (函数模板)