[swift] 신속한 “전제 조건”과 “어설 션”의 차이점은 무엇입니까?

assert테스트 중 온 전성 검사를 precondition위한 것이고, 만약 발생하면 프로그램이 합리적으로 진행할 수 없다는 것을 의미하는 일들로부터 보호하기위한 것입니다.

예를 들어, assert버그가 있는지 빠르게 찾기 위해 합리적인 결과 (예 : 일부 범위 내)를 갖는 계산을 할 수 있습니다. 그러나 범위를 벗어난 결과 가 유효 할 수 있고 중요하지 않을 수 있으므로 앱을 중단해서는 안됩니다 (진행률 표시 줄에 진행률을 표시하는 데 사용하고 있었다고 가정 해 보겠습니다).

반면에 요소를 가져올 때 배열의 첨자가 유효한지 확인하는 것은 precondition. 선택적 값이 아닌 값을 반환 해야 하므로 유효하지 않은 첨자를 요청할 때 배열 객체가 취할 적절한 다음 조치가 없습니다 .

문서의 전체 텍스트 (옵션 클릭 assert및 preconditionXcode에서 시도 ) :

전제 조건

앞으로 진행하기 위해 필요한 조건을 확인하십시오.

이 기능을 사용하여 배송 코드에서도 프로그램이 진행되지 않도록해야하는 조건을 감지합니다.

• 플레이 그라운드 및 -Onone 빌드 (Xcode의 디버그 구성에 대한 기본값) : conditionfalse로 평가 되면 인쇄 후 디버깅 가능한 상태에서 프로그램 실행을 중지합니다 message.

• -O 빌드에서 (Xcode의 릴리스 구성에 대한 기본값) : conditionfalse로 평가 되면 프로그램 실행을 중지합니다.

• -Ounchecked 빌드에서 condition평가되지 않지만, 최적화가 있다고 가정 할 수 있습니다 것 으로 평가 true. -Ounchecked 빌드에서 이러한 가정을 충족하지 못하는 것은 심각한 프로그래밍 오류입니다.

주장

선택적 메시지가있는 전통적인 C 스타일 어설 션입니다.

테스트 중에 활성화되지만 배송 코드의 성능에 영향을주지 않는 내부 온 전성 검사에이 기능을 사용합니다. 릴리스 빌드에서 잘못된 사용을 확인하려면 참조하십시오 precondition.

• 플레이 그라운드 및 -Onone 빌드 (Xcode의 디버그 구성에 대한 기본값) : conditionfalse로 평가 되면 인쇄 후 디버깅 가능한 상태에서 프로그램 실행을 중지합니다 message.

• -O 빌드 (Xcode의 릴리스 구성에 대한 기본값)에서
  condition평가되지 않으며 효과가 없습니다.

• -Ounchecked 빌드에서 condition평가되지 않지만, 최적화가 있다고 가정 할 수 있습니다 것 으로 평가 true. -Ounchecked 빌드에서 이러한 가정을 충족하지 못하는 것은 심각한 프로그래밍 오류입니다.

답변

                        debug   release   release
function                -Onone  -O       -Ounchecked
assert()                YES     NO        NO
assertionFailure()      YES     NO        NO**
precondition()          YES     YES       NO
preconditionFailure()   YES     YES       YES**
fatalError()*           YES     YES       YES

func precondition(condition: @autoclosure () -> Bool, _ message: @autoclosure () -> String = default, file: StaticString = default, line: UWord = default)

func assert(condition: @autoclosure () -> Bool, _ message: @autoclosure () -> String = default, file: StaticString = default, line: UWord = default)