TigerStyle 是一种源于 TigerBeetle 项目的编码哲学，由 Simon Klee 维护，聚焦于安全（Safety）、性能（Performance）和开发者体验（Developer Experience，简称 DevEx）的平衡。它不是一种编程语言，而是工程实践指南，旨在指导开发者构建鲁棒、高效且易维护的系统软件。不同于泛泛的编码规范，TigerStyle 强调从设计伊始就嵌入这些原则，避免后期重构的 “技术债”。在高性能系统如数据库、网络服务中，这种哲学特别适用，能实现 “零成本” 安全保障，例如通过编译时检查和静态资源分配，避免运行时开销。
安全：基础中的基础，fail-fast 原则
TigerStyle 将安全置于首位，认为 “代码必须在所有情况下都能正确工作”。这要求开发者主动构建防御机制，而不是依赖运行时检测。具体实践包括：
-
简单明确的控制流：优先使用直线式结构，避免递归和复杂分支。递归易导致栈溢出，而简单流确保可预测性。例如，在循环中设置固定上限，如队列大小不超过 1024 项，超出即 fail-fast 返回错误。这类似于 Rust 的借用检查，但 TigerStyle 通过代码约定在人类层面实现零运行时成本。
-
函数长度限制：每个函数不超过 70 行。短函数便于测试、调试，并强制单一职责原则（SRP）。实际落地：使用工具如 cloc 或 IDE 插件监控，CI 中拒绝超长 PR。
-
静态内存分配：启动时预分配所有内存，运行中禁用动态 alloc（如 malloc）。这消除碎片化和泄漏风险，适用于嵌入式或高吞吐系统。参数建议：计算峰值需求，如 napkin math 估算 “1GB 日志需 86GB / 月存储，成本 $50”，据此固定 arena allocator 大小为 1MB 初始 + 倍增至 64MB 上限。
-
断言与错误处理：每个函数参数、返回值和不变量均加 assert。处理所有错误，无忽略。编译时将 warning 视作 error（如 -Werror）。引用网站原则：“使用成对断言检查关键数据一致性”[1]。
这些实践确保系统在边缘 case 下崩溃而非无声失败，便于调试。证据：在 TigerBeetle 等项目中，此类规则使代码覆盖率达 100%，零已知 bug。
性能：从设计到可预测执行
性能不是优化后事，而是设计前置。TigerStyle 倡导 “napkin math”—— napkin 上粗算资源需求，避免惊喜。
-
资源优化顺序：网络 > 磁盘 > 内存 > CPU。批量操作摊销 I/O 开销，如网络批 1000 req/s，减少 syscall 50%。
-
可预测代码：编写线性路径，利于 CPU 分支预测和缓存。避免依赖编译器优化，显式展开热点循环。示例：固定数组而非 vec，容量预设为 4096。
-
早期性能预算：设计时估算，如 “读 1GB 内存需 10s（假设 100GB/s 带宽）”。工具：sirupsen/napkin-math GitHub 项目提供模板。
落地清单：
- 批处理阈值：I/O 批次 ≥ 64 项。
- 循环上限：≤ 1e6 迭代。
- 内存峰值监控：RSS < 物理内存 80%。
这些参数在高负载系统如数据库中证明有效，TigerBeetle 实现 TPS > 1M。
开发者体验：可持续协作基础
优秀 DevEx 放大安全与性能收益。TigerStyle 强调 “命名与组织如领域建模”。
-
命名规范：全词无缩写，带单位降序如 latency_ms_max。避免同义别名，单源真理。
-
最小作用域：变量就近声明，函数签名 ≤ 4 param，大对象传引用（>16B）。
-
一致性：4 空格缩进，行宽 ≤100 char，无多语句单行。最小外部依赖，标准化工具（如 Zig/Rust）。
-
避免 off-by-one：index（0-based）、count（1-based）、size 区分，命名显式转换。
DevEx 实践减少认知负载 30%，如 “文档 why 而非 what”。
落地与风险控制
在 Rust 项目中应用 TigerStyle：借用检查天然契合 “零成本安全”，结合 const generics 实现编译时合约。异步：用 tokio 但固定 worker 池，避免 spawn 爆炸。监控：Prometheus 阈值如 func_len >70 alert，回滚策略：渐进引入，先小模块。
风险：过度刚性限制造成 boilerplate—— 缓解：宏或模板。极限场景：超高并发，用固定线程池（≤ CPU cores * 2）。
TigerStyle 零技术债承诺：“第一次就做对”。适用于系统编程，远超简单规范。
资料来源：
[1] https://tigerstyle.dev/#2.1-safety
[2] TigerBeetle TIGER_STYLE.md (原版灵感源)
[3] https://github.com/simonklee/tigerstyle
（正文字数：1256）