为何std::get结合模板非类型参数可行，普通参数版不可行？

好问题！这背后的核心原因和C++模板的编译期求值规则以及std::get的设计逻辑直接相关，咱们掰开揉碎了说：

1. 模板非类型参数版本为什么能正常工作 #

• 首先，模板里的int i和int j属于编译期常量：当你写to_pair<2, 5>(my_tuple)这样的调用时，编译器在编译阶段就已经明确知道了i和j的具体数值。而std::get的设计就是要求它的索引参数必须是编译期可确定的常量表达式——毕竟tuple的元素类型是编译期固定的，编译器需要提前知道你要取哪个位置的元素来推导类型、生成代码。
• 再看返回值的decltype推导：因为i和j是编译期常量，std::get<i>(tuple)和std::get<j>(tuple)的类型在编译时就能完全确定，所以decltype可以精准推导出std::make_pair生成的pair类型，函数实现自然能顺利编译运行。

2. 普通函数参数版本为什么行不通 #

• 普通的int i和int j是运行期变量：它们的具体值只有程序跑起来之后才会确定，但std::get的模板参数（也就是那个索引）必须在编译阶段就明确下来——这是C++模板元编程的基本规则，模板参数必须是编译期常量。你没法用一个运行时才知道的值去实例化模板，编译器根本没法提前生成对应的std::get代码。
• 再看返回值的decltype部分：编译器在编译这个函数的时候，完全不知道i和j会是什么值，也就没法确定std::get<i>(tuple)到底是tuple里的哪个元素、是什么类型，自然就没法推导返回值的类型，直接会抛出编译错误。

如果你的需求是要在运行时动态指定索引提取pair，可以考虑用std::variant做类型擦除，或者在索引范围有限的情况下用switch-case枚举所有可能的索引（每个case里调用对应编译期版本的std::get），不过这都是另一个话题啦。

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