深刻理解一个原理的方法之一就是去自我实现一个,上代码:
1 自定义unique_ptr
#include <iostream>
#include <utility>
template<typename T>
class unique_ptr {
private:
T * ptr_resource = nullptr;
public:
explicit unique_ptr(T* raw_resource) noexcept : ptr_resource(std::move(raw_resource)) {}
unique_ptr(std::nullptr_t) : ptr_resource(nullptr) {}
unique_ptr() noexcept : ptr_resource(nullptr) {}
~unique_ptr() noexcept {
delete ptr_resource;
}
unique_ptr(const unique_ptr<T>&) noexcept = delete;
unique_ptr& operator = (const unique_ptr&) noexcept = delete;
public:
unique_ptr(unique_ptr&& move) noexcept {
std::cout << "construct for unique_ptr&&" << std::endl;
move.swap(*this);
}
unique_ptr& operator=(unique_ptr&& move) noexcept {
std::cout << "operator= for unique_ptr&&" << std::endl;
move.swap(*this);
return *this;
}
explicit operator bool() const noexcept {
return this->ptr_resource;
}
T* release() noexcept {
return std::exchange(ptr_resource, nullptr);
}
T* get() const noexcept {
return ptr_resource;
}
void swap(unique_ptr<T>& resource_ptr) noexcept {
std::swap(ptr_resource, resource_ptr.ptr_resource);
}
void reset(T* resource_ptr) noexcept(false) {
if (resource_ptr == nullptr)
throw std::invalid_argument("An invalid pointer was passed, resources will not be swapped");
delete ptr_resource;
ptr_resource = nullptr;
std::swap(ptr_resource, resource_ptr);
}
public:
T * operator->() const noexcept {
return this->ptr_resource;
}
T& operator*() const noexcept {
return *this->ptr_resource;
}
};
class UClass {
public:
UClass() {
std::cout << "UClass class construct" << std::endl;
}
~UClass() {
std::cout << "UClass class destruct" << std::endl;
}
void printWithoutResource() {
std::cout << "UClass printWithoutResource " << std::endl;
}
void printResource() {
std::cout << "UClass printResource " << res << std::endl;
}
int getResource() {
return res;
}
private:
int res = 10;
};
class UTest {
public:
UTest() {
pTest.reset(new UClass());
std::cout << "UTest construct " << std::endl;
}
~UTest() {
std::cout << "UTest destruct" << std::endl;
}
void userTest() {
std::cout << "userTest " << pTest->getResource() << std::endl;
}
private:
unique_ptr<UClass> pTest;
};
int main() {
unique_ptr<UClass> tPtr1(new UClass());
unique_ptr<UClass> tPtr3(std::move(tPtr1));
unique_ptr<UClass> tPtr4 = std::move(tPtr3);
//tPtr1->printResource();
tPtr1->printWithoutResource();
UTest* pUTest = new UTest();
pUTest->userTest();
return 0;
}
2 std::make_unique
std::make_unique 是 C++11 标准库中的一个实用函数,它是 C++14 标准中引入的,用于创建一个 std::unique_ptr 智能指针,并将其指向一个新分配的对象。
使用 std::make_unique 比直接使用 new 表达式更为安全,因为它可以防止资源泄漏,并提供异常安全保证。
std::unique_ptr 是一个模板类,它提供了对动态分配对象的独占所有权(即没有其他智能指针可以同时拥有同一个对象的所有权)。当 std::unique_ptr 被销毁时,它所指向的对象也会被自动删除。
使用 std::make_unique
的好处如下:
异常安全:如果在构造对象时发生异常(比如在构造参数时),已分配的内存会被自动回收,这样就不会发生内存泄漏。
简洁的语法:使用 std::make_unique
能用一行代码完成智能指针的创建和对象的初始化。
避免使用裸指针:使用 std::make_unique
可以减少对 new
和 delete
的直接调用,避免裸指针的使用,使代码更现代化和安全。