blog of peter

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25 Java 11 于 2018-09-25 正式发布，是继 Java 8 之后的第一个长期支持（LTS）版本。它承接了 Java 9 的模块系统与 Java 10 的 var 局部变量推断——这些在中间非 LTS 版本定稿的特性在此 LTS 中可用，并为后续版本...

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25 Java 17 于 2021 年 9 月 14 日正式发布，是继 Java 11 之后又一个 LTS 版本，也是现代 Java 语言特性的汇合点。需要注意：record（Java 16 定稿）、文本块（Java 15 定稿）、switch 表达式（Java 1...

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25 Java：从 Java 8 到 Java 25 的 LTS 演进 本系列有意只保留 Oracle Java SE Support Roadmap 标记的五个 LTS 版本：Java 8、11、17、21 与 25；下图以 java-lts-timeline.s...

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25 Java 25 于 2025 年 9 月 16 日 GA，包含 18 个 JEP，是继 Java 21 之后的 LTS 版本；自 25 起 Oracle 将 LTS 间距从 3 年缩短为 2 年，Java 25 获得 Oracle 至少 8 年 Premier...

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25 Java 8 于 2014 年 3 月 18 日正式发布，是 Oracle 支持 roadmap 上首个长期支持（LTS）版本，也是 Java 历史上影响最深远的版本。它引入了 Lambda 表达式、Stream API 和新的日期时间 API，把函数式编程范...

📑 Java 演进系列：总览 | Java 8 | Java 11 | Java 17 | Java 21 | Java 25 Java 21 于 2023 年 9 月 19 日 GA，是继 Java 17 之后的 LTS 版本，按 Oracle 的支持路线图获得长期支持。它的核心主题是并发模型的跃迁：虚拟线程成为正式特性，让"一请求一线程"的阻塞式写法重新可行；记...

Go 1.23 为 for range 增加了函数作为遍历对象的能力，同时引入标准库包 iter。这不是为 Go 补上 Java、C++ 风格的可变游标对象，而是把已有的回调遍历模式标准化为可组合的序列协议：生产者调用 yield 推送元素，消费者通过 range 决定是否继续。 本文的代码要求 Go 1.23 或更新版本。语言特性是“对函数 range”，iter 包则提供了通用命名类型...

《牛津高阶英汉双解词典》第 10 版（以下简称 OALD10，Oxford Advanced Learner’s Dictionary, 10th edition）不是只用来查中文释义的词典。一个词条同时交代词义、语体、地域、搭配和句法；真正应优先看的，是这些限制信息。本文以第 10 版的纸质词典为准，并补充其在线版沿用的标注；在线版会持续增补词条，个别界面图标和标签可能与纸书不同。 先统一...

泛型（Generics）把类型作为类、接口和方法的参数。List<String> 的价值是：写入不匹配的类型会在编译期失败，读取时不必重复强制转换。Java 泛型由类型擦除实现，因此也有明确的运行期边界。 示例省略 java.util 与 java.util.function 的导入；标有“编译错误”的代码仅用于说明规则。 基础语法 <T> 是类型参数，Strin...

interface 用来定义类型之间的协作契约：调用方只依赖“能做什么”，实现类决定“如何完成”。它是 Java 多态、依赖倒置和函数式编程的基础。接口不是用来承载对象状态的轻量 class；一个接口应当表达一项稳定、可替换的能力。 基础语法 使用 interface 声明接口，class 使用 implements 兑现契约；接口继承接口时使用 extends。顶层接口可为 public ...

cargo build 背后其实是两个工具的分工：cargo 负责依赖解析、编译顺序调度和缓存判断，真正做编译的是 rustc——每次调用 rustc 只编译一个 crate。理解 rustc 内部的流水线，才能明白各类编译选项到底作用于哪一层。 编译逻辑链 rustc 采用多趟（multi-pass）流水线，源码逐级降阶（lowering）为越来越低级的中间表示（IR），最终交给 LLVM...

std 是 Rust 默认提供的标准库 crate。它不只是若干容器和工具函数：从 Option、Result、迭代器、格式化，到文件、网络、线程、进程和平台路径，日常 Rust 程序的大多数基础能力都从这里开始。而这些能力背后大多是 trait 的约定——#[derive]、==、for、?、+、println!、文件读写与线程边界，背后都是标准库 trait。正确的使用方式不是背模块名和...

rustup 是 Rust 官方的工具链管理器，负责安装、升级和切换 Rust 工具链（rustc、cargo、rustfmt、clippy 等）。它类似于 Python 的 pyenv、Node 的 nvm，是 Rust 开发的标准入口。 安装 1curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh...

