为什么std::make_from_tuple在结构体无自定义构造函数时编译失败

这个编译错误本质是C++标准版本迭代导致的std::make_from_tuple行为差异，和聚合类型的初始化规则直接相关： #

1. C++17标准下的限制 #

C17首次引入std::make_from_tuple时，它的底层实现逻辑是调用 T(std::forward<Args>(args)...) 形式的函数式构造语法，要求类型T必须存在匹配参数列表的构造函数。
而你注释掉自定义构造函数时，结构体A属于聚合类型，C17的聚合初始化只支持大括号语法A{1,2,3}，不支持小括号的构造调用形式A(1,2,3)，因此找不到匹配的构造函数，触发编译错误。

2. C++20标准的兼容优化 #

C20新增了括号形式的聚合初始化特性，允许聚合类型直接用小括号传递参数完成初始化，此时std::make_from_tuple的底层小括号构造逻辑也能适配聚合类型。
如果将编译器的C标准切换到C++20及以上（MSVC加/std:c++20编译选项，GCC/Clang加-std=c++20），即使注释掉自定义构造函数，你的代码也可以正常编译运行。

3. C++17环境下的替代方案 #

如果必须使用C++17标准，不需要新增自定义构造函数也能实现相同效果，可以用std::apply手动配合大括号聚合初始化：

auto t = std::make_tuple(1, 2, 3);
A a = std::apply([](auto&&... args) {
    return A{std::forward<decltype(args)>(args)...};
}, std::move(t));

这种写法直接使用聚合初始化的大括号语法，绕开了构造函数的要求，在C++17环境下可以正常编译。

内容的提问来源于stack exchange，提问作者Michal