gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-11-30 03:25:36 28 4
gpt4 key购买 nike

例如,

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

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

  1. node<T> v{ T(forward<Us>(args)...) } .这涉及copy-initialization如果 T 则无法正常工作是不可复制和不可移动的,例如 atomic类型。

  2. node<T> v{ {forward<Us>(args)...} } .这涉及copy-list-initialization如果所选的构造函数是显式的,它将无法工作。例如,node<unique_ptr<int>> n{ {new int()} }不起作用。

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

最佳答案

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)...) }不引起复制或移动。

关于c++ - 在通用模板代码中初始化聚合成员,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48944376/

28 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com