为什么在实例化模板时必须在参数包中显式显示类型？

Posted 2021-04-13

我有一个例子来说明我的问题：

#include <utility>

class Foo {
 public:
  Foo(int i) {}
};

template<typename T, typename ...Args>
class Bar {
 public:
  T t;
  Bar(Args &&... args) : t(std::forward<Args>(args)...) {}
};

并且如果我想实例化此模板：

Bar<Foo> foo(1);

编译器抛出错误：

no matching function for call to ‘Bar<Foo>::Bar(int)’

所以我必须写这个：

Bar<Foo, int> foo(1);

这很烦人，特别是如果我有一些类的参数列表很长的话。

所以有什么方法可以摆脱在参数包中显式显示类型的问题

答案

如果要构造函数转发，请使that