为何C++标准未预定义除零异常？

在ISO C++17标准中明确规定，整数除以0的结果属于未定义行为。从<stdexcept>头文件的预定义异常列表也能看出，标准并未提供专门的除零异常：

namespace std {
    class logic_error;
    class domain_error;
    class invalid_argument;
    class length_error;
    class out_of_range;
    class runtime_error;
    class range_error;
    class overflow_error;
    class underflow_error;
}

你提到可以在调用函数中自行检查除数并抛出domain_error或overflow_error，至于标准不预定义除零异常，主要有以下几个核心原因：

• 底层硬件行为不统一：不同CPU架构处理除零的方式差异极大——有的会直接触发硬件中断，有的会生成特殊数值结果，甚至部分嵌入式处理器可能直接忽略错误继续执行。C++作为贴近硬件的语言，不会强行统一这种底层行为，而是把处理权交给开发者，适配各自的硬件场景。

• 性能优先的设计原则：如果语言强制要求所有整数除法都做除数为0的检查，会给每一次除法操作带来额外的条件判断开销。对于追求极致性能的场景（比如实时系统、高性能计算），这种不必要的开销是无法接受的。C++选择把是否做检查的决定权交给开发者，避免一刀切的性能损耗。

• 未定义行为的优化空间：C++标准中的未定义行为并非疏漏，而是为编译器优化预留空间。当编译器确定某段代码中除数不可能为0时，可以直接跳过检查逻辑，生成更高效的机器码。如果把除零定义为必须抛出异常的行为，编译器就失去了这种优化的可能性。

• 异常模型的定位逻辑：C++预定义的异常主要针对标准库操作中具有普遍性、统一处理逻辑的错误。而除零本质上属于业务逻辑层面的错误——不同场景下的处理方式天差地别，有的需要终止程序，有的需要返回默认值，有的需要触发重试。标准库没必要强制统一抛出某一种异常，而是让开发者根据业务需求自行选择合适的异常类型（比如domain_error表示参数不在合法范围内）。

内容的提问来源于stack exchange，提问作者utg.tdawg