1. sizeof 与 strlen 的基本差异
1.1 定义与作用对象
sizeof 运算符在编译期确定对象或类型的字节数，适用于静态大小的对象和类型。这一特性使得编译器在生成代码时就能知道占用空间的确切大小，便于对齐和内存布局优化。
而 strlen 函数是在运行时计算以空字符结束的字符串的长度，结果是字符数量，不包括结尾的空字符（'\\0'）。这意味着 strlen 的结果依赖于实际存放在内存中的数据，并且只能用于以空结尾的字符序列。
本文聚焦于 C++ sizeof 与 strlen 的区别，帮助读者理解如何正确计算数组大小，避免常见误区。
// 简单示例，说明两者的不同
#include
#include int main() {int a[10];std::cout << "sizeof(a) = " << sizeof(a) << std::endl; // 40（在 32-bit 系统可能为 40，在 64-bit 为 40 取决于 int 大小）const char* s = "hello";std::cout << "strlen(s) = " << strlen(s) << std::endl; // 5
}
1.2 常见应用误区
在很多场景中，人们容易混淆 sizeof 与 strlen 的含义，尤其对非字符串数组和指针类型的处理。错误的认知可能导致内存越界、潜在的崩溃，或错误的数组大小估算。
下面的示例展示了常见误解：例如把一个 char 数组作为字符串处理时，如果没有以 null 结尾，strlen 将产生未定义行为，甚至程序崩溃。
char a[] = {'a','b','c'}; // 不含 0
// strlen(a) 将读取直到遇到 0，若没有，将导致未定义行为
2. 如何正确计算数组大小
2.1 静态数组的元素个数
对于静态定义的数组，sizeof(数组) / sizeof(数组[0]) 给出元素数量，这是最常用、最安全的做法，特别是在模板中可以保持通用性。
注意该方法只在真正的数组上成立。当数组被传入函数参数后就会变成指针，从而失去信息，因此不能在函数内部使用同样的公式来获取大小。
int arr[10];
size_t n = sizeof(arr) / sizeof(arr[0]); // 10
2.2 将数组传给函数时的正确处理
若需要在函数内部获取数组长度，需要以模板或显式的长度参数来传递。直接传入指针时无法获得原始数组的长度信息。
常见做法包括模板引用数组：template<typename T, size_t N> void f(T (&)[N])，利用引用保持数组类型信息，从而在编译期得到长度。
template
void print_size(T (&arr)[N]) {std::cout << N << std::endl;
}
int main() {int a[20];print_size(a); // 输出 20
}
2.3 与 C 风格字符串相关的大小判断
对 C 字符串，sizeof(char array) 总是多一个字节，因为会包含结尾的 '\\0'，但这仅在数组被完整定义时成立。
如果字符串以指针形式存在或长度信息通过其他途径提供，使用 strlen 或基于 std::string 的长度查询会更清晰。
char s1[] = "hello"; // 包含结尾 '\\0'
std::cout << "sizeof(s1) = " << sizeof(s1) << std::endl; // 6
std::cout << "strlen(s1) = " << strlen(s1) << std::endl; // 5
3. 常见误区与典型案例
3.1 将 sizeof 应用于字符指针
指针变量并不知道指向的数组大小，因此 sizeof(指针) 得到的是指针本身的大小，而不是所指内存的长度。若想获知字符串长度，应使用 strlen（前提是该指针指向以 '\\0' 结尾的字符序列）或记录长度信息。
错误地将指针的大小当作字符串长度，会导致逻辑错误和缓冲区处理错误。
char* p = "world";
std::cout << "sizeof(p) = " << sizeof(p) << std::endl; // 4 或 8，取决于平台
std::cout << "strlen(p) = " << strlen(p) << std::endl; // 5
3.2 当数组作为函数参数时的注意点
函数形参声明为 void foo(int arr[]) 实际上等价于 void foo(int* arr)，因此 sizeof(arr) 总是得到指针大小。若要在函数内部获取数组长度，需要将长度作为额外参数或使用模板。
在函数设计中，明确传入长度信息往往比依赖 sizeof 更安全、可移植。
void f(int* arr, size_t n) { std::cout << "size = " << n << std::endl;
}
void g(int arr[]) {std::cout << "size = " << sizeof(arr) << std::endl; // 通常错误，输出指针大小
}
4. 与 STL 的区别和替代方案
4.1 使用 std::array 获取编译期长度
std::array
对于需要固定大小且不可变长度的数组，std::array 提供了更清晰的语义和更好的与 STL 的兼容性。
std::array a;
std::cout << "size = " << a.size() << std::endl; // 15
4.2 使用 std::string 处理文本数据
对于文本数据，对字符序列建议使用 std::string，而非裸露的 char 数组，这样就不需要 strlen 来判断长度，且减少了缓冲区管理的错误。
std::string s = "hello world";
std::cout << "length = " << s.size() << std::endl; // 11
5. 实战小技巧与注意事项
5.1 避免在未初始化的数组上误用 sizeof
未初始化的自动变量的 sizeof 行为与初始化无关，任何编译期推断都需要明确的对象，避免盲目使用。
int a[5];
std::cout << "sizeof(a) = " << sizeof(a) << std::endl; // 20
5.2 结合调试和静态分析工具
在代码中显式记录长度信息是最稳妥的做法，结合静态分析工具 可以在编译阶段发现把指针长度当作数组长度的错误，提升代码鲁棒性。
void inspect(int* arr, size_t len) {// len 给出实际长度，而不是 sizeof(arr)
}
