Namespaces
Variants

    std::contracts::evaluation_semantic

    출처: ko.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 evaluation_semantic : /* unspecified */ {
    ignore = 1,
    observe = 2,
    enforce = 3,
    quick_enforce = 4
};
    		에 정의됨 (C++26부터)

    의 열거자들은 std::contracts::evaluation_semantic계약 어설션이 평가될 수 있는 평가 의미론에 해당하며, 의미는 아래와 같습니다:

    열거자 의미
    ignore 계약 어설션이 “무시” 의미론에 따라 평가됨
    observe 계약 어설션이 “관찰” 의미론에 따라 평가됨
    enforce 계약 어설션이 “강제” 의미론에 따라 평가됨
    quick_enforce 계약 어설션이 “빠른 강제” 의미론에 따라 평가됨

    참고 항목

    (C++26)
    		계약 위반 정보를 보유하는 타입
    (class)
    (C++26)
    		위반된 계약 어서션의 종류
    (enum)
    (C++26)
    		계약 위반을 발생시킨 원인
    (enum)