如何解决区别: std::make_unique<char>(size_t size) 和 std::make_unique<char[]>(size_t size)?
我正在实现循环数组数据结构,其代码如下所示:
struct CircularArrayException : public std::exception {
std::string msg;
CircularArrayException(const std::string arg_msg)
: msg{"CircularArrayException: " + arg_msg} {}
const char * what () const throw () {
return msg.c_str();
}
};
template <typename T>
class CircularArray {
public:
const size_t array_size;
std::unique_ptr<T> uptr_arr;
size_t occupied_size = 0;
int front_idx = -1;
int back_idx = -1;
CircularArray(const CircularArray& ca) = delete;
CircularArray& operator=(const CircularArray& ca) = delete;
CircularArray(
const size_t arg_array_size
): array_size{arg_array_size} {
uptr_arr = std::make_unique<T>(array_size);
};
};
实施后,我使用 CircularArray<char>
测试了实施,并且运行良好。
但是,后来我意识到我们使用 std::make_unique<char[]>(num_elements)
来向数组声明一个 unique_ptr,而不是 std::make_unique<char>(num_elements)
。但是,即使这样,代码似乎也能正常工作。我查看了 std::make_unique
here 的文档,无法理解 (2)nd 签名的解释。任何人都可以帮助我了解差异以及为什么我的代码有效?
这是 (2) 签名的 cppreference 上写的内容:
template< class T >
unique_ptr<T> make_unique( std::size_t size );
(2)(C++14 起) (仅适用于未知边界的数组类型)
构造未知边界 T 的数组。仅当 T 是未知边界数组时,此重载才参与重载决议。该函数等效于:unique_ptr<T>(new typename std::remove_extent<T>::type[size]())
这是金螺栓链接:https://godbolt.org/z/K9h3qTeTW
解决方法
std::make_unique<char>(65);
创建一个指向 单个 字符的指针,该字符初始化为值 65
('A'
)。 std::make_unique<char[]>(65)
创建一个包含 65 个元素的数组。
如果您运行此代码:
#include <memory>
#include <iostream>
int main()
{
auto a = std::make_unique<char>(65);
std::cout << *a << "\n";
auto b = std::make_unique<char[]>(65);
std::cout << (int)b[0] << "\n";
}
当数组元素未初始化时,它将为第一个打印 A
,为第二个打印一个未定义的值(可能为 0)。
您的代码偶然“有效”,使用“数组”中的任何超过 1 个元素都会导致未定义的行为。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。