眾所周知，C 是一種廣泛非常使用的語言，從操作系統內核到加密算法的編寫，到處都在使用 C。如今，我們是否應該用另一種語言來替換 C 呢？ 盡管C 語言發布于 1972 年，但至今仍是使用最廣泛的語言之一，同時按照如今的標準來看，C 語言也存在許多限制和缺陷。

圖：2020年 TIOBE 編程語言排行榜 有人希望用另一種語言來替換 C 的關鍵原因也正在于此。用 C/C++ 編寫的關鍵性軟件實在太多了，但 C/C++ 中包含大量的“潛規則”。舉個例子 OpenSSL 庫中的 bug 就源于此。眾所周知，C 語言非常不善于處理類似于緩沖溢出的問題。C 語言中的“坑”實在太多了。C 語言沒有類型安全，對于熱衷于動態語言的人來說，這聽起來可能有些奇怪。而 Python 或 Julia 等動態語言就可以捕捉到錯誤的類型用法，例如在 if 語句中使用整數的錯誤。雖然動態語言無法在編譯時捕捉到這類問題，但如果它們具有強大的類型系統，那么就可以在運行時捕捉到很多問題。這對于安全性特別重要。在很大程度上，安全漏洞都會引發未定義的行為，而不會正常終止程序。 話說回來，如果 C 語言如此之糟糕，那么為什么還沒有被替換掉呢？其中的原因很多。其實在某些地方，它已經被替換了。以前很多用 C 處理的任務如今都改用 Java、C#、C++ 以及其他語言了。 因此，我們需要深挖一下究竟還有哪些軟件仍然以 C 語言為主：

操作系統內核。例如 Linux 等

微控制器

視頻編解碼器

底層共享庫，例如 OpenSSL 等

Unix 命令行工具，例如 ls、cat 和 git 等

為什么這些領域仍然由 C 語言主導？因為直到最近，我們也沒有更好的替代 C 語言的方案。 上個世紀 90 年代，許多語言（例如 Java、C#、VB.NET 和 F#）都將重點放在創建垃圾收集上。對于上述領域來說，這些語言都不是好的解決方案。 除此之外，還有其他 80 年代和 90 年代出現的語言，例如 Perl、Python、Ruby 和 JavaScript 等，它們都不適合這些任務。 當然，我們還有一些其他靜態類型的語言，例如 Ada、Modula-2 等。但是，一般情況下，這些語言都很難與開發人員的技術結合，也很難與已有的 C 語言庫配合使用。 還有 D 等其他語言，但是其復雜性與 C++ 差不多，因此對 C 開發人員沒有吸引力。而且，最初它也需要垃圾收集，所以可能并不適合上述提到的許多領域。如果你開發的應用程序需要保持很高的幀速率，那肯定不希望啟動垃圾收集。

Go 和 Rust 有一定的可能性

我認為，第一個真正有可能替代 C 和 C++ 的現代編程語言是 Go 和 Rust。我們看到許多過去用 C 或 C++ 編寫的工具如今都改成了用 Go 或 Rust 編寫。比如大量的命令行工具都用這些語言編寫出來了。有些人甚至在嘗試用Rust 編寫游戲引擎。

LLVM：填補空白

我認為有可能出現 C 語言替代品的一個主要原因是LLVM 的成熟。LLVM 意味著生成高性能的代碼、支持多平臺的難題得到了解決。LLVM 為更多人提供了嘗試語言開發的機會。 Go 和 Rust 提供了一些啟發，讓我們重新思考 C / C++，在這些啟發的帶動下，再加上 LLVM 助陣，很多人都躍躍欲試尋找 C 語言的替代品：

Zig：一門開源的編程語言，專為穩定性、可維護性和最優性而設計。

Odin：C 語言的替代品，與 Go 非常相似。

V 語言：另一個類似于 C 的語言，受到了 Go 和 Rust 的大量啟發。

什么樣的語言可以替代 C？

如果一門編程語言想要替代 C，首先必須適合 C 語言占主導地位的領域。并非所有類型的語言都能夠滿足這一點。我認為能夠替代 C 的語言有以下這些共同點：

能夠重用現有的 C 庫。Ada、Modula-2 等語言在很大程度上就在這一點上栽了跟頭，因為你無法在大型 C 生態系統中有效使用這兩種編程語言。

建立在已有的知識和慣例之上。Go 語言很容易上手，因為盡管語法有所變化，但 API 和編程的方式與 C 非常相似。

沒有垃圾回收，或者采用手動內存管理。在 C語言占主導的領域內，你需要嚴格控制內存的使用。在這里領域內，垃圾收集派不上用場，這就是 Go 無法完全代替 C 的原因。

控制可執行文件的大小。像 C 一樣，Zig 可以將可執行文件壓縮到很小。你無法在嵌入式等領域使用 Go 語言，因為這些語言生成的可執行文件都太大。

系統層面的友好。你需要能夠操縱位和字節。你需要良好的二進制運算符和指針。在過去的幾十年中，許多語言都沒有合適的指針。Java 為指針帶來了各種罵名，好在 Go 挽回了一些。

逐步替換 C 代碼。能夠良好地兼容 C 的可執行文件。

我們深入討論一下最后一點。如果需要一次性重寫整個程序，那么壓根沒有人會考慮替換掉現有的用 C 語言編寫的基礎設施。以我的經驗來看，從 Objective-C 過渡到 Swift 之所以如此簡單，是因為我可以一次重寫一個方法，重新編譯，并測試程序。 使用 Zig 之類的語言，也可以輕松地做到這一點。

總結

我們應該替換掉 C 的原因有很多，而截止到目前仍未換掉的主要原因在于，其他編程語言的重點都放在了別處，而且我們缺少工具。這不是一個大型組織必須決定做的事情。你需要讓大家都來嘗試一下。如今在 LLVM 的支持下，在 Go 的啟發下，我們完全可以替換掉 C。 那么，我個人是否認為 C 將來會被替換掉呢？我并沒有那么期待。這是一個漫長的過程，我們還沒有明確的贏家。大型組織不會采用 Zig、Odin、V 或其他編程語言，他們都在等待明確的替代方案出現。 說到底，替換掉 C 究竟表示什么意思？時至今日很多金融機構仍在使用 Cobol，但我們可以說 Cobol 已被取代了，因為今時今日沒有新項目會選擇 Cobol。人們都在盡可能遠離 Cobol。 同樣，大量經過測試的 C 代碼也不會被重寫。這些代碼會一直遺留下去。 但是，終有一天，C 語言會被其他語言所替代，即使是在自己占主導地位的領域中。