此 C 代码的输出是什么（不带任何命令行参数运行）？

Question

这段 C 代码的输出是什么（不带任何命令行参数运行）？

#include <stdio.h>
int main(int argc, char *argv[])
 {
    while (*argv  !=  NULL)
    printf("%s\n", *(argv++));
     return 0;
}

在这个程序中，argv给出了char指针数组的基地址

while(*argv !=NULL) 

条件为真，这应该给出编译时错误，因为 *(argv++)，不是吗？但它显示了一些输出，为什么？

Answer 1

无耻地引用 C11 规范，第 5.1.2.2.1 章，（强调我的）

——argc 的值应为非负数。

—argv[argc] 应为空指针。

——如果argc的值大于零，数组成员argv[0]through argv[argc-1] inclusive 应包含指向字符串的指针，这些指针是给定的 在程序启动之前由宿主环境定义的实现值。 意图是向程序提供在程序启动之前确定的信息 来自托管环境中的其他地方。如果宿主环境不能 提供带有大写和小写字母的字符串，实现 应确保以小写形式接收字符串。

——如果argc的值大于零，则argv[0]指向的字符串 代表程序名称； argv[0][0] 应为空字符，如果 程序名称在主机环境中不可用。 如果 argc 的值为 大于一，argv[1] 到 argv[argc-1] 指向的字符串 表示程序参数。

上面的sn-p就是简单的打印提供的程序参数。

• *argv != NULL 是检查我们没有到达 argv 数组的末尾。

• printf("%s\n", *(argv++));，我们来分解一下，

  printf("%s\n", *argv));  //print the string pointed to by `argv`
  argv++;                  //increment argv to point to the next string 
  

---

现在，进入“标题”中的问题

[...]（不带任何命令行参数运行）？

好吧，在这种情况下，argc 的值为1，并且只有argv[0] 持有指向包含程序名称的字符串的指针。 argv[1] 指向 NULL（或类似的空指针）。

所以，在循环中

• 第一个条件检查成功（*argv == argv[0] 不为 NULL），打印程序名称
• argv 作为后增量的副作用而递增。
• 第二次迭代，*argv现在和argv[1]一样，为NULL，条件为假，到达最后的return语句。

---

正文中的问题

这应该是因为*(argv++)而导致编译时错误，不是吗？

不，不是。引用章节§6.7.6.3

将参数声明为‘‘数组类型’’应调整为‘‘限定指针 type''，其中类型限定符（如果有）是在 [ 和 ] 中指定的那些 数组类型推导。 [...]

因此，argv 是一个可修改的左值，可以在这里用作后缀自增运算符的操作数。