为何Clang、MSVC、GCC对含index_sequence函数调用的代码编译结果不一致？

回答 #

两处编译差异都属于编译器实现缺陷，C++标准对相关语法的规定是明确的。

1. 第一个代码片段GCC报错的问题
   从C++20标准开始，允许在模板非类型实参的位置使用满足常量求值要求的、引用函数形参的表达式。只要传入的f是可用于常量求值的可调用对象，f(Is)...作为模板实参完全合法，Clang和MSVC的处理符合标准要求，该报错是GCC前端的已知bug，在GCC 12及之后的版本中已经完成修复。
2. 修改后代码MSVC报错的问题
   F{}(Is)的写法完全符合C++语法规则：在尾随返回类型的模板非类型实参位置，构造F类型的临时常量对象并调用是标准明确允许的行为。MSVC此处报错是因为其模板解析器对「花括号初始化+函数调用」的组合表达式解析存在缺陷，属于实现层面的问题。

如果需要兼容全平台编译器，可以给表达式外层加一层括号规避解析bug，即写成std::index_sequence<(F{}(Is))...>即可。

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