双*vec和双vec[]的区别

Question

在我们遗留的C/C++代码中，我遇到了两个版本的签名

void foo1(double *vec, int n)

和

void foo2(double vec[], int n)

但是，在处理方法内部的参数vec方面没有任何区别，例如：

void foo2(double vec[], int n){
    for(int i=0;i<n;i++)
      do_something(vec[i]);
}

第一个版本(double *)和第二个版本(double ..[])之间有什么区别吗？在哪种情况下，一个版本比另一个版本更可取？

编辑:在@Khaled.K提示之后，我尝试编译：：

void foo(double *d, int n){}
void foo(double d[], int n){}

由于对void foo(double *d, int n)的重新定义，得到了一个编译错误。所以double *vec和double vec[]的意思是一样的。

仍然悬而未决的问题是应该在什么时候使用哪个版本。

Answer 1

以下是K&R第2 (*)页的相关引文，从第99页底部开始：

作为函数定义中的形式参数， char s[]； 和 char *s； 是等价的；我们更喜欢后者，因为它说明参数是一个指针。当一个数组名称被传递给一个函数时，该函数可以在方便的时候相信它已经隐藏了一个数组或一个指针，并相应地对它进行操作。它甚至可以使用这两个符号，如果它似乎合适和明确。

(*) Kernighan & Ritchie：“C编程语言”(第二版)

Answer 2

都是一样的。从标准：

在确定每个参数的类型后，任何类型为“T数组”或函数类型T的参数都被调整为“指向T的指针”。

所以没什么区别。我会使用*而不是[]来避免混淆，除非它类似于char* argv[]，否则它可能是可以通过的。

Answer 3

c中没有绑定签入。如您所知，数组名称本身充当指针(具有特殊属性)。每当将数组作为参数传递给函数时，它将作为对应类型的指针在内部传递。这就是为什么如果要对绑定检查执行一些操作，也需要传递数组的长度。编译器为指针和数组生成与形式参数相同的签名(对象代码)。您可以根据您的选择使用这两个不变的。下面是一个简单的例子：

#include <iostream>
void arrayParamTest(int arr[])
{
}
int main()
{
    int arr[] = {10, 20};
    arrayParamTest(arr);
}

现在编译它，让我们看到符号：

techie@gateway2:myExperiments$ nm a.out | grep "arrayParamTest"
00000000004006e7 t _GLOBAL__I__Z14arrayParamTestPi
0000000000400674 T _Z14arrayParamTestPi 

参见编译器生成以"Pi“为参数的符号。Pi表示int类型的指针。希望这能帮上忙。:-)