Dotaz: warning: dereferencing type-punned pointer will break strict-aliasing

[Tomas]

Helo,

mam problem s prekladom programku na FreeBSD, gcc zahlasi "warning: dereferencing type-punned pointer will break strict-aliasing rules" a nikde na internete sa neviem dopatrat co to vlastne znamena. Inu, tu je kod co to sposobuje:

bbwrite(tfd3, iobuf3, (void **)&ciobp3, &ciobl3, sizeof(iobuf3), buf, (size_t)i);

problem je cast (void **). Dost tomu nerozumiem, lebo ciobp3 je pointer na char a bbwrite ocakava typ (void **). Cize malo by to byt v poriadku. Ajhla gcc si mysli nieco ine.

Ma niekto nejaky napad?

Diki moc

Tom.

Odpovědi

[petr_p]

Treba v tomto vlakne je to trochu popsane.

I kdyz nechapu, cemu tohle muze vadit pretypovani z char** na void**.

[Michal Kubeček]

Přetypování char** na void** v podstatě znamená, že umožňujete skrytě přetypovat void* na char*. Je to podobné, jako že implicitně lze provádět konverzi T* na const T*, ale už ne T** na const T**.

[machr]

moh by mi nekdo vysvetli, proc nejde implicitne pretypovat T** na const T**. Novej typ je omezenejsi, tak v cem je problem ???

[Sinuhet]

Staci hledat.

[Michal Kubeček]

Protože by to umožnilo nevědomky obejít const pomocí aliasu:

  const T* cp = &ro_data;
  T* np = &rw_data;
  const T** pcp = &cp;
  T** pnp = &np;
  
  // tohle nemůžu:
  *cp = x;

  // tohle taky nemůžu
  np = cp; // nelze
  *np = x; // OK

  // ale tohle by byl o vlastně totéž
  pcp = pnp; // nelze
  *pcp = cp; // OK - jenže teď jsem vlastně provedl 'np = cp'
  *np = x; // OK

[machr]

uz to chapu. diky. S timle problemem sem se jste nesetkal... (asi to bude tim, ze u me se pouzivani const omezuje na const char* a to jeste jenom, kdyz me je vnuti kompilator )