Rust 设计模式 Marker Trait + Blanket Implementation

如果一个 Trait 要被多种 struct 实现,其中某几个或某一类 struct 对这个 trait 的实现方式一样,就可以用到 Marker Trait 这种设计模式。开源的做虚拟机模块化的 vm-memory 仓库就用到了这种技巧。

rust 复制代码
/// 普通的实现方式
struct MyRegion { /* ... */ }

// 😭 必须手动实现所有 Bytes 的方法
impl Bytes<MemoryRegionAddress> for MyRegion {
    fn write(&self, buf: &[u8], addr: MemoryRegionAddress) -> Result<usize> {
        let maddr = addr.raw_value() as usize;
        self.as_volatile_slice()?.write(buf, maddr).map_err(Into::into)
    }
    
    fn read(&self, buf: &mut [u8], addr: MemoryRegionAddress) -> Result<usize> {
        let maddr = addr.raw_value() as usize;
        self.as_volatile_slice()?.read(buf, maddr).map_err(Into::into)
    }
    
    fn write_slice(&self, ...) { /* ... */ }
    fn read_slice(&self, ...) { /* ... */ }
    fn read_volatile_from(&self, ...) { /* ... */ }
    // ... 还有 4-5 个方法要写
}

/// 😁 用上 Marker Trait
pub trait MemoryRegionBytes {}

impl<R: MemoryRegionBytes> Bytes<MemoryRegionAddress> for R {
    // ← 为所有实现了 GuestMemoryRegionBytes 的类型
    //   自动提供 Bytes 的默认实现!
    
    fn write(&self, buf: &[u8], addr: MemoryRegionAddress) -> Result<usize> {
        let maddr = addr.raw_value() as usize;
        self.as_volatile_slice()?    // ← 调用 GuestMemoryRegion 的方法
            .write(buf, maddr)
            .map_err(Into::into)
    }
    
    fn read(&self, buf: &mut [u8], addr: MemoryRegionAddress) -> Result<usize> {
        let maddr = addr.raw_value() as usize;
        self.as_volatile_slice()?
            .read(buf, maddr)
            .map_err(Into::into)
    }
    
    // ... 其他 6-7 个方法都自动实现了
}

impl MemoryRegionBytes for MyRegion {}
相关推荐
瑾修4 分钟前
golang查找cpu过高的函数
开发语言·后端·golang
kkkAloha9 分钟前
JS笔记汇总
开发语言·javascript·笔记
LawrenceLan6 小时前
Flutter 零基础入门(十一):空安全(Null Safety)基础
开发语言·flutter·dart
txinyu的博客7 小时前
解析业务层的key冲突问题
开发语言·c++·分布式
码不停蹄Zzz7 小时前
C语言第1章
c语言·开发语言
行者967 小时前
Flutter跨平台开发在OpenHarmony上的评分组件实现与优化
开发语言·flutter·harmonyos·鸿蒙
阿蒙Amon8 小时前
C#每日面试题-Array和ArrayList的区别
java·开发语言·c#
SmartRadio8 小时前
ESP32添加修改蓝牙名称和获取蓝牙连接状态的AT命令-完整UART BLE服务功能后的完整`main.c`代码
c语言·开发语言·c++·esp32·ble
且去填词8 小时前
Go 语言的“反叛”——为什么少即是多?
开发语言·后端·面试·go
知乎的哥廷根数学学派8 小时前
基于生成对抗U-Net混合架构的隧道衬砌缺陷地质雷达数据智能反演与成像方法(以模拟信号为例,Pytorch)
开发语言·人工智能·pytorch·python·深度学习·机器学习