【C语言】在这些情况下使用assert，比if语句强太多！

(o゜▽゜)o☆(o゜▽゜)o☆(o゜▽゜)o☆

1. assert介绍

assert是C语言assert.h函数库中提供的函数，俗称断言函数。assert函数用于检验函数参数是否符合某个条件，表面上来看与if功能类似。

2. assert与if的区别

• assert只在debug模式下生效，release版本下不参与编译。
• if语句无论是debug还是release版本，它都会参与编译。因此在适合的场景下使用assert而不是if，能提高程序执行效率。

3. 适合使用assert的情况

assert从单词意思上来理解就是可以翻译成“断言”，即很明确地、清楚地肯定或认为某件事是真的。那么用在C程序中，那么一般都是程序员明确地认为某件事是不能发生、不能出现的才可以让程序继续执行下去。

• 函数参数被程序员主观认为会出现不符合程序逻辑的值、不合理的值或是本就不应该出现的值，检查函数参数值非法情况，使用assert。
• 参数一定会是或将会是某些个不希望被使用到值，而程序员也很清楚这个是有可能或是必然会发生的值，使用if。

assert在参数出现非法值时能及时地阻断程序，并提供报错信息，这样我们能更好地找到问题所在。如果很清楚某些非法值不应该出现而使用了if，那么相当于默认了该非法值的存在，等同于默认了bug的存在，这样程序存在隐患。

4. 使用了assert的例子

这里使用的程序示例是这篇文章中的：C - 善用const修饰指针变量，提高程序的健壮性！在这篇文章中，程序并没有使用assert而是使用的if，那么这里对代码进行参数判断的优化。

• 字符串拷贝功能函数：

#include <stdio.h>
#include <assert.h> // 头文件要记得包含
char* my_strcpy(char* dest, const char * src)
{
	assert(dest != NULL && src != NULL);
	char* temp = dest;
	while (*src) 
	{
		*dest = *src;
		dest++;
		src++;
	}
	return temp;
}
int main()
{
	char dest[20] = "";
	char src[] = "abcdef";
	my_strcpy(dest, src);
	printf("%s", dest);
	return 0;
}

这里也可以写成 assert(dest && src); 在出现空指针的情况下，而空指针的值实际上是0，assert会阻止程序。

• 求字符串长度功能函数：

#include <stdio.h>
#include <assert.h>
unsigned int my_strlen(const char* str)
{
	assert(str != NULL);
	int len = 0;
	while (*str)
	{
		len++;
		str++;
	}
	return len;
}
int main()
{
	char str[] = "abcdef";
	printf("%u", my_strlen(str));
	return 0;
}

(☆▽☆)(☆▽☆)(☆▽☆)(☆▽☆)(☆▽☆)(☆▽☆)