是否允许在函数模板的显式特化中扣除多个模板参数？

Question

以下引用来自[temp.expl.spec.11]：

尾随 template-argument 可以在 template-id 中未指定，命名提供的显式函数模板特化 it 可以从函数参数类型推导出来。

表示只能推导出单个尾随模板参数。这会使以下示例代码不正确：

template <typename T1, typename T2>
void f(T1, T2*);  

template<>
void f(int, double*) { }

int main()
{
    auto d = 2.0;
    f(1, &d);
}

但是，使用 GCC 和 Clang 可以很好地编译代码。这些编译器是否应用了一些非标准的语言扩展，或者是否支持多个尾随参数的推导？

如果后者为真，为什么句子不形成如下？

尾随 template-arguments 可以在 template-id 中未指定，如果他们命名一个显式的函数模板特化strong> 可以从函数参数类型s推导出来。

Answer 1

开头的“a”指的是any而不是one。

A[ny] 尾随 template-argument 可以在命名显式函数模板特化的 template-id 中未指定，前提是它可以从函数参数类型推导出来.

这是我刚刚编的一句话：

函数参数的类型T调整为const T，然后再进行分析。

这并不是说只调整众多参数中的一个，而是调整每一个；如果有的话，因为也可能没有参数。

“a”在更一般的意义上是指任何一件事。

Answer 2

引号并不表示只能省略一个参数。

如果可以从函数参数类型推导出来，则可以在命名显式函数模板特化的模板 ID 中未指定尾随模板参数。

表示如果可以推导出一个（任何）参数，则可以省略它。所以在

template<>
void f(int, double*) { }

我们不需要指定T1，因为它可以从int推导出来，我们不需要指定T2，因为它可以从double*推导出来。

如果标准只允许不指定单个参数，它会这样写

可以在命名显式函数模板特化的模板 ID 中未指定单个尾随模板参数，前提是它可以从函数参数类型推导出来。