sobota, 27 sierpnia 2022 o 12:59:44 UTC+2 Atlantis napisał(a):
> On 27.08.2022 10:28, Dawid Rutkowski wrote:
> > Przy wywołaniu send("tekscik"), gdy send(const char *aArg),
> > "tworzony" jest zarówno wskaźnik aArg jak i anonimowa tablica z zawartością
"tekscik".
> > I obie te zmienne mają czas życia do zakończenia wywołania tej funkcji.
> Tutaj nie masz racji, a przynajmniej opisywane przez Ciebie zachowanie
> nie jest żadną uniwersalną regułą. Nie ma żadnej zasady która mówiłaby,
> że anonimowa tablica jest tworzona na stosie tuż przed utworzeniem
> wskaźnika, który by na nią wskazywał.
> Takie ciągi znaków zwykle są zbierane podczas kompilacji i umieszczone w
> rodata (czyli w przypadku mikrokontrolerów najczęściej we flashu) i
> potem po prostu wskaźnik będzie inicjowany wartością wskazującą na
> początek odpowiedniego ciągu znaków.
> Widać to chociażby w HEX-ach wsadów do starszych systemów
> mikroprocesorowych (Z80, 8051) gdzie wszystkie teksty są zebrane w
> jednym miejscu.
> Problemy pojawiają się w przypadku niektórych architektur, gdzie
> kompilator (o ile nie poinformujemy go, by robił inaczej) będzie przy
> starcie programu kopiował dane do RAM-u, bo wskaźnik na dane w RAM-ie i
> we flashu to nie to samo. Nawet wtedy ciągle jednak będą one istniały
> cały czas w formie zmiennych globalnych, a nie zostanę ulokowane na stosie.
>
> Moje pytanie odnosiło się do czegoś innego - chciałem się upewnić, czy
> przypadkiem w pewnych sytuacjach program w sposób niejawny nie zrobi mi
> niespodzianki i np. zamiast użyć wskaźnika wprost do ciągu w rodata w
> sposób niejawny nie wygeneruje tymczasowego tekstu na stosie, złożonego
> z fragmentów innych tekstów, w ramach optymalizacji.

Piszesz w C.
Nie w asemblerze, który z tego C zrobi kompilator.
Zrobi jak zrobi i może nawet działać.
Ale nie ma pewności.
Inny kompilator, a nawet ten sam z innym -Ox, może zrobić inaczej i działać już nie
będzie.
Jak jest send("tekscik") to po zakończeniu tej funkcji "tekscik" w tym samym miejscu
w pamięci może dalej być, ale nie musi.
Dlatego należy go skopiować - albo dawać wskaźnik na globala.
Tyle z punktu widzenia C.
Wskaźniki nie są do zabawy - bardzo łatwo utrudnić sobie życie.

Cóż, nikt do C nie zmusza - można pusać w assemblerze, możnasobie zmodyfikować język
i kompilator - tylko wtedy już nie będzie to C.