Skip to main content

Scope

Struct Scope 

Source
pub struct Scope { /* private fields */ }
Expand description

A scoped service provider — created via ServiceProvider::scope.

内部持有一个 scope 范围的 ServiceProvider(由 ServiceProvider::new_scope 派生), 共享 root 的 store/singleton_cache/named,独立 root_scoped_cache

所有解析方法委托给内嵌的 scope_provider,确保:

  • Scoped 服务在 scope 内缓存复用(命中 scope_provider.root_scoped_cache)。
  • Transient 依赖通过 scope_provider 解析,正确绑定到当前 scope(MEDI 语义)。
  • #[inject(provider)] 字段拿到的是 scope 范围的 provider,经该字段解析 Scoped 服务命中 scope 缓存——不泄漏到 root。

§资源释放

Scope 被 drop 时,其内部的 scope_provider 被释放,scoped 缓存中的 Arc<T> 实例随之释放。若服务需要确定性资源释放(如关闭数据库连接), 可在工厂内通过 ServiceProvider::register_disposable 注册清理闭包, 并调用 Scope::dispose 在 scope 结束前执行显式清理。

Implementations§

Source§

impl Scope

Source

pub fn scope_provider(&self) -> &Arc<ServiceProvider>

Returns the scope-local ServiceProvider backing this scope.

Exposed for advanced use cases (e.g. passing the scope provider to ServiceProviderWrapper). Most callers should use Self::get / Self::get_owned directly.

Source

pub fn dispose(&self)

Explicitly dispose all scoped services registered via ServiceProvider::register_disposable.

Services that need deterministic cleanup (e.g., database connections, file handles) should register a cleanup closure in their factory:

.scoped(|r| {
    let conn = Arc::new(DbConnection::connect());
    let conn_clone = Arc::clone(&conn);
    r.provider_arc().unwrap().register_disposable(Box::new(move || {
        conn_clone.close();
    }));
    conn
})

Called automatically on Drop as a safety net. If Drop runs while a concurrent resolution is in progress (factory holding the disposable lock), disposal is skipped — some cleanups may be delayed or dropped. For deterministic cleanup, call this explicitly before the scope goes out of scope.

Source

pub fn get<T: ?Sized + Send + Sync + 'static>(&self) -> Result<Arc<T>, RdiError>

Source

pub fn get_optional<T: ?Sized + Send + Sync + 'static>(&self) -> Option<Arc<T>>

Source

pub fn get_keyed<T: ?Sized + Send + Sync + 'static>( &self, key: &str, ) -> Result<Arc<T>, RdiError>

Source

pub async fn get_async<T: ?Sized + Send + Sync + 'static>( &self, ) -> Result<Arc<T>, RdiError>

Resolve an async service (transient or scoped) within this scope.

Source

pub async fn get_keyed_async<T: ?Sized + Send + Sync + 'static>( &self, key: &str, ) -> Result<Arc<T>, RdiError>

Resolve an async keyed service within this scope.

Source

pub fn get_owned<T: Send + Sync + 'static>(&self) -> Result<T, RdiError>

Resolve owned T within this scope (bypass cache, fresh each call). Returns Err if not registered or the service is Singleton.

Source

pub fn try_get_owned<T: Send + Sync + 'static>(&self) -> Option<T>

Resolve owned T, returning None if not registered or Singleton.

Source

pub fn get_keyed_owned<T: Send + Sync + 'static>( &self, key: &str, ) -> Result<T, RdiError>

Resolve owned keyed T. Returns Err if not found or Singleton.

Source

pub fn try_get_keyed_owned<T: Send + Sync + 'static>( &self, key: &str, ) -> Option<T>

Resolve owned keyed T, returning None if not found or Singleton.

Source

pub fn get_all<T: ?Sized + Send + Sync + 'static>(&self) -> Vec<Arc<T>>

Source

pub fn get_named_any(&self, name: &str) -> Option<Arc<dyn Any + Send + Sync>>

Source

pub fn rdi_register_named( &self, name: &str, service: Arc<dyn Any + Send + Sync>, )

Register a named service (for IProvider trait).

Source

pub fn rdi_remove_named(&self, name: &str)

