主页 / coding / 问题 / 79228067
Accepted
Bobby
Asked: 2024-11-27 03:48:59 +0800 CST

将主函数的形式参数声明为“int argc, char* argv[argc+1]”有什么意义呢？

  • 772

我通常将主函数的形式参数声明为 或int argc, char* argv[]，int argc, char** argv以便从命令行获取实际参数。但我注意到一位资深 C 程序员（他恰好也是 ISO 委员会成员和 C23 修订版的合著者）使用了int argc, char* argv[argc+1]或int argc, char* argv[argc]。这样做有什么意义？

c

3 个回答

  1. Best Answer

    以下参数声明是等效的：

    • int argc, char* argv[argc]
    • int argc, char* argv[argc+1]
    • int argc, char* argv[]
    • int argc, char** argv

    这种等价性在C 标准的第 6.7.6.3p7 节中有详细说明：

    将参数声明为“类型数组”应调整为“类型限定指针”，其中类型限定符（如果有）是在数组类型派生的[和]中指定的。如果关键字static也出现在数组类型派生的[和]中，则对于每次调用该函数，相应实际参数的值应提供对数组第一个元素的访问，该数组的元素数量至少与大小表达式指定的元素数量相同

    根据上文，前三种情况被调整为与第四种情况等同。由于static其中任何一种情况都没有限定词，因此不属于任何例外。

    开发人员可能将此作为一种内部文档的形式来说明这些数组的大小。

    • 2

  2. 这么做有什么意义呢？

    对于人员和静态代码分析器来说，char* argv[argc+1]正确指出了索引arg[]可以被访问（例如读取指针）[0...argvc]。
    注意：argv[argc]预计为NULL。

    C99、C23 以及可选的 C11、C17，将 4 视为等效的。

    • 2

  3. C11 ISO/IEC 9899:2011 第 6.7.6.2 款第 1 段规定

    和可以界定一个表达式或。如果它们界定一个表达式（指定数组的大小），[则该表达式应为整数类型。如果表达式是常量表达式，则其值应大于零。]*

    作为函数参数的数组声明为编译器提供了有关参数之间关系的信息，具体来说，哪个参数指定了传递的数组可以被索引的有效长度。

    这可以用于静态分析，或者在调试版本中自动生成参数验证代码，或者在稳健性和防御性执行很重要的情况下使用。

    • 1

相关问题