Namespaces
Variants

    std::contracts::detection_mode

    cppreference.net에서 가져옴
     
    C++
     
    유틸리티 라이브러리
    일반 유틸리티
    관계 연산자 (C++20에서 폐지됨)
    정수 비교 함수
    (C++20)(C++20)(C++20)    
    (C++20)
    교체 및 타입 연산
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    공통 어휘 타입
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    계약 지원
    계약 위반 정보
    (C++26)
    (C++26)
    (C++26)
    (C++26)
    도우미 함수
    (C++26)
     
    헤더 <contracts> 
    enum class detection_mode : /* unspecified */ {
    predicate_false = 1,
    evaluation_exception = 2
};
    		에 정의됨 (C++26부터)

    std::contracts::detection_mode의 열거자는 명시적으로 상수 평가되지 않는 문맥에서 계약 위반이 발생하는 원인에 해당하며, 그 의미는 아래와 같습니다: 열거자

    의미 계약 위반이 조건자의 결과가
    predicate_false 이기 때문에 발생함 false
    evaluation_exception 계약 위반이 조건자의 평가가 예외를 통해 종료되기 때문에 발생함

    참고 사항

    명백히 상수 평가되는 상황에서 계약 위반이 발생하는 경우, contract-violation handler 는 호출되지 않습니다.

    참고 항목

    (C++26)
    		계약 위반 정보를 담는 타입
    (class)
    (C++26)
    		위반된 계약 어서션의 종류
    (enum)
    (C++26)
    		계약 위반 발생 시 평가 의미론
    (enum)