设有n个元素的集合a[0]~a[n-1]是有序的，设计算法从这n个元素中找出值为x的特定元素。非递归算法。C语言

在C语言中，可以使用二分查找法（Binary Search）来在有序数组`a[0]`到`a[n-1]`中寻找特定值`x`，这是一种高效的非递归搜索算法。以下是基本步骤：

1. 初始化两个指针：`low`设为0，`high`设为`n-1`，分别表示当前搜索区间的开始和结束。

2. 当`low`小于等于`high`时，继续循环：
a. 计算中间索引`mid`：`mid = (low + high) / 2`。
b. 比较中间元素`a[mid]`与目标值`x`：
- 如果`a[mid]`正好等于`x`，返回`mid`作为找到的元素位置。
- 如果`a[mid]`大于`x`，说明`x`应该在左半部分，将`high`设置为`mid - 1`。
- 否则，如果`a[mid]`小于`x`，说明`x`应该在右半部分，将`low`设置为`mid + 1`。

3. 当`low`大于`high`时，表明`x`不存在于数组中，返回-1或相应错误代码表示未找到。

这是一个简单的非递归版本的二分查找算法示例：

int binary_search(int a[], int n, int x) {
    int low = 0;
    int high = n - 1;

    while (low <= high) {
        int mid = low + (high - low) / 2;

        if (a[mid] == x)
            return mid;

        if (a[mid] < x)
            low = mid + 1;
        else
            high = mid - 1;
    }

    return -1; // 如果没找到，返回-1
}