Skip to main content

StrVec

Struct StrVec 

Source
pub struct StrVec<'a>(SEXP, PhantomData<&'a str>);
Expand description

Borrowed view over an R character vector (STRSXP).

The 'a lifetime leashes every &str this view hands out to the window in which the underlying STRSXP stays GC-reachable. At a #[miniextendr] boundary, write StrVec<'_>: R protects .Call arguments for the call’s duration, so the elided lifetime is bounded by the call and the borrows cannot escape into an ExternalPtr, a global, or another thread — doing so is a compile error (the &str would have to outlive 'a). Callers that own the rooting obligation reach for the unsafe *_static family instead.

Copy and cheap (a single SEXP); covariant in 'a.

Tuple Fields§

§0: SEXP§1: PhantomData<&'a str>

Implementations§

Source§

impl<'a> StrVec<'a>

Source

pub const unsafe fn from_raw(sexp: SEXP) -> Self

Wrap an existing STRSXP without additional checks.

§Safety

Caller must ensure sexp is a valid character vector (STRSXP) that stays GC-reachable for the inferred lifetime 'a.

Source

pub const fn as_sexp(self) -> SEXP

Get the underlying SEXP.

Source

pub fn len(self) -> isize

Length of the character vector (number of elements).

Source

pub fn is_empty(self) -> bool

Returns true if the vector is empty.

Source

pub fn get_charsxp(self, idx: isize) -> Option<SEXP>

Get the CHARSXP at the given index.

Returns None if out of bounds.

Source

pub fn get_str(self, idx: isize) -> Option<&'a str>

Get the string at the given index (zero-copy), leashed to 'a.

Returns None if out of bounds or if the element is NA_character_. Panics if the CHARSXP is not valid UTF-8 (should not happen in a UTF-8 locale).

Source

pub fn get_cow(self, idx: isize) -> Option<Cow<'a, str>>

Get the string at the given index as Cow<str> (encoding-safe), leashed to 'a.

Returns Cow::Borrowed for UTF-8 strings (zero-copy), Cow::Owned for non-UTF-8 strings (translated via Rf_translateCharUTF8). Returns None if out of bounds or NA_character_.

Source

pub unsafe fn get_str_static(self, idx: isize) -> Option<&'static str>

Get the string at the given index as &'static str — the courageous escape.

Unlike get_str, the returned reference is not leashed to 'a, so it can be stored in an ExternalPtr, a global, or sent across threads. The string data lives in R’s CHARSXP; it is only valid while that STRSXP stays GC-reachable.

§Safety

The caller takes on the rooting obligation: the underlying STRSXP must be kept reachable by R (e.g. via the prot slot of the ExternalPtr it is stored in, or R_PreserveObject) for as long as the returned &'static str is used. Letting R GC the source is use-after-free.

Source

pub unsafe fn get_cow_static(self, idx: isize) -> Option<Cow<'static, str>>

Get the string at the given index as Cow<'static, str> — the courageous escape.

Cow analogue of get_str_static; same rooting obligation for the borrowed (Cow::Borrowed) case.

§Safety

See get_str_static.

Source

pub fn iter(self) -> StrVecIter<'a>

Iterate over elements as Option<&str> (leashed to 'a).

NA_character_ elements yield None, valid strings yield Some(&str). Zero-copy — each &str borrows directly from R’s CHARSXP.

Source

pub fn iter_cow(self) -> StrVecCowIter<'a>

Iterate over elements as Option<Cow<str>> (encoding-safe, leashed to 'a).

Like iter but handles non-UTF-8 CHARSXPs gracefully.

Source

pub unsafe fn set_charsxp(self, idx: isize, charsxp: SEXP)

Set a CHARSXP at the given index, protecting it during insertion.

This is the safe way to insert a freshly allocated CHARSXP into a string vector.

§Safety
  • Must be called from the R main thread
  • charsxp must be a valid CHARSXP (from Rf_mkChar* or STRING_ELT)
  • self must be a valid, protected STRSXP
§Panics

Panics if idx is out of bounds.

Source

pub unsafe fn set_charsxp_unchecked(self, idx: isize, charsxp: SEXP)

Set a CHARSXP without protecting it.

§Safety

In addition to the safety requirements of set_charsxp:

  • The caller must ensure charsxp is already protected or from the global CHARSXP cache.
Source

pub unsafe fn set_str(self, idx: isize, s: &str)

Set an element from a Rust string.

Creates a CHARSXP from the string and inserts it safely.

§Safety
  • Must be called from the R main thread
  • self must be a valid, protected STRSXP
§Panics

Panics if idx is out of bounds.

Source

pub unsafe fn set_na(self, idx: isize)

Set an element to NA_character_.

§Safety
  • Must be called from the R main thread
  • self must be a valid, protected STRSXP
§Panics

Panics if idx is out of bounds.

Source

pub unsafe fn set_opt_str(self, idx: isize, s: Option<&str>)

Set an element from an optional string.

None becomes NA_character_.

§Safety
  • Must be called from the R main thread
  • self must be a valid, protected STRSXP
§Panics

Panics if idx is out of bounds.

Trait Implementations§

Source§

impl<'a> Clone for StrVec<'a>

Source§

fn clone(&self) -> StrVec<'a>

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<'a> Copy for StrVec<'a>

Source§

impl<'a> Debug for StrVec<'a>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'a> IntoIterator for StrVec<'a>

Source§

type Item = Option<&'a str>

The type of the elements being iterated over.
Source§

type IntoIter = StrVecIter<'a>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
Source§

impl IntoR for StrVec<'_>

Source§

type Error = Infallible

The error type for fallible conversions. Read more
Source§

fn try_into_sexp(self) -> Result<SEXP, Self::Error>

Try to convert this value to an R SEXP. Read more
Source§

unsafe fn try_into_sexp_unchecked(self) -> Result<SEXP, Self::Error>

Try to convert to SEXP without thread safety checks. Read more
Source§

fn into_sexp(self) -> SEXP

Convert this value to an R SEXP, panicking on error. Read more
Source§

unsafe fn into_sexp_unchecked(self) -> SEXP
where Self: Sized,

Convert to SEXP without thread safety checks, panicking on error. Read more
Source§

impl<'a> TrivialClone for StrVec<'a>

Source§

impl<'a> TryFromSexp for StrVec<'a>

Source§

type Error = SexpError

The error type returned when conversion fails.
Source§

fn try_from_sexp(sexp: SEXP) -> Result<Self, Self::Error>

Attempt to convert an R SEXP to this Rust type. Read more
Source§

unsafe fn try_from_sexp_unchecked(sexp: SEXP) -> Result<Self, Self::Error>

Convert from SEXP without thread safety checks. Read more

Auto Trait Implementations§

§

impl<'a> Freeze for StrVec<'a>

§

impl<'a> RefUnwindSafe for StrVec<'a>

§

impl<'a> Send for StrVec<'a>

§

impl<'a> Sync for StrVec<'a>

§

impl<'a> Unpin for StrVec<'a>

§

impl<'a> UnsafeUnpin for StrVec<'a>

§

impl<'a> UnwindSafe for StrVec<'a>

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, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. 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> Printable for T
where T: Copy + Debug,

Source§

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

Source§

fn clone(&self) -> T

Create a deep copy of this value.
Source§

impl<T> RCopy for T
where T: Copy,

Source§

fn copy(&self) -> T

Create a bitwise copy of this value. Read more
Source§

fn is_copy(&self) -> bool

Check if this type implements Copy. Read more
Source§

impl<T> RDebug for T
where T: Debug,

Source§

fn debug_str(&self) -> String

Get a compact debug string representation.
Source§

fn debug_str_pretty(&self) -> String

Get a pretty-printed debug string with indentation.
Source§

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

Source§

default fn lower_bound(&self) -> usize

🔬This is a nightly-only experimental API. (core_io_internals)
Returns a lower bound on the number of elements this container-like item contains. For example, an array [u8; 12] could return any value between 0 and 12 inclusively as a correct implementation. Read more
Source§

default fn upper_bound(&self) -> Option<usize>

🔬This is a nightly-only experimental API. (core_io_internals)
Returns an upper bound on the number of elements this container-like item contains if it can be determined, otherwise None. Read more
Source§

final fn size_hint(&self) -> (usize, Option<usize>)

🔬This is a nightly-only experimental API. (core_io_internals)
Returns an estimate for the number of elements this container like type contains. Read more
Source§

impl<T> SizedTypeProperties for T

Source§

#[doc(hidden)]
const SIZE: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)]
const ALIGN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)]
const ALIGNMENT: Alignment = _

🔬This is a nightly-only experimental API. (ptr_alignment_type)
Source§

#[doc(hidden)]
const IS_ZST: bool = _

🔬This is a nightly-only experimental API. (sized_type_properties)
true if this type requires no storage. false if its size is greater than zero. Read more
Source§

#[doc(hidden)]
const LAYOUT: Layout = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)]
const MAX_SLICE_LEN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
The largest safe length for a [Self]. Read more
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.

Layout§

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 8 bytes