把 Git 想成项目的“拍照机”就够了：你先挑好这张照片要包含哪些改动，再按下快门；以后随时可以回到任意一张照片，或者从某张照片开始开一条新分支。 真正需要分清的只有三处：工作目录是你正在修改的文件，暂存区是下一张照片的候选内容，版本库是已经拍好的历史照片。git add 是挑选内容，git commit 才是按下快门。 数据模型 不必先记 blob、tree 这些名字。先跟着一次最普通的...

Oh My Pi（omp）不只是一个终端里的 AI 编码助手。用顺手之后，它更像一个可配置、可约束、可编排的本地开发代理：多模型角色路由、子代理编排、Skills/Hooks 扩展体系、MCP 集成、多种 compaction 策略、headless JSON 输出，以及一套跨 Claude Code / Codex / Gemini 配置的兼容发现层。 这篇不是入门教程。安装、登录、第一次...

容斥原理不是一套需要背的数学公式。把它当成一个工程问题就够了：多个规则都会产出同一批对象时，如何只统计一次。 例如，三个上游服务都上报了用户 ID。把三个服务的数量直接相加，会把同时出现于多个服务的用户重复计算。容斥做的事就是： 先把每个来源的数量相加； 把两个来源共同产出的对象减掉； 如果一个对象同时属于三个来源，它被减多了，再加回来。 本文用 LeetCode 3116 说明这个过程...

课程概览 · 第 21 章 上一篇：Cargo 与依赖：建立可重复的 Rust 开发闭环 Rust 的类型系统在编译期消灭了一大类 bug，但业务逻辑错误、边界输入、资源关闭顺序这些仍要靠测试兜底。本章用一套任务状态转移的测试矩阵收尾整个课程：先明确测什么（可观测行为），再给单元/集成/doctest/should_panic 的确切分工，然后把调试和性能优化放进同一套"证据先...

堆（heap）解决的不是「把所有元素排好」，而是一个更克制、也更常见的承诺：在持续插入、删除中，始终用很低的代价拿到当前最优元素。最短路每次扩展距离最小的点、事件系统每次取最早到期的任务、流式数据保留最大的 kkk 个数、多路归并选择各路的最小头部，都是同一件事：只维护堆顶，而不维护全局次序。 这使堆成为 BFS 的队列模型、图论 的 Dijkstra/Prim 模型与 排序 的选择模型之间...

单调栈与单调队列解决的不是「如何排序」，而是「如何让一个元素在恰当的时刻结算」。在线性扫描中，许多元素的答案依赖右侧第一个更大（或更小）元素；许多区间的最值又只关心仍可能胜出的候选。若逐个向右试探，问题很容易退化为 O(n2)O(n^2)O(n2)。单调结构把仍未结算、仍有资格成为答案的下标压缩在一条有序边界上：新元素到来时，它一次性淘汰一批候选；被淘汰者恰好获得答案，或被证明不再可能胜出。...

区间问题表面上都在问“这一段的和是多少”或“这一段都加上多少”，但两类操作的重心恰好相反。前缀和把许多次查询共同依赖的历史累积起来，让一次区间查询变成两个边界值的相减；差分把一次覆盖一整段的更新压缩成两个边界事件，最后再统一还原。它们都不是某个题目的技巧，而是把“区间”改写成“边界”的一套坐标语言。 这一章用半开区间 [l, r) 统一一维、二维和可修改结构的叙述：左端属于区间，右端只是边界...

引言：排序不是把数字排好看 排序把一个序列重排为满足某个全序或严格弱序的序列。它表面上是“从小到大”，本质上却是在建立一个可利用的顺序结构：有序数组可用二分查找把查找缩到对数级；扫描相邻元素可识别重复、区间和相对次序；按键排序则是数据库、日志、索引与调度系统的公共底座。 选择排序算法时，不能只背一张 O(nlog⁡n)O(n\log n)O(nlogn) 表。数据是否近乎有序、键是否是有限范...

本系列此前多次把「图」当作工具使用：DFS 专篇用遍历求连通分量与拓扑序，BFS 专篇求无权最短路，并查集维护动态连通性。但这些只是图论版图的入口。一旦边带上权重、方向、容量，问题就升级为：加权最短路径怎么求？用什么边把所有点最便宜地连起来？任务间的依赖与冲突如何形式化？这些才是图论的主体。 图论的价值分两层。第一层是建模：把实际问题翻译成「点 + 边 + 边上属性」的语言–城市是点、道路是...

课程概览 · 第 20 章 上一篇：Unsafe：把不安全性封装在最小边界 下一篇：Rust 工程实践：测试、性能与调试的优先级 Cargo 不只是构建命令，而是 Rust 项目的依赖、测试、文档和发布入口。理解 rustup、rustc、cargo 与三份配置文件（Cargo.toml/Cargo.lock/.cargo/config.toml）各自管什么，才能让"我这能跑&...

