用C语言详细写一下二分查找法代码

二分查找也称为折半查找，是一种高效的查找算法。它要求待查找的序列有序，然后每次查找时都取中间位置的值进行比较，缩小查找范围，直到找到目标位置或者确定目标不存在为止。

下面是一个使用C语言实现的二分查找函数：

int binary_search(int arr[], int len, int target) {
    int left = 0;
    int right = len - 1;
    while (left <= right) {
        int mid = left + (right - left) / 2;
        if (arr[mid] == target) {
            return mid;
        }
        else if (arr[mid] < target) {
            left = mid + 1;
        }
        else {
            right = mid - 1;
        }
    }
    return -1;
}

函数接收三个参数：待查找的有序数组 `arr`、数组长度 `len` 和目标值 `target`。函数返回目标值在数组中的下标，如果目标值不存在则返回 -1。

函数实现中，定义了两个指针 `left` 和 `right`，分别指向数组的左边界和右边界。然后通过一个 while 循环不断缩小查找范围，直到找到目标位置或者确定目标不存在为止。

在每次循环中，先计算出中间位置 `mid`，然后将目标值与中间位置的值进行比较。如果相等，则直接返回中间位置 `mid`；如果目标值比中间位置的值大，则说明目标值在右半部分，将左边界 `left` 设为 `mid + 1`；如果目标值比中间位置的值小，则说明目标值在左半部分，将右边界 `right` 设为 `mid - 1`。

当左边界 `left` 大于右边界 `right` 时，说明目标值不存在，返回 -1。

使用二分查找算法的时间复杂度为 O(log n)，是一种高效的查找算法。