c++ - 自动检测不带参数的模板参数

Question

这是 an answer 的一个分支到另一个SO post .

我有以下工作代码，具有预期的输出。

#include <iostream>

template <typename T>
T twice(T in)
{
   return 2*in;
}

struct Foo
{
   Foo operator+(int (*func)(int in)) const
   {
      Foo ret{data};
      ret.data += func(ret.data);
      return ret;
   }
   int data;
};

int main()
{
   Foo f1{20};
   Foo f2 = f1 + twice;
   Foo f3 = f1 + twice<int>;
   std::cout << f2.data << std::endl;
   std::cout << f3.data << std::endl;
}

直到昨天我才知道，即使没有参数，编译器也可以推断出函数模板的类型参数。在上面的代码中，表达式

f1 + twice

和

f1 + twice<int>

产生相同的值。

我的问题是:在 C++03/C++11 标准中，我们在哪里可以找到编译器自动类型检测逻辑的必要支持文档？

Answer 1

C++11 14.8.2.2 Template arguments can be deduced from the type specified when taking the address of an overloaded function.

这里，operator+的参数类型指定的类型为int(*)(int)，重载函数为twice，所以 int 被推断为模板参数以提供匹配的函数类型。如果您需要该扣除的详细信息，请参阅 14.8.2.5。