generics - 在 Rust 中使用 traits 的通用函数

Question

use std::num::Int;

fn main() {
    println!("{}", add_one(4));
}

fn add_one<T: Int>(x: T) -> T {
    return x + 1
}

我试图让 add_one 成为 Int 的泛型，但是当我编译它时它说类型不匹配

错误信息:

src/main.rs:8:16: 8:17 error: mismatched types:
 expected `T`,
    found `_`
(expected type parameter,
    found integral variable) [E0308]
src/main.rs:8     return x + 1
                             ^

Answer 1

我仔细研究了 std::num::Int 并找到了 Int::one()。

目前有效:

use std::num::Int;

fn main() {
    println!("{}", add_one(4));
}

fn add_one<T: Int>(x: T) -> T {
    return x + Int::one();
}