Remove a named service (for IProvider trait).

Trait Implementations§

Source§

impl Drop for Scope

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more
Source§

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)
Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned. Read more
Source§

impl IProvider for Scope

Source§

fn get_named_any(&self, name: &str) -> Option<Arc<dyn Any + Send + Sync>>

Source§

fn rdi_register_named(&self, name: &str, service: Arc<dyn Any + Send + Sync>)

Source§

fn rdi_remove_named(&self, name: &str)

Source§

impl IServiceResolver for Scope

Source§

fn get_any(&self, key: &str) -> Option<Arc<dyn Any + Send + Sync>>

Source§

fn get_keyed_any( &self, key: &str, variant: &str, ) -> Option<Arc<dyn Any + Send + Sync>>

Source§

fn get_by_type_id(&self, tid: TypeId) -> Option<Arc<dyn Any + Send + Sync>>

TypeId 直查(默认 NoneServiceProvider 等覆盖为 O(1) 直查)。 Read more
Source§

fn get_keyed_by_type_id( &self, tid: TypeId, key: &str, ) -> Option<Arc<dyn Any + Send + Sync>>

TypeId 直查 keyed 版本(默认 None)。
Source§

fn get_all_any(&self, key: &str) -> Vec<Arc<dyn Any + Send + Sync>>

Type-erased polymorphic resolution: return all registered instances (default + keyed) of the given type. Read more
Source§

fn get_owned_any(&self, key: &str) -> Option<Arc<dyn Any + Send + Sync>>

Type-erased owned resolution: bypass cache, call factory fresh, return Arc<dyn Any + Send + Sync> (concrete Arc<Arc<T>>). Read more
Source§

fn get_keyed_owned_any( &self, key: &str, variant: &str, ) -> Option<Arc<dyn Any + Send + Sync>>

Source§

fn provider_arc(&self) -> Option<Arc<ServiceProvider>>

Return an Arc<ServiceProvider> for on-demand service resolution. Read more
Source§

fn get<T: ?Sized + Sync + Send + 'static>(&self) -> Result<Arc<T>, RdiError>
where Self: Sized,

Resolve a service by type (concrete or dyn Trait). Returns Err(RdiError::ServiceNotFound) if not registered. Read more
Source§

fn try_get<T: ?Sized + Sync + Send + 'static>(&self) -> Option<Arc<T>>
where Self: Sized,

Resolve a service by type, returning None if not registered.
Source§

fn get_keyed<T: ?Sized + Sync + Send + 'static>( &self, variant: &str, ) -> Result<Arc<T>, RdiError>
where Self: Sized,

Resolve a keyed service by type and key. Returns Err if not found.
Source§

fn try_get_keyed<T: ?Sized + Sync + Send + 'static>( &self, variant: &str, ) -> Option<Arc<T>>
where Self: Sized,

Resolve a keyed service by type and key, returning None if not found.
Source§

fn get_all<T: ?Sized + Sync + Send + 'static>(&self) -> Vec<Arc<T>>
where Self: Sized,

Resolve all registered instances of T (default + keyed). Read more
Source§

fn get_owned<T: Send + Sync + 'static>(&self) -> Result<T, RdiError>
where Self: Sized,

Resolve owned T (bypass cache, fresh each call). Returns Err if not registered or the service is Singleton.
Source§

fn try_get_owned<T: Send + Sync + 'static>(&self) -> Option<T>
where Self: Sized,

Resolve owned T, returning None if not registered or Singleton.
Source§

fn get_keyed_owned<T: Send + Sync + 'static>( &self, variant: &str, ) -> Result<T, RdiError>
where Self: Sized,

Resolve owned keyed T. Returns Err if not found or Singleton.
Source§

fn try_get_keyed_owned<T: Send + Sync + 'static>( &self, variant: &str, ) -> Option<T>
where Self: Sized,

Resolve owned keyed T, returning None if not found or Singleton.

Auto Trait Implementations§

§

impl !RefUnwindSafe for Scope

§

impl !UnwindSafe for Scope

§

impl Freeze for Scope

§

impl Send for Scope

§

impl Sync for Scope

§

impl Unpin for Scope

§

impl UnsafeUnpin for Scope

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