为什么 C++ 可以从左侧推导出赋值运算符右侧的模板参数？

Question

template <typename T>
void func(T&){
}

int main(){
    void (*p)(int&) = func;//or &func
    return 0;
}

我想知道为什么这段代码可以编译（使用 g++）。模板函数的参数似乎是从 p 的类型推导出来的？这是标准行为吗？

编辑： 我想出了一个可能的解释。该作业有签名：

void(*&)(int&)operator=(void(*)(int&));

所以func实际上是从operator=的输入参数类型推导出来的，而不是直接从p的类型推导出来的。对吗？

Answer 1

这是标准行为吗？

是的。当您获取函数模板的地址时（例如在分配或初始化函数指针时所做的），模板参数推导也会发生。 [temp.deduct.funcaddr]/1 中明确允许：

模板参数可以从取时指定的类型推导出来 重载函数的地址。函数模板的 函数类型和指定类型作为 P 和 A 的类型， 并且按照[temp.deduct.type]中的描述进行扣除。

函数指针类型提供参数（上一段中的A）。

所以 func 实际上是从 operator= 的输入参数类型推导出来的，而不是直接从 p 的类型推导出来的。对吗？

不是真的。一方面，这不是分配，而是您正在做的初始化。即使它使用了重载的operator= 函数，你也需要推导来初始化赋值运算符的参数，这会让你回到第一个问题。