cppreference.com
Create account
  • Log in
Namespaces
Variants
    Actions
       
      C++
       
      Utilities library
      General utilities
      Relational operators (deprecated in C++20)
      Integer comparison functions
      (C++20)(C++20)(C++20)    
      (C++20)
      Swap and type operations
      (C++20)
      (C++14)
      (C++11)
      (C++23)
      (C++11)
      (C++23)
      (C++11)
      (C++11)
      (C++17)
      Common vocabulary types
      (C++11)
      (C++17)
      (C++17)
      (C++17)
      (C++11)
      (C++11)
      (C++17)
      (C++17)
      (C++23)



       
      Contract support
      Contract-violation information
      (C++26)
      (C++26)
      (C++26)
      (C++26)
      Helper functions
      (C++26)
       
      Defined in header <contracts> 
      enum class evaluation_semantic : /* unspecified */ {
    ignore = 1,
    observe = 2,
    enforce = 3,
    quick_enforce = 4
};
      		(since C++26)

      The enumerators of std::contracts::evaluation_semantic correspond to the evaluation semantics with which a contract assertion may be evaluated, with meanings listed below:

      Enumerator Meaning
      ignore the contract assertion is evaluated under “ignore” semantic
      observe the contract assertion is evaluated under “observe” semantic
      enforce the contract assertion is evaluated under “enforce” semantic
      quick_enforce the contract assertion is evaluated under “quick-enforce” semantic

      See also

      (C++26)
      		 the type holding the contract-violation information
      (class)
      (C++26)
      		 the kind of the contract assertion violated
      (enum)
      (C++26)
      		 the reason that causes the contract violation
      (enum)