argv[0] 可以包含空字符串吗？

Question

在任何 C 程序中，命令行参数 argv[0] 都指向用于调用程序的名称。有没有什么情况会指向空字符串""？

这种情况的示例代码片段将是一个很好的参考。

Answer 1

它是实现定义的。 §5.1.2.2.1 删节：

• 如果argc的值大于零，则数组成员argv[0]通过
  argv[argc-1] 包含应包含指向字符串的指针，这些字符串给出
  在程序启动之前由主机环境实现定义的值。这
  目的是向程序提供在程序启动之前确定的信息
  来自托管环境中的其他地方。 [...]

• 如果argc的值大于零，则为argv[0]指向的字符串
  代表程序名称；如果 argv[0][0] 为空字符，则
  程序名称无法从主机环境中获得。 [...]

因此，如果 argc 大于零，则 argv[0] 永远不会是空字符串，这是完全意图，但是它可能会发生。 （请注意，当 argc 等于 n 时，argv[0] 到 argv[n - 1] 永远不会null 且始终指向字符串，但如果 n 为零，则 argv[0] 为 null。）

当然，在实践中，您只需要确保您的目标平台按照需要运行即可。

Answer 2

是的。

C 语言标准明确允许 argv[0] 可以是空指针，或它可以指向空字符串 (""< /代码>）。 N1256 5.1.2.2.1p2：

argc 的值应为非负数。

argv[argc] 应为空指针。

[...]

如果argc的值大于零，则该字符串指向
其中argv[0]代表程序名称； argv[0][0] 应为
如果主机无法提供程序名称，则为空字符
环境。如果 argc 的值大于 1，则字符串
argv[1] 到 argv[argc-1] 指向的表示
程序参数。

在类 Unix 系统上，程序由 exec() 系列函数之一（execl()、execlp() 等）调用.)，它允许调用者准确指定传递给 main() 函数的参数。 （甚至可能以违反 C 标准规定的要求的方式调用程序。）

请注意，该标准规定 argv[0] （假设它既不为 null 也不为空）“代表程序名称”。该标准故意对它如何表示程序名称含糊其辞。特别是，它不需要提供可以调用程序的名称（因为标准甚至不要求可以通过名称调用程序）。

Answer 3

其他回复引用了 C 标准并表明 argv[0] 和 可以是 NULL 也可以是空字符串 ("") 。您应该在编写程序时假设这种情况可能发生，因为否则您就会造成（小）安全风险。调用您的程序并将 argv 设置为攻击者想要的任何内容都很容易。作为证明，请考虑以下两个程序。第一个，echoargv.c 打印出 argv 的内容：

#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
    int i;
    for (i = 0; i < argc; ++i)
        printf("argv[%d] = \"%s\"\n", i, argv[i]);
    exit(0);
}

第二个，argv0，调用任何其他程序并让用户指定另一个程序的 argv：（

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int main(int argc, char **argv) {
    (void) execv(argv[1], argv+2);
    perror("execv");
    exit(1);
}

这是 Posix 特定版本。非标准环境可能需要更改。）

使用它们的方法如下：

$ gcc -o echoargv echoargv.c 
$ gcc -o argv0 argv0.c 
$ ./argv0 ./echoargv 
$ ./argv0 ./echoargv ''
argv[0] = ""
$ ./argv0 ./echoargv 'this is fun' 'it is fun indeed'
argv[0] = "this is fun"
argv[1] = "it is fun indeed"
$ 

第一次运行 argv0 设置echoargv 的 argv[0] 为 NULL。
第二次运行使其成为空字符串。
第三次运行只是为了好玩：注意 argv[0] 不需要
与程序的实际名称有关的任何内容。

这怎么能咬你呢？例如，如果您在使用消息中盲目地打印出程序的名称：

printf("usage: %s [options] [FILE]...\n", argv[0]);

更好：

const char *program_name = "some default name"; /* (global) variable */
if (argv[0] && argv[0][0])
    program_name = argv[0];
printf("usage: %s [options] [FILE]...\n", program_name);

如果您不这样做，攻击者可能会导致您的程序随意出现段错误，或者可能会让您的程序报告完全错误的事情给用户。

Answer 4

argv[0] 在 C 中可以为 null，例如，如果您直接调用 main 函数（可以在 C 中完成一些技巧）。我不知道C++是否允许直接main调用。