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,独立 scoped 缓存。

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

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

§资源释放

Scope::dispose(以及 Drop 安全网)会按 创建逆序 释放该 scope 创建的 Scoped 实例(实例的 Drop 在最后一个引用释放时运行),并按注册逆序执行 ServiceProvider::register_disposable 注册的清理闭包。释放后 scope 解析返回 RdiError::ScopeDisposed。

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)

Dispose the scope: release scoped instances in reverse creation order, then run register_disposable cleanups in reverse registration order.

Idempotent; also called by Drop. After disposal, resolution through this scope returns RdiError::ScopeDisposed (or None/empty for infallible lookups).

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: impl Into<ServiceKey>, ) -> Result<Arc<T>, RdiError>

Source

pub fn get_async<T: ?Sized + Send + Sync + 'static>( &self, ) -> impl Future<Output = Result<Arc<T>, RdiError>> + Send + '_

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

Source

pub fn get_keyed_async<T: ?Sized + Send + Sync + 'static>( &self, key: impl Into<ServiceKey> + Send, ) -> impl Future<Output = Result<Arc<T>, RdiError>> + Send + '_

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: impl Into<ServiceKey>, ) -> 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: impl Into<ServiceKey>, ) -> 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>>

Return all unkeyed registered instances (MEDI GetServices<T>()).

Source

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

Return all keyed registered instances (MEDI GetKeyedServices<T>()).

Source

pub fn is_registered<T: ?Sized + Send + Sync + 'static>(&self) -> bool

Whether T has a resolvable registration (MEDI IServiceProviderIsService).

Source

pub fn is_registered_keyed<T: ?Sized + Send + Sync + 'static>( &self, key: impl Into<ServiceKey>, ) -> bool

Whether T has a registration under key. Whether T has a registration under key (exact or AnyKey fallback).

Source

pub fn async_context(&self) -> Option<AsyncFactoryContext>

Create an AsyncFactoryContext bound to the current async resolution chain (for detached task propagation).

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_keyed_any_key( &self, key: &str, variant: &ServiceKey, ) -> Option<Arc<dyn Any + Send + Sync>>

Typed-keyed resolution by type name (used by #[inject(key = <expr>)]). Read more
Source§

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

Error-reporting typed-keyed lookup (used by required/optional inject fields). Defaults to Self::get_keyed_any_key.
Source§

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

Typed-keyed owned resolution (bypasses caches; non-singleton only). Read more
Source§

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

Error-reporting typed-keyed owned lookup. Defaults to Self::get_keyed_owned_any_key.
Source§

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

TypeId 直查(默认 None,ServiceProvider 等覆盖为 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)。 Read more
Source§

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

Type-erased polymorphic resolution: return all unkeyed registered instances of the given type, in registration order. Read more
Source§

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

Type-erased polymorphic resolution over keyed registrations only (MEDI GetKeyedServices<T>(KeyedService.AnyKey)). Read more
Source§

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

Error-reporting variant of Self::get_all_any, used by the inject macros for Vec<Arc<T>> fields. 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 try_get_any_result( &self, key: &str, ) -> Result<Option<Arc<dyn Any + Send + Sync>>, RdiError>

Fallible, type-erased lookup used by Self::try_get. Read more
Source§

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

Fallible, type-erased keyed lookup used by Self::try_get_keyed. 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 it is not registered or not resolvable at this point (e.g. a scoped service under root scope validation, or a disposed provider/scope). Read more
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 or not resolvable at this point (e.g. root scope validation, disposed provider/scope). Never panics for framework-level failures.
Source§

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

Resolve all unkeyed registered instances of T, in registration order. 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 Forget for Scope

§

impl Freeze for Scope

§

impl Move 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 = !

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

fn try_from(value: U) -> Result<T, !>

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.