c++ - abs(unsigned long) 有什么意义吗？

Question

我遇到过这段代码，顺便说一下我的分析器报告为瓶颈:

#include <stdlib.h>

unsigned long a, b;
// Calculate values for a and b
unsigned long c;

c = abs(a - b);

那条线有没有比 c = a - b; 更有趣的事情？ ?任何一个选项都调用未定义或实现定义的行为，还有其他潜在的陷阱吗？注意 C <stdlib.h>包括在内，而不是 <cstdlib> .

Answer 1

不，这没有意义。

如果你想要不同，请使用

c = (a > b) ? a - b : b - a;

或

c = max(a, b) - min(a, b);

如果低于零，无符号将回滚(效果类似于添加 2^{sizeof (unsigned long) * CHAR_BIT})

如果你正在寻找两个数字之间的差异，你可以写一个如下的小模板

namespace MyUtils {
  template<typename T>
  T diff(const T&a, const T&b) {
    return (a > b) ? (a - b) : (b - a);
  }
}

---

看abs的声明继承自 C(因为你包含了 stdlib.h)

int       abs( int n );
long      abs( long n );
long long abs( long long n ); //    (since C++11)
//Defined in header <cinttypes>
std::intmax_t abs( std::intmax_t n ); //    (since C++11)

还有 abs在 C++ 中(来自 cmath)

float       abs( float arg );
double      abs( double arg );
long double abs( long double arg );

如果您注意到，每个函数的参数和返回类型都是 signed。因此，如果您将无符号类型传递给这些函数之一，则会发生隐式转换 unsigned T1 -> signed T2 -> unsigned T1 (其中 T1 和 T2 可能相同，而 T1 在您的情况下是 long )。将无符号整数转换为有符号整数时，如果不能以有符号类型表示，则行为取决于实现。

来自 4.7 积分转换 [conv.integral]

2. If the destination type is unsigned, the resulting value is the least unsigned integer congruent to the source integer (modulo 2ⁿ where n is the number of bits used to represent the unsigned type). [ Note: In a two’s complement representation, this conversion is conceptual and there is no change in the bit pattern (if there is no truncation). — end note]
   
3. If the destination type is signed, the value is unchanged if it can be represented in the destination type (and bit-field width); otherwise, the value is implementation-defined.