2019-03-02 13:46:04 -08:00
|
|
|
const std = @import("std.zig");
|
2017-12-23 19:08:53 -08:00
|
|
|
const debug = std.debug;
|
2017-05-03 11:28:06 -07:00
|
|
|
const assert = debug.assert;
|
2019-02-08 15:18:47 -08:00
|
|
|
const testing = std.testing;
|
2017-12-23 19:08:53 -08:00
|
|
|
const mem = std.mem;
|
2017-09-21 07:28:44 -07:00
|
|
|
const Allocator = mem.Allocator;
|
2017-05-03 11:28:06 -07:00
|
|
|
|
2019-05-03 20:54:28 -07:00
|
|
|
/// 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 {
|
2018-11-13 05:08:37 -08:00
|
|
|
return struct {
|
2018-09-13 13:34:33 -07:00
|
|
|
const Self = @This();
|
2017-05-03 11:28:06 -07:00
|
|
|
|
|
|
|
/// Node inside the linked list wrapping the actual data.
|
2018-11-13 05:08:37 -08:00
|
|
|
pub const Node = struct {
|
2018-05-31 07:56:59 -07:00
|
|
|
prev: ?*Node,
|
|
|
|
next: ?*Node,
|
2017-05-03 11:28:06 -07:00
|
|
|
data: T,
|
2017-09-07 20:10:23 -07:00
|
|
|
|
2018-08-02 14:04:17 -07:00
|
|
|
pub fn init(data: T) Node {
|
2018-11-13 05:08:37 -08:00
|
|
|
return Node{
|
2017-09-07 20:10:23 -07:00
|
|
|
.prev = null,
|
|
|
|
.next = null,
|
2018-08-02 14:04:17 -07:00
|
|
|
.data = data,
|
2017-12-21 21:50:30 -08:00
|
|
|
};
|
2017-09-07 20:10:23 -07:00
|
|
|
}
|
2017-05-03 11:28:06 -07:00
|
|
|
};
|
|
|
|
|
2018-05-31 07:56:59 -07:00
|
|
|
first: ?*Node,
|
|
|
|
last: ?*Node,
|
2018-04-30 22:53:04 -07:00
|
|
|
len: usize,
|
2017-05-03 11:28:06 -07:00
|
|
|
|
|
|
|
/// Initialize a linked list.
|
|
|
|
///
|
|
|
|
/// Returns:
|
|
|
|
/// An empty linked list.
|
2018-01-25 01:10:11 -08:00
|
|
|
pub fn init() Self {
|
2018-11-13 05:08:37 -08:00
|
|
|
return Self{
|
2017-05-03 11:28:06 -07:00
|
|
|
.first = null,
|
2018-04-30 22:53:04 -07:00
|
|
|
.last = null,
|
|
|
|
.len = 0,
|
2017-12-21 21:50:30 -08:00
|
|
|
};
|
2017-05-03 11:28:06 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
/// 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.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn insertAfter(list: *Self, node: *Node, new_node: *Node) void {
|
2017-05-03 11:28:06 -07:00
|
|
|
new_node.prev = node;
|
2017-05-03 14:23:11 -07:00
|
|
|
if (node.next) |next_node| {
|
2017-05-03 11:28:06 -07:00
|
|
|
// Intermediate node.
|
|
|
|
new_node.next = next_node;
|
|
|
|
next_node.prev = new_node;
|
|
|
|
} else {
|
|
|
|
// Last element of the list.
|
|
|
|
new_node.next = null;
|
|
|
|
list.last = new_node;
|
|
|
|
}
|
|
|
|
node.next = new_node;
|
|
|
|
|
|
|
|
list.len += 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Insert a new node before an existing one.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// node: Pointer to a node in the list.
|
|
|
|
/// new_node: Pointer to the new node to insert.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn insertBefore(list: *Self, node: *Node, new_node: *Node) void {
|
2017-05-03 11:28:06 -07:00
|
|
|
new_node.next = node;
|
2017-05-03 14:23:11 -07:00
|
|
|
if (node.prev) |prev_node| {
|
2017-05-03 11:28:06 -07:00
|
|
|
// Intermediate node.
|
|
|
|
new_node.prev = prev_node;
|
|
|
|
prev_node.next = new_node;
|
|
|
|
} else {
|
|
|
|
// First element of the list.
|
|
|
|
new_node.prev = null;
|
|
|
|
list.first = new_node;
|
|
|
|
}
|
|
|
|
node.prev = new_node;
|
|
|
|
|
|
|
|
list.len += 1;
|
|
|
|
}
|
|
|
|
|
2018-11-17 02:17:47 -08:00
|
|
|
/// Concatenate list2 onto the end of list1, removing all entries from the former.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// list1: the list to concatenate onto
|
|
|
|
/// list2: the list to be concatenated
|
|
|
|
pub fn concatByMoving(list1: *Self, list2: *Self) void {
|
|
|
|
const l2_first = list2.first orelse return;
|
|
|
|
if (list1.last) |l1_last| {
|
|
|
|
l1_last.next = list2.first;
|
|
|
|
l2_first.prev = list1.last;
|
|
|
|
list1.len += list2.len;
|
|
|
|
} else {
|
|
|
|
// list1 was empty
|
|
|
|
list1.first = list2.first;
|
|
|
|
list1.len = list2.len;
|
|
|
|
}
|
|
|
|
list1.last = list2.last;
|
|
|
|
list2.first = null;
|
|
|
|
list2.last = null;
|
|
|
|
list2.len = 0;
|
|
|
|
}
|
|
|
|
|
2017-05-03 11:28:06 -07:00
|
|
|
/// Insert a new node at the end of the list.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// new_node: Pointer to the new node to insert.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn append(list: *Self, new_node: *Node) void {
|
2017-05-03 14:23:11 -07:00
|
|
|
if (list.last) |last| {
|
2017-05-03 11:28:06 -07:00
|
|
|
// Insert after last.
|
|
|
|
list.insertAfter(last, new_node);
|
|
|
|
} else {
|
|
|
|
// Empty list.
|
|
|
|
list.prepend(new_node);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Insert a new node at the beginning of the list.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// new_node: Pointer to the new node to insert.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn prepend(list: *Self, new_node: *Node) void {
|
2017-05-03 14:23:11 -07:00
|
|
|
if (list.first) |first| {
|
2017-05-03 11:28:06 -07:00
|
|
|
// Insert before first.
|
|
|
|
list.insertBefore(first, new_node);
|
|
|
|
} else {
|
|
|
|
// Empty list.
|
|
|
|
list.first = new_node;
|
2018-04-30 22:53:04 -07:00
|
|
|
list.last = new_node;
|
2017-05-03 11:28:06 -07:00
|
|
|
new_node.prev = null;
|
|
|
|
new_node.next = null;
|
|
|
|
|
|
|
|
list.len = 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Remove a node from the list.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// node: Pointer to the node to be removed.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn remove(list: *Self, node: *Node) void {
|
2017-05-03 14:23:11 -07:00
|
|
|
if (node.prev) |prev_node| {
|
2017-05-03 11:28:06 -07:00
|
|
|
// Intermediate node.
|
|
|
|
prev_node.next = node.next;
|
|
|
|
} else {
|
|
|
|
// First element of the list.
|
|
|
|
list.first = node.next;
|
|
|
|
}
|
|
|
|
|
2017-05-03 14:23:11 -07:00
|
|
|
if (node.next) |next_node| {
|
2017-05-03 11:28:06 -07:00
|
|
|
// Intermediate node.
|
|
|
|
next_node.prev = node.prev;
|
|
|
|
} else {
|
|
|
|
// Last element of the list.
|
|
|
|
list.last = node.prev;
|
|
|
|
}
|
|
|
|
|
|
|
|
list.len -= 1;
|
2018-03-07 00:55:52 -08:00
|
|
|
assert(list.len == 0 or (list.first != null and list.last != null));
|
2017-05-03 11:28:06 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Remove and return the last node in the list.
|
|
|
|
///
|
|
|
|
/// Returns:
|
|
|
|
/// A pointer to the last node in the list.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn pop(list: *Self) ?*Node {
|
2018-06-09 22:13:51 -07:00
|
|
|
const last = list.last orelse return null;
|
2017-05-03 11:28:06 -07:00
|
|
|
list.remove(last);
|
|
|
|
return last;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Remove and return the first node in the list.
|
|
|
|
///
|
|
|
|
/// Returns:
|
|
|
|
/// A pointer to the first node in the list.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn popFirst(list: *Self) ?*Node {
|
2018-06-09 22:13:51 -07:00
|
|
|
const first = list.first orelse return null;
|
2017-05-03 11:28:06 -07:00
|
|
|
list.remove(first);
|
|
|
|
return first;
|
|
|
|
}
|
|
|
|
|
2017-09-21 07:28:44 -07:00
|
|
|
/// Allocate a new node.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// allocator: Dynamic memory allocator.
|
|
|
|
///
|
|
|
|
/// Returns:
|
|
|
|
/// A pointer to the new node.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn allocateNode(list: *Self, allocator: *Allocator) !*Node {
|
2019-02-03 13:13:28 -08:00
|
|
|
return allocator.create(Node);
|
2017-09-21 07:28:44 -07:00
|
|
|
}
|
2017-05-03 11:28:06 -07:00
|
|
|
|
2017-09-21 07:28:44 -07:00
|
|
|
/// Deallocate a node.
|
|
|
|
///
|
|
|
|
/// Arguments:
|
|
|
|
/// node: Pointer to the node to deallocate.
|
|
|
|
/// allocator: Dynamic memory allocator.
|
2018-05-31 07:56:59 -07:00
|
|
|
pub fn destroyNode(list: *Self, node: *Node, allocator: *Allocator) void {
|
2017-09-21 07:28:44 -07:00
|
|
|
allocator.destroy(node);
|
|
|
|
}
|
2017-05-03 11:28:06 -07:00
|
|
|
|
2017-09-21 07:28:44 -07:00
|
|
|
/// 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.
|
2018-08-02 14:04:17 -07:00
|
|
|
pub fn createNode(list: *Self, data: T, allocator: *Allocator) !*Node {
|
2018-01-07 13:51:46 -08:00
|
|
|
var node = try list.allocateNode(allocator);
|
2018-04-30 22:53:04 -07:00
|
|
|
node.* = Node.init(data);
|
2017-09-21 07:28:44 -07:00
|
|
|
return node;
|
|
|
|
}
|
2017-12-21 21:50:30 -08:00
|
|
|
};
|
2017-09-07 20:10:23 -07:00
|
|
|
}
|
2017-05-03 11:28:06 -07:00
|
|
|
|
2019-05-03 20:54:28 -07:00
|
|
|
test "basic TailQueue test" {
|
2017-11-10 11:02:45 -08:00
|
|
|
const allocator = debug.global_allocator;
|
2019-05-03 20:54:28 -07:00
|
|
|
var list = TailQueue(u32).init();
|
2017-09-07 20:10:23 -07:00
|
|
|
|
2018-04-30 22:53:04 -07:00
|
|
|
var one = try list.createNode(1, allocator);
|
|
|
|
var two = try list.createNode(2, allocator);
|
2018-01-09 21:33:07 -08:00
|
|
|
var three = try list.createNode(3, allocator);
|
2018-04-30 22:53:04 -07:00
|
|
|
var four = try list.createNode(4, allocator);
|
|
|
|
var five = try list.createNode(5, allocator);
|
2017-05-03 11:28:06 -07:00
|
|
|
defer {
|
2017-09-21 07:28:44 -07:00
|
|
|
list.destroyNode(one, allocator);
|
|
|
|
list.destroyNode(two, allocator);
|
|
|
|
list.destroyNode(three, allocator);
|
|
|
|
list.destroyNode(four, allocator);
|
|
|
|
list.destroyNode(five, allocator);
|
2017-05-03 11:28:06 -07:00
|
|
|
}
|
|
|
|
|
2018-04-30 22:53:04 -07:00
|
|
|
list.append(two); // {2}
|
|
|
|
list.append(five); // {2, 5}
|
|
|
|
list.prepend(one); // {1, 2, 5}
|
|
|
|
list.insertBefore(five, four); // {1, 2, 4, 5}
|
|
|
|
list.insertAfter(two, three); // {1, 2, 3, 4, 5}
|
2017-05-03 11:28:06 -07:00
|
|
|
|
2017-09-21 07:28:44 -07:00
|
|
|
// Traverse forwards.
|
2017-05-04 07:18:01 -07:00
|
|
|
{
|
|
|
|
var it = list.first;
|
|
|
|
var index: u32 = 1;
|
|
|
|
while (it) |node| : (it = node.next) {
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(node.data == index);
|
2017-05-04 07:18:01 -07:00
|
|
|
index += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-09-21 07:28:44 -07:00
|
|
|
// Traverse backwards.
|
2017-05-04 07:18:01 -07:00
|
|
|
{
|
|
|
|
var it = list.last;
|
|
|
|
var index: u32 = 1;
|
|
|
|
while (it) |node| : (it = node.prev) {
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(node.data == (6 - index));
|
2017-05-04 07:18:01 -07:00
|
|
|
index += 1;
|
|
|
|
}
|
2017-05-03 11:28:06 -07:00
|
|
|
}
|
|
|
|
|
2018-04-30 22:53:04 -07:00
|
|
|
var first = list.popFirst(); // {2, 3, 4, 5}
|
|
|
|
var last = list.pop(); // {2, 3, 4}
|
|
|
|
list.remove(three); // {2, 4}
|
2017-05-03 11:28:06 -07:00
|
|
|
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(list.first.?.data == 2);
|
|
|
|
testing.expect(list.last.?.data == 4);
|
|
|
|
testing.expect(list.len == 2);
|
2017-05-03 11:28:06 -07:00
|
|
|
}
|
2018-11-17 02:17:47 -08:00
|
|
|
|
2019-05-03 20:54:28 -07:00
|
|
|
test "TailQueue concatenation" {
|
2018-11-17 02:17:47 -08:00
|
|
|
const allocator = debug.global_allocator;
|
2019-05-03 20:54:28 -07:00
|
|
|
var list1 = TailQueue(u32).init();
|
|
|
|
var list2 = TailQueue(u32).init();
|
2018-11-17 02:17:47 -08:00
|
|
|
|
|
|
|
var one = try list1.createNode(1, allocator);
|
|
|
|
defer list1.destroyNode(one, allocator);
|
|
|
|
var two = try list1.createNode(2, allocator);
|
|
|
|
defer list1.destroyNode(two, allocator);
|
|
|
|
var three = try list1.createNode(3, allocator);
|
|
|
|
defer list1.destroyNode(three, allocator);
|
|
|
|
var four = try list1.createNode(4, allocator);
|
|
|
|
defer list1.destroyNode(four, allocator);
|
|
|
|
var five = try list1.createNode(5, allocator);
|
|
|
|
defer list1.destroyNode(five, allocator);
|
|
|
|
|
|
|
|
list1.append(one);
|
|
|
|
list1.append(two);
|
|
|
|
list2.append(three);
|
|
|
|
list2.append(four);
|
|
|
|
list2.append(five);
|
|
|
|
|
|
|
|
list1.concatByMoving(&list2);
|
|
|
|
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(list1.last == five);
|
|
|
|
testing.expect(list1.len == 5);
|
|
|
|
testing.expect(list2.first == null);
|
|
|
|
testing.expect(list2.last == null);
|
|
|
|
testing.expect(list2.len == 0);
|
2018-11-17 02:17:47 -08:00
|
|
|
|
|
|
|
// Traverse forwards.
|
|
|
|
{
|
|
|
|
var it = list1.first;
|
|
|
|
var index: u32 = 1;
|
|
|
|
while (it) |node| : (it = node.next) {
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(node.data == index);
|
2018-11-17 02:17:47 -08:00
|
|
|
index += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Traverse backwards.
|
|
|
|
{
|
|
|
|
var it = list1.last;
|
|
|
|
var index: u32 = 1;
|
|
|
|
while (it) |node| : (it = node.prev) {
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(node.data == (6 - index));
|
2018-11-17 02:17:47 -08:00
|
|
|
index += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Swap them back, this verifies that concating to an empty list works.
|
|
|
|
list2.concatByMoving(&list1);
|
|
|
|
|
|
|
|
// Traverse forwards.
|
|
|
|
{
|
|
|
|
var it = list2.first;
|
|
|
|
var index: u32 = 1;
|
|
|
|
while (it) |node| : (it = node.next) {
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(node.data == index);
|
2018-11-17 02:17:47 -08:00
|
|
|
index += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Traverse backwards.
|
|
|
|
{
|
|
|
|
var it = list2.last;
|
|
|
|
var index: u32 = 1;
|
|
|
|
while (it) |node| : (it = node.prev) {
|
2019-02-08 15:18:47 -08:00
|
|
|
testing.expect(node.data == (6 - index));
|
2018-11-17 02:17:47 -08:00
|
|
|
index += 1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|