解读

面试官抛出此题，并非考察“会不会写 impl”，而是验证候选人对 Rust 枚举本质、名称解析规则以及零成本抽象边界的理解。
在国内大厂（华为、阿里、字节、蚂蚁、PingCAP）的 Rust 岗位面试中，“同名方法” 通常指：

1. 枚举不同变体（variant）希望共享一个方法名，但内部逻辑与捕获的字段类型不同；
2. 方法名与字段名故意冲突，看候选人能否区分 self.field 与 self.method() 的解析顺序；
3. 是否意识到 Rust 没有基于 variant 的 impl 块，必须借助 match self 或外部 trait 做分发。

如果候选人直接回答“Rust 不允许同名方法”或“用 trait 重载”，往往会被追问“为什么编译器不报错”“汇编代价如何”，从而拉开评分差距。

知识点

1. 枚举变体不是独立类型：enum E { A(u32), B(String) } 中 A 和 B 仅是该类型的构造器，不能单独 impl。
2. 方法解析顺序：Rust 名称解析优先查找固有 impl（inherent impl），其次才是 trait 方法；字段与方法同名时，字段优先，需使用 self.method() 显式调用方法。
3. Self 分发：在 impl 块里，self 的类型是枚举本身，必须手动 match 到具体变体才能使用不同字段。
4. trait 重载：若想让“同名方法”在多个类型上存在，可定义 trait 并用不同 impl 实现；但同一类型上 trait 方法名冲突需通过完全限定语法 <Type as Trait>::method 解决。
5. 零成本抽象：match 在 release 模式下会被 LLVM 优化为直接跳转表或内联分支，无额外虚函数开销。

答案

// 1. 固有 impl：同名方法手动分发
enum Packet {
    Ping(u16),          // 只带 id
    Pong(u16, u64),     // id + timestamp
}

impl Packet {
    // 所有变体共享的方法名
    pub fn id(&self) -> u16 {
        match self {
            Packet::Ping(i) => *i,
            Packet::Pong(i, _) => *i,
        }
    }
}

// 2. 字段与方法同名：字段优先，需显式调用方法
impl Packet {
    // 故意把方法名也取叫 ping，考察名称解析
    pub fn ping(&self) -> &'static str {
        "method ping"
    }
}

fn demo() {
    let p = Packet::Ping(10);
    // 字段优先，无法直接访问字段，因为字段在变体内部
    // 但方法调用无歧义
    assert_eq!(p.id(), 10);
    assert_eq!(p.ping(), "method ping");
}

// 3. 如果想让“不同变体”拥有完全不同的同名方法，可借助 trait + 新类型包装
trait Execute {
    fn run(&self) -> String;
}

struct PingPkt(u16);
struct PongPkt(u16, u64);

impl Execute for PingPkt {
    fn run(&self) -> String {
        format!("ping id={}", self.0)
    }
}

impl Execute for PongPkt {
    fn run(&self) -> String {
        format!("pong id={} ts={}", self.0, self.1)
    }
}

结论：

• 枚举内部实现同名方法只能写在一个 impl 块里，通过 match self 分发；
• 字段与方法同名时，字段遮蔽方法，需用函数调用语法解除遮蔽；
• 若需求是“不同变体拥有完全独立的同名方法”，需拆成独立类型再分别实现 trait，因为 Rust 不支持基于 variant 的 impl。

拓展思考

1. 性能边界：match 在变体数量 ≤ 256 时通常生成跳转表，超过后回退到二分查找；对热路径可把最常见变体放 match 第一条以提升分支预测。
2. 宏消除样板：使用 macro_rules! impl_common 批量生成同名方法，保证项目内 DRY，这在国产数据库内核代码里非常常见。
3. 类型状态模式：把枚举变体拆成独立 struct，再用 enum Packet { Ping(PingPkt), Pong(PongPkt) } 做外层包装，既保留统一类型，又让各变体拥有独立 impl，是 Rust 嵌入式与区块链状态机的主流写法。
4. 对象安全陷阱：若给枚举实现 trait Execute { fn run(&self); } 并试图把 Box<dyn Execute> 存进集合，枚举本身需实现该 trait，而不是变体；此时 match 分发会产生一次间接调用，但 LLVM 会去虚拟化，最终仍可能内联。