Trait core::iter::TrustedStep[−][src]

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 的文档。消费者可以自由地依赖不安全代码中的不变量。