clang 不使用可变参数推断可变参数模板函数中的模板参数

Question

考虑代码：

#include <tuple>

template<class... Args, class T>
T method(std::tuple<Args...>, Args..., T, ...) {
   return T();
}

int main() {
    method(std::make_tuple<int, float, double>(1, 1.0f, 1.0),
        1, 1.0f, 1.0, 1);
}

g++ 从 4.9 开始编译没有问题。另一方面，clang++ 提供了一个错误：

main.cpp:9:5: error: no matching function for call to 'method'
    method(std::make_tuple<int, float, double>(1, 1.0f, 1.0),
    ^~~~~~
main.cpp:4:3: note: candidate template ignored: couldn't infer template argument 'T'
T method(std::tuple<Args...>, Args..., T, ...) {
  ^
1 error generated.

哪个编译器是正确的？

Answer 1

代码格式不正确。两个编译器都正确编译失败：

#include <tuple>

template<class... Args, class T>
T method(std::tuple<Args...>, Args..., T) {
   return T();
}

int main() {
    method(std::make_tuple<int, float, double>(1, 1.0f, 1.0),
        1, 1.0f, 1.0, 1);
}

我们确实有，来自 [temp.deduct.call]，强调我的：

当一个函数参数包 出现在非推导上下文 (14.8.2.5) 中，该参数包的类型从不推导。

Args... 出现在非推导上下文中，因为来自 [temp.deduct.type]：

非推导上下文是：[...] 一个函数参数包，不会出现在 parameter-declaration-list 的末尾。

因此，按照标准的确切措辞，Args... 不应被推导出来，因此您必须明确提供它 - 在这种情况下，由于T 仍然不可能。

但在这种情况下，Args... 同时出现在推导的 和 非推导上下文中 - 应该没有什么可以阻止 Args... 从 tuple 参数推导出为 {int, float, double}然后简单地将推导重新用于可变参数，然后在最后将T 推导为int。

但是这个提议的过程会与我们独立处理每个参数/参数对的典型演绎过程相冲突。在这种情况下，对T 的推导很大程度上取决于从tuple<> 参数/参数对中对Args... 的推导。

如果你只是翻转排序：

template <class... Args, class T>
T method(std::tuple<Args...>, T, Args...) { ... }

然后两个编译器都会编译它。

我不知道为什么 gcc 接受带有可变参数的原始示例。这显然是错误的。

另外，如果你翻转模板参数规范，这样你就可以指定T而不需要扣除，那么clang接受但gcc拒绝：

template<class T, class... Args>
T method(std::tuple<Args...>, Args..., T) {
    return T();
}

int main() {
    method<int>(std::make_tuple<int>(1), 1, 1);
}

我希望这是格式正确的 - 可以推断出 Args... 而 T 不必如此。因此，在我看来，“从不推断”的措辞是有问题的。