如何判断一段字符串的长度
来源：公众号【鱼鹰谈单片机】
作者：鱼鹰Osprey
ID ：emOsprey
这周课上介绍断言实现的时候，莫名其妙被断言的真真假假搞晕了。
起因是看到一段关于判断一段字符串的长度，使用了 ASSERT 方式，原文大概是这样写的：
#define AES256_KEY "0123456789ABCDEF0123456789ABCDEF" /* 必须等于 32 字节 */ #define AES256_IV "0123456789ABCDEF" /* 必须等于 16 字节 */ extern void Assert_Failed(uint8_t *func, uint32_t line); #define ASSERT(expr) ((expr) ? (void)0U : Assert_Failed((uint8_t *)__func__, __LINE__)) voidfunc() { ASSERT(sizeof(AES256_KEY) != 32); ASSERT(sizeof(AES256_IV) != 16); }
一开始总以为这种写法没问题，毕竟这么简单，vwin 调试的时候确实也不会报错（打开了断言情况下）。
为了课上测试一下静态编译报错的效果，却发现始终有些问题，不该报错的时候报错了。
#define STATIC_ASSERT(...) extern char (*_do_assert(void)) [sizeof(char[1 - 2*!(__VA_ARGS__)])]
为了方便，鱼鹰直接用 MDK 测试了 sizeof 字符串的结果，发现确实也是16（0x10）
然后我就困在了这两个前提上，STATIC_ASSERT 报错始终有问题。
#define AES256_KEY "0123456789ABCDEF0123456789ABCDEF" /* 必须等于 32 字节 */
#define AES256_IV "0123456789ABCDEF" /* 必须等于 16 字节 */
extern void Assert_Failed(uint8_t *func, uint32_t line);
#define ASSERT(expr) ((expr) ? (void)0U : Assert_Failed((uint8_t *)__func__, __LINE__))
#define STATIC_ASSERT(...) extern char (*_do_assert(void)) [sizeof(char[1 - 2*!(__VA_ARGS__)])]
void func()
{
ASSERT(sizeof(AES256_KEY) != 32);
ASSERT(sizeof(AES256_IV) != 16);
STATIC_ASSERT(sizeof(AES256_IV)!=16);
}
调试的时候，STATIC_ASSERT 报错，但是 ASSERT不报错。
这让鱼鹰百思不得其解，一开始以为两个宏逻辑相反，不都是逻辑值为假时报错。
但是通过分析宏发现，都是假的时候报错。
那肯定哪里分析有问题了。
因为编译器如果能得到结果为真，ASSERT可能无法形成代码，即为空(void)0U。
因此鱼鹰使用了一个变量作为中间值，强行让编译器生成断言相关的代码，才算是发现了问题。
void func()
{
uint32_tsize = sizeof(AES256_IV);
ASSERT(sizeof(AES256_KEY) != 32);
ASSERT(size!=16);
STATIC_ASSERT(sizeof(AES256_IV) != 16);
}
这个size 的值竟然是 17，而不是 16，难怪初始代码不报错，17 != 16，当然为真，当然不报错。
但写代码的人是希望这个字符串的长度为始终是16（不包含null的情况下），而明显代码中使用sizeof 时计算了 null 的长度。
所以代码应该这样写才对：
void func()
{
ASSERT(sizeof(AES256_KEY)==32);
ASSERT(sizeof(AES256_IV)==16);
STATIC_ASSERT(sizeof(AES256_IV)==16);
}
但是又因为代码的sizeof 会计算null，因此需要去除这个数：
void func()
{
ASSERT(sizeof(AES256_KEY) - 1==32);
ASSERT(sizeof(AES256_IV) - 1==16);
STATIC_ASSERT(sizeof(AES256_IV) - 1==16);
}
这样 STATIC_ASSERT 可以在编译阶段就可以判断这个字符串的长度是否符合要求，多一个、少一个字符都不行。
这个坑你们遇到过吗？
-
字符串
+关注
关注
1文章
578浏览量
20506 -
编译器
+关注
关注
1文章
1623浏览量
49108 -
编译
+关注
关注
0文章
657浏览量
32852
原文标题：被断言罢了一道
文章出处：【微信号：emOsprey，微信公众号：鱼鹰谈单片机】欢迎添加关注！文章转载请注明出处。
发布评论请先 登录
相关推荐
工商网监
评论