assert_unchecked — 검사 없이 전제(assumption) 알리기

assert_unchecked는 주어진 조건이 항상 참이라고 컴파일러에 알리는 unsafe 함수예요. 실제로는 검사 없이 조건을 신뢰해요.

출처: Rust 공식 문서

본문

pub const unsafe fn assert_unchecked(cond: bool)

조건이 참이라는 것을 호출자가 보장해야 해요. 거짓인데 호출하면 정의되지 않은 동작(UB)이에요. 컴파일러가 이 전제를 이용해 더 나은 코드를 생성하게 도와 성능을 높일 수 있어요.