basic/advanced_type/pointer

[giscus[bot]]

basic/advanced_type/pointer

简单、快速地学习 Zig，ziglang中文教程，zig中文教程

https://course.ziglang.cc/basic/advanced_type/pointer.html

[cy-arctique]

数组和切片的示例中(多项指针 >> 提示), 作者应该是想表示切片的示例? 如果是切片的示例, 例子是不是错了?

const print = @import("std").debug.print;

pub fn main() !void {
    const array = [_]i32{ 1, 2, 3, 4 };
    const ptr: [*]const i32 = &array;

    print("第一个元素：{}\n", .{ptr[0]});
}

const ptr: [*]const i32 = &array;
应该改为: const ptr: []const i32 = &array;
因为原文中这句代码ptr的类型是多项指针, 也就没有len属性

[jinzhongjia]

此处的提示示例是引自官方的英文手册，想表示的是切片可以直接转换为多项指针，因为前文所说的是切片指针包含一个 [*]T（多项指针）和长度，不过前面提到数组确实可能会导致歧义

[jinzhongjia]

当然，如果觉得描述需要修正的话，欢迎发起PR！

[cy-arctique]

好的 明白, 那么得问题

[kioz-wang]

你好，可以解释下 &6, &false 这种写法吗？

[jinzhongjia]

6 和 false 属于字面量，可以看作常量，由于值所占的位很少，在编译时一般会被编译器内联，会被分配到代码段（如果没有内联处理，那么放到数据段），属于只读部分

& 为取址符号，那么 &6 在实际运行时会返回程序加载到内存中对应的段中 6 所在的地址，并且该地址仅可读，如果修改会发生段错误(Segmentation fault)，&false 同理

[JadeYao-z]

[jinzhongjia]

哪里的类型提示没有const 关键字，你是指编辑器的inlya hint吗

[JadeYao-z]

[JadeYao-z]

我认同你的回答，但是为什么 zig 的类型推断，会显示错误（这是故意的吗？我不认为）？我只能说官方，还是得像 rust 学习。

[jinzhongjia]

本质来说，让你产生困惑的点这个：

字符串字面量实际上默认是单纯以一个无法被修改的 u8 常量数组存储在编译产物的数据段中

该行为其实是最符合编译的理念的，但是为了方便性，很多语言会允许字符串字面量可以被修改

与 zig 类似处理方式的还有 rust，但 rust 是将字符串字面量单独作为一个 &str 类型，可以修改的字符串作为 String 类型暴露出来，这其实还是一层封装，zig 仅仅是把最原始的类型展现出来而已

[jinzhongjia]

编辑器 inlay hint 显示类型推断错误的话，该问题是 zls 实现的问题，zls 并非是官方维护（zig 很多内部接口并未暴露为标准库，使得 zls 实现存在问题，但该情况在逐渐好转）

[JadeYao-z]

以及感谢，你的耐心回答

[jinzhongjia]

哎，这真的让人难过，“zls”存在问题，初学者寸步难行

这个只能等待有后来者推倒这些，从头实现一个全新的 language server 了，我曾阅读过大部分的zls代码，其实实现上有很多问题，例如部分实现只能复制内部库，这也是zls和zig版本强绑定的原因

[kioz-wang]

如果 slice（如 []u8）中的 .len 是 Runtime Value，那么如果理解编译期 [:0]const u8 字符串字面量呢？

[JadeYao-z]

因为 zig 没有隐式内存分配（因为 大 string 会导致堆分配，so 作者拒绝引入 string）。 [:0]const u8 其中 []const u8 就是 string 的意思，那么 :0 就是标准的 c语言 char 字符数组（char[num]）（以 0 结尾，分割）