【C语言笔记】【linux宏定义系列】绝对值 abs

linux宏定义系列内容。用于记录在linux之中各式各样的宏定义?。

宏定义说明

用于计算数值的绝对值，支持有符号和无符号的long，int，short，char类型。

例如25的绝对值是25，-26的绝对值是26。

该宏定义存在于linux kernel 2.6.38 - 4.3.6中。

实现代码

#define abs(x) ({						\
		long ret;					\
		if (sizeof(x) == sizeof(long)) {		\
			long __x = (x);				\
			ret = (__x < 0) ? -__x : __x;		\
		} else {					\
			int __x = (x);				\
			ret = (__x < 0) ? -__x : __x;		\
		}						\
		ret;						\
	})

宏定义中：

x表示要计算的数。

注意：不管输入的数值是什么类型，返回值都是signed long。

示例程序

int main(int argc, char* argv[])
{
    printf("%ld\n", tabs(66));
    printf("%ld\n", tabs(-66));
    printf("%ld\n", tabs(123456));
    printf("%ld\n", tabs(-654321));
}

运行后，结果为

所有的值都变成了正数。

实现过程

sizeof(x) == sizeof(long)
先判断输入的参数大小是否是和long一样大。
long __x = (x);

ret = (__x < 0) ? -__x : __x;

如果输入的参数大小和long一样大，那么表示输入的参数类型是long或者unsigned long类型。

将参数先赋值给long类型的变量__x，然后进行判断，如果__x小于0，则ret = -__x，变为正数；如果__x大于等于0，则ret = __x；
int __x = (x);

ret = (__x < 0) ? -__x : __x;

如果输入的参数大小小于long，那么表示输入的参数类型是有符号或者无符号的int，short，char类型。

将参数先赋值给int类型的变量__x，然后进行判断，如果__x小于0，则ret = -__x，变为正数；如果__x大于等于0，则ret = __x；

目前看起来前面的if判断所形成的两个分支的差别其实很小，只有定义临时变量的类型差异，一个是定义long类型，一个是定义的int类型。那么为什么不将这个宏写成下面这种形式呢？

#define abs(x) ({				\
		long __x = (x);			\
		(__x < 0) ? -__x : __x;		\
	})

其实linux内核在2.6.38才改成目前的写法，在这之前就是上面这种写法，但是这种写法下有一个bug，就是当long类型长度为8个字节，int类型长度为4个字节时，如果运行如下程序：

int main(int argc, char* argv[])
{
    unsigned int a = 1;
    unsigned int b = 2;
    unsigned int c;
    
    c = abs(a - b);
    
    if(c == 1)
        printf("c == 1\n");
    else
        printf("c != 1\n");
}