RT_ASSERT断言中#号的作用

---

---

在嵌入式操作系统中经常会看到RT_ASSERT断言的存在，但在对这个断言分析的时候，遇到#EX这个符号，实在看不明白作用，于是只能上网找资料慢慢分析了。

一、C语言中#号的作用

“#”在C语言中有多种用法，总结有5种：

1、“#”用作引用头文件
2、“#”用作宏定义
3、“#”用作预编译时的警告、错误
4、“#”用作将宏定义转换成字符串
5、“##”用作连接两个标识符
那么这里的作用应该就是将“#”转换成字符串，因为DEBUG开启后如果断言出错打印出来的就是出错函数的字符，但原先的使用方式是

#define STR1(a)             #a	//以“#”的形式将输入转换成字符串,必须以宏定义的方式

而RT-Thread使用的方式是

#define RT_ASSERT(EX)                                                         \
if (!(EX))                                                                    \
{                                                                             \
    rt_assert_handler(#EX, __FUNCTION__, __LINE__);                           \
}

是直接将参数加上#直接传给了rt_assert_handler函数，所以这里是传入了EX这个参数的字符。从rt_assert_handler函数可以看出就是将传入#EX打印出来了。

void rt_assert_handler(const char *ex_string, const char *func, rt_size_t line)
{
    volatile char dummy = 0;

    if (rt_assert_hook == RT_NULL)
    {
#ifdef RT_USING_MODULE
        if (dlmodule_self())
        {
            /* close assertion module */
            dlmodule_exit(-1);
        }
        else
#endif /*RT_USING_MODULE*/
        {
            rt_kprintf("(%s) assertion failed at function:%s, line number:%d \n", ex_string, func, line);
            while (dummy == 0);
        }
    }
    else
    {
        rt_assert_hook(ex_string, func, line);
    }
}

二、猜想验证

当然验证的中间会有些错误，但正是因为验证了才知道哪想错了，其中最重要的一点就是使用#转成字符串的时候必须是在宏定义也就是#define后面，直接使用#加参数是会报错的，下面是验证程序：

#define pri(EX) prit(#EX)
void prit(const char *ex_string)
{
    rt_kprintf("(%s) failed\r\n",ex_string);
}

pri(#get_system_status());

验证结果：