strncmp(s1, s2, 0)返回值是否为未定义行为？标准是否明确？

标准未明确规定 #

C标准<string.h>中strncmp函数声明为int strncmp(const char *s1, const char *s2, size_t n);，根据C17标准草案7.24.4.4的描述，该函数最多比较n个字符，返回值用于反映字符串的大小关系，但未明确提及n=0时的返回值。

逻辑上的合理推导 #

从逻辑角度看，返回0是最合理的选择，原因有两点：

• 对称性：未进行任何字符比较时，返回正值或负值都会存在不对称性，而0是无偏向的对称结果
• 符合通用模型：遵循“未发现差异则默认返回0”的常规判断逻辑

不过这只是基于逻辑的推导，并非标准强制规定，因此建议C标准后续要么明确规定此场景返回0，要么直接禁用n=0的调用。

实际编译器实践 #

在glibc环境下测试，使用-Wall -Wextra -std=c90 -pedantic、-Wall -Wextra -std=c17 -pedantic等严格编译选项时，调用strncmp("abc", "def", 0)这类用例，始终返回0且无任何警告或错误。

内容的提问来源于stack exchange，提问作者Lover of Structure