Struct Finder
pub struct Finder { /* private fields */ }
A forward substring searcher using the Rabin-Karp algorithm.
Note that, as a lower level API, a Finder does not have access to the
needle it was constructed with. For this reason, executing a search
with a Finder requires passing both the needle and the haystack,
where the needle is exactly equivalent to the one given to the Finder
at construction time. This design was chosen so that callers can have
more precise control over where and how many times a needle is stored.
For example, in cases where Rabin-Karp is just one of several possible
substring search algorithms.
Implementations
impl Finder
fn new(needle: &[u8]) -> FinderCreate a new Rabin-Karp forward searcher for the given
needle.The needle may be empty. The empty needle matches at every byte offset.
Note that callers must pass the same needle to all search calls using this
Finder.fn find(&self, haystack: &[u8], needle: &[u8]) -> Option<usize>Return the first occurrence of the
needlein thehaystackgiven. If no such occurrence exists, thenNoneis returned.The
needleprovided must match the needle given to this finder at construction time.The maximum value this can return is
haystack.len(), which can only occur when the needle and haystack both have length zero. Otherwise, for non-empty haystacks, the maximum value ishaystack.len() - 1.unsafe fn find_raw(&self, hstart: *const u8, hend: *const u8, nstart: *const u8, nend: *const u8) -> Option<*const u8>Like
find, but accepts and returns raw pointers.When a match is found, the pointer returned is guaranteed to be
>= startand<= end. The pointer returned is only ever equivalent toendwhen both the needle and haystack are empty. (That is, the empty string matches the empty string.)This routine is useful if you're already using raw pointers and would like to avoid converting back to a slice before executing a search.
Safety
Note that
startandendbelow refer to both pairs of pointers given to this routine. That is, the conditions apply to bothhstart/hendandnstart/nend.- Both
startandendmust be valid for reads. - Both
startandendmust point to an initialized value. - Both
startandendmust point to the same allocated object and must either be in bounds or at most one byte past the end of the allocated object. - Both
startandendmust be derived from a pointer to the same object. - The distance between
startandendmust not overflowisize. - The distance being in bounds must not rely on "wrapping around" the address space.
- It must be the case that
start <= end.
- Both
Trait Implementations
impl Clone for Finder
fn clone(&self) -> Self
impl Debug for Finder
fn fmt(&self, f: &mut Formatter<'_>) -> Result
Auto Trait Implementations
impl Freeze for Finder
impl RefUnwindSafe for Finder
impl Send for Finder
impl Sync for Finder
impl Unpin for Finder
impl UnsafeUnpin for Finder
impl UnwindSafe for Finder
Blanket Implementations
impl<T> Any for Finder
where
T: 'static + ?Sized,
fn type_id(&self) -> TypeId
impl<T> Borrow<T> for Finder
where
T: ?Sized,
fn borrow(&self) -> &T
impl<T> BorrowMut<T> for Finder
where
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
impl<T> CloneToUninit for Finder
where
T: Clone,
unsafe fn clone_to_uninit(&self, dest: *mut u8)
impl<T> From<T> for Finder
fn from(t: T) -> TReturns the argument unchanged.
impl<T> ToOwned for Finder
where
T: Clone,
type Owned = T;fn to_owned(&self) -> Tfn clone_into(&self, target: &mut T)
impl<T, U> Into<U> for Finder
where
U: From<T>,
fn into(self) -> UCalls
U::from(self).That is, this conversion is whatever the implementation of
[From]<T> for Uchooses to do.
impl<T, U> TryFrom<U> for Finder
where
U: Into<T>,
type Error = never;fn try_from(value: U) -> Result<T, never>
impl<T, U> TryInto<U> for Finder
where
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error;fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>