为什么std::make_tuple要求使用移动语义？

你遇到的编译报错属于std::make_tuple的使用错误，不是设计缺陷，核心原因如下：

1. 错误点分析 #

std::make_tuple的设计初衷就是自动推导入参类型生成对应tuple，完全不需要手动指定模板参数。你手动写make_tuple<int, int>(x, y)强制指定模板参数的写法，直接破坏了其底层完美转发的推导逻辑，才会触发右值引用无法绑定左值的报错。

std::make_tuple的参数是转发引用Types&&...，遵循C++的引用折叠规则：

• 不手动指定模板参数时，传入左值int会自动将模板参数推导为int&，折叠后参数类型为int&，可以正常接收左值；传入右值时推导为int，参数类型为int&&，触发移动语义，兼顾两种场景的效率。
• 你手动指定模板参数为int, int时，转发引用的推导直接失效，参数类型被强制固定为int&&，自然无法接收左值变量x、y。

2. 设计差异的本质 #

• std::tuple的构造函数有多组重载，既支持接收左值const引用做元素拷贝，也支持接收右值引用做元素移动，你用列表初始化{x,y}构造时，自动匹配到接收左值的重载，所以编译正常。
• std::make_tuple是语法糖性质的辅助函数，核心目标是简化tuple创建流程：不需要用户手写冗长的std::tuple<类型列表>声明，也不需要用户手动处理左值/右值的适配，正常使用（不手动指定模板参数）的场景下，和直接构造tuple的行为完全一致，不存在必须传右值的限制。

正确的make_tuple用法如下：

int x = 7, y = 5;
std::tuple<int, int> fraction = std::make_tuple(x, y); // 编译通过
// 或者更简洁的写法
auto fraction = std::make_tuple(x, y);

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