Skip to main content

WeakImmutableString

Struct WeakImmutableString 

Source
pub struct WeakImmutableString<TAllocator: Allocator> { /* private fields */ }
Expand description

A weak reference to the underlying ImmutableString.

This object cannot inspect the underlying string. But it does track weak references, and each weak reference can build a strong reference, assuming any other strong reference is alive.

§Examples

use osom_lib_strings::immutable::{ImmutableStringError, WeakUpgradeError};
use osom_lib_strings::immutable::std::StdImmutableString;

fn main() -> Result<(), ImmutableStringError> {
    // The first instance counts as both strong and weak reference.
    let strong1 = StdImmutableString::from_str_slice("foo")?;
    assert_eq!(strong1.strong_count(), 1);
    assert_eq!(strong1.weak_count(), 1);
    assert_eq!(strong1.as_str(), "foo");

    let weak = strong1.downgrade().unwrap();  // Cheap operation
    assert_eq!(strong1.strong_count(), 1);
    assert_eq!(strong1.weak_count(), 2);
    assert_eq!(weak.strong_count(), 1);
    assert_eq!(weak.weak_count(), 2);

    let strong2 = weak.upgrade().unwrap();  // Cheap operation
    assert_eq!(strong1.strong_count(), 2);
    assert_eq!(strong1.weak_count(), 2);
    assert_eq!(weak.strong_count(), 2);
    assert_eq!(weak.weak_count(), 2);
    assert_eq!(strong2.as_str(), strong1.as_str());

    drop(strong2);
    assert_eq!(strong1.strong_count(), 1);
    assert_eq!(strong1.weak_count(), 2);
    assert_eq!(weak.strong_count(), 1);
    assert_eq!(weak.weak_count(), 2);

    drop(strong1);
    // Both counters are decreased, since there are no more strong references.
    assert_eq!(weak.strong_count(), 0);
    assert_eq!(weak.weak_count(), 1);

    // No more strong reference, .upgrade() won't work.
    assert!(matches!(weak.upgrade(), Err(WeakUpgradeError::NoStrongReferencesAlive)));

    drop(weak);  // The actual deallocation happens here.
    Ok(())
}

Implementations§

Source§

impl<TAllocator: Allocator> WeakImmutableString<TAllocator>

Source

pub fn strong_count(&self) -> u32

Returns the number of strong references to the WeakImmutableString.

Source

pub fn weak_count(&self) -> u32

Returns the number of weak references to the WeakImmutableString.

Source

pub fn as_str(&self) -> &str

Returns the underlying string.

§Notes

Even though this is a weak reference, the string is still valid, because a sequence of chars is not Drop.

Source

pub fn as_c_str(&self) -> &str

Returns the underlying string as C-string.

§Notes

Even though this is a weak reference, the string is still valid, because a sequence of chars is not Drop.

Source

pub fn upgrade(&self) -> Result<ImmutableString<TAllocator>, WeakUpgradeError>

Upgrades current weak reference to the strong ImmutableString.

§Errors

For details see WeakUpgradeError.

Source

pub fn abandon(self) -> bool

Abandons current weak reference.

If the internal weak counter is positive it returns false.

Otherwise it deallocates the underlying memory and returns true. In particular only single (the last) WeakImmutableString returns true by calling this.

Trait Implementations§

Source§

impl<TAllocator: Allocator> Clone for WeakImmutableString<TAllocator>

Source§

fn clone(&self) -> Self

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<TAllocator: Debug + Allocator> Debug for WeakImmutableString<TAllocator>

Source§

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

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

impl<TAllocator: Allocator> ReprC for WeakImmutableString<TAllocator>

Source§

const CHECK: ()

This field is used for const checks only.
Source§

impl<TAllocator: Allocator> TryClone for WeakImmutableString<TAllocator>

Source§

type Error = MaxReferencesExceededError

Source§

fn try_clone(&self) -> Result<Self, Self::Error>

Tries to clone the type. Read more

Auto Trait Implementations§

§

impl<TAllocator> Freeze for WeakImmutableString<TAllocator>

§

impl<TAllocator> RefUnwindSafe for WeakImmutableString<TAllocator>
where TAllocator: RefUnwindSafe,

§

impl<TAllocator> Send for WeakImmutableString<TAllocator>
where TAllocator: Send,

§

impl<TAllocator> Sync for WeakImmutableString<TAllocator>
where TAllocator: Sync,

§

impl<TAllocator> Unpin for WeakImmutableString<TAllocator>
where TAllocator: Unpin,

§

impl<TAllocator> UnsafeUnpin for WeakImmutableString<TAllocator>

§

impl<TAllocator> UnwindSafe for WeakImmutableString<TAllocator>
where TAllocator: UnwindSafe,

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> 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.