tarpc服务宏中支持自定义派生特性的改进

在RPC框架tarpc的最新开发中，社区成员提出并实现了一个重要改进：为服务宏生成的请求(Request)和响应(Response)类型增加自定义派生特性(derive)的能力。这一改进显著提升了框架的测试友好性和灵活性。

背景与问题

tarpc的服务宏(#[tarpc::service])会自动为RPC服务生成相应的请求和响应类型。然而，这些生成的类型默认不实现Clone等常用特性，这给测试和模拟带来了不便。开发者需要这些特性来实现：

1. 测试中的值比较(PartialEq)
2. 值的复制(Clone)
3. 哈希计算(Hash)
4. 调试输出(Debug)

解决方案

新实现引入了一个统一的derive属性参数，取代了原有的derive_serde参数。这个新参数接受一个特性列表，允许开发者灵活指定需要派生的所有特性。

示例用法：

#[tarpc::service(derive = [tarpc::serde::Serialize, tarpc::serde::Deserialize, Clone, Hash])]
service World {
    async fn hello(message: String) -> String;
}

实现细节

1. 向后兼容性处理：

   • 保留了原有derive_serde参数的支持，但会输出弃用警告
   • 默认情况下仍会派生Serialize和Deserialize特性
   • derive和derive_serde参数互斥，同时使用会报错

2. 错误处理：

   • 当同时使用derive和derive_serde时，会产生编译错误
   • 使用derive_serde时会输出警告，提示迁移到新语法

3. 灵活性提升：

   • 开发者可以精确控制需要派生的特性
   • 可以完全禁用序列化特性的派生
   • 支持添加任意标准库或第三方特性

技术影响

这一改进对tarpc用户的主要好处包括：

1. 测试便利性：可以轻松克隆请求/响应对象进行断言比较
2. 模拟简化：更容易创建测试用的模拟对象
3. 灵活性增强：支持更多使用场景，如将RPC对象用作HashMap键
4. 现代化语法：采用更符合Rust惯例的属性参数设计

迁移指南

现有用户应逐步将代码从：

#[tarpc::service(derive_serde)]

迁移至：

#[tarpc::service(derive = [Serialize, Deserialize])]

对于不需要序列化的场景，可以完全禁用派生：

#[tarpc::service(derive = [])]

这一改进体现了tarpc框架对开发者体验的持续关注，使得基于tarpc构建的应用更加易于测试和维护。