Rust中实现trait的所有类型都会生成vtable吗？debug与release构建有差异吗？

结论 #

不会同时保留两个vtable，常规情况下仅会保留Bar对应Foo trait的vtable，该行为在debug和release构建下差异极小。

具体说明 #

• Rust编译器对trait vtable采用按需生成策略：只有当代码中存在将某个类型的实例转换为对应trait object的操作时，才会为该「类型+Trait」组合生成vtable。你给出的示例中只有Bar被转为了&dyn Foo，没有任何地方用到Baz的trait object，所以编译器不会为impl Foo for Baz生成对应的vtable，自然不会出现在最终二进制里。
• 哪怕你代码其他位置用到了Baz类型本身、甚至静态调用了Foo中定义的方法，只要没有把Baz实例转为dyn Foo类型的trait object，对应的vtable依然不会生成。
• debug和release构建的差异仅在极端场景下存在：如果你写了impl Foo for Baz的代码、同时存在未被使用的Baz实例构造逻辑：
  • debug构建默认关闭死代码剔除，所以Baz本身的构造、普通方法代码会被保留，但Foo for Baz的vtable依然不会生成
  • release构建会自动剔除所有未被使用的代码，Baz相关的所有逻辑包括impl定义都会被完全删掉，不会残留任何内容。

内容的提问来源于stack exchange，提问作者zombiesauce