mirrors/zap
1
0
Fork 0
mirror of https://github.com/zigzap/zap.git synced 2025-10-20 15:14:08 +00:00
Code Activity

Merge pull request #125 from cosmicboots/handle_func_introspection

Browse source 
Add type checking to `simple_router`'s `handle_func`
This commit is contained in:
Rene Schallner 2025-03-29 09:41:56 +01:00 • committed by GitHub
commit 4d8ba50b17
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 35 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

35
src/router.zig
View file

@ -74,6 +74,41 @@ pub fn handle_func_unbound(self: *Self, path: []const u8, h: zap.HttpRequestFn)
pub fn handle_func(self: *Self, path: []const u8, instance: *anyopaque, handler: anytype) !void {
// TODO: assert type of instance has handler
// Introspection checks on handler type
comptime {
const hand_info = @typeInfo(@TypeOf(handler));
// Need to check:
// 1) handler is function pointer
const f = blk: {
if (hand_info == .Pointer) {
const inner = @typeInfo(hand_info.Pointer.child);
if (inner == .Fn) {
break :blk inner.Fn;
}
}
@compileError("Expected handler to be a function pointer. Found " ++
@typeName(@TypeOf(handler)));
};
// 2) snd arg is zap.Request
if (f.params.len != 2) {
@compileError("Expected handler to have two paramters");
}
const arg_type = f.params[1].type.?;
if (arg_type != zap.Request) {
@compileError("Expected handler's second argument to be of type zap.Request. Found " ++
@typeName(arg_type));
}
// 3) handler returns void
const ret_info = @typeInfo(f.return_type.?);
if (ret_info != .Void) {
@compileError("Expected handler's return type to be void. Found " ++
@typeName(f.return_type.?));
}
}
if (path.len == 0) {
return RouterError.EmptyPath;
}