Redis-rs 项目中的 Rust 2024 版本兼容性问题解析

在 Rust 语言即将到来的 2024 版本中，类型系统的一个重要变更引发了 redis-rs 项目中一些有趣的兼容性问题。这个问题涉及到 never 类型（!）的回退行为改变，以及它对泛型返回类型推断的影响。

问题现象

当开发者使用 redis-rs 执行类似 connection.set("key", "value")? 这样的操作时，Rust 2024 版本的编译器会发出警告：

warning: this function depends on never type fallback being `()`

这个警告表明，代码当前依赖于 never 类型回退为 () 的行为，而这在 Rust 2024 版本中将被逐步淘汰。

技术背景

问题的核心在于 Rust 类型系统的两个关键特性：

1. Never 类型回退：在 Rust 中，! 类型（never 类型）表示永远不会返回的计算。在 2024 版本之前，当类型推断无法确定类型时，会回退到 () 类型；而在 2024 版本中，将回退到 ! 类型。

2. 泛型返回类型：redis-rs 的许多方法（如 set）使用泛型返回类型，允许调用者指定期望的返回类型。当调用者不关心返回值时，类型系统需要推断出一个合适的类型。

问题本质

在 redis-rs 中，像 set 这样的方法定义为：

fn set<K: ToRedisArgs, V: ToRedisArgs, RV: FromRedisValue>(...) -> RedisResult<RV>

这里 RV 是一个完全不受约束的泛型参数。当开发者简单地调用 set(...)? 而不指定返回类型时：

1. 当前行为（Rust 2021）：类型推断回退到 ()，因为存在 impl FromRedisValue for ()
2. 未来行为（Rust 2024）：类型推断将回退到 !，但 redis-rs 没有 impl FromRedisValue for !

解决方案

开发者有几种方式可以解决这个问题：

1. 显式指定返回类型：

   let _: () = connection.set("key", "value")?;
   

2. 使用 turbofish 语法：

   connection.set::<_, _, ()>("key", "value")?;
   

3. 简化写法：

   () = connection.set("key", "value")?;
   

长期建议

对于库作者而言，这种完全不受约束的泛型返回类型设计模式在未来可能会带来更多问题。建议考虑：

1. 为不关心返回值的操作提供专门的函数，固定返回 Result<(), Error>
2. 在文档中明确建议开发者总是显式指定返回类型
3. 考虑将返回类型参数放在泛型参数列表的前面，方便使用 turbofish 语法

对开发者的影响

这一变更虽然带来了短期的不便，但从长远来看有助于 Rust 类型系统的完善。开发者应该：

1. 关注编译器警告，及时调整代码
2. 养成显式指定不关心返回值时的类型习惯
3. 了解 Rust 2024 版本中 never 类型行为的变化

这一问题的出现也提醒我们，在设计泛型 API 时，特别是当返回值可能被忽略时，需要仔细考虑类型推断的行为和用户体验。