2.2.1 标量类型 (Scalar Types)：整数、浮点、布尔、字符串

文档摘要

2.2.1 标量类型 (Scalar Types)：整数、浮点、布尔、字符串标量类型，是所有编程语言与数据系统的地基——它不张扬，却支撑起整个大厦；它看似简单，实则暗藏精密的工程权衡。当你写下、、或，你调用的不是抽象概念，而是一整套在硬件指令集、内存布局、编译器优化、运行时检查与序列化协议之间反复校准的实现机制。本节不谈“什么是整数”，而要亲手拆开 CPU 寄存器、窥探 LLVM IR 的位宽选择、追踪 Python 对象头中隐藏的引用计数字段、解析 UTF-8 字节流的有限状态机，并在 C++ 模板元编程中重写一个零开销布尔向量化路径。我们聚焦的是：标量如何被构造、如何被验证、如何被转换、如何被向量化、又如何在跨语言边界时不失精度与语义。