如何正确判断C语言中两个字符串是否相等？

Question

在C语言中，判断两个字符串是否相等时，许多初学者常误用“==”运算符直接比较字符串变量，导致逻辑错误。实际上，“==”比较的是指针地址而非字符串内容。那么，如何正确判断两个字符串的内容是否相等？ 正确做法是使用标准库函数 `strcmp()`，它定义在 `` 头文件中。该函数按字典顺序比较两个字符串的内容，若相等则返回0。需要注意的是，参与比较的字符串必须以 '\0' 结尾，否则可能导致未定义行为。此外，若字符串由不同内存分配方式获得（如栈、堆、常量区），即使内容相同，指针也可能不同。因此，理解指针与字符串存储机制是避免误判的关键。

Answer 1

一、初识字符串比较的误区

在C语言中，字符串本质上是字符数组，以空字符 '\0' 作为结束标志。许多初学者在判断两个字符串是否相等时，误用了“==”运算符直接比较字符串变量，导致逻辑错误。

例如：

char *str1 = "hello";
char *str2 = "hello";
if (str1 == str2) {
    printf("相等");
} else {
    printf("不相等");
}

上述代码中，str1 和 str2 指向的可能是相同的字符串常量，也可能不同，具体取决于编译器的优化策略。因此，这种比较方式并不可靠。

二、深入理解“==”运算符的本质

“==”运算符在比较两个字符串指针时，判断的是它们的地址是否相同，而不是字符串内容是否一致。这意味着，即使两个字符串内容完全一致，只要它们位于不同的内存区域，比较结果就是“不相等”。

常见情况包括：

• 栈内存中的字符数组
• 堆内存中动态分配的字符串
• 字符串常量区的字符串

类型	内存区域	示例
字符数组	栈	char str[10] = "hello";
动态分配	堆	char *str = malloc(10); strcpy(str, "hello");
字符串常量	常量区	char *str = "hello";

三、正确的字符串内容比较方式

为了比较字符串的实际内容，应使用标准库函数 strcmp()，它定义在头文件 <string.h> 中。

函数原型如下：

int strcmp(const char *s1, const char *s2);

该函数按字典顺序比较两个字符串的内容，返回值如下：

• 返回 0：表示两个字符串内容相等
• 返回值 < 0：表示 s1 小于 s2
• 返回值 > 0：表示 s1 大于 s2

示例代码：

#include <stdio.h>
#include <string.h>

int main() {
    char *str1 = "hello";
    char *str2 = "hello";
    if (strcmp(str1, str2) == 0) {
        printf("字符串内容相等\n");
    } else {
        printf("字符串内容不相等\n");
    }
    return 0;
}

四、理解字符串的存储机制

掌握字符串的存储机制对于正确比较其内容至关重要。字符串在C语言中可以存储在以下三个主要区域：

1. 栈内存：局部变量或固定大小的字符数组，生命周期受限于函数作用域。
2. 堆内存：通过 malloc、calloc 等函数动态分配，需手动释放。
3. 常量区：字符串字面量通常存储于此，不可修改。

即使两个字符串内容相同，若它们位于不同的内存区域，其指针值也将不同。

graph TD A[栈内存] --> B[局部字符数组] C[堆内存] --> D[动态分配字符串] E[常量区] --> F[字符串字面量] B --> G[内容相同但地址不同] D --> G F --> G

五、进阶：比较前的注意事项

使用 strcmp() 时，必须确保两个字符串都以 '\0' 结尾，否则可能导致未定义行为（如访问非法内存区域）。

此外，若字符串来自用户输入、网络数据或文件读取，建议先进行有效性检查，例如：

• 是否为 NULL 指针
• 是否包含非法字符
• 是否超出预期长度

示例代码：

if (str1 == NULL || str2 == NULL) {
    printf("字符串指针为空，无法比较\n");
    return -1;
}