GraalVM 是 Oracle 主导的高性能 JDK 发行版，核心由三部分组成：Graal 编译器（用 Java 编写的 JIT 编译器，可替代 HotSpot 的 C2）、Native Image（AOT 提前编译，将 Java 程序编译为本地可执行文件）、Truffle 多语言框架（支持在同一进程中运行 JavaScript、Python 等语言）。与普通 OpenJDK 相比，Gra...

Maven 是 Java 生态中最主流的构建与依赖管理工具。它以 POM（Project Object Model）为核心，通过约定优于配置的理念，将编译、测试、打包、部署等流程标准化，同时依托中央仓库解决了依赖分发的难题。本文系统梳理 Maven 的核心概念与日常使用要点。 Maven 解决什么问题 早期 Java 项目依赖管理依赖手工拷贝 jar 包，存在三大痛点： 依赖混乱：第三方库...

课程概览 · 第 19 章 上一篇：并发与异步：先划清所有权和取消边界 下一篇：Cargo 与依赖：建立可重复的 Rust 开发闭环 unsafe 不是关闭 Rust 的安全检查，而是把某几项保证交给开发者维护。好的 unsafe 代码应当很小、具有明确前置条件，并让绝大多数调用者保持 safe Rust。本章先讲 safe Rust 依赖的不变量，然后用一个 safe 包装器示范&qu...

配置的消费端（@Value、@ConfigurationProperties 怎么用）见常用注解，Environment 在启动流程中的位置见启动原理。本文讲来源端：配置从哪来、谁覆盖谁、绑定规则是什么。代码基于 Spring Boot 4.x——配置体系自 2.4 定型后未再变动，3.x/4.x 通用。 Environment 抽象：一条有序链表 Spring 把所有配置来源统一抽象为 P...

Spring Boot 的"约定优于配置"由三条主线支撑：SpringApplication 对启动过程的编排、IoC 容器的 Bean 加载、基于条件注解的自动配置。本文以 Spring Boot 4.x（底层为 Spring Framework 7）源码为基准，沿启动顺序把这三条主线讲清楚。4.x 最大的工程变化是模块化拆分，启动主线本身保持不变。Bean 的实际使用...

课程概览 · 第 18 章 上一篇：智能指针：让资源归属可组合 下一篇：Unsafe：把不安全性封装在最小边界 线程解决并行执行，异步解决大量等待中的任务。两者都不应从"怎么启动任务"开始，而要先明确：数据归谁、谁能修改、任务何时结束或取消。本章用任务队列业务域把这三条边界逐一落到可运行的代码上——先是标准库的线程与消息传递，再是一个独立的 Tokio 项目演示超时、...

课程概览 · 第 17 章 上一篇：宏：从声明宏到过程宏的边界 下一篇：并发与异步：先划清所有权和取消边界 当任务列表需要被多个视图同时看到、当任务树需要递归引用自身时，普通所有权开始显得不够用。Rust 的答案不是放宽规则，而是给指针加上明确语义：智能指针回答"数据归谁、谁能改、借用检查发生在什么时候"。本章把 Box/Rc/Arc/RefCell/Cell 放回任...

CMake 不是编译器，也不直接构建代码–它是构建系统的生成器：你用声明式语法描述项目结构（有哪些目标、依赖什么、怎么编译），CMake 据此生成对应构建系统（Makefile、Ninja、VS 工程等）的文件。这层间接性让同一份 CMakeLists.txt 能跨平台、跨编译器工作。 本文从零开始搭建一个 C++ 项目，逐步引入 CMake 的核心概念，最终覆盖目标导向构建、依赖管理、安装...

课程概览 · 第 16 章 上一篇：属性：让编译配置、诊断与文档可审查 下一篇：智能指针：让资源归属可组合 宏能在编译期接收 token 并生成 Rust 代码，适合消除函数签名无法表达的语法重复。但它也会让错误位置、控制流和实参求值次数离调用点更远。正确的使用方式不是“能写宏就写宏”，而是先让函数、泛型和 trait 承担正常的运行时逻辑。 学习目标与默认选择 学完本篇，你应当能够：...

课程概览 · 第 15 章 上一篇：模块：crate、路径与可见性 下一篇：宏：从声明宏到过程宏的边界 属性是写给编译器和工具链的结构化指令。它可以让一段代码只在某个目标或 feature 下存在，让类型获得 trait 实现，调整 lint 的诊断级别，或把 API 说明交给 rustdoc。属性不替代正常的设计判断；它的价值在于把构建、诊断与文档规则明确放进源码。 学习目标与默认选...

课程概览 · 第 14 章 上一篇：错误处理：区分可恢复失败与程序缺陷 下一篇：属性：让编译配置、诊断与文档可审查 项目从一个文件增长到多个模块后，关键不再是“代码放在哪个目录”，而是“谁能依赖什么”。模块建立名字树和访问边界：领域类型不该被入口层任意改字段，存储实现不该泄漏为公共承诺，测试也不应为了访问私有逻辑而把生产 API 变宽。 学习目标与默认选择 学完本篇，你应当能够： 区...

