为什么只允许在 main() 中使用未定义大小的数组？

Question

主方法参数使用未定义数组argv[]

int main(int argc, char *argv[])
{
 .... Do stuff....
}

为什么未定义的数组只允许在 main() 方法中使用？

Answer 1

其实这个声明

int main(int argc, char *argv[])

等价于

int main(int argc, char **argv)

主机环境提供字符串数组并将指向数组中第一个字符串的指针作为参数argv 的参数传递。

来自 C 标准（5.1.2.2.1 程序启动）

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

至于评论

argv数组没有大小，这怎么可能？

然后将声明为 T 类型数组的函数参数调整为指向 T 的指针。

例如这些函数声明

void f( int a[100] );
void f( int a[10] );
void f( int a[] );

声明同一个函数，所有声明调整为声明

void f( int *a );

与将数组类型的参数传递给函数的方式相同，然后数组会隐式转换为指向其第一个元素的指针。

所以例如上面的函数可以这样调用

int a[100];
f( a );

或

int a[10];
f( a );

或

int *a;
f( a );

Answer 2

main 在这里没有什么特别之处。诸如char *argv[] 或int example[] 之类的数组声明具有不完整类型，这在某些情况下有效，但在其他情况下无效。但是，在函数的参数声明中，最终类型不能是数组类型；数组表示法充当指向该类型数组的第一个成员的指针的替代。 main中argv的实际类型是char **。

Answer 3

为什么未定义的数组只允许在 main() 方法中使用？

“未定义的数组”似乎是指未指定大小的数组。有几种不同的情况需要考虑。

1. 用数组语法声明的函数参数其实不管有没有指定边界，其实都没有数组类型。相反，这样的参数具有 pointer 类型。没有必要指定一个界限（对于第一个维度），如果指定了一个界限，那么它是无关紧要的。这与从数组到指针的自动转换（“衰减”）相匹配，如果相应的参数是一个数组，调用者会发生这种情况，但是在被调用的函数中，参数是一个指针，一个完整的指针，除了指针什么都没有.

   这适用于任何函数，而不仅仅是main()。

2. 任何变量都可以在文件或块范围内声明为没有显式绑定但带有初始化程序的数组；在这种情况下，数组边界被隐式建立为容纳由初始化程序初始化的所有元素所必需的最小值。

   例子：

   int some_primes[] = { 2, 3, 5, 7, 11 };  // dimension 5
   

3. 文件范围（在任何函数之外）变量或具有链接的变量可以声明为没有显式边界且没有初始化器的数组隐式建立界限。这种变量的类型是“不完整的”，直到并且除非同一变量的另一个兼容声明通过提供边界来完成它，但是可以在源中它仍然不完整的点上对其执行许多数组操作。

4. 只有数组类型且没有初始化器的局部变量必须使用显式绑定声明。 （“局部变量”是在块范围内声明且没有链接的变量。）不过，这些是相当常见的情况，所以我认为需要为它们声明大小是问题的一部分灵感。

Answer 4

我对这个问题有点困惑。 argc 是传递给可执行文件的命令行参数的数量。 argv 是这些参数的数组。两者都未定义。

argc 和argv 都是简单的参数名称，您可以将它们更改为您想要的任何名称。按照惯例，它们被简单地称为argc 和argv。