c - 单个字符上的 Strlen 函数行为

Question

这是我的代码：

void func(char c)
{
    char * ptr = &c;
    size_t len = strlen(ptr);
    printf("len - %d\n", len);
}

len始终打印为 1。

strlen(..)通过在数组末尾char找到空字符 ( )来确定数组的长度。\0这里ptr仅使用单个字符 ( c) 的地址进行初始化。c不包含任何空字符。如何ptr获得长度？

Answer 1

您不能strlen()在不指向空终止数组的指针上使用。它调用未定义的行为。

一旦您的程序达到 UB，就没有任何保证。

FWIW，strlen()返回一个 type size_t，所以你应该使用%zu格式说明符来打印结果。

Answer 2

您的代码的行为在两个方面未定义。它意外返回 1。

1. strlen通过从给定地址开始，并增加该地址直到\0到达。这与 C 标准库对字符串的建模方式是一致的。如果您不拥有起始地址和该地址之间的所有内存（作为连续块），\0则输入strlen格式错误。

2. printf由于格式说明符不正确， 的行为未定义。用于. %zu_size_t

Answer 3

c 不包含任何空字符。ptr 如何获得长度？

它没有。它似乎在您的测试中给出了正确的答案，因为地址后面的内存位置c恰好包含一个零字节。此位置未定义为包含零，也不允许程序访问它，因此您不能指望此类代码继续工作。

在 C 标准的语言中，程序的行为是未定义的，这意味着不仅操作的结果不可预测，整个程序也变得毫无意义。

即使不考虑未定义的行为，上述代码也可能因最轻微的变化而停止工作 - 例如，当您更改架构、编译器甚至编译标志时，或者当您添加更多功能时。虽然这样的代码片段对于了解事物在幕后的工作原理很有用，但它们永远不应该用于生产代码。