本文摘自《深入RUST标准库》,已经全网发售,恳请支持
下例是标准库中,字符类型的一个方法,此方法将字符转换为某一进制的数值,从代码的注释中可以看到RUST是如何规避可能产生的bug
pub fn to_digit(self, radix: u32) -> Option<u32> {
assert!(radix <= 36, "to_digit: radix is too high (maximum 36)");
// wrapping_sub与C语言“-”处理是相同的,减法结果小于最小值时,
// 会折返,但RUST语言“-”操作在结果小于最小值时会panic。
// 因为self转化成u32可能小于最小值,用'-'会panic。
// 同时,本程序设计上的逻辑就是要wrapping_sub。
// 折返是程序员必须考虑但经常会忽略掉的情况。rust用了强制性区分
// 以让程序员编码时必须要注意。
let mut digit = (self as u32).wrapping_sub('0' as u32);
if radix > 10 {
if digit < 10 {
return Some(digit);
}
// 这里使用了saturating_add,保证超过最大值的时候不会折返
// 而是返回最大值。如果是C程序,这里用"+“就会可能出bug,
//因为折返可能会导致digit小于10。
digit = (self as u32 | 0b10_0000).wrapping_sub('a' as u32).saturating_add(10);
}
//利用bool类型的方法简化了编程
(digit < radix).then_some(digit)
}
在C语言中,实际上只提供了wrapping_xxx的算术,程序员很容易就忽略折返的情况。
RUST的默认算术符号在越界时都会立刻panic,这就让程序员能够迅速定位bug。否则,一个普通的越界错误的问题查找时间可能会超出人的想象。RUST程序员犯错的定位过程是极其高效的。程序员不怕出错,怕的是不知错误出在那里,在这一点上,RUST是一个拯救者。
如果程序员有足够的经验,考虑到折返的情况,就会发现RUST的代码是最少和最简洁的。
以上的例子充分说明了RUST语言在高效率的开发无错代码的能力显著的优越于其他语言