添加-fsanitize=address选项时strcmp返回结果异常的原因咨询

这是个很常见的问题，核心原因在于AddressSanitizer（ASAN）会替换标准库中的strcmp实现，而这个替换后的版本和原生C库的返回值规则不一样。

先明确C标准的规定 #

C语言标准只要求strcmp的返回值满足：

• 当第一个字符串小于第二个时，返回负整数
• 当两个字符串相等时，返回0
• 当第一个字符串大于第二个时，返回正整数

标准从来没有规定返回值必须是两个字符串第一个不同字符的差值——这只是像glibc这类原生C库为了效率而采用的实现方式，属于“额外福利”，并非强制要求。

ASAN版本的strcmp做了什么？ #

ASAN为了配合内存安全检查，会替换一批标准库函数的实现，其中就包括strcmp。它的实现不会返回具体的字符差值，只会返回-1、0、1这三个值，完全符合C标准的要求，但打破了原生库返回差值的“潜规则”。

所以你看到的情况就是：

• 不带-fsanitize=address时，用的是原生glibc的strcmp，返回了'a'-'l' = -11（假设你的测试用例是类似"abc" vs "lmn"这类场景）
• 带这个选项时，用的是ASAN的strcmp，只返回了-1

重要提醒 #

你的程序依赖strcmp返回具体数值的行为是未定义行为，哪怕现在原生库返回差值，未来的库版本或者其他平台的库都可能改变这个实现。正确的用法应该是判断返回值的正负（比如if (strcmp(a,b) < 0)），而不是直接依赖具体的数值。

内容的提问来源于stack exchange，提问作者user21