Struct memchr::memmem::searcher::Searcher

source ·
pub(crate) struct Searcher {
    call: unsafe fn(searcher: &Searcher, prestate: &mut PrefilterState, haystack: &[u8], needle: &[u8]) -> Option<usize>,
    kind: SearcherKind,
    rabinkarp: Finder,
}
Expand description

A “meta” substring searcher.

To a first approximation, this chooses what it believes to be the “best” substring search implemnetation based on the needle at construction time. Then, every call to find will execute that particular implementation. To a second approximation, multiple substring search algorithms may be used, depending on the haystack. For example, for supremely short haystacks, Rabin-Karp is typically used.

See the documentation on Prefilter for an explanation of the dispatching mechanism. The quick summary is that an enum has too much overhead and we can’t use dynamic dispatch via traits because we need to work in a core-only environment. (Dynamic dispatch works in core-only, but you need &dyn Trait and we really need a Box<dyn Trait> here. The latter requires alloc.) So instead, we use a union and an appropriately paired free function to read from the correct field on the union and execute the chosen substring search implementation.

Fields§

§call: unsafe fn(searcher: &Searcher, prestate: &mut PrefilterState, haystack: &[u8], needle: &[u8]) -> Option<usize>§kind: SearcherKind§rabinkarp: Finder

Implementations§

source§

impl Searcher

source

pub(crate) fn new<R: HeuristicFrequencyRank>( prefilter: PrefilterConfig, ranker: R, needle: &[u8], ) -> Searcher

Creates a new “meta” substring searcher that attempts to choose the best algorithm based on the needle, heuristics and what the current target supports.

source

fn twoway( needle: &[u8], rabinkarp: Finder, prestrat: Option<Prefilter>, ) -> Searcher

Creates a new searcher that always uses the Two-Way algorithm. This is typically used when vector algorithms are unavailable or inappropriate. (For example, when the needle is “too long.”)

If a prefilter is given, then the searcher returned will be accelerated by the prefilter.

source

pub(crate) fn find( &self, prestate: &mut PrefilterState, haystack: &[u8], needle: &[u8], ) -> Option<usize>

Searches the given haystack for the given needle. The needle given should be the same as the needle that this finder was initialized with.

Inlining this can lead to big wins for latency, and #[inline] doesn’t seem to be enough in some cases.

Trait Implementations§

source§

impl Clone for Searcher

source§

fn clone(&self) -> Searcher

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl Debug for Searcher

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.