模板参数包展开顺序存疑：GCC与Clang行为差异咨询

核心结论 #

Clang的行为符合C++标准，GCC的行为存在实现偏差（属于编译器bug）。

标准规则说明 #

C++标准对折叠表达式的展开顺序有明确规定：

• 一元左折叠(E op ...)：按照模板参数包Ts...的从左到右顺序依次展开表达式E
• 一元右折叠(... op E)：按照模板参数包Ts...的从右到左顺序依次展开表达式E

当折叠表达式用于生成std::vector<std::variant<...>>的元素时，元素顺序必须严格匹配上述展开顺序。后续用这些元素调用std::make_tuple时，参数顺序直接决定最终tuple的类型顺序，因此正确的元素顺序会生成符合预期的tuple。

编译器行为对比 #

• Clang：严格遵循折叠表达式的展开规则：
  • in_order函数使用左折叠，生成的vector元素顺序与Ts...一致，因此make_tuple展开后得到的tuple类型顺序正确
  • reversed函数使用右折叠，生成的vector元素顺序为Ts...的逆序，make_tuple得到的tuple类型顺序也随之反转，完全符合预期
• GCC：错误地反转了折叠表达式作为函数参数展开时的顺序：
  • 左折叠生成的vector元素是逆序，右折叠反而生成正序，导致in_order和reversed的表现完全颠倒，违反了标准规定的折叠展开逻辑

解决方案 #

可以通过以下方式规避该问题：

• 直接使用std::tuple<Ts...>的构造函数，显式指定类型，而非依赖std::make_tuple的类型推导
• 等待GCC修复该折叠表达式的实现bug

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