exec的argv数组能否包含多个0值？子进程argc会被错误计算吗？

首先直接给结论：不会出现argc被错误计算的情况，这一点在AMD64 System V ABI文档第34页有明确的行为定义。

咱们来拆解一下背后的逻辑：

• 当你通过exec系列函数创建新进程时，内核会先遍历你传递的argv数组，直到遇到第一个NULL（也就是0），以此确定argc的值——这个值就是第一个NULL元素的下标。
• 进程启动后，入口点_start会直接从内核接收已经计算好的argc（通过%rdi寄存器传递），同时接收argv数组的指针（%rsi寄存器）。C语言的main函数最终拿到的argc，就是这个内核预先计算好的值，不会在子进程里重新遍历argv数组去统计。

举个实际的例子：如果你调用execv时传入的argv是["hello", NULL, "world", NULL]，内核会把argc设为1，子进程的main函数收到的argc就是1，argv[0]是"hello"，argv[1]是NULL——后面的"world"会被完全忽略，因为内核在构建进程参数时，只处理到第一个NULL为止。

当然，这种在argv中间插入NULL的做法不符合常规的命令行参数传递逻辑，但从ABI规范和内核行为来看，argc的计算是严格遵循“第一个NULL为终止符”的规则，不存在“错误计算”的说法，只是实际可用的参数只有第一个NULL之前的部分。

内容的提问来源于stack exchange，提问作者Jake Chasan