Question

例如，

template <typename T>
struct node {
  T data;
  node* pnext;
};

template <typename T, typename... Us>
void func(Us&&... args) {
  // Initialize a node<T> with data initialized from args...
}

我能想到的方式及其局限性。

node<T> v{ T(forward<Us>(args)...) }。这涉及copy-initialization，如果T不可复制且不可移动，则无效，例如atomic类型。
node<T> v{ {forward<Us>(args)...} }。这涉及copy-list-initialization如果所选构造函数是显式的，则无法工作。例如，node<unique_ptr<int>> n{ {new int()} }不起作用。

如果我能以某种方式直接初始化（例如，直接列表初始化）聚合成员，我想问题就解决了。然而，除了编写用户提供的构造函数之外，我没有发现这是可能的，使node成为非聚合类型，这是过度的，我不愿意这样做。有什么想法吗？

Answer 1

C ++ 14没有解决这种困境的有效方法。好吧，不是在使用聚合初始化时。如果给node<T>一个可变参数构造函数，那么它可以将参数直接转发给成员初始值设定项：

template <typename T>
struct node {
  T data;
  node* pnext;

  template<typename ...Args>
  node(Args ...&&args) : data(std::forward<Args>(args)...) {}
};

因此允许您调用node<T> v( T(forward<Us>(args)...) )。当然，它不再是聚合。

C ++ 17的保证省略规则允许node<T> v{ T(forward<Us>(args)...) }不引起复制或移动。

在通用模板代码中初始化聚合成员

1 个答案: