编译器从 function 参数的数组中获取多少元素？

Question

我听说当使用数组作为 function 参数时，编译器将其视为实际上不是数组，而是作为指向数组第一个元素的指针。 因此，当询问 A(int array) 的大小时，它应该返回指针 4 的大小（以字节为单位）。 但我得到8。有什么问题？

我正在使用代码块。

int SumOfElemets(int* A, int size){//       int* A  or  int A[]   ... it is the same!

    int i, sum = 0;
    printf("SOE - Size of A = %d, size of A[0] = %d\n", sizeof(A), sizeof(A[0]));

//here it should be 4 and 4 but i am getting 8 and 4

    for (i=0;i<size; i++){

        sum += A[i];    //A[i] is *(A+i)
    }
    return sum;
}


int main(){

    int A[] = {1,2,3,4,5};
    int size = sizeof(A)/sizeof(A[0]);    //size of the array
    int total = SumOfElemets(A, size);
    printf("Sum of elements = %d\n", total);
    printf("Main - Size of A = %d, size of A[0] = %d\n", sizeof(A), sizeof(A[0]));


    return 0;
}

Answer 1

嗨，我听说当使用数组作为 function 参数编译器时，它实际上不是数组，而是指向数组第一个元素的指针。

首先，编译器将具有数组类型的 function 参数调整为指向数组元素类型的指针。

例如这些 function 声明

int SumOfElemets(int* A, int size);
int SumOfElemets(int A[], int size);
int SumOfElemets(int A[1], int size);
int SumOfElemets(int A[100], int size);

是等效的并声明相同的 function。

另一方面，在表达式中使用的 arrays （例如具有罕见异常的参数表达式）被隐式转换为指向其第一个元素的指针。

所以这些 function 调用

SumOfElemets(A, size);
SumOfElemets(&A[0], size);
SumOfElemets(A + 0, size);

是等价的。

指针的大小被实现定义为int类型的 object 的大小，尽管通常sizeof( int )或在您的代码的情况下sizeof( A[0] )等于 4。

请注意带有sizeof运算符的表达式的类型为size_t 。 所以你需要使用转换说明符%zu到 output 表达式的值而不是%d

printf("SOE - Size of A = %zu, size of A[0] = %zu\n", sizeof(A), sizeof(A[0])); 

Answer 2

sizeof运算符产生其操作数的大小（以字节为单位）。

当您调用sizeof(A)时，这意味着“指针A的大小是多少？”。
这与sizeof(A[0])不同，这意味着“数组A的第一个元素的大小是多少？”。

类型的大小取决于编译器，并且在具有 64 位地址空间的 C 实现中， pointers通常是 64 位（八个 8 位字节），而int通常是 32 位，因此：

• sizeof(A) 8 个字节；
• sizeof(A[0]) 4 个字节。

（由Eric Postpischil澄清）

---

查看以下示例：
使用x64 （ 64 位地址空间）编译器的示例：https://godbolt.org/z/vYcWhvxsE
Output：

Size of pointer to int (x64): 8
Size of integer (x64): 4

使用x86 （ 32 位地址空间）编译器的示例：https://godbolt.org/z/68PTsM6db
Output：

Size of pointer to int (x86): 4
Size of integer (x86): 4