Compare commits

..

3 commits
v0.1.0 ... main

4 changed files with 47 additions and 64 deletions

View file

@ -28,7 +28,7 @@ _Zollections_ is a collections library for Zig. It's made to ease memory managem
## Versions ## Versions
Zollections 0.1.0 is made and tested with zig 0.13.0. Zollections 0.1.1 is made and tested with zig 0.13.0.
## How to use ## How to use
@ -37,7 +37,7 @@ Zollections 0.1.0 is made and tested with zig 0.13.0.
In your project directory: In your project directory:
```shell ```shell
$ zig fetch --save https://code.zeptotech.net/zedd/zollections/archive/v0.1.0.tar.gz $ zig fetch --save https://code.zeptotech.net/zedd/zollections/archive/v0.1.1.tar.gz
``` ```
In `build.zig`: In `build.zig`:

View file

@ -1,6 +1,6 @@
.{ .{
.name = "zollections", .name = "zollections",
.version = "0.1.0", .version = "0.1.1",
.minimum_zig_version = "0.13.0", .minimum_zig_version = "0.13.0",
@ -11,5 +11,7 @@
"build.zig", "build.zig",
"build.zig.zon", "build.zig.zon",
"src", "src",
"README.md",
"LICENSE",
}, },
} }

View file

@ -2,8 +2,7 @@ const std = @import("std");
/// Collection of pointers of a certain type. /// Collection of pointers of a certain type.
/// A collection manages memory of the contained type. /// A collection manages memory of the contained type.
pub fn Collection(comptime T: anytype) type pub fn Collection(comptime T: anytype) type {
{
return struct { return struct {
const Self = @This(); const Self = @This();
@ -15,49 +14,38 @@ pub fn Collection(comptime T: anytype) type
/// Initialize a new collection of values. /// Initialize a new collection of values.
/// Values are now owned by the collection and will free them when it is deinitialized. /// Values are now owned by the collection and will free them when it is deinitialized.
/// The allocator must be the one that manages the slice and its items. /// The allocator must be the one that manages the slice and its items.
pub fn init(allocator: std.mem.Allocator, values: []*T) !*Self pub fn init(allocator: std.mem.Allocator, values: []*T) Self {
{ return .{
const self = try allocator.create(Self);
self.* = .{
.allocator = allocator, .allocator = allocator,
// Store given values in items slice. // Store given values in items slice.
.items = values, .items = values,
}; };
return self;
} }
/// Free any pointer value. /// Free any pointer value.
fn freeAnyPointer(self: *Self, pointer: anytype) void fn freeAnyPointer(self: *Self, pointer: anytype) void {
{
// Get type info of the current pointer. // Get type info of the current pointer.
const pointedTypeInfo = @typeInfo(@TypeOf(pointer.*)); const pointedTypeInfo = @typeInfo(@TypeOf(pointer.*));
switch (pointedTypeInfo) switch (pointedTypeInfo) {
{ // It's a simple pointer, freeing its value recursively.
.Struct, .Enum, .Union, .Opaque => { .Pointer => self.freeAnyValue(pointer.*),
// If type is a container with a deinit, run deinit.
if (@hasDecl(@TypeOf(pointer.*), "deinit"))
{ // The container has a specific deinit, running it.
pointer.deinit();
//TODO implement something like that.
//switch (@TypeOf(pointer.deinit).@"fn".return_type)
//{
// .ErrorUnion => {
// try pointer.deinit();
// },
// else => {
// pointer.deinit();
// },
//}
}
},
.Pointer => {
// It's a simple pointer, freeing its value recursively.
self.freeAnyValue(pointer.*);
},
else => { else => {
// If type is a container with a deinit, run deinit.
if (std.meta.hasFn(@TypeOf(pointer.*), "deinit")) {
// The container has a specific deinit, running it.
pointer.deinit();
//TODO implement something like that.
//switch (@TypeOf(pointer.deinit).@"fn".return_type)
//{
// .ErrorUnion => {
// try pointer.deinit();
// },
// else => {
// pointer.deinit();
// },
//}
}
// Otherwise, we consider it as a simple value, there is nothing to free. // Otherwise, we consider it as a simple value, there is nothing to free.
}, },
} }
@ -67,39 +55,35 @@ pub fn Collection(comptime T: anytype) type
} }
/// Free any value. /// Free any value.
fn freeAnyValue(self: *Self, value: anytype) void fn freeAnyValue(self: *Self, value: anytype) void {
{
// Get type info of the current pointer. // Get type info of the current pointer.
const typeInfo = @typeInfo(@TypeOf(value)); const typeInfo = @typeInfo(@TypeOf(value));
switch (typeInfo) switch (typeInfo) {
{
.Pointer => |pointerInfo| { .Pointer => |pointerInfo| {
// Can be a slice or a simple pointer. // Can be a slice or a simple pointer.
if (pointerInfo.size == .One) if (pointerInfo.size == .One) {
{ // It's a simple pointer, freeing its value recursively. // It's a simple pointer, freeing its value recursively.
self.freeAnyPointer(value); self.freeAnyPointer(value);
}
else {
// It's a slice, free every item then free it.
for (value) |item| {
// Free each item recursively.
self.freeAnyValue(item);
} }
else
{ // It's a slice, free every item then free it.
for (value) |item|
{ // For each item, free it recursively.
self.freeAnyValue(item);
}
// Free the current pointer. // Free the current pointer.
self.allocator.free(value); self.allocator.free(value);
} }
},
else => {
// Otherwise, we consider it as a simple value, nothing to free.
}, },
// Otherwise, we consider it as a simple value, nothing to free.
else => {},
} }
} }
/// Deinitialize the collection of values and all its values. /// Deinitialize the collection of values and all its values.
pub fn deinit(self: *Self) void pub fn deinit(self: *Self) void {
{
// Deinitialize all items. // Deinitialize all items.
for (self.items) |item| for (self.items) |item|
{ // For each items, try to free it. { // For each items, try to free it.
@ -108,9 +92,6 @@ pub fn Collection(comptime T: anytype) type
// Free items slice. // Free items slice.
self.allocator.free(self.items); self.allocator.free(self.items);
// Destroy the current collection.
self.allocator.destroy(self);
} }
}; };
} }

View file

@ -37,7 +37,7 @@ test "simple collection" {
slice[2] = try allocator.create(u8); slice[2] = try allocator.create(u8);
// Create a collection with your slice of elements. // Create a collection with your slice of elements.
const collection = try zollections.Collection(u8).init(allocator, slice); var collection = zollections.Collection(u8).init(allocator, slice);
// Free your collection: your slice and all your elements will be freed. // Free your collection: your slice and all your elements will be freed.
defer collection.deinit(); defer collection.deinit();
} }
@ -60,7 +60,7 @@ test "recursive free" {
slice[0] = slicePointer; slice[0] = slicePointer;
// Create a collection with your slice of elements. // Create a collection with your slice of elements.
const collection = try zollections.Collection([]*u8).init(allocator, slice); var collection = zollections.Collection([]*u8).init(allocator, slice);
// Free your collection: your slice and all your slices and their elements will be freed. // Free your collection: your slice and all your slices and their elements will be freed.
defer collection.deinit(); defer collection.deinit();
} }
@ -79,7 +79,7 @@ test "custom struct deinit" {
slice[2].* = try ExampleStruct.init(16); slice[2].* = try ExampleStruct.init(16);
// Create a collection with your slice of elements. // Create a collection with your slice of elements.
const collection = try zollections.Collection(ExampleStruct).init(allocator, slice); var collection = zollections.Collection(ExampleStruct).init(allocator, slice);
// Free your collection: your slice and all your elements will be deinitialized and freed. // Free your collection: your slice and all your elements will be deinitialized and freed.
defer collection.deinit(); defer collection.deinit();
} }