从 C++ 走向 rust（九）：泛型函数——我被 rust 严格的语法咬了一口！

想写个泛型的算法，结果折腾了大半天才发现 rust 语法确实太严格了。把遇到的问题简化总结一下，希望对大家有用!

写一个简单的计算函数，比如两个数做加法，下面函数 calc 的代码在 c++ 中一点问题也没有。但是，rust 给了一大堆编译错误信息。

fn calc<T>(x:T, y:T) -> T {
    return x + y;
}

fn main() {
    let x = 2;
    let y = 3;
    let z = x + y;
    println!("calc({:?}, {:?}) = {:?}", x, y, z);
} 

其实 rust 说的很有道理。我们分析一下错误信息：

error[E0369]: cannot add `T` to `T`
 --> src\main.rs:2:14
  |
2 |     return x + y;
  |            - ^ - T
  |            |
  |            T
  |
help: consider restricting type parameter `T`
  |
1 | fn calc<T: std::ops::Add<Output = T>>(x:T, y:T) -> T {
  |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^

既然 x、y 都是待定的类型 T， 你怎么就能保证他们可以做加法运算呢？

而且 help 部分提供了修改建议。我觉得 rust 的编译器提示信息非常清晰。按照建议修改一下：

fn calc<T: std::ops::Add<Output = T>>(x:T, y:T) -> T {
    return x + y;
}

fn main() {
    let x = 2;
    let y = 3;
    let z = calc(x, y);
    println!("calc({:?}, {:?}) = {:?}", x, y, z);
} 

这次问题不存在了，终于 Ok 了!`

<T: std::ops::Add<Output = T>> 这段代码，说明待定类型 T 需要实现特性 std::ops::Add，即加法运算，并且输出类型也是 T。

代码修改一下，写得紧凑一些：

fn calc<T: std::ops::Add<Output = T>>(x:T, y:T) -> T { x + y }
fn main() {
    println!("calc({:?}, {:?}) = {:?}", 2, 3, calc(2, 3));
} 

我一直觉得自己写代码很严谨，和 rust 打交道后，觉得差距还很大。 感觉 rust 就像一名一丝不苟的质检员，面对可能的缺陷决不妥协。

因为在写复杂算法时经常被莫名其妙的 bug 搞得焦头烂额，我很喜欢这个特点。但是，我估计绝大部分程序员不会接受 rust 这个做法的。或许，rust 就是一道巨大的门槛，注定会阻拦很多人进入它的大门，失去欣赏与 rust 同行的美丽风景。

---

原创不易，如有帮助，敬请关注、点赞、收藏，谢谢支持！