System Programming

C++
系统级编程

现代C++、内存模型、零成本抽象、性能优化,深入探索系统级编程的本质。

Articles

全部文章

涵盖C++20/23新特性、现代模板编程、内存模型、性能优化等深度技术内容。

现代C++ vs Rust:系统级编程语言的设计哲学对比

从内存安全、所有权模型、抽象层次三个维度深度对比C++20/23与Rust的设计哲学,解析何时选择何种语言,以及共存策略。

🔄

C++20 Coroutines 深度解析:协程底层实现与性能分析

解析 coroutine_handle、promise_type、awaiter 机制的编译器转换,对比 libgo/libmill 协程库,分析协程在网络 IO 场景的零成本抽象。

📝

C++23 std::format 与格式化库:性能超越 printf 的实现细节

从 fmtlib 核心解析 format string 解析、variadic template 参数展平、locale 无关的数字格式化,以及在游戏引擎日志系统中的实战。

🧠

C++ 内存管理:std::pmr 与内存资源化编程

解析 std::pmr::memory_resource 接口设计、new_delete_resource、monotonic_buffer_resource,以及在高性能服务器中减少内存碎片的实战经验。

⚙️

C++ 模板元编程: constexpr 容器与编译期计算深度实践

从 C++17 constexpr if 到 C++20 constexpr std::array 完整容器,解析编译器常量求值边界、模板歧义消除,以及编译期计算在游戏配置表加载中的应用。

🔀

C++ 并发编程:atomic 底层原语与 Memory Order 深度解析

从 x86 TSO 到 ARM/POWER 的弱顺序模型,解析 std::memory_order 六大语义、acq_rel 与 seq_cst 的性能差异,以及无锁数据结构的实现。

C++23 std::expected 与错误处理:Either Monad 工程实践

解析 std::expected 的 monadic 接口设计,对比 std::optional + 异常的性能开销,以及在金融交易系统中的错误处理范式迁移实践。

🚩

C++ 跨平台抽象:Abseil FLAGS 与 Google 命令行参数实践

从 FLAGS 注册机制到 FlagSaver 的作用域守卫,解析宏展开、条件编译,以及在多平台(Linux/macOS/Windows)服务中的配置管理经验。

📦

C++ 包管理新纪元:CMake + vcpkg 与 Conan 生态对比

从 conanfile.txt 到 CMake Presets,解析三方库依赖管理、交叉编译、版本锁定,以及在大规模 C++ 项目中的 CI/CD 流水线构建经验。