Hazard Pointers
最近 C++ 标准委员会投票将 C++ 标准库提案 P2530 合入了 C++26 标准。本文将对该提案中包含 … 阅读更多
Lancern
定制点对象和 tag_invoke
泛型编程中，提供通用功能的库由于无法精确得知用户提供的对象的类型，往往只能采用效率不佳的通用算法实现功能。例如 … 阅读更多
dynamic_cast 的实现方法分析以及性能优化
dynamic_cast 是 C++ 中包含的四种类型转换操作符之一，它利用运行时类型识别（RTTI）特性在运 … 阅读更多
TaPL Chapter 8 – Typed Arithmetic Expressions
前面提到，对于第三章引入的 untyped lambda calculus，对一个 term 进行求值可能会有 … 阅读更多
在 2022 年使用 Notion 管理博客文章
在过去的一周内，我完全重写了我的博客（也就是您正在访问的这个站点！）的前端，其中利用了 Notion 最新的官 … 阅读更多
TaPL Chapter 6 – Nameless Representation of Terms
在第五章中引入的 untyped pure lambda-calculus 中，所有的变量都有一个符号名称，例 … 阅读更多
TaPL Chapter 5 – The Untyped Lambda-Calculus
本章从零开始，完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规 … 阅读更多
TaPL Chapter 3 – Untyped Arithmetic Expressions
本章给出了一个非常简单的 mini language，其 abstract syntax 如下： 围绕这样一个 … 阅读更多
浅谈 C++ Undefined Behavior
最近我在知乎回答了一个有关 undefined behavior 的问题（知乎回答见这里），这个问题以及这个回 … 阅读更多
理解 C++ 的六种 Memory Order
今天上午的分布式系统课程内容中包含了可线性化（Linearizability）和序列一致（Sequential … 阅读更多