类型系统

副标题 / 摘要 Java 泛型在运行时会被擦除，导致不同类型参数的 List 拥有相同 Class。本文解释原因与影响。 目标读者 使用 Java 泛型的开发者 想理解类型系统限制的人 进行 API 设计的工程师 背景 / 动机 Java 泛型是编译期特性。 在运行时，类型参数会被擦除，这会影响反射与类型判断。 核心概念 类型擦除：泛型信息在运行时消失 编译期检查：类型安全主要在编译期保证 运行时类型：只剩原始类型 实践指南 / 步骤 理解泛型只在编译期起作用 避免依赖运行时泛型信息 用显式 Class 参数传递类型 在反射场景保持谨慎 可运行示例 import java.util.ArrayList; public class ErasureDemo { public static void main(String[] args) { ArrayList<Integer> li = new ArrayList<>(); ArrayList<Float> lf = new ArrayList<>(); System.out.println(li.getClass() == lf.getClass()); // true } } 解释与原理 泛型类型参数在编译后被擦除为原始类型（如 ArrayList）。 因此运行时类对象相同。 常见问题与注意事项 这会影响类型安全吗？ 编译期仍保证类型安全，但运行时反射可能不安全。 为什么 Java 设计成这样？ 为了兼容旧版本与字节码格式。 ...

副标题 / 摘要 很多人困惑为什么 List 不能当作 List。本文用类型安全的角度解释协变与逆变。 目标读者 学习泛型与类型系统的开发者 需要写类型安全 API 的工程师 做语言与框架设计的人 背景 / 动机 如果泛型随意协变，会引发类型不安全。 理解协变/逆变能帮助你正确设计接口与集合使用方式。 核心概念 协变：子类型关系在泛型中保留 逆变：子类型关系方向相反 不变：泛型类型不随子类型变化 实践指南 / 步骤 只读集合可用协变 只写集合可用逆变 读写同时存在时保持不变 用通配符或泛型参数表达意图 可运行示例 import java.util.List; class Animal {} class Cat extends Animal {} public class VarianceDemo { public static void main(String[] args) { List<Cat> cats = List.of(new Cat()); List<? extends Animal> animals = cats; // 协变：只读 Animal a = animals.get(0); System.out.println(a.getClass().getSimpleName()); } } 解释与原理 如果允许 List 当作 List，就可能把 Dog 放进去，破坏类型安全。 因此多数语言让泛型默认不变，需要明确声明协变/逆变。 ...

副标题 / 摘要 泛型让代码在保持类型安全的同时实现复用。本文解释其价值与落地方式。 目标读者 想理解类型系统的开发者 需要写可复用组件的工程师 学习语言设计的同学 背景 / 动机 没有泛型时，复用通常依赖 Object 或手工复制，容易引入类型错误。 泛型提供了编译期类型检查和更高的表达力。 核心概念 类型参数：用类型占位符表达通用逻辑 类型安全：编译期保证类型正确 复用：同一逻辑适配多种类型 实践指南 / 步骤 识别重复逻辑 把类型差异抽成参数 添加约束（如接口） 保持 API 简洁 可运行示例 package main import "fmt" type Stack[T any] struct { data []T } func (s *Stack[T]) Push(v T) { s.data = append(s.data, v) } func (s *Stack[T]) Pop() T { v := s.data[len(s.data)-1] s.data = s.data[:len(s.data)-1] return v } func main() { s := Stack[int]{} s.Push(1) fmt.Println(s.Pop()) } 解释与原理 泛型让编译器在编译期发现类型错误，避免运行期崩溃。 同时避免重复代码，提升维护性。 常见问题与注意事项 泛型会影响性能吗？ 取决于语言实现，通常影响可控。 什么时候不该用泛型？ 当逻辑过于简单或类型差异极少。 ...

副标题 / 摘要 空引用（null reference）是许多语言里最常见、最隐蔽的错误来源。本文解释它的问题根源，并讨论如果从语言层面移除 null，工程上会发生哪些变化。 目标读者 在日常开发中经常遇到 NPE 的工程师 关注类型系统与语言设计的中级开发者 需要制定团队空值规范的技术负责人 背景 / 动机 空引用让“缺失”变成一个运行时炸弹：它绕过了编译期检查，把错误延后到线上。 Tony Hoare 将 null 称为 “Billion-Dollar Mistake”，并不夸张，因为这类错误难复现、难定位、损失巨大。 核心概念 Null Reference：指向“无对象”的引用值 可空类型（Nullable）：类型系统中显式标注“可能不存在” Option/Maybe：用代数数据类型表达“有值 / 无值” Null Object：用默认对象代替 null，消除分支 实践指南 / 步骤 边界处标注可空：DB/JSON/外部 API 都可能产生缺失字段。 优先使用 Option/Maybe：让“可能缺失”变成类型的一部分。 可空值进入核心域之前要处理：转换成默认值或显式错误。 开启静态检查：例如 TypeScript strictNullChecks。 必要时用 Null Object：减少分支，保持业务逻辑纯净。 示例配置（TypeScript）： { "compilerOptions": { "strictNullChecks": true } } 可运行示例 下面用 Null Object 消除空引用： class User: def __init__(self, name: str): self.name = name def greeting(self) -> str: return f"Hello, {self.name}" class NullUser(User): def __init__(self): super().__init__("Guest") def greeting(self) -> str: return "Hello, Guest" def find_user(user_id: int) -> User: if user_id == 1: return User("Alice") return NullUser() if __name__ == "__main__": print(find_user(1).greeting()) print(find_user(404).greeting()) 解释与原理 空引用的问题不在“值为 null”，而在它把“业务状态”变成了“控制流”。 一旦你忘记判断，就会在运行期炸裂。 移除 null 的语言（如 Rust、Haskell）强迫你在类型层面处理缺失情况，换来更强的可维护性与可测试性。 ...

size_t 有什么用？为什么 C++ 循环更偏爱 size_t 而不是 int 副标题 / 摘要 当你写 for 循环遍历容器时，size_t 往往比 int 更安全、更贴合语义。本文用 ACERS 结构讲清楚 size_t 的定义、使用理由、风险点与工程实践，适合写 C++ 的你快速落地。 元信息 阅读时长：8-10 分钟 标签：C++，size_t，类型系统，循环，STL SEO 关键词：size_t 用途，size_t 和 int 区别，C++ 循环初始化，size_t 下溢 元描述：解释 size_t 的定义与用途，说明为什么循环索引常用 size_t，并给出安全写法与工程场景。 目标读者 C++ 初学者：对 size_t、sizeof、容器 size() 的返回类型不熟悉 中级工程师：遇到过 -Wsign-compare 警告或下溢 bug 需要写跨平台/高性能 C++ 代码的人 背景 / 动机 在 C++ 代码里，你经常能看到这样的循环： for (size_t i = 0; i < vec.size(); ++i) { ... } 不少人疑惑： 为什么不用更“直观”的 int？ size_t 到底是什么？为什么是无符号？ 什么时候会踩坑？ 这一篇把这些问题一次讲清楚。 ...