《Rust实战》结构体里的泛型，有没有老师能给我解个惑呢

吾妻思萌

《Rust实战》结构体里的泛型，有没有老师能给我解个惑呢 [复制链接]

泛型就像多态，泛型主要目的是为程序员提供编程的便利，减少代码的臃肿，同时可以极大地丰富语言本身的表达能力，为程序员提供了一个合适的炮管。想想，一个函数，可以代替几十个，甚至数百个函数，是一件多么让人兴奋的事情。

如果引入了泛型，这里的i8，i32，f64本来都时在栈上的吧。

fn add_i8(a:i8, b:i8) -> i8 {
    a + b
}
fn add_i32(a:i32, b:i32) -> i32 {
    a + b
}
fn add_f64(a:f64, b:f64) -> f64 {
    a + b
}

fn main() {
    println!("add i8: {}", add_i8(2i8, 3i8));
    println!("add i32: {}", add_i32(20, 30));
    println!("add f64: {}", add_f64(1.23, 1.23));
}

如果要是用泛型，那么代码可以变成下面的简化形式

fn add<T>(a:T, b:T) -> T {
    a + b
}

fn main() {
    println!("add i8: {}", add(2i8, 3i8));
    println!("add i32: {}", add(20, 30));
    println!("add f64: {}", add(1.23, 1.23));
}

那么此时，数据是在堆上吗？

会不会有一个说法，简化代码写法，但是牺牲了空间和速度呢？

 

御坂10032号

我建议你去Rust官网看英文文档,这每个语言它底层实现不一样

hellokitty_bean

御坂10032号 发表于 2024-5-20 17:53 我建议你去Rust官网看英文文档,这每个语言它底层实现不一样

是想准备看原文。。。。。。。一直没有开始。。

 

deadash

没有牺牲空间和速度。T可以 &ref都可以使用，甚至callback可以where 来实现trait

 

你可以认为相当于如果被使用了就会编译对应的函数，和C++的模板一样。