是关于 char 变量所需的 2 个方括号之间的数字

Question

我刚开始在 C 编程，我在 inte.net 上看到人们声明char s，例如char name[] ，没有在 2 个方括号之间放置任何数字。 我曾经在高中时用 C++ 编码，我们总是在声明 char 时放一个数字。 有人可以解释我们什么时候放一个数字，或者在声明char变量时是否有必要使用一个数字？

我曾经这样做：

char name[20] = "John";

但我在 inte.net 上看到有人这样做：

char name[] = "John";

Answer 1

char curse[] = "fie! cometh h're and englut mine own coxcomb thee distemperate fooleth!";

在这种情况下，编译器会自动计算字节数，包括空终止符。 数组的大小等于字符串的长度加上空字节。

char curse[100] = "fie! cometh h're and englut mine own coxcomb thee distemperate fooleth!";

然而，这定义了一个包含100 char的数组，并用一个大约70个字节的字符串对其进行了初始化。 字节的 rest 被初始化为0 ¹。 数组的大小为100个字节，而字符串的长度可以用strlen确定。 注意数组的大小和它包含的字符串的长度是不一样的。

旁白：最好将数组大小定义为宏，而不是在代码中到处使用幻数。 这样更容易维护。

[1] 来自 C11：

如果大括号括起来的列表中的初始值设定项少于聚合的元素或成员，或者用于初始化已知大小数组的字符串文字中的字符少于数组中的元素，则聚合的其余部分应与具有 static 存储持续时间的对象一样被隐式初始化。

即0 。

Answer 2

char name[] = "John"; 将定义一个长度足以容纳"John" （5 个字符）的字符数组。

char name1[20] = "John"; 定义了一个 20 个char的数组，初始化字符串只需要 5 个字节（从 rest 字节中抽象出来）所以你可以使用剩下的 15 个字节，例如通过向它附加另一个字符串。

strcat(name1, " Travolta");
`

Answer 3

来自C标准（6.7.9初始化）

22如果初始化一个未知大小的数组，其大小由具有显式初始化器的最大索引元素确定。 数组类型在其初始化列表的末尾完成。

和

14 字符类型的数组可以由字符串文字或 UTF-8 字符串文字初始化，可选地用大括号括起来。 字符串文字的连续字节（如果有空间或数组大小未知，则包括终止字符 null）初始化数组的元素。

所以在这个字符数组的声明中

char name[] = "John";

这是根据 C 标准的第二个引述相当于

char name[] = { "John" );

数组name由字符串文字"John"初始化。

根据 C 标准的第一条引述，数组的大小由字符串文字中的字符数（包括终止零字符'\0' ）决定。 实际上上面的声明和下面的声明有同样的效果

char name[] = { 'J', 'o', 'h', 'n', '\0' };

因此，由于字符串文字中的字符数等于5 ，因此数组恰好有5元素，并且其大小也等于5 ，因为sizeof( char )始终等于1 。

在这份声明中

char name[20] = "John";

又可以写成

char name[20] = { "John" };

该数组声明为明确指定20元素。 数组的前5元素具有相应的显式初始值设定项（字符串文字的字符）。 数组的所有其他元素均由0隐式初始化。

注意C里面可以写

char name[4] = "John";

也就是说，您可以从数组的初始值设定项列表中排除字符串文字的终止零字符'\0' 。 在这种情况下，数组name将不包含字符串。 在 C++ 这样的初始化是不正确的，C++ 编译器将针对这样的声明发出错误。

例如，到 output 一个包含字符串的字符数组

printf( "name = %s\n", name );

对于最后显示的声明，其中声明的数组不包含您可以编写的字符串

printf( "name = %.*s\n", ( int )sizeof( name ), name );

Answer 4

如果声明的数组没有大小但带有初始化程序，则数组的大小取自初始化程序中元素的数量：

int foo[] = {0, 1, 2, 3}; 

在这种情况下， foo将是 4 个元素宽。

char bar[] = "fred"; 
char bar[] = { 'f', 'r', 'e', 'd', 0 }; 

在这种情况下， bar将有 5 个元素宽——初始值设定"fred"和{ 'f', 'r', 'e', 'd', 0 }彼此等价。

如果您声明一个具有大小和初始值设定项的数组，则大小将从大小表达式中获取。 如果初始化器中的元素少于大小，则剩余元素将被初始化为 0：

int foo[10] = {1, 2, 3}; // elements 3 through 9 will be initialized to 0

如果初始化器中的元素多于数组的大小，那么这就是约束违规，编译器会冲你大喊大叫：

int foo[3] = {1, 2, 3, 4}; // constraint violation, too many elements
                           // in the initializer

如果您使用指定的初始化器，那么大小将从初始化器的数量或最大的指定初始化器中获取：

int foo[] = {[0] = 1, [9] = 2}; 

foo将有 10 个元素宽，元素 0 将被初始化为 1，元素 9 将被初始化为 2，其余元素将被初始化为 0。

如果声明的数组没有大小且没有初始值设定项，则数组类型是不完整的，您无法创建不完整类型的实例。

请注意，数组大小在数组的生命周期内是固定的。 C 有一个叫做可变长度数组的东西，其中数组的大小由运行时变量决定：

size_t x = some_size();
int arr[x];

但是，在此上下文中的“可变”仅表示数组的大小在定义之间不是固定的，而不是数组在定义后可以调整大小。

在function 参数声明的上下文中， T a[N]和T a[]被“调整”为T *a - 您不能将 arrays 作为 function 参数传递，因为在大多数情况下数组表达式“衰减”为指针表达式以及什么function实际接收的是一个指针。