跳至内容

Lancern's Blog

Programming life

  • Home
  • Archive
  • About Me
  • RSS

Lancern

定制点对象和 tag_invoke

3月 16, 2023 作者 Lancern

泛型编程中,提供通用功能的库由于无法精确得知用户提供的对象的类型,往往只能采用效率不佳的通用算法实现功能。例如 … 阅读更多

分类 c++ 标签 c++、 c++17、 c++26 发表评论

dynamic_cast 的实现方法分析以及性能优化

11月 11, 202211月 4, 2022 作者 Lancern

dynamic_cast 是 C++ 中包含的四种类型转换操作符之一,它利用运行时类型识别(RTTI)特性在运 … 阅读更多

分类 c++ 标签 benchmark、 c++、 libcxxabi 2 条评论

TaPL Chapter 8 – Typed Arithmetic Expressions

11月 2, 20222月 20, 2022 作者 Lancern

前面提到,对于第三章引入的 untyped lambda calculus,对一个 term 进行求值可能会有 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

在 2022 年使用 Notion 管理博客文章

11月 2, 20221月 30, 2022 作者 Lancern

在过去的一周内,我完全重写了我的博客(也就是您正在访问的这个站点!)的前端,其中利用了 Notion 最新的官 … 阅读更多

分类 tools 标签 notion、 tools 发表评论

TaPL Chapter 6 – Nameless Representation of Terms

11月 2, 202210月 9, 2021 作者 Lancern

在第五章中引入的 untyped pure lambda-calculus 中,所有的变量都有一个符号名称,例 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

TaPL Chapter 5 – The Untyped Lambda-Calculus

11月 2, 20228月 27, 2021 作者 Lancern

本章从零开始,完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

TaPL Chapter 3 – Untyped Arithmetic Expressions

11月 2, 20228月 24, 2021 作者 Lancern

本章给出了一个非常简单的 mini language,其 abstract syntax 如下: 围绕这样一个 … 阅读更多

分类 books 标签 books、 plt、 tapl 发表评论

浅谈 C++ Undefined Behavior

11月 2, 20227月 16, 2021 作者 Lancern

最近我在知乎回答了一个有关 undefined behavior 的问题(知乎回答见这里),这个问题以及这个回 … 阅读更多

分类 c++ 标签 c++、 compiler 发表评论

理解 C++ 的六种 Memory Order

11月 1, 20227月 7, 2021 作者 Lancern

今天上午的分布式系统课程内容中包含了可线性化(Linearizability)和序列一致(Sequential … 阅读更多

分类 c++ 标签 c++ 发表评论

C++20: consteval & constinit

11月 1, 20227月 7, 2021 作者 Lancern

C++20添加了两个declaration specifier:consteval 与 constinit 。 … 阅读更多

分类 c++ 标签 c++、 c++20 发表评论
较早文章
页面1 页面2 下一页 →

Latest Posts

  • 定制点对象和 tag_invoke
  • dynamic_cast 的实现方法分析以及性能优化
  • TaPL Chapter 8 – Typed Arithmetic Expressions
  • 在 2022 年使用 Notion 管理博客文章
  • TaPL Chapter 6 – Nameless Representation of Terms

Categories

  • books
  • c++
  • tools
  • Uncategorized

Link to My Friends

  • QuarticCat's Blog
  • Spencer Woo
  • Wandai Blog

Contact me if you want to join this list.

DigitalOcean Referral Badge
© 2023 Lancern's Blog • Built with GeneratePress