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 {}
相关推荐
离陌在学C#5 分钟前
C# 事件(Event)详解:从概念到实战
开发语言·c#
Terra.K28 分钟前
Java异常学习[特殊字符]
java·开发语言·学习
葡萄城技术团队2 小时前
InfluxDB 2\.x 深度解析:核心架构、Flux 函数与制造业落地指南(三)
java·开发语言·架构
counting money2 小时前
Java IO流详解:从InputStream到文件操作实战
java·开发语言·python
wuyk5552 小时前
98.C语言易混难点:字符数组与字符串指针的底层差异
c语言·开发语言·c++·stm32·嵌入式硬件·算法
峥无3 小时前
从0到1手撕红黑树:封装实现 my_map 与 my_set(SGI-STL 源码级深度解析)
开发语言·c++·笔记·算法·stl
波特率1152003 小时前
C++新特性---属性说明符与标准属性
开发语言·c++
程序员小八7773 小时前
上海百度B端java后端日常实习一面
java·开发语言
wp123_13 小时前
IPX8 防水 Type‑C连接器:安费诺 124018792112A 与 TONEVEE TY48087‑24A 技术梳理
c语言·开发语言
不会代码的小猴3 小时前
3. 控件学习1
开发语言·c++·笔记·qt·算法