原型方法本身不提供零开销映射，其本质是运行时动态查找机制；真正零开销的是c++模板特化、rust派生宏、go代码生成等编译期静态绑定方案。
标准原型方法本身不提供“零开销映射”——它本质是运行时动态查找机制，开销客观存在；所谓“零开销”，仅出现在特定编译优化路径下（如内联+常量折叠+原型链提前终止），而非原型机制固有属性。真正能实现零开销的，是基于原型思想衍生出的静态替代方案（如C++模板特化、Rust派生宏、Go代码生成），它们在编译期消除了原型链遍历。
原型方法的底层开销来源很明确
JavaScript中调用obj.method()时，引擎实际执行的是：
- 检查
obj自身是否有method属性（哈希表查表） - 若无，则读取
obj.__proto__，跳转到原型对象 - 重复查找，直到命中或抵达
null - 每次跳转都涉及内存寻址、属性键比对、可枚举性判断
这个过程无法在编译期消除，V8等引擎虽做缓存（IC，Inline Cache），但仍是运行时优化，不是零开销。
所谓“零开销映射”实际指编译期静态绑定
当你看到“零开销原型映射”，大概率是指以下三类非JS场景：
-
C++原型模式 + 模板克隆：原型对象作为const模板参数传入，
clone()被内联展开，拷贝逻辑直接生成为寄存器赋值指令，无虚函数表查表、无堆分配 -
Rust
#[derive(Clone)]：编译器在AST阶段生成字段级bitwise copy或专用memcpy，不走trait object动态分发 -
Go结构体+代码生成：通过
go:generate扫描struct tag，在编译前生成硬编码序列化函数，绕过reflect运行时反射
想从源码验证，重点看三处
以V8为例（src/objects/js-objects.cc）：
-
JSObject::GetProperty：入口，含IC状态机与slow-path fallback -
PrototypeIterator：显式循环遍历__proto__链，每步调用Next()并检查是否为null -
LoadHandler::GetHandler：IC缓存命中时的快速路径，仍需校验receiver map是否匹配
你会发现：所有路径都保留分支判断和指针解引用，没有一处能被编译器优化成常量地址偏移——因为原型链长度、属性位置在运行前不可知。
真正零开销的替代思路
放弃“运行时原型链”，改用编译期确定结构：
- 用
constexpr计算字段偏移（C++20std::offset_of） - 用macro或proc-macro展开固定访问模式（Rust
paste!+quote!） - 用IDL或schema驱动代码生成（如Protocol Buffers的
protoc）
这些方案把“查找”变成“计算”，把“继承”变成“展开”，才具备零开销资格。
