C++ 17 std::make_from_tuple

枫2025-01-162025-01-18

C++ 17 std::make_from_tuple

std::make_from_tuple 可以理解成 std::apply 的“构造版本”。
它会把 tuple 中的元素拆开，然后用这些元素去构造一个目标对象。

1. 先看一个问题

假设有这样一个类：

class Person
{
public:
    Person(std::string n, int a) : name(std::move(n)), age(a) {}

private:
    std::string name;
    int age;
};

如果我们有一个 tuple：

1	auto t = std::make_tuple(std::string("Tom"), 20);

那怎么直接用它来构造 Person 呢？

C++17 之前通常得自己展开参数，或者借助模板技巧。
现在可以直接使用 std::make_from_tuple<Person>(t)。

2. 基本示例

#include <tuple>
#include <string>
#include <iostream>
using namespace std;

class Person
{
public:
    Person(string n, int a) : name(move(n)), age(a) {}

    void print() const
    {
        cout << name << ", " << age << endl;
    }

private:
    string name;
    int age;
};

int main()
{
    auto t = make_tuple(string("Tom"), 20);
    auto p = make_from_tuple<Person>(t);
    p.print();
    return 0;
}

3. 它和 std::apply 的关系

两者很像：

std::apply：把 tuple 拆开，调用一个函数
std::make_from_tuple：把 tuple 拆开，调用一个构造函数

所以如果你已经理解了 apply，那这个接口基本就很好懂了。

4. 适合使用的场景

4.1 参数打包后统一构造对象

有些工厂逻辑会先收集参数，再在某个阶段统一创建对象。

4.2 泛型代码

如果你写的是通用工厂、注册器、反射辅助工具，这个接口会很方便。

4.3 和 tuple 生态配合

当项目里大量用 tuple 传递构造参数时，make_from_tuple 会比较自然。

5. 一个小例子

#include <tuple>
#include <iostream>
using namespace std;

struct Point
{
    Point(int x, int y) : x(x), y(y) {}
    int x;
    int y;
};

int main()
{
    auto args = make_tuple(3, 4);
    auto pt = make_from_tuple<Point>(args);
    cout << pt.x << ", " << pt.y << endl;
    return 0;
}