Clang-Tidy use of a signed integer operand with a binary bitwise operator

[Colder丶]

我在CLion上用C实现了一个顺序表，在扩容的时候，我选择扩容为原来的1.5倍，如图代码所示，我用位移操作的时候编译器会报一个警告，这警告百度不到，谷歌出来的更是看不懂。。还请大神们点拨下谢谢！

[自信男孩]

这个警告是是对有符号数做按位操作。size应该是有符号变量，若将size编程无符号变量试一下。有符号整型编程无符号整型。

[Colder丶]

引用 1 楼 cfjtaishan 的回复:

这个警告是是对有符号数做按位操作。size应该是有符号变量，若将size编程无符号变量试一下。有符号整型编程无符号整型。

刚试过了，改成unsigned也还是会有这个警告诶。。而且我通常不用unsigned，用这个的话计算可能会有问题。。 难道C里面有符号数位移会有问题？

[自信男孩]

引用 2 楼 SinY_Chan 的回复:

[quote=引用 1 楼 cfjtaishan 的回复:] 这个警告是是对有符号数做按位操作。size应该是有符号变量，若将size编程无符号变量试一下。有符号整型编程无符号整型。

刚试过了，改成unsigned也还是会有这个警告诶。。而且我通常不用unsigned，用这个的话计算可能会有问题。。 难道C里面有符号数位移会有问题？[/quote] 那建议不使用移位操作，而采用除法，即p->size/2 + 1;

[Colder丶]

引用 3 楼 cfjtaishan 的回复:

[quote=引用 2 楼 SinY_Chan 的回复:] [quote=引用 1 楼 cfjtaishan 的回复:] 这个警告是是对有符号数做按位操作。size应该是有符号变量，若将size编程无符号变量试一下。有符号整型编程无符号整型。

刚试过了，改成unsigned也还是会有这个警告诶。。而且我通常不用unsigned，用这个的话计算可能会有问题。。 难道C里面有符号数位移会有问题？[/quote] 那建议不使用移位操作，而采用除法，即p->size/2 + 1;[/quote] 嗯呢我现在改成这种写法了，因为我觉得用位移操作会更快嘛。。所以就这么写了，但是自我感觉没啥问题却给我了警告，就有所疑问。。还是多谢你

[赵4老师]

仅供参考：

#include <stdio.h>
unsigned short int ui;
  signed short int si;
int main() {
	ui=(unsigned short int)0x8000u;
	si=(  signed short int)0x8000;
	printf("ui=%u\n",ui);
	printf("si=%d\n",si);
	ui=ui>>1;
	si=si>>1;
	printf("ui=%u\n",ui);
	printf("si=%d\n",si);

	printf("--------------\n");
	ui=(unsigned short int)0x8000u;
	si=(  signed short int)0x8000;
	printf("ui=%u\n",ui);
	printf("si=%d\n",si);
	ui=((  signed short	int)ui)>>1;
	si=((unsigned short	int)si)>>1;
	printf("ui=%u\n",ui);
	printf("si=%d\n",si);

	return 0;
}
//ui=32768
//si=-32768
//ui=16384
//si=-16384
//--------------
//ui=32768
//si=-32768
//ui=49152
//si=16384

[自信男孩]

引用 4 楼 SinY_Chan 的回复:

[quote=引用 3 楼 cfjtaishan 的回复:] [quote=引用 2 楼 SinY_Chan 的回复:] [quote=引用 1 楼 cfjtaishan 的回复:] 这个警告是是对有符号数做按位操作。size应该是有符号变量，若将size编程无符号变量试一下。有符号整型编程无符号整型。

刚试过了，改成unsigned也还是会有这个警告诶。。而且我通常不用unsigned，用这个的话计算可能会有问题。。 难道C里面有符号数位移会有问题？[/quote] 那建议不使用移位操作，而采用除法，即p->size/2 + 1;[/quote] 嗯呢我现在改成这种写法了，因为我觉得用位移操作会更快嘛。。所以就这么写了，但是自我感觉没啥问题却给我了警告，就有所疑问。。还是多谢你[/quote] 也可以先强制类型转换一下再移位。

(unsigned int)(p->size) >> 1

[Gameparkwing]

Clang-Tidy 静态检查比较严谨，位操作必须使用无符号数，包括常量。 在 pl->size >> 1 当中，光 pl->size 是 unsigned 还不够， 1 必须也是。 所以，改成 pl->size >> 1u ，就不会有警告提示了。

[Silence~123]

size改成 unsigned p->size >> 1u 这样可以

[forever74]

敢于用clang的猿，都具有做律师的资质，赞一个。