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