diff options
author | Oskar Haarklou Veileborg <ohv1020@hotmail.com> | 2022-11-16 14:38:21 +0100 |
---|---|---|
committer | Oskar Haarklou Veileborg <ohv1020@hotmail.com> | 2022-11-17 14:04:17 +0100 |
commit | 4c1cce6d936d0389ac994e777d2d7d31901ac4c2 (patch) | |
tree | ff82f4ab470e22f304c67c0894016ad0f4879e29 /immutable_test.go | |
parent | Merge pull request #24 from banks/patch-1 (diff) | |
download | pds-4c1cce6d936d0389ac994e777d2d7d31901ac4c2.tar.gz pds-4c1cce6d936d0389ac994e777d2d7d31901ac4c2.tar.xz |
Allow lists to contain non-comparable elements
The current design uses comparability of elements only to detect vacant
entries in leaf node children lists, using the zero value of the
element type as "vacant".
The reason we care about vacant entries is to avoid copy operations in
certain Slice calls. If the entries are not vacant, we have to "zero"
the entries in the returned slice to remove references to allocated
memory.
Therefore, (hackily) treating the zero value as vacant works because the
zero value for pointers is nil (it does not reference anything).
However, requiring the list elements to be comparable is inconvenient.
There shouldn't be a type bound on the elements of a general purpose
list.
With this change vacancy is kept track of with a bitset in list leaf nodes.
Diffstat (limited to 'immutable_test.go')
-rw-r--r-- | immutable_test.go | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/immutable_test.go b/immutable_test.go index c4b0297..6a0ee22 100644 --- a/immutable_test.go +++ b/immutable_test.go @@ -180,6 +180,47 @@ func TestList(t *testing.T) { } }) + t.Run("TestSliceFreesReferences", func(t *testing.T) { + /* Test that the leaf node in a sliced list contains zero'ed entries at + * the correct positions. To do this we directly access the internal + * tree structure of the list. + */ + l := NewList[*int]() + var ints [5]int + for i := 0; i < 5; i++ { + l = l.Append(&ints[i]) + } + sl := l.Slice(2, 4) + + var findLeaf func(listNode[*int]) *listLeafNode[*int] + findLeaf = func(n listNode[*int]) *listLeafNode[*int] { + switch n := n.(type) { + case *listBranchNode[*int]: + if n.children[0] == nil { + t.Fatal("Failed to find leaf node due to nil child") + } + return findLeaf(n.children[0]) + case *listLeafNode[*int]: return n + default: panic("Unexpected case") + } + } + + leaf := findLeaf(sl.root) + if leaf.occupied != 0b1100 { + t.Errorf("Expected occupied to be 1100, was %032b", leaf.occupied) + } + + for i := 0; i < listNodeSize; i++ { + if 2 <= i && i < 4 { + if leaf.children[i] != &ints[i] { + t.Errorf("Position %v does not contain the right pointer?", i) + } + } else if leaf.children[i] != nil { + t.Errorf("Expected position %v to be cleared, was %v", i, leaf.children[i]) + } + } + }) + RunRandom(t, "Random", func(t *testing.T, rand *rand.Rand) { l := NewTList() for i := 0; i < 100000; i++ { |