C-ben egy pointer nem hordozza azt az információt, hogy az egy változóra mutat, vagy egy tömb első elemére?

#4: a fordító sehogy nem kezeli, csak a programozó.

És nem, nem is szól róla warning formájában, mert sokszor ez az elvárt működés.

A helyzet az, hogy a fordító is csak azt tartja számon, hogy mennyi memória lett lefoglalva a mutatott helyen. De hogy az pl. négy char elemű tömb vagy egy int, azt nem tudja.

A sizeof() is bájtban adja vissza a tömb méretét, ahogy bármilyen más típus méretét is.

Helyesbítek: Valóban tudja, hogy tömb-e, de nem a sizeof miatt.

char a[]={1,2,3,4};

char *p;

p=&a; // <- hibás !

A lényeg most a hibaüzenetben van:

warning: assignment to ‘char *’ from incompatible pointer type ‘char (*)[4]’

-> char (*)[4]

De ez csak az "eredeti" pointer szimbólumra (névre) igaz.