课程概览 · 第 13 章 上一篇：迭代器与闭包：让数据转换可组合 下一篇：模块：crate、路径与可见性 任务文件可能不存在、某一行可能是空标题、配置里的端口可能不是数字–这些是可恢复失败，调用方应当能决定重试、报错或忽略。而“任务 ID 为 0 的任务出现在了内存里”是程序缺陷，它说明代码已经违反自己的基本假设。Rust 用 Result 表示前者、用 panic 表示后者；混淆两类...

课程概览 · 第 12 章 上一篇：集合：从访问模式选择 Vec、Map、Set 与队列 下一篇：错误处理：区分可恢复失败与程序缺陷 第 11 章解决了"数据放哪个容器"，本章解决"数据怎么转换"：当一条查询要穿过过滤、映射、分组多个步骤，当转换结果要脱离输入长期保存时，手写 for 循环加中间 Vec 开始显得笨重。Rust 的答案是两个配合使用...

课程概览 · 第 11 章 上一篇：泛型与 trait：复用行为，同时保持接口清晰 下一篇：迭代器与闭包：让数据转换可组合 任务列表要按顺序展示、要按 ID 查找、要统计标签出现次数、还要按优先级取“下一个要做的”。每一种访问模式都指向不同的容器；从访问模式出发选集合，而不是从“哪个理论复杂度最好”出发。多数场景先选 Vec 或 HashMap，只有排序、双端队列、优先队列等需求明确时再...

标准库里有不少函数，签名朴素、名字“望文生义”，实际语义却和直觉差一截。用对了是利器，用错了编译能过、跑出错误结果还不报警。本系列收集这类“看着会、用着错”的函数，从二分查找家族的 lower_bound / upper_bound 开始。 前置概念：划分而非“已排序” 二分家族的前置条件比“整个区间升序”更宽松——它要求区间按给定比较被划分： lower_bound：所有满足 elem ...

课程概览 · 第 10 章 上一篇：模式匹配：用穷尽分支处理业务状态 下一篇：集合：从访问模式选择 Vec、Map、Set 与队列 泛型和 trait 都在解决“复用”，但它们负责的事情不同：泛型让同一段算法处理多种类型，trait 则把调用方需要的能力写成契约。本章关注的是边界：什么时候抽象、函数究竟依赖什么能力，以及何时值得用动态分发。 图：先定义调用方需要的能力；编译...

STL 容器与原生数组的 API 速查表，按“查得到、抄得来”组织，覆盖构造、访问、容量、修改、查找。原理(内存布局、扩容机制、迭代器失效的根因、选型权衡)见 C++ STL 容器,内存分配细节见 C++ STL Allocator。本文只列怎么用。 容器总览 容器 头文件 底层 迭代器类别 随机访问 T[N] 原生数组 - 连续 指针(随机) ✓ array <ar...

课程概览 · 第 9 章 上一篇：枚举：把状态、缺失和失败建模为类型 下一篇：泛型与 trait：复用行为，同时保持接口清晰 模式匹配不仅是更好看的条件判断。它能把枚举、结构体和嵌套数据拆开，同时要求代码处理所有状态，是 Rust 业务代码安全演进的关键工具。第 8 章的状态机把非法转移挡在了方法里，本章负责消费这些状态：把每个 TaskState 变成可显示的文本、可执行的分支，并且保...

课程概览 · 第 8 章 上一篇：结构体：组织数据、封装状态与编写方法 下一篇：模式匹配：用穷尽分支处理业务状态 当一个值只可能处于若干互斥状态时，用 enum 表达它。它把状态和该状态所需的数据放在同一个变体中，避免“状态码 + 可空字段”产生不可能的组合。 图：状态、缺失、失败和递归分别由对应类型表达。 默认选择 互斥业务状态：自定义枚举。 正常的“没有结果”：Op...

课程概览 · 第 7 章 上一篇：所有权、借用与生命周期：用数据流理解编译器 下一篇：枚举：把状态、缺失和失败建模为类型 结构体（struct）把一组相关的数据放进一个有名字、有类型的整体。配合 impl，它还能定义行为；配合私有字段和构造器，它还能保证值一创建就是合法的。第 6 章你已经看到了"字段被移动"的后果，本章把这些工具组装成一个能自我保护的领域模型。 日常...

如果把图遍历比作探索一座陌生城市，深度优先搜索（DFS）像是一个执着地"一条路走到底、走不通再回头"的探险者，而广度优先搜索（Breadth-First Search，BFS）更像是投入湖面的石子激起的涟漪——从落点出发，一圈一圈匀速向外扩散，先抵达近处，再抵达远处。这种"层层向外"的推进方式，让 BFS 在所有"距离敏感"的场景中...

