微软Azure CTO Mark Russinovich：应该立即弃用C/C++

微软Azure CTO Mark Russinovich表示，后续启动的新项目应停止使用C和C++。

他在推特上表达了这个观点，并强调与微软公司无关。“是时候停止用C/C++启动任何新项目了，一切需要无垃圾回收语言的场景都该使用Rust。出于安全性和可靠性的考虑，业界应该立即弃用这两种语言。”

Russinovich的言论值得关注，毕竟微软自家的Windows、Office和SQL Server等核心产品，主要就是用C和C++编写的。Linux也是如此，其同样在Azure云平台上得到了广泛应用。但从目前公布的消息来看，Linux的部分内核似乎很快就将迈入Rust时代。结合开源峰会上的报告和Linus本人的邮件，“除非出现极特殊情况，否则Rust一定会现身Linux内核的6.1版本。”

这已经不是微软第一次主张用Rust提升软件安全水平了。三年之前，微软安全响应中心（MSRC）就曾提到，“我们认为Rust是目前最理想的C与C++替代选项。”该响应中心团队还强调，“由MSRC分配CVE编号的安全问题中，约70%与内存安全相关。也就是说，如果能用Rust编写这些软件，那这70%的安全隐患很可能不会出现。”

所谓内存安全，是指当应用程序代码从内存中读取数据时，这部分数据能够保证有效。这个环节中出问题的原因有以下几点：编程语言会为变量定义需要占用的特定内存空间。如果为变量分配的内存太小，代码可能超出其上限，导致有随机数据被注入应用程序。同样的，如果代码试图读取已被内存释放掉的数据，那实际读取到的可能是其他数据，同样会引发难以预测的结果、甚至导致崩溃。另一个问题就是多线程应用程序中的多个线程同时写入同一内存区，这时如果没有内存锁，就会引发内存数据损坏。

大多数业务应用程序都是用JavaScript、Java、Python和C#等高级语言编写的，它们要比C或C++安全得多。但这些语言的问题是，它们的运行时或内存垃圾回收器（GC）具有无法预测的性能开销，因此并不适合用作系统编程。Rust专为系统编程而设计，而且具备基于编译器强制值所有权概念的内存安全功能。

当然，Rust也无法保证百分之百内存安全。使用unsafe关键字，Rust开发者也可以取消引用原始点、调用不安全函数、写入可变静态变量等等。在有些情况下，这些操作有其必要性，而且Rust会将这类代码隔离到特定的标记块当中，由此带来远超C或C++的安全水平。

尽管业界不乏支持Rust的声音，但在Redmonk编程语言排名等主流调查中，Rust的人气仍然远远落后于C和C++。其中C++排名第7，C排名第10，而Rust位列第19。为什么Rust人气有限？主要原因包括开发者短缺、工具不够成熟、语言学习门槛过高，以及与现有代码的互操作性不佳等。