导读:Zig 不仅仅是另一种类似C的低级语言,它还有用于系统编程的功能齐全的系统编程工具链。
新编程语言的出现,真的能威胁到老牌编程语言吗?或许,真的没有永远的王者——就像最近春风得意的Mojo,LLVM之父Chris Lattner称其不会威胁到 Python,但会让C++等语言感到恐惧。
新语言层出不穷之时,旧语言的中年危机就会愈发凸显。但是像C++、C却似老翁一直稳坐钓鱼台,“一直被超越,但从未被打败”。
但是,总会有新出来的挑战者,比如Zig、Go等就一直跃跃欲试,试图取代这个编程老祖。而且许多新语言的使用者也会幡然相信:C,或许语言真的需要进化了!
本文具体解释了目前在所有C的替代品中,Zig为什么是最好的,以及Zig本身已经有了可行的替代C的计划,各位开发者不妨一探究竟。
为什么Zig只能替代C,而不是C++
系统编程通常指的是开发更接近计算机硬件或操作系统层的东西。系统编程通常实现可以运行其他软件系统的软件模块。
编写操作系统、应用程序框架和嵌入式系统是系统编程的好例子。系统程序员主要有两种语言类型选择:
C 及其替代方案:使用小型的高性能语言,如传统的 C、Go、Zig 或 Nim。
C++及其替代方案:使用有点复杂、高性能的语言,如传统的C++、Rust、Carbon 或 Cppfront。
Zig属于第一种语言。它是一种小型的、类似C语言的高性能语言,没有专用的运行时(没有内置的垃圾收集器)。Zig试图通过解决C开发人员面临的问题来成为“更好的C语言”,而Rust试图成为“更好的C++”语言。
Zig 如何成为最好的 C 替代品?
C语言现在有一个标准规范,也有了几个实现。
例如,你可以在GNU/Linux系统上使用GNU C编译器,在macOS上使用Apple Clang,在Windows上使用MSVC。C也有多个标准库实现,如libc、Microsoft C运行库、BSD libc、musl、Bionic等。
一个编译器实现和一个基本的标准库是不足以高效地构建软件系统的——C程序员需要使用构建系统、包管理器、测试运行器等。对于这些工具,他们要么必须使用现有的第三方工具,要么编写自己的工具(如BuildZri构建系统)。
Zig提供了一个内置的构建系统、包管理器和测试运行器。Zig通过为C开发人员经常面临的问题提供解决方案来与C竞争。例如,Zig的官方编译器支持交叉编译,并且内置的测试运行器可以执行放在源代码本身内部的测试用例。Zig的语言设计倾向于通过维护类似C的硬件友好设计来提供更高效的开发人员友好特性。Zig是硬件友好的,但它是最小的、安全的、语法上类似Rust的和现代的。因此,开发人员可以比C更高效地使用它。
看看下面这些简单的Zig代码片段,来理解Zig未来的、硬件友好的语言概念:
const std = ("std");
pub fn main() void {
var nums = [_]u8{1, 2, 4, 5, 120};
var x: usize = 3;
var nums_seg = nums[1..x];
std.debug.print("{any}\n", .{nums_seg}); // { 2, 4 }
std.debug.print("{}\n", .{ (nums_seg)}); // []u8 (slice)
}
Zig不像C语言那样使用预处理器或宏系统来处理导入——它使用类似nodejs的模块导入语法和内置的@import函数。这里,我们使用u8基本类型创建了一个无符号字节大小的整型数组。然后,我们使用Zig切片概念从数组创建一个切片。正如你所看到的,Zig提供了一个类似于C的硬件友好的原子类型系统,但是它使用更好的标准化、自解释的命名来改进它们,而不像C中那样使用char、short、long等。
C通常要求程序员自己写保护自身的程序,但是Zig实现了严格的内存安全特性。尝试将256添加到上面的字节数组。如果你用C语言做这个实验,程序会静默地存储一个不正确的值。在Zig中,你会得到一个编译错误,因为255是无符号字节类型,可以表示的最大值:
Zig 编译器显示的整数溢出检查
Zig的内置测试运行器与单元测试API,允许你在源文件中编写测试:
const std = @import("std");
fn add(a: i8, b: i8) i8 {
return a + b;
}
test "add returns the summation" {
try std.testing.expectEqual(add(10, 5), 15);
}
我从未在其他流行语言中见过像Zig这样高效的C-互操作。大多数语言使用FFI(外部函数接口)来实现C-互操作,但是Zig允许你调用C,甚至不需要在Zig范围内定义C函数。
当你导入C头文件时,它会自动创建结构类型:
const std = ("std");
const c = ({
"stdio.h"); (
});
pub fn main() void {
var a: u8 = 10;
var char_count = c.printf("a = %d\n", a); // a = 10
std.debug.print("{}\n", .{ (char_count)}); // c_int
std.debug.print("{}\n", .{char_count}); // 7
}
如上面的代码片段所示,Zig允许你像调用本地Zig函数一样调用C函数,但是使用自定义前缀(经常使用C)。
Zig没有提供一个内置的字符串类型,但是它允许你通过一个类似C语言的、低级的、基于字符数组的字符串处理概念和有用的快捷方式来处理字符串:
std.debug.print("{s}\n", .{"Zig" ++ "Lang"}); // ZigLang (concatenation)
std.debug.print("{s}\n", .{"Zig" ** 5}); // ZigZigZigZigZig (repetition)
std.debug.print("{}\n", .{@TypeOf("string")}); // *const [6:0]u8 (a pointer to an unsigned byte array)
Zig语言更接近硬件层,但它实现了各种快捷方式和现代语言概念(即切片、内置函数、循环简写等),为系统编程提供了一种高效的语言。其功能齐全的模块化标准库帮助Zig超越了系统编程。它为你提供了你在通用编程语言中寻求的控制结构、数据结构和基本算法,从而也非常适合系统编程。
Zig工具链的特性,如交叉编译和构建系统API,激励程序员在现代系统编程中选择Zig而不是C!
对于现有的C代码库,Zig工具链提供了一个可替换的C/ C++编译器和C互操作,因此程序员可以将传统的C代码库增量地迁移到现代的Zig。
Zig语言和工具链的突出特点
我们讨论了一些突出的Zig语言/工具链事实,并了解了它如何以成为“更好的C”语言为目标。许多Zig特性促使我们选择它作为系统编程的C替代方案。
来看以下突出显示的功能总结:
Zig提供的不仅仅是一种简单的语言——它是一个功能齐全的工具链,用于开发、测试、构建和发布系统编程项目
它的开发人员友好的CLI可以立即支撑可执行和共享库项目。
Zig允许开发人员调用C,但它不依赖于C——libc是Zig二进制文件的可选组件。
Zig没有专用的运行时,因为它没有自动垃圾收集器——所以它可以生成快速、轻量级的二进制文件。
尽管Zig通常是一种中级语言,但它提供了现代的通用特性,如异步编程语法、泛型和类型强制转换(自动和手动)。
Zig工具链可以通过交叉编译来编译C/ C++,因此你可以在使用Zig语言之前使用它的C/ C++编译器来构建现有的C代码库。
一个编写良好的、模块化的、功能齐全的标准库,包括跨平台的操作系统级API,如Python。
它提供了生产力优先的语言特性,而不会损害硬件友好的系统编程环境,例如,for-in循环、多个切换用例(切换范围)、内联for、切换语句等。
它附带了基于流行的C编程模式的基于枚举的错误处理方法,没有复杂的、容易出错的异常概念。
它允许你通过分配器概念和defer关键字进行手动内存管理。
具有长期计划的替代方案
到目前为止,我们已经讨论了如何通过语言和工具链特性,能使Zig成为更好的C替代方案。
那么Zig的性能究竟如何?它的性能比C好吗?
所有没有专用运行时的语言,如C、C++、Rust和Zig,都会从用特定语言编写的每个源代码生成原始汇编语言,因此系统编程语言的性能取决于二进制文件中汇编代码的质量。系统编程语言的编译器要么使用LLVM优化,要么使用它们自己的成熟优化,因此很难说哪种语言更快——系统编程性能通常取决于程序员编写的算法。
然而,Zig官方文档声称,由于基于LLVM的优化和增强的未定义行为,Zig比C运行得更快。此外,Zig还计划通过移除作为依赖项的LLVM来进一步改进Zig。Zig软件基金会(ZSF)积极维护该项目,并接受来自社区的新设计建议。
Zig充满希望的未来使它成为最好的C语言替代品,甚至促使C程序员将他们现有的代码库迁移到现代的Zig。
总结
在这个故事中,我们讨论了Zig如何通过提供小型的、开发人员友好的、硬件友好的、高效的、高性能的和安全的语言设计,成为“更好的C”语言。
改进的语言设计和工具链帮助Zig在使用C的用例中表现良好,例如构建操作系统、库、云计算模块和框架。此外,其未来的语言功能甚至可以与流行的Go竞争。
尽管Zig或任何其他未来的系统编程语言永远不会“取代”C/C++,但随着现代化进程的加速,Zig已经成为有史以来最好的C语言替代品之一。
编译:诺亚
作者:Shalitha Suranga
参考链接:
https://medium.com/gitconnected/the-best-c-alternative-is-zig-7236e775ae4f
本文为 @ 场长 创作并授权 21CTO 发布,未经许可,请勿转载。
内容授权事宜请您联系 webmaster@21cto.com或关注 21CTO 公众号。
该文观点仅代表作者本人,21CTO 平台仅提供信息存储空间服务。