背景

每一个cpp expression都有一个type 和 value category 属性 前者大家都比较了解，但是后者却常常被忽视

Value Categories in the c language

cpp是由c语言发展而来，因此这里先介绍c 语言中的value category

概述

std::shared_ptr是智能指针的一种，在modern c++中被广泛使用（甚至滥用)

虽然天天使用，但是有些细节还不是100%清楚，因此来整理一下 为了方便表述，下文只写shared_ptr,不在写std的namespace.

背景

一种很常见的背景是，需要表示未知类型的数据。 比如可能是用户提供的数据，比如是一个Cache的实现， value想支持任意类型的数据

对于这种场景，c语言的出身的开发者通常会使用void*来实现

把std::async,std::packaged_task,std::promise三个放在一起来说,是因为他们都可以返回一个std::future对象.简单来说,当某个线程需要等待一个特定的一次性事件(one-off event),它可以用一个"future"来表示这个事件.

condition_variable 类是同步原语，能用于阻塞一个线程，或同时阻塞多个线程，直至另一线程修改共享变量（条件）并通知 condition_variable 。

用人话来说,condition_variable，也就是条件变量，是线程间通信的一种方式。

多线程保护数据时，一种较为特殊的情况是只需要保护资源的初始化。

资源初始化一般遵循"lazy initialization"的原则，也就是在用到该资源最近的地方再初始化。

背景

move semantics是modern cpp中非常重要的特性，有必要详细了解一下。

updateime: 2022年7月2日

move semantic

基本的内容大家都很熟悉，就不说了

std::move 做了什么

std::move没有move任何内容，只是简单把传进来转换为对应的rvalue reference

起因是在看《CplusplusConcurrencyInAction_PracticalMultithreading》的时候，里面讲到初始化std::thread的时候，如果thread funtion的参数列表中有引用，需要传入std::ref才可以得到符合预期的结果。

最近在学习node.js，里面讲到node.js的事件机制使用了观察者模式，因此来学习一下。

观察者模式的目的是定义对象间的一种一对多的依赖关系，当一个对象的状态发生改变时，所有依赖于它的对象都得到通知并被自动更新。

用人话就是，主线程传给附属线程一个promise Object,然后主线程想要获取附属线程set给promise Object的值（也就是该线程返回的某个结果），需要通过主线程中的promise object 得到对应的future object(每个promise 对应一个 future),然后调用future 的get方法。如果附属线程没有执行作为参数传入的promise的set方法去返回结果，那么程序就会block住。