| 1 | //! Common splitter for strings and slices |
| 2 | //! |
| 3 | //! This module is private, so these items are effectively `pub(super)` |
| 4 | |
| 5 | use crate::iter::plumbing::{Folder, UnindexedProducer}; |
| 6 | |
| 7 | /// Common producer for splitting on a predicate. |
| 8 | pub(super) struct SplitProducer<'p, P, V> { |
| 9 | data: V, |
| 10 | separator: &'p P, |
| 11 | |
| 12 | /// Marks the endpoint beyond which we've already found no separators. |
| 13 | tail: usize, |
| 14 | } |
| 15 | |
| 16 | /// Helper trait so `&str`, `&[T]`, and `&mut [T]` can share `SplitProducer`. |
| 17 | pub(super) trait Fissile<P>: Sized { |
| 18 | fn length(&self) -> usize; |
| 19 | fn midpoint(&self, end: usize) -> usize; |
| 20 | fn find(&self, separator: &P, start: usize, end: usize) -> Option<usize>; |
| 21 | fn rfind(&self, separator: &P, end: usize) -> Option<usize>; |
| 22 | fn split_once(self, index: usize) -> (Self, Self); |
| 23 | fn fold_splits<F>(self, separator: &P, folder: F, skip_last: bool) -> F |
| 24 | where |
| 25 | F: Folder<Self>, |
| 26 | Self: Send; |
| 27 | } |
| 28 | |
| 29 | impl<'p, P, V> SplitProducer<'p, P, V> |
| 30 | where |
| 31 | V: Fissile<P> + Send, |
| 32 | { |
| 33 | pub(super) fn new(data: V, separator: &'p P) -> Self { |
| 34 | SplitProducer { |
| 35 | tail: data.length(), |
| 36 | data, |
| 37 | separator, |
| 38 | } |
| 39 | } |
| 40 | |
| 41 | /// Common `fold_with` implementation, integrating `SplitTerminator`'s |
| 42 | /// need to sometimes skip its final empty item. |
| 43 | pub(super) fn fold_with<F>(self, folder: F, skip_last: bool) -> F |
| 44 | where |
| 45 | F: Folder<V>, |
| 46 | { |
| 47 | let SplitProducer { |
| 48 | data, |
| 49 | separator, |
| 50 | tail, |
| 51 | } = self; |
| 52 | |
| 53 | if tail == data.length() { |
| 54 | // No tail section, so just let `fold_splits` handle it. |
| 55 | data.fold_splits(separator, folder, skip_last) |
| 56 | } else if let Some(index) = data.rfind(separator, tail) { |
| 57 | // We found the last separator to complete the tail, so |
| 58 | // end with that slice after `fold_splits` finds the rest. |
| 59 | let (left, right) = data.split_once(index); |
| 60 | let folder = left.fold_splits(separator, folder, false); |
| 61 | if skip_last || folder.full() { |
| 62 | folder |
| 63 | } else { |
| 64 | folder.consume(right) |
| 65 | } |
| 66 | } else { |
| 67 | // We know there are no separators at all. Return our whole data. |
| 68 | if skip_last { |
| 69 | folder |
| 70 | } else { |
| 71 | folder.consume(data) |
| 72 | } |
| 73 | } |
| 74 | } |
| 75 | } |
| 76 | |
| 77 | impl<'p, P, V> UnindexedProducer for SplitProducer<'p, P, V> |
| 78 | where |
| 79 | V: Fissile<P> + Send, |
| 80 | P: Sync, |
| 81 | { |
| 82 | type Item = V; |
| 83 | |
| 84 | fn split(self) -> (Self, Option<Self>) { |
| 85 | // Look forward for the separator, and failing that look backward. |
| 86 | let mid = self.data.midpoint(self.tail); |
| 87 | let index = match self.data.find(self.separator, mid, self.tail) { |
| 88 | Some(i) => Some(mid + i), |
| 89 | None => self.data.rfind(self.separator, mid), |
| 90 | }; |
| 91 | |
| 92 | if let Some(index) = index { |
| 93 | let len = self.data.length(); |
| 94 | let (left, right) = self.data.split_once(index); |
| 95 | |
| 96 | let (left_tail, right_tail) = if index < mid { |
| 97 | // If we scanned backwards to find the separator, everything in |
| 98 | // the right side is exhausted, with no separators left to find. |
| 99 | (index, 0) |
| 100 | } else { |
| 101 | let right_index = len - right.length(); |
| 102 | (mid, self.tail - right_index) |
| 103 | }; |
| 104 | |
| 105 | // Create the left split before the separator. |
| 106 | let left = SplitProducer { |
| 107 | data: left, |
| 108 | tail: left_tail, |
| 109 | ..self |
| 110 | }; |
| 111 | |
| 112 | // Create the right split following the separator. |
| 113 | let right = SplitProducer { |
| 114 | data: right, |
| 115 | tail: right_tail, |
| 116 | ..self |
| 117 | }; |
| 118 | |
| 119 | (left, Some(right)) |
| 120 | } else { |
| 121 | // The search is exhausted, no more separators... |
| 122 | (SplitProducer { tail: 0, ..self }, None) |
| 123 | } |
| 124 | } |
| 125 | |
| 126 | fn fold_with<F>(self, folder: F) -> F |
| 127 | where |
| 128 | F: Folder<Self::Item>, |
| 129 | { |
| 130 | self.fold_with(folder, false) |
| 131 | } |
| 132 | } |
| 133 | |