g++编译报错：call of overloaded 'abs(unsigned int)' is ambiguous原因及解决

问题背景 #

你尝试编译这段求整数平方根的代码：

#include <stdlib.h>
static unsigned iSqr( unsigned i ) {
    unsigned res1 = 2;
    unsigned res2 = i/res1;
    while( abs( res1 - res2 ) > 1 ) {
        res1 = (res1 + res2)/2;
        res2 = i/res1;
    }
    return res1 < res2? res1 : res2;
}

使用命令 g++ test.cc -o test 时，g++ 6.3.0 抛出了重载歧义的错误，具体报错信息如下：

test.cc: In function 'unsigned int iSqr(unsigned int)':
test.cc:8:29: error: call of overloaded 'abs(unsigned int)' is ambiguous
 while( abs( res1 - res2 ) > 1 )
                             ^
In file included from /usr/include/c++/6/cstdlib:75:0,
                 from /usr/include/c++/6/stdlib.h:36,
                 from test.cc:2:
/usr/include/stdlib.h:735:12: note: candidate: int abs(int)
 extern int abs (int __x) __THROW __attribute__ ((__const__)) __wur;
            ^~~
In file included from /usr/include/c++/6/stdlib.h:36:0,
                 from test.cc:2:
/usr/include/c++/6/cstdlib:185:3: note: candidate: __int128 std::abs(__int128)
 abs(__GLIBCXX_TYPE_INT_N_0 __x) { return __x >= 0 ? __x : -__x; }
 ^~~
/usr/include/c++/6/cstdlib:180:3: note: candidate: long long int std::abs(long long int)
 abs(long long __x) { return __builtin_llabs (__x); }
 ^~~
/usr/include/c++/6/cstdlib:172:3: note: candidate: long int std::abs(long int)
 abs(long __i) { return __builtin_labs(__i); }
 ^~~

报错原因分析 #

这个报错有两层核心原因，既要解决编译问题，也要修正潜在的逻辑错误：

• 重载歧义：res1和res2都是unsigned int类型，它们的差值res1 - res2也会是unsigned int。但标准库的abs()函数没有专门处理unsigned int的版本，编译器可以把unsigned int隐式转换为int、long、long long等多种有符号类型，这就导致编译器无法确定该调用哪个重载版本，从而抛出歧义错误。
• 逻辑隐患：更关键的是，无符号类型的减法不会产生负数。当res1 < res2时，res1 - res2的结果是一个无符号溢出值（比如32位unsigned int中，3减5会得到4294967294），这时候调用abs()完全达不到你想要计算"两数差值绝对值"的目的，哪怕编译通过，循环逻辑也会彻底出错。

修复方案 #

针对这两个问题，推荐两种可靠的修复方式：

方案1：直接计算无符号数的差值绝对值 #

既然都是无符号类型，我们可以用简单的条件判断来计算两数的差值，完全避开abs()和类型转换的问题：

#include <stdlib.h>
static unsigned iSqr( unsigned i ) {
    unsigned res1 = 2;
    unsigned res2 = i/res1;
    // 直接通过条件判断计算差值的绝对值，全程使用无符号类型
    while( (res1 > res2 ? res1 - res2 : res2 - res1) > 1 ) {
        res1 = (res1 + res2)/2;
        res2 = i/res1;
    }
    return res1 < res2 ? res1 : res2;
}

这种方式最直接，既解决了编译报错，也修正了原本的逻辑隐患。

方案2：显式转换为有符号类型并使用std::abs #

如果你更习惯使用abs函数，可以先将两个无符号数转换为足够大的有符号类型（比如long long，避免溢出），再调用C++标准库的std::abs：

#include <cstdlib>  // 推荐使用C++风格的头文件而非C的stdlib.h
static unsigned iSqr( unsigned i ) {
    unsigned res1 = 2;
    unsigned res2 = i/res1;
    // 显式转换为long long，避免无符号溢出和重载歧义
    while( std::abs(static_cast<long long>(res1) - static_cast<long long>(res2)) > 1 ) {
        res1 = (res1 + res2)/2;
        res2 = i/res1;
    }
    return res1 < res2 ? res1 : res2;
}

这里注意要包含<cstdlib>而不是<stdlib.h>，并使用std::abs明确指定调用C++标准库的函数，同时分别转换两个操作数，避免减法时的无符号溢出问题。

内容的提问来源于stack exchange，提问作者Luke 10X