带---有测试代码----的二分法查找（折半查找）

最新推荐文章于 2022-10-21 15:43:46 发布

mobz

最新推荐文章于 2022-10-21 15:43:46 发布

阅读量952

点赞数

分类专栏： C/C++

本文链接：https://blog.csdn.net/M_O_Bz/article/details/8543668

版权

本文介绍了二分查找算法，并提到在软件正式发布时，可以通过-DNDEBUG来屏蔽测试代码，例如使用gcc -DNDEBUG xx.c编译禁用assert.h中的assert宏，以移除代码中的断言测试。

摘要由CSDN通过智能技术生成

#include <stdio.h>
#include <assert.h>

/*
 * 带有测试代码的二分法查找
 * Precondition:已经排好序
 * Maintenance:如果find_this 在数组中的话 就一定能找得出来
 * Postcondition:如果find_this 不在数组中的话，就一定要保证能返回-1
 * */

#define len 8
int arr[] = {1,2,2,2,5,6,8,9};

int is_sort(void)
{
	int i;
	for(i = 0; i < len; i++)
		if(arr[i - 1] > arr[i])
			return 0;//非排好序，返回错误
	return 1;//排好序的
}

int mustbe(int start,int end,int find_this)
{
	int i;
	for(i = 0; i < start; i++)
		if(arr[i] == find_this)
			return 0;//返回错误
	for(i = end + 1; i < len; i++)
		if(arr[i] == find_this)
			return 0;//返回错误
	return 1;//正确
}

int contains(int n)
{
	int i;
	for(i = 0; i < len; i++)
		if(n == arr[i])
			return 1;//确保要找的数在数组中
	return 0;//要找的数不在数组中
}

int binary_search(int find_this)
{
	int mid,start = 0,end = len;

	/*
	 * Precondition
	 * */