[C] Några frågor om malloc()

malloc kan returnera NULL om det är något fel, exempelvis om minnet är slut.

Vidare så är första parametern till malloc storleken i _bytes_. Vad du vill göra i första exemplet är alltså:

int *x = malloc(sizeof(int));
if (x == NULL)
// felhantering

Samma gäller för andra exemplet.

Jag tror att det finns en minsta blockstorlek som malloc kan ge en. Hur stor denna är beror nog på plattform och/eller kompilator. Så även om man vill allokera 1 byte så kan man få ett block om 8 eller 16 byte.

I ditt senaste exempel känns det som att du mest har tur. Det kan omöjligt vara väldefinierat beteende? Men jag är långtifrån någon auktoritet på C, så vad vet jag...

/* Exempel 1 */
int *x = malloc(1);
*x = INT_MAX;

/* Exempel 2 */
struct foo {
	int a;
	int b;
	float c;
};

struct foo *f = malloc(1);
f->a = 42;
f->b = 12;
f->c = 3.14f;

Det är bara (o)tur att det fungerar. Om du bara anger ett heltal så kommer malloc att tolka det som char-storlek. För att allokera minne med en godtycklig datatyp kan du skriva:
TYP var = malloc(sizeof(TYP));
I ditt exempel blir det
struct foo *f = malloc(sizeof(struct foo)));

Vill man vara ännu lurigare kan man även skriva:
struct foo *f = malloc(sizeof(*f));

Fel ett: Du kontrollerar inte att du får tillbaka en NULLpekare från malloc. Minnet som malloc ger får du behålla tills det att processen avslutas. Men du är ju inte garanterad att få minnet alls.

Fel två: Du begär 1 byte men arbetar med som om det är fler bytes. Med otur kan du skriva över något annat (och det är det farliga med minnespekare som man själv kan ändra). Du kan inte ens veta hur många byte en 'int' tar upp, det är implementationsspecifikt (vilken kompilator och arkitektur du kör).

Beroende på arkitektur kan alignment och padding i minnet vara olika (orkar inte tänka riktigt på den här snutten) så hur mycket strukturen verkligen tar upp behöver inte vara samma som varje fält i den. Alltså gör du bäst i att göra sizeof. Och det är ingen funktion utan en operator, det beräknas vad värdet ska vara vid kompilationen och infogas i maskinkoden. Det blir alltså inget extra "overhead" vid körning gentemot om du själv räknar på hur mycket minne som behövs.