Effective Modern C++ 学习记录8.30

小猴啊0.0

已于 2023-10-11 11:37:56 修改

阅读量101

点赞数 1

文章标签： c++ 学习开发语言

于 2023-08-30 21:49:32 首次发布

本文链接：https://blog.csdn.net/qq_52758467/article/details/132580251

版权

本文深入探讨了C++中的智能指针（unique_ptr和shared_ptr）用法、析构保证、工厂模式、RTTI、异常安全、Pimpl惯用法、完美转发以及并发API，帮助理解高效和安全的内存管理策略。

摘要由CSDN通过智能技术生成

1.第四章智能指针

如何选择unique_ptr 和shared_ptr？

unique_ptr 的使用场景，最常见的就是拥有一个对象的所有权，就像传统 C 指针的最基础用法，保存一个申请于堆上的对象

  auto q = std::make_unique<Foo>(1);//better

shared_ptr用法：

作为需要保存在容器里的对象，同时避免频繁创建引起性能上的开销
如果一个类的创建需要比较多的资源（例如比较大的的内存和拷贝），如果我们直接保存在容器里可能会在拷贝时产生比较大的性能损失，这个时候可以考虑使用shared_ptr，然后将shared_ptr保存于容器。

     vector<std::shared_ptr<Foo>> foos;
     // ...
     for(auto &foo : foos){
         process_func(*foo);
     }

1.如何理解保证析构在所有代码路径上都仅执行一次：

同一对象的析构（函数）只执行一次。

2.工厂函数，工厂模式

使用父类指针创建，替换，转化子类对象的方法叫工厂模式

3.理解RTTI

参考：C++运行阶段类型识别（Runtime Type Identification）（C++新特性）_SOC罗三炮的博客-CSDN博客

C++的 RTTI 观念和用途（非常详细） - findumars - 博客园 (cnblogs.com)

4.条款18 std::unique_ptr

Effective Modern C++ 有如下代码：

template<typename... Ts>
std::unique_ptr<Investment, decltype(delInvmt)> 
makeInvestment(Ts&&... params)
{
 std::unique_ptr<Investment, decltype(delInvmt)>
        pInv(nullptr, delInvmt); 
..........
}

std::unique_ptr<Investment, decltype(delInvmt)> 第二个参数是自定义析构器。

参考源码：

// _Tp为管理对象的类型，_Dp为析构器的类型
// default_delete是默认析构器，默认析构器中使用delete运算符实现对象的析构
template <typename _Tp, typename _Dp = default_delete<_Tp>>
class unique_ptr
{
    // 使用__uniq_ptr_impl管理要管理的heap对象
    // _Tp为管理对象类型，_Dp为析构器
    __uniq_ptr_impl<_Tp, _Dp> _M_t;
public:
    using pointer    = typename __uniq_ptr_impl<_Tp, _Dp>::pointer;
    using element_type  = _Tp;
    using deleter_type  = _Dp;
};

5.循环引用

class B;
class A
{
public:
　　shared_ptr<B> m_b;
};
 
class B
{
public:
　　shared_ptr<A> m_a;
};
 
int main()
{
　　while (true)
　　{
　　　　shared_ptr<A> a(new A); //new出来的A的引用计数此时为1
　　　　shared_ptr<B> b(new B); //new出来的B的引用计数此时为1
　　　　a->m_b = b; //B的引用计数增加为2
　　　　b->m_a = a; //A的引用计数增加为2
　　}
 
　　//b先出作用域，B的引用计数减少为1，不为0，所以堆上的B空间没有被释放
　　//且B持有的A也没有机会被析构，A的引用计数也完全没减少
 
　　//a后出作用域，同理A的引用计数减少为1，不为0，所以堆上A的空间也没有被释放
}

参考：智能指针循环引用 - 知乎 (zhihu.com)