TrustedStep
TrustedStep (Step의 모든 불변식을 보장하는 트레이트)
Step의 모든 불변식을 유지하는 타입을 위한 unsafe 트레이트예요. 범위(range) 타입들이 TrustedLen을 구현할 수 있게 해 줘요.
출처: Rust 공식 문서
본문
Step::steps_between()의 불변식은 TrustedLen의 불변식의 상위 집합이에요. 따라서 동일한 제네릭 타입 인자를 가진 모든 범위 타입에 TrustedLen이 구현돼요.
안전성 (Safety)
주어진 타입에 대한 Step의 구현은 모든 메서드의 모든 불변식을 보장해야 해요. 자세한 내용은 Step 트레이트의 문서를 참고하세요. 소비자는 unsafe 코드에서 그 불변식에 의존할 수 있어요.
시그니처는 다음과 같아요.
pub unsafe trait TrustedStep: Step + Copy { }