HAL函数对Handle有效性的检查为什么不是用assert

HAL函数对Handle有效性的检查为什么不是用assert_param断言？

zoomdy 提问时间：2017-1-24 12:48 /

问答
是否解决:

本帖最后由 zoomdy 于 2017-1-24 12:54 编辑

HAL_StatusTypeDef HAL_SPI_Init(SPI_HandleTypeDef *hspi)
{
/* Check the SPI handle allocation */
if (hspi == NULL)
{
return HAL_ERROR;
}
/* Check the parameters */
assert_param(IS_SPI_ALL_INSTANCE(hspi->Instance));
assert_param(IS_SPI_MODE(hspi->Init.Mode));
assert_param(IS_SPI_DIRECTION(hspi->Init.Direction));
assert_param(IS_SPI_DATASIZE(hspi->Init.DataSize));
assert_param(IS_SPI_NSS(hspi->Init.NSS));
assert_param(IS_SPI_NSSP(hspi->Init.NSSPMode));
......
}

复制代码

以HAL_SPI_Init为例，hspi参数的检查并没有使用assert_param断言宏，如果是我实现的话，我会用assert_param(hspi != NULL)实现。一般来讲，入参错误通常是bug，本着早死早超生的原则，用断言宏把它摁死更干脆。使用返回值的话，如果调用方没有检查返回值的话，会转移事故现场，增加排错的难度。不知道HAL中使用返回错误值的方式检测Handle参数有没有什么用意？或者说有什么好处？

赞收藏 3 评论19 发布时间：2017-1-24 12:48

19个回答

creep 回答时间：2017-2-8 08:29:13

楼主需要明白的是断言（assert_param）一般只用在程序的调试阶段用于判断传入的部分系统参数是否正确，等程序发布的时候编译生成可执行文件时是会关闭断言的，因为断言可能在某种程度上影响程序的运行效率。但是此时对传入函数的参数是否为NULL 需要任何时候都要进行判断，所以不能用断言assert_param(hspi != NULL)进行判断了。

评分

参与人数 1	ST金币 +5	收起理由
zero99	+ 5	支持二楼的解释

查看全部评分

赞 0 评论

党国特派员回答时间：2017-2-8 14:55:00

本帖最后由党国特派员于 2017-2-8 15:21 编辑

我来说个直白点的
断言一般是内部函数对参数的有效性进行检查。也就是说你的这些参数不是用户给的，能够保证参数的正确性。
如果你的函数是给用户使用的，那么就要使用IF ELSE对参数进行检查。因为用户很有可能给你传过来不是你要求的值。至于3楼，没有说到断言的真正意图,会对大家造成一种误解，我实在不敢认同。

赞 0 评论