c++ - 构造函数中的c ++参数包规范而不是模板

Question

与带有参数包的函数声明不同，我发现类需要尖括号中每个参数的类型......

Component<IntegerPair, int, int> temp(40, 5);

...这似乎是多余的。这是我的定义Component：

template<typename T, class... T_Args>
class Component
{
public:
  Component(T_Args... args)
    : m_data(args...)
  {}

  T m_data;
};

1. 有没有办法int, int从上述声明中删除？
2. 如果是这样，是否可以删除它？
3. 另外，我的实例化方式m_data安全吗？使用 std::forward<T_Args>(args)...编译器时告诉我，我没有可以转换所有参数类型的构造函数。

Answer 1

一种方法是使构造函数成为模板：

#include <utility>

struct IntegerPair {
    IntegerPair(int, int) {}
};

template<typename T>
class Component
{
public:
  template<typename... T_Args>
  Component(T_Args&&... args)
    : m_data(std::forward<T_Args>(args)...)
  {}

  T m_data;
};

int main()
{
    Component<IntegerPair> c {1,2};
}

这在功能上等价于std::vector及其成员函数emplace_back。没关系，IMO。错误消息非常神秘，就像在这样的模板构造中一样，但这可以通过适当的static_assert.

Answer 2

模板参数推导仅适用于函数调用，因此实现您想要的基本模式如下所示：

template<typename T, class... T_Args>
Component<T, T_Args...> makeComponent(T_Args&&... args) {
   return Component<T, T_Args...>(std::forward<T_Args>(args)...);
}

用法：

auto c = makeComponent<IntegerPair>(1, 1)