1 函数重载(function overloading)

所谓的函数重载,指的是某些语言支持创建函数名相同,但函数签名不同的多个函数,所谓的函数签名,既指参数类型,也指参数的数量。

如C++,Java都是支持函数重载的,而Rust是不支持函数重载的, 个人猜测可能是Rust最初的设计者认为函数重载可能会导致增加代码理解难度,尤其是在C++里面,隐式类型转换叠加函数重载,可能看代码都看不出实际调用的是哪个版本的函数。

2 Rust版本的函数重载

但是我个人觉得函数重载在大部分情况下都是很方便,也不需要为相同的函数想不同的名字,毕竟命名是编程最难的问题之一。 今天重读 Programming Rust, 2nd Edition关于 Into 这个trait 的功能的时候,突然意识到,可以使用 Into 模拟出部分的函数重载功能。

为什么说是「部分」呢,因为前文提到,所谓的函数重载是指多个同名但函数签名不一样的函数,而Rust能模拟的就是参数类型不一样,但是参数数量一致的重载函数。

假设我们想实现自己的 ping 命名, 入参可以是 Ipv4Addr 这个 struct, ipv4的地址也可以使用2进制来表示, 又或者可以使用 u32 来表示,毕竟只有32位。

如果用 C++, 我们可以写3个重载函数,入参分别是, Ipv4Addr, bitsetuint32. 在 Rust, 我们也实现类似的函数:

use std::net::Ipv4Addr;
fn ping<A>(address: A) -> std::io::Result<bool>
where A: Into<Ipv4Addr>
{
    let ipv4_address = address.into();
    ...
}

需要注意的是,上面函数的入参并不是 Ipv4Addr, 而是 Into<Ipv4Addr> ,这就是意味着,所有实现了 Into<Ipv4Addr> 这个 trait 的类型都可以是 ping 的入参,而恰好 u32[u8; 4] 都实现了 Into<Ipv4Addr> ,所以下面的调用都是编译通过的:

println!("{:?}", ping(Ipv4Addr::new(23, 21, 68, 141))); // pass an Ipv4Addr
println!("{:?}", ping([66, 146, 219, 98]));             // pass a [u8; 4]
println!("{:?}", ping(0xd076eb94_u32));                 // pass a u32

当然,如果你实现了 impl From<u32> for Ipv4Addr, Rust 编译器也会贴心地帮你把反向的 Into<Ipv4Addr> 也实现掉。

3 限制

看完上面的函数实现,有经验的朋友可能就会发现了,Rust版本的函数重载限制比C++的要多。

在C++版本的函数重载中:

void func1(Type1 foo);

void func1(Type2 bar);

参数类型 Type1Type2 并不需要存在任何关系,但是在 Rust 版本中,需要两个类型之间支持相互转换,所以可以理解成 Rust 的「函数重载」本质就是通过显示类型转换来实现的。

毕竟 Rust 设计初衷之一就是支持强类型,就函数重载而言,终归聊胜于无啦。

4 参考