assume
assume (조건이 항상 참임을 알림)
최적화 프로그램에 어떤 조건이 항상 참임을 알리는 내장 함수예요.
출처: Rust 공식 문서
본문
최적화 프로그램에 어떤 조건이 항상 참임을 알려요. 조건이 거짓이면 동작은 정의되지 않아요(undefined behavior). 이 내장 함수는 코드를 생성하지 않지만, 최적화 프로그램은 패스 사이에 그 조건을 보존하려 노력해요. 이는 주변 코드의 최적화를 방해하고 성능을 떨어뜨릴 수 있어요. 최적화 프로그램이 스스로 발견할 수 있는 불변식이라면 사용해서는 안 돼요.
pub const unsafe fn assume(b: bool )