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;
};

有没有办法从上述声明中删除int, int？
如果是，确定是否可以将其删除？
另外，我的实例化方式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)

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

2 个答案: