Struct Scope 

pub struct Scope { /* private fields */ }

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

impl Scope

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.

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

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

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

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

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.

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.

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.

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

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

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.

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.

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

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

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

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

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

Whether T has a resolvable registration (MEDI IServiceProviderIsService).

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

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

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

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

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

Register a named service (for IProvider trait).

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

Remove a named service (for IProvider trait).

Trait Implementations

impl Drop for Scope

fn drop(&mut self)

Executes the destructor for this type.

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.

impl IProvider for Scope

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

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

fn rdi_remove_named(&self, name: &str)

impl IServiceResolver for Scope

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

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

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

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.

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

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.

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

TypeId 直查（默认 None，ServiceProvider 等覆盖为 O(1) 直查）。

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

TypeId 直查 keyed 版本（默认 None）。

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.

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

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.

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

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.

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.

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

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

Return an Arc<ServiceProvider> for on-demand service resolution.

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.

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

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.

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.

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.

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.

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

where Self: Sized,

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

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.

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.