Rust 如何在没有重载函数的情况下实现泛型？

Question

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

    println!("{}", add(10i,5));
}

我知道 Rust 不允许重载函数。

1.) add 是在编译时生成的吗？

2.) 如果 1.) 为真，它如何在没有重载函数的情况下实现这一点？

在我的脑海中，编译器会生成

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

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

Answer 1

通常函数重载意味着你自己可以定义具有相同名称但具有不同参数集的函数。由于 Rust 没有重载，它不会编译第二段代码。

不过，泛型可用于实现简单形式的重载 - 当“重载”函数具有完全相同的实现，但适用于不同类型时。

所以，您的两点都是正确的：add() 是 在编译时生成的，是的，您提供的 sn-p 正是编译器会生成的东西（函数名称除外， 当然）;就是重载与此无关。