加减指针

昨天一个朋友拿来了他自己改写的一段C语言程序，是使用指针改写了二分查找的算法，可他编译怎么也过不了，于是让我来看看，我在教室看时也没发现什么问题，程序代码如下：

#include <stdio.h>

int *bsearch(int *t, int n, int x)
{
    int *l = t, *h = t + n, *mid;
    while (l < h) {
        mid = (l + h) >> 1;
        if (x < *mid)
            h = mid;
        else if (x > *mid)
            l = mid + 1;
        else
            return mid;
    }
    return NULL;
}

int main(void)
{
    int *result;
    int data[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    result = bsearch(data, 10, 2);
    if (NULL != result)
        printf("%d\n", *result);
    return 0;
}

我决定等回寝室后上机跑跑。有兴趣的朋友也可以自己试下，先不要看我下面的调试结果自己跑跑～～

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

我上机一跑，发现提示错误如下：

F:\Program Files\CodeBlocks\project\point\main.c||In function `bsearch':
F:\Program Files\CodeBlocks\project\point\main.c|7|error: invalid operands to binary +

=== Build finished: 1 errors, 0 warnings ===

定位到如下行：

mid = (l + h) >> 1;

这是为什么呢？这行操作不就是求最大值和最小值间的范围吗！有什么问题呢？mid，l，h分别是三个整形指针，指向中间值，最小值，最大值，又移一位的操作也就等同于除2的操作，看起来天衣无缝啊！再看提示信息给出的是“invalid operands to binary +”，加号有什么问题吗？我们仔细想想，l 指针加上h指针有什么问题吗？对哦！两个指针能够相加吗？相加的结果是什么呢？C语言中规定两个指针是不能进行加运算的，所以这个地方编译通不过了。哈哈！找到问题的出处就好解决了。既然无法进行加，那就干脆减呗！于是我修改了那行代码：

mid = l + ((h - l) >> 1);

终于程序能够正常运行了，C语言中指针的特性确实可以让我们把程序写的出神入化，但也带来了不小的问题，难怪面向对象的java语言就屏蔽了指针的操作。大家共勉～～

虽然这个程序他没调出来，不过他给我看了一个非常精彩的断言宏的定义，分享给大家：

#define assert(e) ((void)((e) || _assert_error(__FILE__, __LINE__)))

他利用了||运算符的顺序求值的特性，如果e为真就直接返回了，如果e为假才打印出断言信息。我觉得写的非常简炼～～以前我写断言宏的时候都比这个复杂，不知道大家还有没有更加简炼的写法，抛砖引玉了～～