在銹中使用特征的泛型函數

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();
}