1const builtin = @import("builtin");
2const std = @import("std");
3const expect = std.testing.expect;
4
5const HasFuncs = struct {
6 state: u32,
7 func_field: *const fn (u32) u32,
8
9 fn inc(self: *HasFuncs) void {
10 self.state += 1;
11 }
12
13 fn get(self: HasFuncs) u32 {
14 return self.state;
15 }
16
17 fn getPtr(self: *const HasFuncs) *const u32 {
18 return &self.state;
19 }
20
21 fn one(_: u32) u32 {
22 return 1;
23 }
24 fn two(_: u32) u32 {
25 return 2;
26 }
27};
28
29test "standard field calls" {
30 if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
31 if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
32 if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
33
34 try expect(HasFuncs.one(0) == 1);
35 try expect(HasFuncs.two(0) == 2);
36
37 var v: HasFuncs = undefined;
38 v.state = 0;
39 v.func_field = HasFuncs.one;
40
41 const pv = &v;
42 const pcv: *const HasFuncs = pv;
43
44 try expect(v.get() == 0);
45 v.inc();
46 try expect(v.state == 1);
47 try expect(v.get() == 1);
48
49 pv.inc();
50 try expect(v.state == 2);
51 try expect(pv.get() == 2);
52 try expect(v.getPtr().* == 2);
53 try expect(pcv.get() == 2);
54 try expect(pcv.getPtr().* == 2);
55
56 v.func_field = HasFuncs.one;
57 try expect(v.func_field(0) == 1);
58 try expect(pv.func_field(0) == 1);
59 try expect(pcv.func_field(0) == 1);
60
61 try expect(pcv.func_field(blk: {
62 pv.func_field = HasFuncs.two;
63 break :blk 0;
64 }) == 1);
65
66 v.func_field = HasFuncs.two;
67 try expect(v.func_field(0) == 2);
68 try expect(pv.func_field(0) == 2);
69 try expect(pcv.func_field(0) == 2);
70}
71
72test "@field field calls" {
73 if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;
74 if (builtin.zig_backend == .stage2_sparc64) return error.SkipZigTest; // TODO
75 if (builtin.zig_backend == .stage2_spirv) return error.SkipZigTest;
76
77 try expect(@field(HasFuncs, "one")(0) == 1);
78 try expect(@field(HasFuncs, "two")(0) == 2);
79
80 var v: HasFuncs = undefined;
81 v.state = 0;
82 v.func_field = HasFuncs.one;
83
84 const pv = &v;
85 const pcv: *const HasFuncs = pv;
86
87 v.func_field = HasFuncs.one;
88 try expect(@field(v, "func_field")(0) == 1);
89 try expect(@field(pv, "func_field")(0) == 1);
90 try expect(@field(pcv, "func_field")(0) == 1);
91
92 try expect(@field(pcv, "func_field")(blk: {
93 pv.func_field = HasFuncs.two;
94 break :blk 0;
95 }) == 1);
96
97 v.func_field = HasFuncs.two;
98 try expect(@field(v, "func_field")(0) == 2);
99 try expect(@field(pv, "func_field")(0) == 2);
100 try expect(@field(pcv, "func_field")(0) == 2);
101}