Diskuze: magie v C
V předchozím kvízu, Online test znalostí C++, jsme si ověřili nabyté zkušenosti z kurzu.
coells:30.11.2014 13:53
Proto je to puzzle 
Zkus to ve Visual Studiu spustit s malou úpravou (VS2010 i VS2012)
int main(int argc, const char **argv)
{
int *a = (int *)malloc(sizeof(int));
int *b = (int *)realloc(a, sizeof(int));
*a = 0;
*b = 1;
if (a == b)
printf("*a=%d *b=%d\n", *a, *b);
return 0;
}Lukáš Hruda:30.11.2014 15:10
Chyba je imho v tom, že přiřazujeme data tam, kam ukazuje pointer a, i přesto, že paměť, na kterou ukazuje byla realokována, tedy obecně již může být uvolněná a nemělo by se k ní takto přistupvat. Kompilátor s tím očividně při optimalizacích počítá a proto nastal takovýto zvláští jev.
+20 Zkušeností
+2,50 Kč
coells:30.11.2014 15:37
... což vede optimalizátor k tomu, že 'a' a 'b' nemají nic společného a
přesun instrukcí provede nezávisle. ![]:>](images/img/smileys/evil.png)
Jedna z variant, co vidí kompilátor.
a = (int *)malloc(sizeof(int))
b = (int *)realloc(a, sizeof(int));
/* a = undefined */
/* assign to undef, optimize value */ *a = 0;
*b = 1;
if (a == b)
printf("*a=%d *b=%d\n", 0, 1); /* a, b independent */Důkaz, že to tak je, je jednoduchý, s malou úpravou už bude výstup zcela korektní:
a = (int *)malloc(sizeof(int))
b = (int *)realloc(a, sizeof(int));
a = b
// ...Lukáš Hruda:30.11.2014 15:46
Chtělo by to víc takových programátorských hříček, člověk se
alespoň odreaguje a zapřemýšlí nad něčím zajímavým.
coells:30.11.2014 15:57
A hlavně se poučí, že logické předpoklady jsou sice nutné, ale s
referenční dokumentací mají málo společného. 
Včera jsem hodinu honil jeden pointer, který způsoboval segfault na
místě, kde se nic nedělo.
Nakonec se ukázalo, že mi tam kompilátor z definice typu proměné cpe free()
navíc, o který jsem nestál a uvolňuje pamět, která není moje.
Luboš Běhounek Satik:30.11.2014 16:04
Release v 2012 už fungoval.
Koukal jsem na to v asm a je to jak píšeš - kompilátor tam do výpisu
rovnou posílal hodnoty 0 a 1.
Zobrazeno 30 zpráv z 30.