深度优先搜索（Depth-First Search，DFS）是图与隐式状态空间遍历的最自然范式。想象你站在迷宫入口，眼前的岔路通向未知。最直觉的走法是：右手扶墙，遇岔路先挑一条往下走，走到死胡同就退回上一个岔口换路–这套「一条路走到黑、走不通就回退」的策略，正是 DFS 的精神。它和人类走迷宫的行为高度一致，也因此成为最容易「想得到」的搜索算法。 DFS 的适用面远不止迷宫。判断地图里有几个...

问题引入 给定一个字符串集合，需要频繁执行「插入一个串」「查询某串是否存在」「查询某前缀是否出现过」「枚举所有以某前缀开头的串」等操作。把所有串存进 set 或哈希表，精确查找虽快，但前缀查询只能遍历所有键逐一比对，10510^5105 量级即超时。关键在于：这些查询都围绕公共前缀展开——字典树（Trie，又称前缀树） 把公共前缀压缩到同一条路径上，使前缀相关操作降至 O(L)O(L)O(L...

Python 的内置容器（builtin collections）是这门语言的地基：list、tuple、dict、set、str 这五个类型覆盖了绝大多数日常代码。它们看起来简单，但每一个背后都有精心设计的实现——list 是动态数组而非链表、dict 从 3.7 起保证有序、set 和 dict 共享哈希表思路。理解这些实现细节，才能写出既正确又高效的代码。 本文逐个拆解内置集合类型：它...

问题引入 nnn 个元素，不断接收「xxx 与 yyy 同集合」的合并指令，并查询「xxx 与 yyy 是否同集合」「当前多少个独立集合」。图遍历每次查询 O(n)O(n)O(n)，10510^5105 量级即超时。关键在于：只关心集合归属，不关心内部连接结构–并查集（Union-Find / DSU[Disjoint Set Union]） 即为此设计，配合两种优化后单次操作均摊近似 O(...

Python 的 for 循环和生成器已经把「按需逐个产出」做得很顺手，但遇到「把两个序列交错」「取前 N 个」「按 key 分组」「笛卡尔积」这类组合操作，手写循环既啰嗦又容易错。标准库的 itertools 提供了一批构建和组合迭代器的工具，像代数运算一样把简单的迭代器拼成复杂的数据流。 它的设计哲学是惰性求值–所有函数都返回迭代器，不预先计算全部结果，只在被消费时才产出元素。这意味着它...

Python 的并发比多数语言更绕，因为有个 GIL 横在中间：同样是「开线程」，在 Java 里能并行跑满多核，在 CPython 里却常常只能并发不能并行。于是 Python 的并发分成了三条路线，各自服务的场景泾渭分明： threading --多线程。受 GIL 限制，同一时刻只有一个线程执行 Python 字节码，但 IO 阻塞时会释放 GIL，适合 IO 密集任务。 multi...

线程是实现并发的经典手段，但内核调度、栈内存、锁竞争、上下文切换都不是免费的。当瓶颈是「等」而不是「算」（等网络、磁盘、数据库），开几万个线程去各自阻塞并不划算。asyncio 给了另一条路：单线程 + 事件循环 + 协作式调度。一个线程里跑成千上万个协程，谁 await 了就把执行权让出去，事件循环负责在「数据就绪」时把它接回来。 难点不在语法（async/await 很简单），而在心智模...

Pi Coding Agent（命令名是 pi）是一个很轻量的终端编码代理。它的核心只提供对话、读写文件和执行命令；计划模式、子代理、MCP、权限弹窗等能力都不强行内置，而是交给扩展、Skill 或你自己的工作流。因此它很适合希望自己决定工具链和约束方式的人。 三分钟开始 安装后，在目标仓库目录里启动即可： 1234npm install -g --ignore-scripts @earen...

运算符重载（operator overloading）让用户定义类型可以像内置类型一样参与表达式：a + b、x[i]、*p、if (x)、os << x。它的价值不在于把代码写得“炫”，而在于让一个类型的自然操作具有自然、可预测的写法。 但 operator 不是“给任意符号赋予任意含义”的机制。C++ 已经规定了每个运算符的优先级、结合性、操作数个数与大致语义；重载只是在这些...

Python 的许多“高级语法”并不难，难的是知道它们各自解决什么问题、该在什么边界内使用。本文把日常代码中最常见的一组语法放在一起：推导式、f-string、海象运算符、with、装饰器和 match-case。 它们的共同目标是让代码更贴近意图，而不是单纯压缩行数。本文示例以 Python 3.12 为基准；最低版本见下表。 语法 最低版本 核心用途 解包 */** Pyt...

二分查找（Binary Search）大概是每个程序员最早接触到的算法之一：在有序数组里找目标值，每次砍掉一半，O(log n) 完事。听起来简单到不值一提。但只要稍微写过几道二分题，几乎所有人都经历过「改一个符号就死循环」「差一行就越界」「边界永远是 off-by-one」的折磨。Donald Knuth 在《The Art of Computer Programming》里指出，第一个正...

引言：为什么需要回溯 许多算法问题不是「求一个最优值」，而是「把所有符合条件的方案枚举出来」，或者「在庞大的状态空间里找一个可行解」。前者如「列出数组的所有全排列」「把字符串切成若干回文子串的所有切法」，后者如「在 9×99 \times 99×9 棋盘上填出一个合法数独」「在字符网格里搜出某个单词」。 这类问题的共同特点是：解空间结构上是一棵巨大的「决策树」，每个节点代表「到目前为止已经做...

引言：为什么「分而治之」如此自然 面对一个规模为 nnn 的问题，如果它具备某种可分解的内部结构，我们往往不必正面强攻。把问题切成若干个规模更小的同构子问题，递归求解后再把答案拼回来——这就是分治（Divide and Conquer）。这并非某种具体算法，而是一套算法设计范式，与贪心、动态规划、回溯并列。 分治的影子无处不在：归并排序把数组对半切，快速排序按 pivot 分两半，最近点对按...

动态规划（Dynamic Programming，DP）是算法世界里最具张力、也最容易让人"卡壳"的一个主题。它的代码往往只有寥寥数行，思想却能在陌生题目面前把人挡在门外；它的理论门槛看似只是一句"分治 + 记忆化"，但能否在第一时间构造出正确的状态定义，几乎直接决定了"会做"与"不会做"。本文将以 DP 的三要...

引言：从「走一步看一步」到「步步最优」 在算法世界里，有两类策略恰好处于光谱的两端。一类是「把所有可能都试一遍再回溯」的搜索派——DFS、回溯、动态规划都属于这一脉，它们宁可付出指数级代价也要保证不漏掉任何一种可能。另一类则是「看眼前、不回头」的贪心派——每一步都基于当前可观察的信息做出最优决策，做完就不再反悔。 贪心算法 (Greedy Algorithm) 听起来朴素得近乎天真：在每一步...

双指针（Two Pointers）是数组、字符串、链表上最常用的算法技巧之一。它用一个看似平凡的细节–用两个游标代替一个游标遍历–换取指数级的效率提升。表面上看，从「单指针 O(n²)」到「双指针 O(n)」省下的是一次嵌套循环；往深处理解，双指针真正在做的是利用问题本身的结构（单调性、有序性、区间不变量），把搜索空间裁剪成一个低维流形。 这一篇我们系统地拆解双指针的四大家族：对撞指针、快慢...

数位 dp（digit DP）是一类专门处理「在某个数区间 [L,R][L, R][L,R] 内统计满足特定数位性质的数」的动态规划技术。所谓"数位性质"，指的是只取决于数的十进制（或任意进制）表示中各位数字的性质，例如"不含数字 4"、“相邻两位之差至少为 2”、“数字之和等于 K”。这类问题看似简单，但区间上界可能高达 101810^{18}101...

课程概览 · 上一篇：测试与工程实践 · 第 12 章 //go:embed 指令与 embed 包（Go 1.16 引入）解决了 Go 程序分发时的一个老问题：如何把静态资源——HTML 模板、SQL 迁移、前端构建产物、默认配置、TLS 证书——连同二进制一起发布，做到单文件部署。在 embed 之前，社区用 go-bindata、packr、statik、vfsgen 等代码生成工...

Cargo.toml 是 Cargo 项目的清单文件（TOML 格式），描述包名、版本、依赖、特性、编译目标等。本文给出常用配置速查。 最小示例 1234567[package]name = "myapp"version = "0.1.0"edition = "2021"[dependencies]serde = { ve...

在 C++ 中，我们经常需要“用一个变量持有多种可能的类型”。C 风格的 union 和 void* 是最早的答案，但它们既不安全（不记录当前存的是哪种类型），也缺乏面向对象的扩展能力。C++17 引入了 std::any 和 std::variant，从两个不同方向填补了这块空白： std::any：类型擦除（type erasure）——持有一个任意类型的值，但“忘记”了它的静态类型，...

Python 内置的 dict、list、set、tuple 已经覆盖了绝大多数日常需求，但一旦遇到"按出现次数统计"“给元组字段起名字”“双端高效增删”"层叠的配置查找"这类场景，手写往往既啰嗦又容易出错。标准库的 collections 模块正是为此而生：它在内置类型之上提供了一批专门化的容器，既保留 Pythonic 的简洁，又补齐了数据结构层面...

FastAPI 是基于 Python 类型标注的现代 Web 框架，底层是 Starlette（ASGI）和 Pydantic（数据校验）。核心思想很纯粹：函数签名上的类型标注就是一切契约的来源–路由参数解析、请求体校验、响应序列化、OpenAPI 文档全部从同一份标注推导。写一次标注，同时得到校验、文档和编辑器补全，这是对「动态语言写后端」的最大重构。 安装与第一个应用 FastAPI 本...

课程概览 · 第 6 章 上一篇：函数与 I/O：把所有权、错误和资源边界写进接口 下一篇：结构体：组织数据、封装状态与编写方法 同一段任务数据，往往要被查询函数读取、被编辑函数修改、再被日志函数打印。如果"谁负责释放"和"谁正在改它"只靠人为约定，悬垂指针和数据竞争就藏在这些约定里。Rust 把约定升级为编译期规则：所有权规定清理责任，借用规定读...

课程概览 · 第 5 章 上一篇：表达式与控制流：让分支、循环和返回值清楚可审查 下一篇：所有权、借用与生命周期：用数据流理解编译器 函数签名是 Rust 最重要的设计文档：参数类型说明谁拥有数据、要不要还，返回类型说明成功产出什么、失败怎么办。文件 I/O 把这两件事逼到真实世界–文件会缺失、配置会为空、读取会中途失败。本章把所有权、错误与资源边界写进签名，用 ? 把失败路径组织成直线...

课程概览 · 第 4 章 上一篇：切片：为函数设计稳定、低耦合的输入 下一篇：函数与 I/O：把所有权、错误和资源边界写进接口 Rust 是表达式语言：if、match、代码块乃至循环都能产生值。这让"从输入算出一个结果"可以写成一条类型明确的表达式链。但工程上的优先级不是炫技式地消灭临时变量，而是让每个分支的类型、每个循环的退出条件、每条失败路径在评审时一眼可见。 ...

在 C++ 中，转换运算符（conversion operator） 又称用户定义转换函数（user-defined conversion function），是一种特殊的成员函数，用于把当前类类型的对象转换为另一个类型。它的语法形式是 operator 目标类型()，与构造函数形成对称关系：构造函数把"其他类型"构造成"本类型"，而转换运算符把&qu...

课程概览 · 第 2 章 上一篇：Rust 基础：变量、类型与转换的工程选择 下一篇：切片：为函数设计稳定、低耦合的输入 字符串是 Rust 里被使用得最多、也最容易选错的一对类型：String 拥有数据，&str 只借用数据。更深的坑在 UTF-8–中文字符占 3 个字节，字节下标随时可能落进字符中间。本章把这两个层面一次讲清：所有权层面的 String vs &str...

课程概览 · 第 3 章 上一篇：字符串与切片：String、&str 与 UTF-8 边界 下一篇：表达式与控制流：让分支、循环和返回值清楚可审查 上一章的结论是"只读文本用 &str"。本章把同一思路推广到任意序列：函数应该声明自己需要的是"一段数据"还是"修改一段数据"，而不是绑死调用方用 Vec 还是数组...

课程概览 · 第 1 章 下一篇：字符串与切片：String、&str 与 UTF-8 边界 学 Rust 的第一个真实障碍不是新语法，而是默认选择：哪些值该可变、类型标注写在哪里、数值转换在哪个边界必须受检。这些选择做错了，代码照样能编译，但接口会变贵、错误会推迟出现。本章用任务队列 CLI 里的两个小函数，把这些默认选择一次立起来；文本数据（String 与 &str...

📚 Rust 课程系列 课程概览（本文） Rust 基础：变量、类型与转换的工程选择 字符串与切片：String、&str 与 UTF-8 边界 切片：为函数设计稳定、低耦合的输入 表达式与控制流：让分支、循环和返回值清楚可审查 函数与 I/O：把所有权、错误和资源边界写进接口 所有权、借用与生命周期：用数据流理解编译器 结构体：组织数据、封装状态与编写方法 枚举：把状态、缺失...

C 预处理器宏是 C/C++ 中最古老也最具争议的特性之一。它发生在编译之前——纯文本替换，没有类型检查、没有作用域、调试时不可见。尽管现代 C++ 已为绝大多数宏场景提供了更安全的替代方案，宏仍大量存在于系统编程、跨平台代码和第三方库中。理解宏的常见用法，既是阅读遗留代码的必备技能，也是避免在新代码中误用的前提。 常量定义 最古老的用法——用宏定义编译期常量： 1234#define PI...

C++ 里的“视图”不是某一个单独类型，而是一类共同思想：用一个轻量对象描述一段数据或一段计算，不拥有数据，尽量不复制，按需访问。它们把“我想看哪一段、以什么方式看”从“数据本身如何存储”里拆出来。 常见视图有三类： 类型 标准 作用 是否拥有元素 能否修改元素 std::string_view C++17 只读地观察一段字符 否 否（只读） std::span C++20...

Redis 是基于内存的键值存储，常被当作缓存、消息队列、分布式锁甚至轻量数据库使用。它之所以通用，关键在于其丰富的数据结构与精巧的底层实现。本文聚焦 Redis 的"内部"——数据结构的底层编码、Lua 执行模型、过期与淘汰机制、持久化、集群架构与故障转移；命令用法与适用场景见姊妹篇《Redis 使用手册》。 全局视角 Redis 的 key 是二进制安全的字符串，va...

写 Go 的人大多停在"写代码 → go build → 跑起来"这一层。但真要追问"go build 到底产出了什么？二进制里塞了哪些东西？程序被 OS 拉起来之后，CPU 第一条指令落在哪？goroutine 又是怎么’凭空’跑起来的？"——能讲清楚的人并不多。 这篇文章把 Go 从源码到执行的全链路拆开：编译格式 → 二进制格式 → 运行时格式 ...

Model Context Protocol（MCP）是 Anthropic 在 2024 年底推出的开放协议，目标是给 LLM 应用和外部数据源、工具之间定一个标准化的接驳方式。它借用了 Language Server Protocol（LSP）的思路——LSP 让任意编辑器对接任意语言服务，MCP 则让任意 AI 应用对接任意工具与上下文。 这篇文章不写"怎么装一个 MCP S...

Redis 是基于内存的键值存储，常被当作缓存、消息队列、分布式锁甚至轻量数据库使用。它之所以通用，关键在于其丰富的数据结构——选对结构，命令和场景往往自然成立。本文是 Redis 使用侧手册，系统梳理各数据结构的核心命令与适用场景；底层编码、Lua 执行模型、过期淘汰、持久化与集群架构等原理见姊妹篇《Redis 底层原理与架构》。 全局视角 Redis 的 key 是二进制安全的字符串，v...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战（本文） 前面的章节我们系统掌握了 TypeScript 的类型系统，并在 Bun 服务端场景里落地。本篇把 TypeSc...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战（本文） TypeScript 与 React 实战 前面的章节我们系统学习了 TypeScript 的类型系统与工程化能力，但一直停留在"编译成 JS 后...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化（本文） TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 本篇聚...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型（本文） 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合（本文） 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类（本文） 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理（本文） 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Jav...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符 集合类型（本文） 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数 流程控制与运算符（本文） 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明 函数（本文） 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置 基础类型与变量声明（本文） 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

📚 TypeScript 教程系列 入门与配置（本文） 基础类型与变量声明 函数 流程控制与运算符 集合类型 异步编程与错误处理 接口与类 泛型与类型组合 高级类型 模块、装饰器与工程化 TypeScript 与 Bun 实战 TypeScript 与 React 实战 ⚠️ 来源声明：本文内容参考自 菜鸟教程 TypeScript 教程，仅供学习交流，版权归原作者所有。 Typ...

类（class）是 Java 面向对象编程的基本构建单元，它既是数据抽象的载体，也是行为封装的边界。理解 class 的核心内容，本质上是理解 Java 如何用类型系统组织数据与行为。本文从现代 Java（25 LTS）视角出发，梳理 class 设计的核心要素。 类的本质：状态与行为的封装 一个 class 由两部分构成：字段（状态）和方法（行为）。封装的目的是把可变状态收敛到最小范围，对...

TBB (Threading Building Blocks) 是 Intel 出品的 C++ 并行编程库，也贡献给了 oneAPI 项目（oneAPI TBB）。它提供了高层抽象的任务并行、并行算法、并发容器和同步原语，让开发者不用直接操作 pthread/win32 thread 就能写出跨平台的高效并行程序。 安装与配置 获取方式 oneAPI TBB（推荐）：https://git...

开发时利用浏览器原生 ESM 按需加载，生产时交给 Rollup 打包。它不像 Webpack 那样在开发阶段先打成一个大包，而是让浏览器直接加载源码模块——项目越大，体验差异越明显。 启动快：不用全量打包，直接提供原生 ESM 模块。 HMR 快：热更新只影响变化的模块，不受应用规模影响。 开箱即用：TypeScript、JSX、CSS、静态资源开箱支持。 插件生态清晰：兼容 Rollu...

ESLint ESLint 是 JavaScript 和 TypeScript 的代码检查工具，用于发现和修复代码中的问题。 安装与配置 12345678# 安装 ESLintbun add -d eslint# 初始化配置（交互式）bunx eslint --init# 或手动安装推荐的配置bun add -d eslint @eslint/js typescript-eslint ESL...

ES6+ 关键特性 解构赋值 解构赋值是一种从数组或对象中提取值并赋给变量的语法糖。 数组解构 1234567891011121314151617181920212223242526// 基本数组解构const [a, b, c] = [1, 2, 3];console.log(a, b, c); // 1, 2, 3// 跳过某些元素const [first, , third] = [1,...

NPM (Node Package Manager) NPM 是 Node.js 默认的包管理器，也是世界上最大的软件注册表。 安装与初始化 123456789101112131415# 检查版本npm --version# 或npm -v# 初始化项目（交互式）npm init# 快速初始化（使用默认值）npm init -y# 安装所有依赖npm install# 或npm i 包安装 ...