zig - 为什么字符串数组需要中缀 const？

Question

我正在慢慢学习 zig，但我不了解 const 以及它如何与数组/类型交互 - 我正在浏览https://ziglang.org/documentation/0.6.0/#Introduction 但他们经常使用 const字符串。

这编译：

var n  = [_][]const u8 {"test 1", "test4", "test   6", "zz"};

没有const是一个错误：

var n  = [_][] u8 {"test 1", "test4", "test   6", "zz"};

error: expected type '[]u8', found '*const [6:0]u8'

同样，将 const 放在左侧也是同样的错误：

const n  = [_][]u8 {"test 1", "test4", "test   6", "zz"};

将 const 关键字放在中间实际上指示编译器执行的操作是什么？

Answer 1

在 Zig 中，const适用于声明中的下一件事。

[_][] u8切片数组也是如此u8，而切片[_][] const u8数组也是如此const u8。您的字符串文字是*const [_:0]u8（指向 u8 的以 null 结尾的数组的指针；这就是*const [6:0] u8您的错误消息的来源），Zig 可以将其强制转换为const u8.

一些示例以及它们的可变性：

[_][]u8- 一切都是可变的。

var move: [3][]u8 = undefined;
var ziga: [4]u8 = [_]u8{ 'z', 'i', 'g', 's' };
const zigs: []u8 = ziga[0..];
move[0] = zigs;
move[0][1] = 'a';

[_][] const u8- 切片是可变的，但其中的东西不是。

var belong_to_us = [_][]const u8{ "all", "your", "base", "are" };
var bomb = [_][]const u8{ "someone", "set", "up", "us" };
belong_to_us = bomb;

但

bomb[0][0] = 'x'; // error: cannot assign to constant

const [_][] const u8- 整个事情是不可变的。

const signal: [3][]const u8 = [_][]const u8{ "we", "get", "signal" };
const go: [3][]const u8 = [_][]const u8{ "move", "every", "zig" };
signal = go; // error: cannot assign to constant

然而，

const [_][]u8- 这是 u8 切片的 const 数组。

var what: [4]u8 = [_]u8{ 'w', 'h', 'a', 't' };
const signal: [3][]u8 = [_][]u8{ zigs, what[0..], zigs };
signal[0][1] = 'f'; // Legal!
signal[1] = zigs; // error: cannot assign to constant

最后一个是 mutable 切片的常量数组u8。