Skip to content

Commit

Permalink
更新少量反射
Browse files Browse the repository at this point in the history
  • Loading branch information
jinzhongjia committed Dec 26, 2023
1 parent 0dcd66d commit b99fd50
Showing 1 changed file with 75 additions and 1 deletion.
76 changes: 75 additions & 1 deletion learn/more/reflection.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,78 @@ outline: deep

> 在计算机学中,反射(**reflection**),是指计算机程序在运行时(**runtime**)可以访问、检测和修改它本身状态或行为的一种能力。用比喻来说,反射就是程序在运行的时候能够“观察”并且修改自己的行为。
TODO
事实上,由于 zig 是一门强类型的静态语言,因此它的反射是在编译期实现的,允许我们观察已有的类型,并根据已有类型的信息来创造新的类型!

## 观察已有类型

zig 提供了不少函数来获取已有类型的信息,如:`@TypeOf``@typeName``@typeInfo``@hasDecl``@hasField`

### `@TypeOf`

[`@TypeOf`](https://ziglang.org/documentation/master/#TypeOf),该内建函数用于使用获取变量的类型。

原型为:`@TypeOf(...) type`

它接受任意个表达式作为参数,并返回它们的公共可转换类型(使用 [对等类型转换](../advanced/type_cast.md#对等类型转换)),表达式会完全在编译期执行,并且不会产生任何副作用(可以看作仅仅进行来类型计算)。

```zig
// 会触发编译器错误,因为 bool 和 float 类型无法进行比较
// 无法执行对等类型转换
_ = @TypeOf(true, 5.2);
// 结果为 comptime_float
_ = @TypeOf(2, 5.2);
```

无副作用是指:

```zig
const std = @import("std");
const expect = std.testing.expect;
test "no runtime side effects" {
var data: i32 = 0;
const T = @TypeOf(foo(i32, &data));
try comptime expect(T == i32);
try expect(data == 0);
}
fn foo(comptime T: type, ptr: *T) T {
ptr.* += 1;
return ptr.*;
}
```

以上这段测试完全可以运行通过,原因在于,`@TypeOf` 仅仅执行了类型计算,并没有真正地执行函数体的内容,故函数 `foo` 的效果并不会真正生效!

### `@typeName`

[`@typeName`](https://ziglang.org/documentation/master/#typeName),该内建函数用于获取类型的名字。

该函数返回的类型名字完全是一个字符串字面量,并且包含其父容器的名字(通过 `.` 分隔):

```zig
const std = @import("std");
const T = struct {
const Y = struct {};
};
pub fn main() !void {
std.debug.print("{s}\n", .{@typeName(T)});
std.debug.print("{s}\n", .{@typeName(T.Y)});
}
```

```sh
$ zig build run
main.T
main.T.Y
```

### `@typeInfo`

[`@typeInfo`](https://ziglang.org/documentation/master/#typeInfo),该内建函数用于获取类型的信息。

提供类型反射的具体功能,结构体、联合类型、枚举和错误集的类型信息具有保证与源文件中出现的顺序相同的字段,结构、联合、枚举和不透明的类型信息都有声明,也保证与源文件中出现的顺序相同。

TODO

0 comments on commit b99fd50

Please sign in to comment.