如何初始化由unique_ptr管理的数组的元素?

How to initialize elements of an array managed by a unique_ptr?

本文关键字:管理 数组 元素 ptr 初始化 unique      更新时间:2023-10-16

我们知道资源获取是初始化(RAII(,我寻找语法来初始化具有参数(没有默认参数(的对象数组,由unique_ptr管理,但我没有找到任何示例,Cpp首选项中有一个构造int

int size = 10; 
std::unique_ptr<int[]> fact(new int[size]);

我怎么能这样写:

class Widget
{
Widget(int x, in y):x_(x),y_(y)
{}
int x_,y_;
};
std::unique_ptr<Widget[]> fact(new Widget[size]);

按照推荐链接
中的最后一个答案 如何使new[]默认初始化基元类型的数组?,
我想出了以下小例子:

#include <iostream>
#include <memory>
#include <string>
class Widget {
private:
std::string _name;
public:
Widget(const char *name): _name(name) { }
Widget(const Widget&) = delete;
const std::string& name() const { return _name; }
};
int main()
{
const int n = 3;
std::unique_ptr<Widget[]> ptrLabels(
new Widget[n]{
Widget("label 1"),
Widget("label 2"),
Widget("label 3")
});
for (int i = 0; i < n; ++i) {
std::cout << ptrLabels[i].name() << 'n';
}
return 0;
}

输出:

label 1
label 2
label 3

科里鲁的现场演示

诀窍是使用初始值设定项列表。

我有点不确定这是否涉及复制构造(这在小部件类库中通常是被禁止的(。可以肯定的是,我写了Widget(const Widget&) = delete;.

我不得不承认这适用于 C++17,但以前不行。


我摆弄了一下第一个例子。

我也试过

new Widget[n]{
{ "label 1" },
{ "label 2" },
{ "label 3" }
});

成功,直到我意识到我忘记在第一个例子中explicit构造函数。(通常,小部件集不允许这样做 - 以防止意外转换。修复此问题后,它不再编译。

介绍,它甚至使用 C++11 编译的移动构造函数:

#include <iostream>
#include <memory>
#include <string>
class Widget {
private:
std::string _name;
public:
explicit Widget(const char *name): _name(name) { }
Widget(const Widget&) = delete;
Widget(const Widget &&widget): _name(std::move(widget._name)) { }
const std::string& name() const { return _name; }
};
int main()
{
const int n = 3;
std::unique_ptr<Widget[]> ptrLabels(
new Widget[n]{
Widget("label 1"),
Widget("label 2"),
Widget("label 3")
});
for (int i = 0; i < n; ++i) {
std::cout << ptrLabels[i].name() << 'n';
}
return 0;
}

输出:同上

科里鲁的现场演示

您可以使用放置新删除器和自定义删除器:

class Widget {
public:
int i;
Widget(int i) : i(i) {}
~Widget() { std::cout << i; }
};
class WidgetDeleter {
int _size;
public:
WidgetDeleter(int size) : _size(size) {}
void operator()(Widget* w) { 
for (int i = 0; i < _size; ++i) w[i].~Widget();
}
}; 
void main() {
const int widgetsCount = 10;
auto widgets = std::unique_ptr<Widget[], WidgetDeleter>(
(Widget*)(new byte[widgetsCount * sizeof(Widget)]), WidgetDeleter(widgetsCount));
for (int i = 0; i < widgetsCount; ++i) new (widgets.get() + i)Widget(i);
for (int i = 0; i < widgetsCount; ++i) std::cout << widgets[i].i;
std::cout << std::endl;
}

正如预期的那样,我们有两行输出:


0123456789 0123456789

请注意,由于删除器在这里是有状态的,因此无法使用std::unique_ptr<Widget[], WidgetDeleter>[unique.ptr.single.ctor#8] 的默认构造函数