c - 参数中的 "char*"是指向单个 char 还是 char 数组的指针？

Question

这是一个关于 C 的一般性问题。(我没有很多 C 编码经验)所以，如果我有一个将 char* 作为参数的函数。如何知道它是指向单个 char 还是指向 char 数组的指针，因为如果它是一个 char 数组，我可以期待一个 \0 但如果它不是 char 数组，那么我不想搜索 \0。

Answer 1

Is char* in argument a pointer to a single char or a char array?

是的。

char* 类型的参数始终 是一个指向 char 的指针对象(或空指针，不指向任何东西，如果这是调用者作为相应参数传递的内容)。

它不是指向数组的指针(例如，类型为 char(*)[42] 的指针)，但访问数组元素的常用方法是通过指向元素类型的指针，而不是指向整个数组。为什么？因为实际的数组指针必须始终指定数组的长度(在我的示例中为 42)，这是不灵活的并且不会让相同的函数处理不同长度的数组。

A char*参数可以被视为指向单个 char 的指针目的。例如，获取输入字符的函数可能声明如下:

bool get_next_char(char *c);

这里的想法是函数的结果告诉你它是否成功；实际输入的字符通过指针“返回”。 (这是一个人为的例子；<stdio.h> 已经有几个从输入中读取字符的函数，但它们不使用这种机制。)

比较strlen计算字符串长度的函数:

size_t strlen(const char *s);

s指向 char 的数组 的第一个元素;在内部，strlen使用该指针遍历数组，寻找终止 '\0'性格。

忽略 const ，char* 之间没有真正的区别。这两个函数的参数。事实上，C 没有很好的方法来区分这些情况:简单地指向单个对象的指针与指向数组第一个元素的指针。

它确实有一种不好的方式来区分。例如，strlen可以声明为:

size_t strlen(const char s[]);

但是C其实根本就没有数组类型的参数。参数声明 const char s[]被“调整”为const char *s ;这意味着完全相同的事情。您甚至可以为看起来像数组参数的东西声明长度:

void foo(char s[42]);

它会被悄悄地忽略；上面的意思完全一样:

void foo(char *s);

[42]可能具有一些文档值(value)，但注释具有相同的值(value)——并且就编译器而言具有相同的意义。

程序员必须区分指向单个对象的指针和指向数组第一个元素的指针，最好在函数的文档中区分。

此外，这种机制不会让函数知道数组的长度。对于 char*特别是指针，通常使用空字符 '\0'作为字符串结尾的标记——这意味着调用者有责任确保该标记实际存在。否则，您可以将长度作为单独的参数传递，类型可能为 size_t .或者，您可以使用您喜欢的任何其他机制，只要一切都以一致的方式完成即可。

... because if it's a char array I can expect a \0 ...

不，你不能，至少不一定。 char*可以很容易地指向 char 的第一个元素数组不以 '\0' 结尾字符(即不包含字符串)。如果你愿意，你可以强加这样的要求。对字符串进行操作的标准库函数强加了这一要求——但它们并不强制执行。例如，如果将指向未终止数组的指针传递给 strlen , 行为未定义。

推荐阅读:comp.lang.c FAQ 的第 6 节.