如何避免std::abs函数产生意外结果？

我在实际编码过程中碰到过好几次std::abs函数给出意外结果的情况，这里整理两个最容易踩的雷，都是和标准、头文件相关的细节问题：

1. 头文件包含错误导致的未定义行为 #

很多人容易忽略std::abs的重载分布规则：

• <cstdlib>头文件提供了整数类型（int、long、long long等）的std::abs重载
• <cmath>头文件则负责浮点类型（float、double、long double）的重载

如果没有包含正确的头文件，编译器可能不会给出任何警告，直接静默编译通过，但此时调用std::abs就属于未定义行为。举个实际场景：
如果你只包含了<cmath>，却调用std::abs(-5)（整数参数），编译器可能会把int隐式转换为double，调用浮点版本的abs后再转回int——这看起来没问题，但遇到整数溢出边界值（比如INT_MIN）时，就会出现完全不符合预期的结果；更糟的是，某些编译器可能直接找不到匹配的重载，触发未定义行为导致程序崩溃或输出奇怪的值。

2. C11/C14标准的技术缺陷（缺陷报告2735） #

C缺陷报告2735专门指出了C11和C++14标准里关于std::abs(short)返回值的问题：
按照当时的标准文本，对于short（或者signed char、char这类小整数类型）参数，std::abs的返回值类型没有被明确规定。这就导致不同编译器的实现出现分歧：

• 有些编译器返回short类型，但如果输入的是short的最小值（比如SHRT_MIN），取绝对值会超出short的范围，直接溢出变成负数，完全违背预期；
• 另一些编译器则返回int类型，避免了溢出问题。

这个缺陷在C++17标准里被修复了，明确规定对于所有小整数类型的std::abs调用，返回的是对应的整数提升类型（比如short提升为int），统一了跨编译器的行为。

内容的提问来源于stack exchange，提问作者user1476176