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 {}
相关推荐
坤坤子吖15 分钟前
Linux网络编程:TCP服务器的多进程与多线程实现
linux·服务器·开发语言·网络·c++·笔记·学习
一晌小贪欢1 小时前
Python基础:第 09 篇 · while 循环:重复直到不满足
开发语言·c++·python·数据可视化·面向对象·python办公
xiaoye-duck1 小时前
《C++ 项目:手写大模型接入 SDK》LLMManager架构设计与实现
开发语言·网络·c++·语言模型
一条大祥脚2 小时前
CuTe 与 CuTe DSL:从 C++ 模板元编程到 Python DSL 的 GPU 编程演进
开发语言·c++·python·cutlass·cute·cute dsl
FRing033 小时前
vue2干货总结8(路由模块封装、router-link、声明式导航、路由重定向、编程式导航)
开发语言·前端·vue.js·vue2
旖旎夜光3 小时前
【C++ 基础入门】C++ 多态(上):虚函数、重写、override/final 与抽象类
开发语言·c++·笔记·学习
starzy19903 小时前
深入理解Scala嵌套函数:作用域封装之道
开发语言·scala
Sakura_j_h_3 小时前
从零写一个 MCP stdio Server:用 Python 校验博客文章格式
开发语言·python·自动化·ai工具·mcp·json-rpc
木子欢儿4 小时前
国内 macOS/Linux 安装 rust
linux·运维·服务器·macos·rust
白杨尚青5 小时前
C++进阶篇(五):红黑树——四条规则、三种插入情况与旋转变色
开发语言·数据结构·c++·stl·红黑树·平衡二叉树