统一下载站www.3987.com(ERROR:15) & 访客不能直接访问登录以解锁更多InfoQ新功能
获取更新并接收通知
给您喜爱的内容点赞
关注您喜爱的编辑与同行
966,690 七月 独立访问用户
语言 & 开发
架构 & 设计
文化 & 方法
您目前处于：
那些C语言缺失的，我在Rust里找到了
那些C语言缺失的，我在Rust里找到了
0&他的粉丝
0&他的粉丝
日. 估计阅读时间:
，将区块链技术的创新和早期落地案例带回您的企业
相关厂商内容
相关赞助商
K&R因其独特的文风和简洁明了的代码风格而闻名。它甚至还教你如何自己实现简单的malloc()和free()函数，这实在太有意思了。而且，这门语言本身的一些特性也可以通过自身来实现。
在接下来的几年，我一直使用C语言。它是一门轻巧的编程语言，使用差不多2万行代码实现了Unix内核。
GIMP和GTK+让我学会了如何使用C语言来实现面向对象编程，GNOME让我学会了如何使用C语言维护大型的软件项目。一个2万行代码的项目，一个人花上几周就可以完全读懂。
但现在的代码库规模已经不可同日而语，我们的软件对编程语言的标准库有了更高的期望。
C语言的一些好的体验
第一次通过阅读POV-Ray源代码学会如何在C语言中实现面向对象编程。
通过阅读GTK+源代码了解C语言代码的清晰、干净和可维护性。
通过阅读SIOD和Guile的源代码，知道如何使用C语言实现Scheme解析器。
使用C语言写出GNOME Eye的初始版本，并对MicroTile渲染进行调优。
C语言的一些不好的体验
在Evolution团队时，很多东西老是崩溃。那个时候还没有Valgrind，为了得到Purify这个软件，需要购买一台Solaris机器。
调试gnome-vfs线程死锁问题。
调试Mesa，却无果。
接手Nautilus-share的初始版本，却发现代码里面居然没有使用free()。
想要重构代码，却不知道该如何管理好内存。
想要打包代码，却发现到处是全局变量，而且没有静态函数。
但不管怎样，还是来说说那些Rust里有但C语言里没有的东西吧。
自动资源管理
我读过的第一篇关于Rust的文章是“Rust means never having to close a socket”（）。Rust从C++那里借鉴了一些想法，如RAII（Resource Acquisition Is Initialization，资源获取即初始化）和智能指针，并加入了值的单一所有权原则，还提供了自动化的决策性资源管理机制。
自动化：不需要手动调用free()。内存使用完后会自动释放，文件使用完后会自动关闭，互斥锁在作用域之外会自动释放。如果要封装外部资源，基本上只要实现Drop这个trait就可以了。封装过的资源就像是编程语言的一部分，因为你不需要去管理它的生命周期。
决策性：资源被创建（内存分配、初始化、打开文件等），然后在作用域之外被销毁。根本不存在垃圾收集这回事：代码执行完就都结束了。程序数据的生命周期看起来就像是函数调用树。
如果在写代码时老是忘记调用这些方法（free/close/destroy），或者发现以前写的代码已经忘记调用，甚至错误地调用，那么以后我再也不想使用这些方法了。
Vec&T&真的就是元素T的vector，而不只是对象指针的数组。在经过编译之后，它只能用来存放类型T的对象。
在C语言里需要些很多代码才能实现类似的功能，所以我不想再这么干了。
trait不只是interface
Rust并不是一门类似Java那样的面向对象编程语言，它有trait，看起来就像是Java里的interface——可以用来实现动态绑定。如果一个对象实现了Drawable，那么就可以肯定该对象带有draw()方法。
不过不管怎样，trait的威力可不止这些。
trait里可以包含关联类型，以Rust的Iterator这个trait为例：
pub trait Iterator {
fn next(&mut self) -& Option&Self::Item&;
也就是说，在实现Iterator时，必须同时指定一个Item类型。在调用next()方法时，如果还有更多元素，会得到一个Some（用户定义的元素类型）。如果元素迭代完毕，会返回None。
关联类型可以引用其他trait。
例如，在Rust里，for循环可以用于遍历任何一个实现了IntoIterator的对象。
pub trait IntoIterator {
/// 被遍历元素的类型
type IntoIter: Iterator&Item=Self::Item&;
fn into_iter(self) -& Self::IntoI
在实现这个trait时，必须同时提供Item类型和IntoIter类型，IntoIter必须实现Iterator，用于维护迭代器状态。
通过这种方式就可以建立起类型网络，类型之间相互引用。
字符串切割
我之前发表了一篇有关C语言缺少字符串切割特性的文章（），解释了C语言的这个痛点。
以前实现依赖管理需要：
手动调用或通过自动化工具宏来调用pkg-config。
指定头文件和库文件路径。
基本上需要人为确保安装了正确版本的库文件。
而在Rust里，只需要编写一个Cargo.toml文件，然后在文件里指明依赖库的版本。这些依赖库会被自动下载下来，或者从某个指定的地方获取。
C语言的单元测试非常困难，原因如下：
内部函数通常都是静态的。也就是说，它们无法被外部文件调用。测试程序需要使用#include指令把源文件包含进来，或者使用#ifdefs在测试过程中移除这些静态函数。
需要编写Makefile文件将测试程序链接到其中的部分依赖库或部分代码。
需要使用测试框架，并把测试用例注册到框架上，还要学会如何使用这些框架。
而在Rust里，可以在任何地方写这样的代码：
fn test_that_foo_works() {
assert!(foo() == expected_result);
然后运行cargo test运行单元测试。这些代码只会被链接到测试文件中，不需要手动编译任何东西，不需要编写Makefile文件或抽取内部函数用于测试。
对我来说，这个功能简直就是杀手锏。
包含测试的文档
在Rust中，可以将使用Markdown语法编写的注释生成文档。注释里的测试代码会被作为测试用例执行。也就是说，你可以在解释如何使用一个函数的同时对它进行单元测试：
/// Multiples the specified number by two
/// assert_eq!(multiply_by_two(5), 10);
fn multiply_by_two(x: i32) -& i32 {
注释中的示例代码被作为测试用例执行，以确保文档与实际代码保持同步。
卫生宏（Hygienic Macro）
Rust的卫生宏避免了C语言宏可能存在的问题，比如宏中的一些东西会掩盖掉代码里的标识符。Rust并不要求宏中所有的符号都必须使用括号，比如max(5 + 3, 4)。
没有自动转型
在C语言里，很多bug都是因为在无意中将int转成short或char而导致，而在Rust里就不会出现这种情况，因为它要求显示转型。
不会出现整型溢出
这个就不用再多作解释了。
在安全模式下，Rust里几乎不存在未定义的行为
在Rust的“安全”模式下编写的代码（unsafe{}代码块之外的代码）如果出现了未定义行为，可以直接把它当成是一个bug来处理。比如，将一个负整数右移，这样做是完全可以的。
在对一个枚举类型进行switch操作时，如果没有处理所有的值，gcc编译器就会给出警告。
Rust提供了模式匹配，可以在match表达式里处理枚举类型，并从单个函数返回多个值。
impl f64 {
pub fn sin_cos(self) -& (f64, f64);
let angle: f64 = 42.0;
let (sin_angle, cos_angle) = angle.sin_cos();
match表达式也可以用在字符串上。是的，字符串。
let color = "green";
match color {
=& println!("it's red"),
"green" =& println!("it's green"),
=& println!("it's something else"),
你是不是很难猜出下面这个函数是干什么用的？
my_func(true, false, false)
但如果在函数的参数上使用模式匹配，那么事情就会变得不一样：
pub struct Fubarize(pub bool);
pub struct Frobnify(pub bool);
pub struct Bazificate(pub bool);
fn my_func(Fubarize(fub): Fubarize,
Frobnify(frob): Frobnify,
Bazificate(baz): Bazificate) {
if frob && baz {
my_func(Fubarize(true), Frobnify(false), Bazificate(true));
标准的错误处理
在Rust里，不再只是简单地返回一个布尔值表示出错与否，也不再简单粗暴地忽略错误，也不再通过非本地跳转来处理异常。
#[derive(Debug)]
在创建新类型时（比如创建一个包含大量字段的struct），可以使用#[derive(Debug)]，Rust会自动打印该类型的内容用于调试，不需要再手动编写函数去获取类型的信息。
不再需要使用函数指针了。
在多线程环境里，Rust的并发控制机制可以防止出现数据竟态条件。我想，对于那些经常写多线程并发代码的人来说，这会是个好消息。
C语言是一门古老的语言，用它来编写单处理器的Unix内核或许是个不错的选择，但对于现今的软件来说，它算不上好语言。
Rust有一定的学习曲线，但我觉得完全值得一学。它之所以不好学，是因为它要求开发者对自己所写的代码必须有充分的了解。我想，Rust是一门这样的语言：它可以让你变成更好的开发者，而且它会成为你解决问题的利器。
查看英文原文：
感谢对本文的策划和审校。
Author Contacted
此内容所在的主题为
语言 & 开发
480 他的粉丝
0 他的粉丝
0 他的粉丝
告诉我们您的想法
允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p
当有人回复此评论时请E-mail通知我
允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p
当有人回复此评论时请E-mail通知我
允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p
当有人回复此评论时请E-mail通知我
赞助商链接
InfoQ每周精要
订阅InfoQ每周精要，加入拥有25万多名资深开发者的庞大技术社区。
文化 & 方法
架构 & 设计
语言 & 开发
InfoQ.com及所有内容，版权所有 ©
C4Media Inc. InfoQ.com 服务器由 提供, 我们最信赖的ISP伙伴。
极客邦控股（北京）有限公司
找回密码....
InfoQ账号使用的E-mail
关注你最喜爱的话题和作者
快速浏览网站内你所感兴趣话题的精选内容。
内容自由定制
选择想要阅读的主题和喜爱的作者定制自己的新闻源。
设置通知机制以获取内容更新对您而言是否重要
注意：如果要修改您的邮箱，我们将会发送确认邮件到您原来的邮箱。
使用现有的公司名称
修改公司名称为：
公司性质：
使用现有的公司性质
修改公司性质为:
使用现有的公司规模
修改公司规模为：
使用现在的国家
使用现在的省份
Subscribe to our newsletter?
Subscribe to our industry email notices?
通过订阅此邮件，我们可能会根据您以往感兴趣的主题向您发送内容。关于更多详情，请参阅我们的。
我们发现您在使用ad blocker。
我们理解您使用ad blocker的初衷，但为了保证InfoQ能够继续以免费方式为您服务，我们需要您的支持。InfoQ绝不会在未经您许可的情况下将您的数据提供给第三方。我们仅将其用于向读者发送相关广告内容。请您将InfoQ添加至白名单，感谢您的理解与支持。因有损游戏自由度《Rust》或将取消经验系统_爱玩网_网易
因有损游戏自由度《Rust》或将取消经验系统
打豆豆的小星
爱玩网独家编译，转载请注明出处。《Rust》近期一项新动作就是加入了经验系统，虽然在加入游戏前获得了玩家们的肯定，但是实际加入游戏后却受到差评，与玩家和开发商预期不符。在Steam上，许多评价直言不讳地支出经验系统并给游戏没带来益处。《Rust》制作人Maurino&Berry在Reddit上表示，《Rust》未来可能不会再有经验系统了。“经验系统在加入游戏前获得了巨大赞赏，但此后不少玩家很厌恶这个系统。我不会对此视而不见，我了解过后觉得整个系统需要重新考量。”“经验系统有时与《Rust》一些主旨相违背：强迫玩家按一定顺序完成任务，夺走了游戏的沙箱感。我们加入经验系统是因为一些玩家提出希望有蓝图引导玩家如何玩，但我忽视了随机性可能会带来一些有趣的情况，逼迫玩家利用手中现有的道具。”请允许我们安利一下：爱好者大本营直通车发车了，解密爱玩小编的日常生活，看到一些独家和不能公开的内容……期待您加入游大本营超级QQ群。
本文来源：
&&&作者：打豆豆的小星
&&&责任编辑：谢志航_NG2612
你可能感兴趣：
24小时评论排行
用微信扫描二维码分享至好友和朋友圈}