关于正负数比较大小的问题
力扣题28. 实现 strStr(),我尝试用KMP算法解决,在执行循环while (i < strlen(S) && j < strlen(T))的时候,第一次循环结束时int型变量j的值为 -1,strlen(T)的值为2,我们期望的结果应该是继续执行第二次循环(因为 -1 < 2)可是测试结果却证明只执行了第一次循环。

这是一个非常隐蔽的错误,产生错误的规则如下:
当把有符号操作数和无符号操作数组合的时候,会把有符号操作数“转换”成无符号操作数的值。转换过程中需要加上或者减去n+1的倍数,其中n是无符号类型能表示的最大值。
而且我没有注意到strlen函数的原型:size_t strlen (const char *s)
定义在C函数库中的size_t类型是一个typedef名字,表示C语言的一种无符号整型。
我们回看之前的循环语句,int 类型变量j的值为 -1,strlen(T)的值为2且为unsigned int类型。因此,在比较前,变量j会转换成为 unsigned int 类型。因为负数不能被表示成无符号整数,所以转换后的值将不再为 -1,而是加上4294967296(假设4294967296是最大的无符号整数),即4294967295.所以 j < strlen(T)的比较结果为0,自然只执行了一次循环。
我的解决方法——强制类型转换:
while (i < strlen(S) && j < (int)strlen(T))
将 strlen(T) 强制转换为 int 类型即可按照我们设想的那样进行比较。
希望本文能对大家有所帮助,祝大家编程越来越牛逼

C语言KMP算法中正负数比较陷阱
1107





