c++ - 为什么构造函数不能推断模板参数？

Question

这个问题在这里已经有了答案:

Why not infer template parameter from constructor? (12 个回答)

关闭 7年前。

template< class T >
class Foo {
public:
  Foo( T t ) { }
};

int main () {
  int i = 0;
  Foo f( i );
}

在上面的代码中，编译器提示在 'f' 之前缺少模板参数。我知道从构造函数的参数推断类的模板参数不是标准的一部分，但我的问题是为什么？编译器是否没有隐式实例化所需的所有信息Foo<int>并调用它的构造函数？

经过编辑以明确我使用 int 调用构造函数(与 short 、 long 、 void* 等相反)

Answer 1

因为没有人具体说明它是如何工作的。目前有一个向标准委员会提交的提案，以使其发挥作用。它还列出了一些困难:

http://open-std.org/JTC1/SC22/WG21/docs/papers/2015/n4471.html

更新:这是提案的最新版本:

http://open-std.org/JTC1/SC22/WG21/docs/papers/2015/p0091r0.html