28.07.2021 10:23
[#1]
Tablica o zerowym rozmiarze
W NDK dla systemu 3.2 w pliku Include_H/prefs/workbench.h są dwie struktury:
Czy ktoś z C ekspertów mógłby wyjaśnić o co chodzi z tymi tablicami o zerowym rozmiarze?
W inkludach dla ASMa to samo jest napisane tak:
Pomijając burdel w komentarzach (struktura WorkbenchTitleFormatPrefs jest w końcu od v46 czy v47? ;) )
to patrząc na kod asemblerowy, to zapis C:
moża zapisac po prostu jako:
dobrze rozumiem?
Jeśli tak to po co deklaracja zerowej tablicy, to troche wbrew logice, w E np w ogóle nie da się zadeklarować takiej tablicy. Chyba że ma to jakiś głębszy cel?
struct WorkbenchHiddenDevicePrefs
{
UBYTE whdp_Name[0]; /* C String including NUL char */
};
/* New for V47 */
struct WorkbenchTitleFormatPrefs
{
TEXT wtfp_Format[0];
};Czy ktoś z C ekspertów mógłby wyjaśnić o co chodzi z tymi tablicami o zerowym rozmiarze?
W inkludach dla ASMa to samo jest napisane tak:
STRUCTURE WorkbenchHiddenDevicePrefs,0
UBYTE whdp_Name ; first char of C String including NULL char
LABEL WorkbenchHiddenDevicePrefs_SIZEOF
;---------------------------------------------------------------------------
/* New for V46 */
;---------------------------------------------------------------------------
STRUCTURE WorkbenchTitleFormatPrefs,0
UBYTE wtfp_Name ; first char of C String including NULL char
LABEL WorkbenchTitleFormatPrefs_SIZEOFPomijając burdel w komentarzach (struktura WorkbenchTitleFormatPrefs jest w końcu od v46 czy v47? ;) )
to patrząc na kod asemblerowy, to zapis C:
UBYTE whdp_Name[0];
moża zapisac po prostu jako:
UBYTE whdp_Name;
dobrze rozumiem?
Jeśli tak to po co deklaracja zerowej tablicy, to troche wbrew logice, w E np w ogóle nie da się zadeklarować takiej tablicy. Chyba że ma to jakiś głębszy cel?
28.07.2021 12:19
[#6]
Re: Tablica o zerowym rozmiarze
@vojo, post #1
Tablica o zerowym rozmiarze jako element struktury jest sposobem zadeklarowania na końcu tej struktury bufora na dane o nieokreślonej długości. Bufor musi być samoopisujący się, czyli z jego treści musi wynikać faktyczna długość. Typowym przykładem jest łańcuch tekstowy zakończony zerem, albo taglista. Przy takiej deklaracji możemy używać nazwy tablicy jako wskaźnik na bufor.
Tego typu struktury alokuje się dynamicznie, jawnie dodając rozmiar potrzebnego bufora do rozmiaru struktury. Najwygodniej używać funkcji pamiętających rozmiar alokacji (np. AllocVec), żeby nie trzeba było pamiętać ile my tego bufora tam właściwie dorzuciliśmy.
Tego typu struktury alokuje się dynamicznie, jawnie dodając rozmiar potrzebnego bufora do rozmiaru struktury. Najwygodniej używać funkcji pamiętających rozmiar alokacji (np. AllocVec), żeby nie trzeba było pamiętać ile my tego bufora tam właściwie dorzuciliśmy.
28.07.2021 12:57
[#7]
Re: Tablica o zerowym rozmiarze
@Krashan, post #6
Ok, dzięki, już rozumiem ideę takiej tablicy, chociaż wydaje mi się to niepotrzebną komplikacją że strony developera,
bo jeśli w tym buforze ma być string (sądząc po komentarzach w plikach naglowkowych), to dużo czytelniejszy byłby zwykły wskaźnik na char.
Dodatkowe zaciemnianie poprzez różne typy na to samo, raz UBYTE, a za chwilę TEXT. Nawet w nazewnictwie pól widać niedbałość, w strukturze WorkbenchTitleFormatPrefs w inkludzie C jest format, w inkludze ASM to samo pole nazywa się name.
bo jeśli w tym buforze ma być string (sądząc po komentarzach w plikach naglowkowych), to dużo czytelniejszy byłby zwykły wskaźnik na char.
Dodatkowe zaciemnianie poprzez różne typy na to samo, raz UBYTE, a za chwilę TEXT. Nawet w nazewnictwie pól widać niedbałość, w strukturze WorkbenchTitleFormatPrefs w inkludzie C jest format, w inkludze ASM to samo pole nazywa się name.
28.07.2021 13:02
[#8]
Re: Tablica o zerowym rozmiarze
@vojo, post #7
Ok, dzięki, już rozumiem ideę takiej tablicy, chociaż wydaje mi się to niepotrzebną komplikacją że strony developera, bo jeśli w tym buforze ma być string (sądząc po komentarzach w plikach naglowkowych), to dużo czytelniejszy byłby zwykły wskaźnik na char.To nie jest niepotrzebna komplikacja, bo dzięki temu oszczędzasz 4 bajty (jakie zająłby wskaźnik), jedno adresowanie pośrednie (przy każdym dostępie) i jedną alokację pamięci. Jeżeli wielkość bufora jest znana w momencie alokacji struktury i nie zmienia się aż do dealokacji, to dobre rozwiązanie.
Ostatnia aktualizacja: 28.07.2021 13:03:17 przez Krashan
28.07.2021 13:36
[#9]
Re: Tablica o zerowym rozmiarze
@Krashan, post #8
To nie jest niepotrzebna komplikacja, bo dzięki temu oszczędzasz 4 bajty (jakie zająłby wskaźnik), jedno adresowanie pośrednie (przy każdym dostępie) i jedną alokację pamięci. Jeżeli wielkość bufora jest znana w momencie alokacji struktury i nie zmienia się aż do dealokacji, to dobre rozwiązanie.
Ok, technicznie może to się broni, chociaz uważam czytelność kodu jest ważniejsza niż te kilka bajtów pamięci. Zerowy rozmiar tablicy jest nieintuicyjny, i jak sam napisałeś żeby to działało dobrze to musi zaistnieć kilka warunków (znany z góry rozmiar bufora i jego niezmienność), które nie wynikają wprost z deklaracji tablicy.
Jeszcze gdyby to było w jakieś strukturze która mogłaby np w jakiejś pętli zaistnieć, to ok, oszczędności mogłyby mieć sens, ale w tym przypadku raczej to nie zachodzi.
Commodore na to nie wpadło, dopiero NDK z Hyperiona ma takie konstrukcje.
No ale skoro jest to zgodne ze sztuką, to już się nie czepiam, poza tym nie jestem obiektywny jeśli chodzi o C:)
28.07.2021 13:52
[#10]
Re: Tablica o zerowym rozmiarze
@vojo, post #9
Commodore na to nie wpadłoOczywiście, że wpadło, podobne konstrukcje w systemie trafiają się dość często, chociaż nie zawsze w publicznym API. No a gdy się trzeba zmieścić w ROM-ie, to te kilka bajtów jest ważniejsze niż czytelność kodu. Zbędne zaś alokacje pamięci szkodzą zawsze, zwłaszcza w standardowym systemowym alokatorze.
28.07.2021 21:45
[#11]
Re: Tablica o zerowym rozmiarze
@vojo, post #9
To chodzi bardziej o to ze ten string jest dokladnie za koncem struktury a nie pod jakims innym adresem.
Czesto robi sie tak aby przekazac jakis bufor zawierajacy na poczatku strukture a za nim od razu string (lub inny obszar o zmiennej dlugosci). Daje to oszczednosc na licznie allokacji oraz brak ryzyka ze pointer wskazywalby w zly obszar pamieci. Generalnie bezpieczne API powinno unikac przekazywania pointerow jako danych, ale to juz inny temat.
Jednoczesnie mozna dostepowac do stringa po nazwie elementu struktury, zamiast liczac offset, co poprawia czytelnosc kodu.
W kompilatorach ktore nie lubia tablic o rozmiarze 0 uzywa sie tablic o rozmiarze 1, np. przez #define ANYSIZE_ARRAY 1; Wydaje mi sie tez ze tablica o rozmiarze 0 powinna miec rozmiar 0, przy upakowanej strukturze, co pozwala miec puste dane, czyli oszczednosc 4B w stosunku do pointera, ale to moze zalezec od platformy.
Czesto robi sie tak aby przekazac jakis bufor zawierajacy na poczatku strukture a za nim od razu string (lub inny obszar o zmiennej dlugosci). Daje to oszczednosc na licznie allokacji oraz brak ryzyka ze pointer wskazywalby w zly obszar pamieci. Generalnie bezpieczne API powinno unikac przekazywania pointerow jako danych, ale to juz inny temat.
Jednoczesnie mozna dostepowac do stringa po nazwie elementu struktury, zamiast liczac offset, co poprawia czytelnosc kodu.
W kompilatorach ktore nie lubia tablic o rozmiarze 0 uzywa sie tablic o rozmiarze 1, np. przez #define ANYSIZE_ARRAY 1; Wydaje mi sie tez ze tablica o rozmiarze 0 powinna miec rozmiar 0, przy upakowanej strukturze, co pozwala miec puste dane, czyli oszczednosc 4B w stosunku do pointera, ale to moze zalezec od platformy.