Difference between passing array and array pointer into function in C

by

First, some standardese:

6.7.5.3 Function declarators (including prototypes)
…
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.

So, in short, any function parameter declared as T a[] or T a[N] is treated as though it were declared T *a.

So, why are array parameters treated as though they were declared as pointers? Here’s why:

6.3.2.1 Lvalues, arrays, and function designators
…
3 Except when it is the operand of the sizeof operator or the unary & operator, or is a
string literal used to initialize an array, an expression that has type ‘‘array of type’’ is
converted to an expression with type ‘‘pointer to type’’ that points to the initial element of
the array object and is not an lvalue. If the array object has register storage class, the
behavior is undefined.

Given the following code:

int main(void)
{
  int arr[10];
  foo(arr);
  ...
}

In the call to foo, the array expression arr isn’t an operand of either sizeof or &, so its type is implicitly converted from “10-element array of int” to “pointer to int” according to 6.2.3.1/3. Thus, foo will receive a pointer value, rather than an array value.

Because of 6.7.5.3/7, you can write foo as

void foo(int a[]) // or int a[10]
{
  ...
}

but it will be interpreted as 

void foo(int *a)
{
  ...
}

Thus, the two forms are identical.

The last sentence in 6.7.5.3/7 was introduced with C99, and basically means that if you have a parameter declaration like

void foo(int a[static 10])
{
  ...
}

the actual parameter corresponding to a must be an array with at least 10 elements.

More Related Contents:

  1. Passing an array as an argument to a function in C
  2. Why isn’t the size of an array parameter the same as within main?
  3. C sizeof a passed array [duplicate]
  4. Why does a C-Array have a wrong sizeof() value when it’s passed to a function? [duplicate]
  5. Allocate memory 2d array in function C
  6. Why do we need to specify the column size when passing a 2D array as a parameter?
  7. Pass an array to a function by value
  8. Parameter Passing in C – Pointers, Addresses, Aliases
  9. Returning Arrays/Pointers from a function
  10. Why use an asterisk “[*]” instead of an integer for a VLA array parameter of a function?
  11. Changing array inside function in C
  12. When is an array name or a function name ‘converted’ into a pointer ? (in C)
  13. How can I return a character array from a function in C?
  14. Manipulate multidimensional array in a function
  15. Unspecified number of parameters in C functions – void foo()
  16. Passing an Array by reference in C
  17. How can I malloc a struct array inside a function? Code works otherwise
  18. C pointer notation compared to array notation: When passing to function
  19. Procedure to include own functions to ANSI C Standard library
  20. C-programming board game [duplicate]
  21. Returning an array using C
  22. Getting a stack overflow exception when declaring a large array
  23. Function pointers and address of a function
  24. Array Type – Rules for assignment/use as function parameter
  25. Pointers as function arguments in C
  26. C – Difference between “char var[]” and “char *var”?
  27. What do square brackets mean in array initialization in C?
  28. How can I work with dynamically-allocated arbitrary-dimensional arrays?
  29. How to return matrix (2D array) from function? (C)
  30. Why can’t I pass constant arrays as arguments?

Leave a Comment