c - 如何将数组的元素数量传递给函数

Question

我想将数组的 n 个元素部分传递给函数以计算平均值。本质上我想在代码中保持元素的数量动态，以便可以输入自定义数字。

float average(float num[]); 

int main() 
{ 
  int n,i,k; 
  float num[n]; 
  printf("Enter the numbers of elements: "); 
  scanf("%d",&k);
  for(i = 0; i < k; ++i)
  {
    printf("%d. value: ", i+1);
    scanf("%f", &num[i]);
  }
  printf("Average = %.2lf",average(num)); 
  return 0;
}

float average(float num[])
{
  int i,n;
  float sum = 0.0, avg;
  n = sizeof(num)/sizeof(int);

  for(i = 0; i < n; ++i)
  {
    sum += num[i];
  }
  avg = sum / n;
  return avg;
}

n = sizeof(num)/sizeof(int);不知何故没有传递正确数量的元素。我尝试在网上挖掘并尝试不同的选项，但似乎没有一个能正常工作。我想这是因为我没有正确地将数组传递给函数..但不知道如何，请指教，非常感谢

Answer 1

当您在 C 中将数组作为函数参数传递时，它会被“调整”为指针。在 C11 中，它是 § 6.7.6.3 ¶ 7:

A declaration of a parameter as "array of type" shall be adjusted to "qualified pointer to type", where the type qualifiers (if any) are those specified within the [ and ] of the array type derivation. If the keyword static also appears within the [ and ] of the array type derivation, then for each call to the function, the value of the corresponding actual argument shall provide access to the first element of an array with at least as many elements as specified by the size expression.

也就是说，您可以通知编译器和/或其他工具(例如静态分析工具)另一个参数携带长度，但该参数必须位于数组参数之前。这是一个很好的实践；请参阅API05-C来自SEI CERT C 编码标准了解更多信息。

问题是编译器有点搞砸了。首先，一致的数组参数仅在 C ≥ C99 中允许，因此如果您的代码应该严格是 C89 或其他代码，它们将无法工作。

尽管一致的数组参数是(有争议的)not variable length arrays ，大多数编译器基本上都是这样对待它们的，而且编译器对 VLA 的支持也很不稳定； C11 甚至可以选择支持 VLA。 MSVC 根本不实现它们。如果您在启用 -Wvla 的情况下使用它们，GCC 和 Clang(至少)会发出警告。 PGI 有一个 bug，会导致编译失败。 IAR 还将它们视为 VLA，如果您不启用可变长度数组，则会发出警告(默认情况下支持关闭，但有一个命令行开关可以启用它们)。 Tiny C 编译器也会发出错误； IIRC 因为它也将它们视为 VLA。

话虽如此，我仍然喜欢使用它们。它使代码更容易理解，智能静态分析工具可以利用它们更好地检查您的代码。但是，如果您想让代码可移植，您需要将其隐藏在像 the one I have in Hedley 这样的宏后面。 .

无论您是否想要使用一致的数组参数，您都需要修改您的代码。您可以将数组作为两个参数传递，也可以创建一个封装长度和数组的类型……两个参数绝对是惯用的解决方案。因此，对于您的原型(prototype)，您最终会得到类似的东西

// No conformant array parameters, just another parameter
float average(size_t n, float num[]);
// CAP
float average(size_t n, float num[n]);
// CAP with a macro
float average(size_t n, float num[ARRAY_PARAM(n)]);

sizeof(num) 仍然等于 sizeof(float*) (因为它就是这样)，但至少你知道有多少个元素在数组。