Trait core::iter::TrustedStep
source · pub unsafe trait TrustedStep: Step { }
🔬This is a nightly-only experimental API. (
trusted_step
#85731)Expand description
一种支持 Step
的所有不变量的类型。
Step::steps_between()
的不变量是 TrustedLen
的不变量的超集。
因此,对于具有相同泛型参数的所有范围类型,都实现了 TrustedLen
。
Safety
给定类型的 Step
的实现必须保证所有方法的所有不变量都得到支持。
有关详细信息,请参见 Step
trait 的文档。
消费者可以自由地依赖不安全代码中的不变量。