C语言中具有多个参数包的函数的重载解析

Question

一个 C 函数可以有多个参数包。虽然它看起来不是很实用，但了解它们的语言规则仍然很有趣。

例如，在两个过载的情况下：

constexpr int f(auto...) { return 1; }
constexpr int f(auto..., auto...) { return 2; }

不带参数 f（） 的 f 在 MSVC 中选择版本 1，在 Clang 中选择版本 2，在 GCC 中选择不明确的重载调用。

如果使用参数f（1）调用f，则MSVC和GCC都选择版本1，而Clang仍然选择版本2。

演示：https://gcc.godbolt.org/z/PWr6h1dn1

哪个编译器就在这里？

有一个类似的问题函数模板重载解析两个参数包，但是

< li >那里的函数只有一个参数包作为函数参数(第二个参数包根本没有使用)， < li >此处的示例在所有测试的编译器中都导致了歧义错误(但是提到的编译器错误仍未解决)。实际上，在这个例子中，歧义也是可以预期的，但是这里大多数编译器选择了一个重载而没有错误。

Answer 1

在这两种情况下，这将导致程序因不明确而被拒绝。

首先请注意:

在函数调用的上下文中，使用的类型是函数调用具有参数的函数参数类型。

也就是说，只有提供的实际参数才有助于函数模板部分排序。因此，（2）中前面函数参数包的存在不会导致一个函数模板对另一个函数模板的推导过程；它被推断为空并且没有进一步的贡献。

现在，使用尾随包进行部分排序的决胜局无济于事，因为两者都有一个尾随包：

[...]如果G有一个F没有对应参数的尾随函数参数包，并且如果F没有尾随函数参数包，那么F比G更专业。

但两者都有一个尾随参数包，并且长度相同，因此“whichF上的语言没有相应的参数”（这一点不完全清楚；请参见CWG 1395）也没有帮助。

我认为，如果提供了模板参数（并且它们是可以推断的参数），那么（2）应该是首选的，因为在这种情况下，它的尾随函数参数包将更短。但是，这一点非常不清楚。clang同意我的观点，但gcc和MSVC采取了相反的路线。