신속한 "전제 조건"과 "어설 션"의 차이점은 무엇입니까?

precondition(condition: Bool, message: String)와 assert(condition: Bool, message: String)스위프트 의 차이점은 무엇입니까 ?

둘 다 나에게 똑같아 보인다. 어떤 맥락에서 우리는 다른 것을 사용해야합니까?

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

그리고 Swift Evolution에 대한 흥미로운 토론에서

– assert : 내부 오류에 대한 자체 코드 확인

– 전제 조건 : 고객이 유효한 인수를 제공했는지 확인합니다.

또한 무엇을 사용할지주의해야합니다. assertionFailure 및 최적화 수준을 참조하세요.

는 precondition앱을 출시 할 때 너무 릴리스 모드에서 활성화되고 전제 조건 앱이 종료됩니다 실패했습니다. Assert기본적으로 디버그 모드에서만 작동합니다.

NSHipster에서 사용할 때이 훌륭한 설명을 찾았습니다.

주장은 고전적인 논리에서 차용 한 개념입니다. 논리에서 주장은 증명 내의 명제에 대한 진술입니다. 프로그래밍에서 어설 션은 프로그래머가 선언 된 위치에서 응용 프로그램에 대해 만든 가정을 나타냅니다.

메서드 또는 함수 실행의 시작과 끝에서 코드 상태에 대한 기대치를 설명하는 전제 조건 및 사후 조건의 용량으로 사용되는 경우 어설 션은 계약을 형성합니다. 특정 전제 조건이 실패 할 때 실행을 방지하기 위해 어설 션을 사용하여 런타임에 조건을 적용 할 수도 있습니다.

전제 조건

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

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

1. 이 기능을 사용하여 배송 코드에서도 프로그램이 진행되지 않도록해야하는 조건을 감지합니다.
2. 플레이 그라운드 및 -Onone 빌드 (Xcode의 디버그 구성에 대한 기본값) : 조건이 거짓으로 평가되면 메시지를 인쇄 한 후 디버그 가능한 상태에서 프로그램 실행을 중지합니다.
3. -O 빌드에서 (Xcode의 릴리스 구성에 대한 기본값) : 조건이 거짓으로 평가되면 프로그램 실행을 중지합니다.
4. -Ounchecked 빌드에서 조건은 평가되지 않지만 옵티마이 저는 그것이 참으로 평가 될 것이라고 가정 할 수 있습니다. -Ounchecked 빌드에서 이러한 가정을 충족하지 못하는 것은 심각한 프로그래밍 오류입니다.

주장하다

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

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

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

2. 플레이 그라운드 및 -Onone 빌드 (Xcode의 디버그 구성에 대한 기본값) : 조건이 거짓으로 평가되면 메시지를 인쇄 한 후 디버그 가능한 상태에서 프로그램 실행을 중지합니다.

3. -O 빌드 (Xcode의 릴리스 구성에 대한 기본값)에서 조건이 평가되지 않고 효과가 없습니다.
4. -Ounchecked 빌드에서 조건은 평가되지 않지만 옵티마이 저는 그것이 참으로 평가 될 것이라고 가정 할 수 있습니다. -Ounchecked 빌드에서 이러한 가정을 충족하지 못하는 것은 심각한 프로그래밍 오류입니다.

2 센트를 더하고 싶었습니다. 원하는만큼 코드에 어설 션을 추가 할 수 있습니다. 이러한 어설 션으로 코드를 전송할 수 있습니다. Swift는 프로덕션 앱에 대해 이러한 코드 블록을 평가하지 않습니다. 디버그 모드의 경우에만 평가됩니다.

문서 링크 추가

또한 swift.org에서 이미지 첨부

또한 이것은 전제 조건이있는 경우가 아닙니다. 전제 조건과 함께 제공된 코드는 충돌하고 전제 조건이 참으로 평가되지 않으면 앱이 종료됩니다.

즉, 어설 션은 디버깅을위한 것이지만 프로덕션에 영향을주지 않고 제공 될 수 있습니다. 어설 션은 디버그 모드에서 평가되지만 프로덕션에서는 평가되지 않습니다.

과

사전 조건은 프로덕션 환경에서 예기치 않은 일이 발생하지 않도록하기위한 것입니다. 이러한 조건은 평가되며 거짓으로 평가되는 경우 앱을 종료합니다.