当结构来自“结构数组”时在函数中传递结构

如何解决当结构来自“结构数组”时在函数中传递结构

在“ C编程：一种现代方法”一书中，以下准代码提供给了读者：

struct part {
  int number;
  char name[NAME_LEN+1];
  int on_hand;
} part1;

void print_part (struct part p)
{
  ...
}

struct part inventory[100];

print_part(inventory[i]);

inventory[i].number=883;

inventory[i].name[0] = `\0`

因此，总而言之，作者创建了一个名为struct part的数据类型，创建了一个名为print_part的函数，该函数以数据类型p的变量struct part作为参数，创建一个名为inventory的数组，该数组存储100个类型为struct part的不同结构，然后对上述函数进行以下调用：print_part(inventory[i])，其中i可以接受任何0到99之间的任意值。

---

在上述函数调用中，inventory[i]是否充当指针？起初我以为肯定不是 （因为print_part的原型语句指定该函数的参数是结构变量，而不是指向结构的指针）。

但是，inventory[i].number=883和inventory[i].name[0]='\0'的后续用法使我重新考虑，也许确实用作指针。

对于inventory[i].name[0]，似乎inventory[i]正在建立基地址，并且从该基地址开始，存在偏移量到struct part数据类型name的第二个字段。这让我感到非常“指针式”。任何澄清将不胜感激！

解决方法

在上述函数调用中，inventory [i]是否充当指针？

不。 inventory[i]的类型为struct part。就像任何其他函数参数一样，它按值传递给函数。 ^*

起初我以为不是（因为print_part的原型语句指定该函数的参数是struct变量，而不是指向struct的指针）。

您认为是对的。

但是，inventory[i].number=883和 inventory[i].name[0]='\0'让我重新考虑，也许 充当指针。

我在那里没有看到连接。这些表达式中的.是用于访问结构成员的运算符。它的左操作数必须是一个结构，而不是指向一个的指针。如果inventory[i]是指针，则使用->形式的array_of_pointers[i]->member = value运算符来访问它所指向的结构成员的惯用方式。

对于inventory[i].name[0]，似乎inventory[i]是 建立一个基地址，从该基地址开始， 偏移到结构零件数据类型的第二个字段，名称。这个 让我感到非常“指针式”。

大多数对象都具有关联的存储，该存储具有适当的指针类型的特征地址。访问对象时，可以将其视为访问该对象地址处的内存。当然，您可以将其称为“指针式”，但这不会使指定对象的表达式成为C意义上的指针。指针引入了您的inventory[i]中不存在的额外间接级别。

---

^* 也许有人在说“不是数组！”马上。没错，数组不会按值传递给函数，因为它们根本不会传递给函数 。在几乎所有数组类型的子表达式都出现在表达式中的所有上下文中，它会自动由指向第一个数组元素的指针替换为。函数调用的参数列表不在例外之列。因此，甚至无法表示将数组传递给函数。

,

C函数中的数组类似地指向指针。也就是说，当您将它们作为函数的参数传递时，第一个元素的地址就是所传递的内容。另外，数组取消引用语法array[i]是*(array+i)的语法糖。因此，在许多情况下，您可以将数组视为指针。

但是，必须记住，尽管有这些相似之处，但数组不是不是指针。例如，可以从sizeof如何对待它们中看出这一点。如果您有unsigned char array[100];，则sizeof(array)是100。但是，如果您再分配unsigned char *ptr=array;，则sizeof(ptr)是指针的大小而不是数组的大小。

在您的情况下，inventory[i]不是指针，而是struct part。如上所述，它是一个方便的表达式，表示*(inventory+i)。也就是说，inventory+i是数组第i个元素的地址，而inventory[i]通过取消引用该地址来为您提供该元素。