argv[n]参数是否可能长度为0？请求依据标准给出证明

C 标准的明确规定 #

依据C17（ISO/IEC 9899:2018）标准5.1.2.2.1节（程序启动）的内容：

argc的值应大于等于1。argv[0]指向的字符串应为程序名称（若无法获取程序名称，则该字符串为空）。argc的值至少为1，argv数组的最后一个元素argv[argc]应为空指针。

这意味着argc永远不会等于0，你完全不需要检查argv的长度（即argc）是否为0。哪怕程序被以极端方式调用，C标准也会保证argc的最小值是1，argv[0]要么是程序名，要么是空字符串，但绝不会出现argc=0的情况。

POSIX 标准的补充验证 #

POSIX.1-2017标准同样遵循C标准的这一规则，并且进一步明确：在符合POSIX的系统中，程序执行时，shell或执行环境会确保argc至少为1，argv[0]会被设置为调用时使用的命令名（无法确定时则为空字符串）。不存在合法的执行场景会让argc为0。

实际编程建议 #

虽然无需检查argc是否为0，但你可能需要处理argv[0]为空字符串的情况（比如某些特殊执行环境），但argc本身的最小值是标准兜底保证的，没必要编写if (argc == 0)这类冗余判断代码。

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