aboutsummaryrefslogtreecommitdiff
path: root/std/linked_list.zig
diff options
context:
space:
mode:
authorAndrew Kelley <andrew@ziglang.org>2019-06-10 09:54:03 -0400
committerGitHub <noreply@github.com>2019-06-10 09:54:03 -0400
commit12b2950bf294b3cfda0616b2e71b739cbda684d9 (patch)
tree25a5a2da7a6527cf61096e236baf26c58d1ccc05 /std/linked_list.zig
parentb7811d32690a9f3b4912635e16e6aa5ace25362c (diff)
parentb0648bfbd31cad73e00ee72b430dcf2c2907e08f (diff)
downloadzig-12b2950bf294b3cfda0616b2e71b739cbda684d9.tar.gz
zig-12b2950bf294b3cfda0616b2e71b739cbda684d9.zip
Merge pull request #2424 from daurnimator/single-linked-list
Add SinglyLinkedList
Diffstat (limited to 'std/linked_list.zig')
-rw-r--r--std/linked_list.zig198
1 files changed, 191 insertions, 7 deletions
diff --git a/std/linked_list.zig b/std/linked_list.zig
index c4ad525913..6495653150 100644
--- a/std/linked_list.zig
+++ b/std/linked_list.zig
@@ -5,8 +5,192 @@ const testing = std.testing;
const mem = std.mem;
const Allocator = mem.Allocator;
-/// Generic doubly linked list.
-pub fn LinkedList(comptime T: type) type {
+/// A singly-linked list is headed by a single forward pointer. The elements
+/// are singly linked for minimum space and pointer manipulation overhead at
+/// the expense of O(n) removal for arbitrary elements. New elements can be
+/// added to the list after an existing element or at the head of the list.
+/// A singly-linked list may only be traversed in the forward direction.
+/// Singly-linked lists are ideal for applications with large datasets and
+/// few or no removals or for implementing a LIFO queue.
+pub fn SinglyLinkedList(comptime T: type) type {
+ return struct {
+ const Self = @This();
+
+ /// Node inside the linked list wrapping the actual data.
+ pub const Node = struct {
+ next: ?*Node,
+ data: T,
+
+ pub fn init(data: T) Node {
+ return Node{
+ .next = null,
+ .data = data,
+ };
+ }
+
+ /// Insert a new node after the current one.
+ ///
+ /// Arguments:
+ /// new_node: Pointer to the new node to insert.
+ pub fn insertAfter(node: *Node, new_node: *Node) void {
+ new_node.next = node.next;
+ node.next = new_node;
+ }
+
+ /// Remove a node from the list.
+ ///
+ /// Arguments:
+ /// node: Pointer to the node to be removed.
+ /// Returns:
+ /// node removed
+ pub fn removeNext(node: *Node) ?*Node {
+ const next_node = node.next orelse return null;
+ node.next = next_node.next;
+ return next_node;
+ }
+ };
+
+ first: ?*Node,
+
+ /// Initialize a linked list.
+ ///
+ /// Returns:
+ /// An empty linked list.
+ pub fn init() Self {
+ return Self{
+ .first = null,
+ };
+ }
+
+ /// Insert a new node after an existing one.
+ ///
+ /// Arguments:
+ /// node: Pointer to a node in the list.
+ /// new_node: Pointer to the new node to insert.
+ pub fn insertAfter(list: *Self, node: *Node, new_node: *Node) void {
+ node.insertAfter(new_node);
+ }
+
+ /// Insert a new node at the head.
+ ///
+ /// Arguments:
+ /// new_node: Pointer to the new node to insert.
+ pub fn prepend(list: *Self, new_node: *Node) void {
+ new_node.next = list.first;
+ list.first = new_node;
+ }
+
+ /// Remove a node from the list.
+ ///
+ /// Arguments:
+ /// node: Pointer to the node to be removed.
+ pub fn remove(list: *Self, node: *Node) void {
+ if (list.first == node) {
+ list.first = node.next;
+ } else {
+ var current_elm = list.first.?;
+ while (current_elm.next != node) {
+ current_elm = current_elm.next.?;
+ }
+ current_elm.next = node.next;
+ }
+ }
+
+ /// Remove and return the first node in the list.
+ ///
+ /// Returns:
+ /// A pointer to the first node in the list.
+ pub fn popFirst(list: *Self) ?*Node {
+ const first = list.first orelse return null;
+ list.first = first.next;
+ return first;
+ }
+
+ /// Allocate a new node.
+ ///
+ /// Arguments:
+ /// allocator: Dynamic memory allocator.
+ ///
+ /// Returns:
+ /// A pointer to the new node.
+ pub fn allocateNode(list: *Self, allocator: *Allocator) !*Node {
+ return allocator.create(Node);
+ }
+
+ /// Deallocate a node.
+ ///
+ /// Arguments:
+ /// node: Pointer to the node to deallocate.
+ /// allocator: Dynamic memory allocator.
+ pub fn destroyNode(list: *Self, node: *Node, allocator: *Allocator) void {
+ allocator.destroy(node);
+ }
+
+ /// Allocate and initialize a node and its data.
+ ///
+ /// Arguments:
+ /// data: The data to put inside the node.
+ /// allocator: Dynamic memory allocator.
+ ///
+ /// Returns:
+ /// A pointer to the new node.
+ pub fn createNode(list: *Self, data: T, allocator: *Allocator) !*Node {
+ var node = try list.allocateNode(allocator);
+ node.* = Node.init(data);
+ return node;
+ }
+ };
+}
+
+test "basic SinglyLinkedList test" {
+ const allocator = debug.global_allocator;
+ var list = SinglyLinkedList(u32).init();
+
+ var one = try list.createNode(1, allocator);
+ var two = try list.createNode(2, allocator);
+ var three = try list.createNode(3, allocator);
+ var four = try list.createNode(4, allocator);
+ var five = try list.createNode(5, allocator);
+ defer {
+ list.destroyNode(one, allocator);
+ list.destroyNode(two, allocator);
+ list.destroyNode(three, allocator);
+ list.destroyNode(four, allocator);
+ list.destroyNode(five, allocator);
+ }
+
+ list.prepend(two); // {2}
+ list.insertAfter(two, five); // {2, 5}
+ list.prepend(one); // {1, 2, 5}
+ list.insertAfter(two, three); // {1, 2, 3, 5}
+ list.insertAfter(three, four); // {1, 2, 3, 4, 5}
+
+ // Traverse forwards.
+ {
+ var it = list.first;
+ var index: u32 = 1;
+ while (it) |node| : (it = node.next) {
+ testing.expect(node.data == index);
+ index += 1;
+ }
+ }
+
+ _ = list.popFirst(); // {2, 3, 4, 5}
+ _ = list.remove(five); // {2, 3, 4}
+ _ = two.removeNext(); // {2, 4}
+
+ testing.expect(list.first.?.data == 2);
+ testing.expect(list.first.?.next.?.data == 4);
+ testing.expect(list.first.?.next.?.next == null);
+}
+
+/// A tail queue is headed by a pair of pointers, one to the head of the
+/// list and the other to the tail of the list. The elements are doubly
+/// linked so that an arbitrary element can be removed without a need to
+/// traverse the list. New elements can be added to the list before or
+/// after an existing element, at the head of the list, or at the end of
+/// the list. A tail queue may be traversed in either direction.
+pub fn TailQueue(comptime T: type) type {
return struct {
const Self = @This();
@@ -219,9 +403,9 @@ pub fn LinkedList(comptime T: type) type {
};
}
-test "basic linked list test" {
+test "basic TailQueue test" {
const allocator = debug.global_allocator;
- var list = LinkedList(u32).init();
+ var list = TailQueue(u32).init();
var one = try list.createNode(1, allocator);
var two = try list.createNode(2, allocator);
@@ -271,10 +455,10 @@ test "basic linked list test" {
testing.expect(list.len == 2);
}
-test "linked list concatenation" {
+test "TailQueue concatenation" {
const allocator = debug.global_allocator;
- var list1 = LinkedList(u32).init();
- var list2 = LinkedList(u32).init();
+ var list1 = TailQueue(u32).init();
+ var list2 = TailQueue(u32).init();
var one = try list1.createNode(1, allocator);
defer list1.destroyNode(one, allocator);