按P0522及cppreference应报错的模板参数代码无报错的困惑

问题核心原因 #

你遇到的矛盾源于标准规则的后续修订以及编译器的超前实现，并非你的理解有误：

1. P0522提案的规则变化
   P0522早期草案确实规定FA<SI>()这类匹配会因歧义报错，但在C++20标准定稿阶段，对可变非类型模板参数的匹配逻辑做了优化：当可变参数模板能精确匹配目标模板的参数列表时，会被优先选择，不再触发歧义错误。cppreference上的示例可能未及时更新到最终标准的规则。

2. 编译器的超前支持
   主流编译器（GCC、Clang、MSVC）在C17后期就已经提前实现了C20的这一优化规则，即便你指定-std=c++17编译，编译器也会启用向后兼容的优化逻辑，所以代码能正常通过编译。

3. 你的catch_all模板合法性
   你定义的接受任意数量非类型模板参数的catch_all模板，在C17及之后是完全合法的。C17扩展了可变模板参数的范围，允许非类型参数也支持可变数量，因此可以用来匹配i、f、fi这类不同参数数量的类模板。

验证早期标准行为的方法 #

若想复现P0522早期草案中的报错场景，可以：

• 使用较旧版本的编译器（比如GCC 8之前、Clang 9之前），并开启严格标准模式（如-std=c++17 -pedantic-errors）；
• 查看编译器的版本更新日志，确认其在哪个版本开始引入了该匹配优化。

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