Rust为满足过程宏生成添加空trait实现的影响及可行性问询

空trait内置类型实现的影响说明 #

• 性能方面：完全无影响
  你提到的空方法调用会被Rust编译器直接优化消除，哪怕是开最低等级的优化，也不会产生实际的函数调用开销，运行时表现和第二种手动跳过字段的方案没有任何区别。
• 二进制体积方面：几乎可以忽略
  这类空实现的函数本身没有任何执行逻辑，代码量极小，而且只有被实际调用的时候才会生成实例化代码，再加上链接阶段的冗余符号裁剪，最终不会给二进制增加可感知的体积。就算你为所有Rust内置类型都实现了空的ShowStrings，只要某个类型没有被派生宏生成的代码调用过，就不会在最终产物里留下任何相关内容。
• 其他注意点
  唯一可能的问题就是你之前提到的API语义困惑：如果用户意外对f32、()这类类型调用show_strings方法，空实现不会有任何输出，不符合用户预期。你可以通过两种方式规避：
  • 在trait的文档中明确说明，非字符串/非可遍历的内置类型的实现是空方法，仅用于派生宏内部调用
  • 给show_strings方法加上#[doc(hidden)]属性，避免用户在公开文档中看到该方法，仅对外暴露派生宏入口

第一种方案是已经被多个知名Rust库验证过的成熟实现，可靠性远高于第二种依赖类型名识别的方案，不用纠结性能和体积问题，放心用就行。

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