Namespaces
Variants

    std::contracts::detection_mode

    来自 zh.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 由于谓词求值通过异常退出

    注释

    如果在明显常量求值的上下文中发生契约违反，则不会调用 契约违反处理器 。

    参见

    (C++26)
    		保存契约违反信息的类型
    (类)
    (C++26)
    		被违反的契约断言类型
    (枚举)
    (C++26)
    		契约违反发生时的求值语义
    (枚举)