C语言中strlen与sizeof的区别详解

Owen

发布时间：2026-10-16| 5人浏览过

原创

本文深入解析C语言中strlen函数与sizeof运算符的核心区别。通过对比两者的底层机制——运行时扫描与编译期评估，结合代码实例演示数组处理、指针运算及无符号整型比较等场景下的表现差异，帮助开发者规避常见的类型转换陷阱。

一、核心概念与行为差异

在C语言中，strlen和sizeof虽然都用于获取长度信息，但它们的工作机制完全不同：

strlen()：是一个标准库函数（需包含 #include <string.h>）。它从指定的内存地址开始逐个读取字符，直到遇到结束符 '\0' 为止。返回值类型为 size_t（即无符号整型），且结果不包含 '\0'。
sizeof：是一个一元运算符（注意不是函数）。它在编译阶段即可计算出变量或数据类型所占用的内存字节数。对于字符串，它会将结束符 '\0' 也计算在内。

二、sizeof 深度解析

第1步：掌握基本语法与类型判断

sizeof既可以作用于变量，也可以作用于类型。使用规则如下：

sizeof(变量) 或 sizeof 变量：返回该变量占用的字节数。
sizeof(类型)：正确写法。
sizeof 类型：错误写法，编译器会报错。

int a = 10;
int b = sizeof(a);   // 4
int c = sizeof(int); // 4
// int d = sizeof int; // 编译错误

第2步：理解“内部表达式不运算”特性

这是 sizeof 的一个重要特性：其括号内部的表达式在编译期间仅用于推断类型，不会执行真实运算，也不访问内存空间。

int main()
{
    int a = 10;
    int b = sizeof(a = a + 1);
    printf("%d %d\n", a, b); // 输出: 10 4
    return 0;
}

在此示例中，尽管写入了赋值操作 a = a + 1，但 sizeof 只看 a 的类型（int，4字节），并未改变 a 的值。

第3步：处理数组名时的特殊情况

数组名在大多数情况下代表首元素地址，但在以下两种情况例外，此时代表整个数组：

sizeof(数组名)
&数组名

int arr[10];
size_t a = sizeof(arr);     // 10 * 4 = 40 (整个数组大小)
size_t b = sizeof(&arr);    // 8 或 4 (取决于系统架构，取的是整个数组的地址值，通常作为指针处理)

三、strlen 深度解析与模拟实现

strlen 的计算依赖于字符串是否正确以 '\0' 结尾。如果字符串未正确闭合，它将越过边界继续扫描，导致不确定结果。

第1步：三种模拟实现方式

理解其原理有助于在实际开发中优化或手动处理边界：

// 方法1：计数器法
size_t my_strlen_count(const char* str) {
    size_t count = 0;
    while (*str != '\0') {
        count++;
        str++;
    }
    return count;
}

// 方法2：递归法
size_t my_strlen_rec(const char* str) {
    if (*str != '\0')
        return 1 + my_strlen_rec(str + 1);
    return 0;
}

// 方法3：指针减指针法
size_t my_strlen_ptr(const char* str) {
    const char* start = str;
    while (*str != '\0') {
        str++;
    }
    return str - start;
}

四、实战中的关键区别与坑点

第1步：字节数与字符数的直接对比

当处理字符串常量或含 '\0' 的字符数组时，两者差异显著：

char arr1[] = "abcdef";
printf("%zu %zu\n", strlen(arr1), sizeof(arr1)); 
// 输出: 6 7 
// strlen不计\0，结果为6；sizeof计\0，大小为7字节

若数组显式初始化且不包含 '\0'，strlen 的结果将是随机值（直到找到随机的 '\0'）：

char arr2[] = {'a', 'b', 'c'};
// strlen(arr2) -> 随机值 (找不到\0)
// sizeof(arr2) -> 3 (确定大小)

第2步：`size_t` 无符号整型引发的Bug

由于 strlen 和 sizeof 均返回 size_t（无符号类型），在进行涉及负数预期的算术运算时需格外谨慎。

int i = -1;
if (i > sizeof(int)) { // 1. i被提升为unsigned int，值为极大数
    printf(">\n");
} else {
    printf("<\n");
}
// 输出: >

同理，比较两个不同长度的字符串：

char *p1 = "abcd";
char *p2 = "abcde";
if (strlen(p1) - strlen(p2) > 0) { // 4 - 5 = -1。因是无符号运算，-1被视为巨大的正数
    printf("p1 > p2"); 
} else {
    printf("p1 < p2");
}
// 实际打印结果通常为: p1 > p2 （这并非预期逻辑）