assert() 使用验证

在看项目源码看到一句话，用于入口参数检查，就想着自己能否在项目中也使用到:

assert(op >= sizeof(g_opStruct) / sizeof(g_opStruct[0]));

首先对于assert建立了解，我看的是这篇文章：assert() 怎么用？

• 它是一个宏，接受一个整形表达式参数，当该表达式为假的时候，会打印出错误信息，并使程序停止运行。

• 错误信息包含：所在的文件名 以及 该文件下的行号，可以帮助定位问题。

• 它是一种异常处理方式，在类型检查时用得比较多，比如：除数为0， 函数指针为空，数组越界，参数检查。

• 在出现这种会导致程序跑飞/崩溃/异常时，一条打印信息就从漫天找错 迅速定位到Bug原因。

• 它定义在assert.h 中，而且很方便的一点是：一个宏定义#define NDEBUG 放在#include <assert.h> 前，就可以关闭该机制 从而减小程序空间占用。

我的验证使用

#include <stdio.h>
#include <stdint.h>
// #define NDEBUG
#include <assert.h>


typedef void (*menu_op_func)(uint8_t);
typedef struct OP_STRUCT
{
    int op_menu ; 				/*操作菜单*/
    menu_op_func opfun ;		/*带参数的操作方法*/
} OP_MENU_PAGE;

/*当前菜单*/
typedef enum
{
    MAIN_PAGE = 0,
    LOG_PAGE,
    CONF_PAGE,
    PARA_PAGE,
    VERSION_PAGE,
    PASSWD_PAGE,
    PASSWD_INPUT_PAGE,
    DATETIME_PAGE,
    RECOVERY_PAGE,
} OP_PAGE;

/*菜单操作表定义*/
static OP_MENU_PAGE g_opStruct[] =
{
    {MAIN_PAGE      	, 	NULL},
    {LOG_PAGE					, 	NULL},
    {CONF_PAGE      	, 	NULL},
    {PARA_PAGE				,   NULL},
    {VERSION_PAGE   	, 	NULL},
    {PASSWD_PAGE			,   NULL},
    {PASSWD_INPUT_PAGE,		NULL},
    {DATETIME_PAGE		,		NULL},
    {RECOVERY_PAGE		,   NULL},
};

/*跳转到表所对应的页面*/
static int JUMP_Table(int8_t op, uint8_t KeyValue)
{
    assert(op >= sizeof(g_opStruct) / sizeof(g_opStruct[0]));
    assert(op < 0);
    printf("parameter is ok! \n");
    return 0 ;
}


int main(void)
{
    uint8_t test_var_i = 5;
    uint8_t test_var_j = 10;

    JUMP_Table(test_var_i, 24);
    JUMP_Table(test_var_j, 23);
    return 0;
}

我的发现

通过验证使用发现和想象中有点儿不大一样：

第一次参数调用时传入的数值为5，满足条件检查，此时应输出一条：

parameter is ok!

但实际情况是没有输出，直接输出的是：

Assertion failed: op >= sizeof(g_opStruct) / sizeof(g_opStruct[0]), file test1.c, line 45

后来才意识到：那个源码是有问题的：用法错了，表达式为假时输出，而非为真时。

通过关闭assert机制，观察到的现象是：

parameter is ok!
parameter is ok!

意识到：那个源码是有问题的：用法错了，表达式为假时输出，而非为真时。

通过关闭assert机制，观察到的现象是：

parameter is ok!
parameter is ok!