Initialization from incompatible pointer type warning when assigning to a pointer

Question

GCC gives me an \'Initialization from incompatible pointer type\' warning when I use this code (though the code works fine and does what it\'s supposed to do, which is print

Answer 1

When used in an expression as an lvalue, an array decays to a pointer to its first element. So int *q = arr; initializes int pointer q with the address of the first element of the array arr: all is fine and no warning is emited.

But &arr is the address of an array. It could only be used correctly to initialize (or assign to) a pointer to array or same size, or a pointer to an array of undeterminated size. You use it to initialize a pointer to int (which is a different and non compatible type) and the compiler warns you about that. Because using a pointer initialized from a pointer to a different type is Undefined Behaviour according to the standard.

But on common implementations, pointers to any type have the same representation which is the address of the first byte of the object. So even if it is not allowed by the standard, the instruction int *p = arr; ends with the same value for p as would give the correct int *p = arr;. That explains why your program still gives the expected value.

BTW, Undefined Behaviour does not forbid expected result, simply a different compiler could give different results, crash, prematurely ends without error, kick your dog, etc. (even if no compiler could hit my dog till now ;-) )

Answer 2

The output is the same because the address of arr[0] is literally equivalent to the pointer to arr[]. Any pointer initialized to point to arr[0] will have as its value the address of arr[0]; that's what a pointer is. Read up on pointer and especially on their relationship to arrays. The are countless tutorials out there, some of which probably show your two cases as examples.

Answer 3

• &arr gives an array pointer, a special pointer type int(*)[5] which points at the array as whole.
• arr, when written in an expression such a int *q = arr;, "decays" into a pointer to the first element. Completely equivalent to int *q = &arr[0];

In the first case you try to assign a int(*)[5] to a int*. These are incompatible pointer types, hence the compiler diagnostic message.

As it turns out, the array pointer and the int pointer to the first element will very likely have the same representation and the same address internally. This is why the first example "works" even though it is not correct C.

Answer 4

These are the ways to point to a (beginning of) array (without a warning), both work:

int *q = arr;
/* OR */
int *q = &arr[0];

This one is something in between, and will generate a warning:

int *q = &arr;

Answer 5

TL;DR Check the types.

• &arr is of type int (*) [5] (pointer to an array of 5 ints).
• arr is of type int [5], but not always.

Quoting C11, chapter §6.3.2.1, (emphasis mine)

Except when it is the operand of the sizeof operator, the _Alignof 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.

hence,

 int *q = arr;   // int[5] decays to int *, == LHS

and

 int *q = &arr[0];   // RHS == LHS

are same, whereas,

 int *q = &arr; // LHS (int *) != RHS (int (*) [5])

is a mismatched type expression.

Now, it works, because, as already mentioned in Lundin's answer, the address of the array variable is likely to be the same as the address of the first element of the array, so despite the type mismatch, the value is same, so this seems to work.