Lobsters | 原文链接 | 2026-09-06 收录

可视化 Rust 的虚表：dyn Trait 在内存里到底怎么工作

来源: sofiabelen.github.io — 2026-09-04

概述

一位 Rust 初学者用亲手实验探究 dyn Trait 与 C++ 虚函数在内存层面的差异，拒绝把 Rust 当成换了语法的 C++。文章带读者走一遍静态分发（monomorphization，对应 C++ 的 CRTP 思路）与动态分发（dyn Trait，对应虚函数），并意外发现零大小类型（ZST）：空 struct 的尺寸是 0，因为 Rust 用所有权而非地址追踪身份，debug/release 下 ZST 的地址行为也因此不同。

核心要点

Rust 的 monomorphization 是 CRTP 想做之事的原生特性，编译期完成、零运行时开销
C++ 的虚表指针在对象内部、每个实例都背着开销；Rust 只有显式用 &dyn/Box 才有 vtable
ZST 空结构尺寸为 0，身份由所有权在编译期追踪，而非运行时内存地址
dyn Trait 有限制：不能按值返回 Self、方法不能带泛型参数，因 vtable 不知具体类型

金句

In C++, the vtable pointer lives inside the object, adding overhead to every instance whether you use polymorphism or not. In Rust, the vtable pointer only appears when you explicitly use &dyn Trait or Box.

返回 Lobsters 首页