[kamil_batman]

mirki, czy można konwertować unie w strukturę i odwrotnie?
#programowanie

[k.....e]

@kamil_batman: a możesz skonwertować gruszkę w śrubokręt? Unia a struktura to dwie różne rzeczy.

Możesz zmapować obszar pamięci spod unii na strukturę. Tylko, że jak chcesz coś takiego zrobić to nie jest to dobra praktyka

[kamil_batman]

@kebab-case: priv

[Razi91]

@kebab-case: Ja tak robię, ale głównie po to, żeby w debugerze łatwiej było eksplorować przychodzące ramki :)

Pomału przechodzę na std::variable, ale w embedded nie bardzo jest na to miejsce, zwłaszcza gdy trzeba ten obszar pamięci potem wysłać.

[k.....e]

@Razi91: To napisz tu koledze jak to robisz :) Ja bym po prostu kazał strukturze wskazywać pod adres gdzie była unia i to by było najprostsze skonwertowanie gdzie struktura by spróbowała zinterpretowac pamięc spod unii na swoje składowe. A tobie może chodzi o jakieś mapowanie?

[Razi91]

*std::variant, nie variable!

@kebab-case: Mam ramkę ogólną, a potem poszczególne przypadki w zależności od „funkcji”. Nic nie konwertuję, po prostu pakuję struktury jako pola w unii. Problem dopiero się pojawia przy dynamicznych strukturach.

Przede wszystkim trzeba zrozumieć różnicę pomiędzy strukturą, a unią, że w unii wszystko jest w tym samym obszarze pamięci (każde pole zaczyna się w pamięci w tym samym miejscu)

[Khaine]

Ja bym po prostu kazał strukturze wskazywać pod adres gdzie była unia i to by było najprostsze skonwertowanie gdzie struktura by spróbowała zinterpretowac pamięc spod unii na swoje składowe.

@kebab-case: Hmm, jak rozumiem unia i struktura musiałyby wtedy mieć identyczne pola o identycznych typach (kolejność chyba też ma znaczenie bo padding?), bo w przeciwnym wypadku to by się chyba wysrało? Ale nadal kurde bym się chyba bał ryzykować i wolałbym jawnie

[Razi91]

@Khaine: Nie. Jak masz w unii int i float, to zapisując cokolwiek do tego float rozwalisz to co jest int. Oba pola współdzielą tą samą pamięć. W podanym przykładzie (dla x86) taka unia będzie zajmowała 4 bajty, a struktura 8 bajtów.

[k.....e]

@Razi91: No właśnie, pamiętam o tym, że unia współdzieli obszar pamięci, dlatego to pytanie które zadał op jest trochę niefortunne. Bo odpowiedź to, ze w sumie można ale nie zawsze to ma sens.

[Khaine]

@Razi91: No to wychodzi na to, że tak jak myślałem - zesra się. Unia ma 4 bajty które przedstawiają inta bądź float, zależnie od tego co tam siedzi. Natomiast struktura ma 4+4, tutaj już jawnie rozdzielone od siebie. Pytanie brzmi - czy jak spróbujemy zrzutować pamięć unii na strukturę to stanie się:

1. Na podstawie różnicy w kodowaniu pomiędzy float a int komputer będzie w stanie powiedzieć która wartość idzie gdzie

[Razi91]

@Khaine: Jak przypisujesz wskaźnik, to przejdzie, ale kompilator wywali ostrzeżenie.[-Wincompatible-pointer-types]. Wartość pierwszej będzie „poprawna” (w sensie po prostu użyje tej pamięci), a drugi to śmieć z ryzykiem SegFaulta.

Co do rzutowania, to C++ nie pozwoli dopóki nie napiszemy funkcji rzutującej (chyba że znowu używamy wskaźników, ale wtedy sytuacja analogiczna do C), a jak już napiszemy taką funkcję, to zachowa się to tak, jak to zaprogramujemy.

[Khaine]

Jak przypisujesz wskaźnik, to przejdzie, ale kompilator wywali ostrzeżenie.[-Wincompatible-pointer-types]. Wartość pierwszej będzie „poprawna” (w sensie po prostu użyje tej pamięci), a drugi to śmieć z ryzykiem SegFaulta.

@Razi91: No czyli stanie się opcja 2. SegFault na Linuxie = Access Violation na Windzie. Co do tej poprawnej interpretacji nie jestem pewien, bo float i int mają chyba inne kodowanie, więc IMO tam będą bzdury. Tzn. mogą być bzdury z 50% szansą zależnie

[Razi91]

@Khaine: No zostanie użyte dokładnie to, co będzie w pamięci. Float zinterpretowany jako int nie ma prawie w ogóle sensu (choć warto znać heksadecymalne reprezentacje 0, -0, 1, -1)

[Khaine]

@Razi91: A nadal mówimy o przyjaznym przypadku czyli 4 bajty. A co jakby tam siedział double? ( ͡º ͜ʖ͡º)

[Razi91]

@Khaine: Nadal śmieci. Po prostu pamięć będzie interpretowana inaczej. Unia zajmuje zawsze tyle, co jej największe pole

[Khaine]

@Razi91: Ale jeszcze łatwiej o wywalenie programu pewnie. Nic nie oszczędzamy a prosimy się o kłopoty.

[Razi91]

@Khaine: Po prostu trzeba wiedzieć, co się robi ( ͡° ͜ʖ ͡°)
W każdym razie castowanie unii na strukturę jest po prostu głupie

[Khaine]

@Razi91: Chyba że jedno i drugie ma po jednym polu tego samego typu. Ale jaki sens wtedy takiej struktury czy unii xD