如何在已实现特征的现有类型的枚举范围内实现特征？

如何在已实现特征的现有类型的枚举范围内实现特征？

我有这个：

extern crate pnet;

use pnet::packet::ipv4::Ipv4Packet;
use pnet::packet::ipv6::Ipv6Packet;

enum EthernetType {
    IPv4,
    ARP,
    VLAN,
    IPv6,
    Unknown(u16),
}

enum IPPacket<'a> {
    IPv4(Ipv4Packet<'a>),
    IPv6(Ipv6Packet<'a>),
}

fn ip_decode(pkt: &[u8]) -> IPPacket {
    let version = (pkt[0] & 0xf0) >> 4;
    if version == 4 {
        IPPacket::IPv4(Ipv4Packet::new(&pkt).unwrap())
    } else {
        IPPacket::IPv6(Ipv6Packet::new(&pkt).unwrap())
    }
}

fn main() {
    // Parse ethernet packet here...
    // ...
    let ip_packet = ip_decode(b"deadbeef");
    println!("{:?}", ip_packet.payload());
}

编译器抱怨我没有实现Packet trait https://docs.rs/pnet/0.11.1/pnet/packet/trait.Packet.html对于我的枚举：

error[E0599]: no method named `payload` found for type `IPPacket<'_>` in the current scope
  --> src/main.rs:32:32
   |
14 | enum IPPacket<'a> {
   | ----------------- method `payload` not found for this
...
32 |     println!("{:?}", ip_packet.payload());
   |                                ^^^^^^^
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `payload`, perhaps you need to implement it:
           candidate #1: `pnet::packet::Packet`

我以为Packet特质将通过以下方式得出Ipv4Packet<'a> and Ipv6Packet<'a>?

如何在现有类型的枚举范围内实现特征

为枚举实现特征的方式与为结构实现特征的方式相同：

trait Noise {
    fn noise(&self);
}

enum Foo {
    Bar,
    Baz,
}

impl Noise for Foo {
    fn noise(&self) {
        match self {
            Foo::Bar => println!("bar bar bar"),
            Foo::Baz => println!("baz baz baz"),
        }
    }
}

实现该特征的现有类型的枚举

我以为Packet将衍生出特征

它不是。这样做会阻止人们实施他们的own如果需要的话，可以提供该特征的代码。它也不会在所有情况下都起作用，例如当一种变体没有实现它时。

trait Noise {
    fn noise(&self);
}

struct Bar;

impl Noise for Bar {
    fn noise(&self) {
        println!("bar bar bar");
    }
}

struct Baz;

impl Noise for Baz {
    fn noise(&self) {
        println!("baz baz baz");
    }
}

enum Foo {
    Bar(Bar),
    Baz(Baz),
}

impl Noise for Foo {
    fn noise(&self) {
        match self {
            Foo::Bar(bar) => bar.noise(),
            Foo::Baz(baz) => baz.noise(),
        }
    }
}

从概念上讲，可以扩展该语言以支持某些注释来实现此目的，但我从未听说过有人提出这样的建议。您可以考虑创建一个 RFC 来添加它。

也许你可以回到教你这一点的来源，并从根本上纠正问题，以防止其他人以同样的方式感到困惑。

也可以看看：

• 特征可以用于枚举类型吗？ https://stackoverflow.com/q/51567350/155423