ATNEL tech-forum

Re: Deklaracje wskaźników

2022-01-06T11:02:07+01:00

To co tu robisz ze wskaźnikiem ma swoją nazwę: strict aliasing violation. Efekt tych dziań jest nieokreślony (undefined behaviour). Dalej - arytmetyka wskaźników ma sens tylko w ramach jednej tablicy. NIE ma sensu w przypadku niezależnych zmiennych. Kolejne UB.
Także, rozdział o wskaźnikach do powtórki.

Statystyki: Napisane przez fofex — 6 sty 2022, o 11:02

Re: Deklaracje wskaźników

2022-01-05T20:18:19+01:00

Dzięki zatrybiłem. Wystarczyło na początku napisać jawne...
Tak od kompilatora.
Jeszcze raz dzięki. Może ta dyskusja komuś też pomoże.

Statystyki: Napisane przez nowy_stary — 5 sty 2022, o 20:18

Re: Deklaracje wskaźników

2022-01-05T20:05:04+01:00

nowy_stary napisał(a):

eraz tylko próbuję dociec czy używanie typu wskaźnika innego niż typ zmiennej, której wskaźnik dotyczy jest właściwe. Chyba nie bo eclipsik się buntuje wysyłając warning.

a co ma eclipsik który jest tylko zwykłym edytorem tekstu do kodu źródłowego w C ? NIC

Warninga to masz od kompilatora i trzeba się go pozbyć robiąc jawne rzutowanie i o tym też było i jest w Bluebooku

u ciebie musi być

[syntax=c]uint32_t x;

uint8_t * WSK_PORTB = (uint8_t*)&x;[/syntax]

------------------------ [ Dodano po: kilkunastu sekundach ]

nowy_stary napisał(a):

Chyba, że jest inny sposób na obejście

A po co obchodzić coś co się załatwia właśnie w ten sposób

------------------------ [ Dodano po: 1 minucie ]

po to są właśnie wskaźniki

Statystyki: Napisane przez mirekk36 — 5 sty 2022, o 20:05

Re: Deklaracje wskaźników

2022-01-05T19:44:24+01:00

Dokładnie tak. Wiem to od początku. Rozumiem rozkład bajtów itd. Dlatego zmieniłem typ wskaźnika żeby poruszać się co bajt, a nie tyle bajtów co wynika z typu wskaźnika zmiennej 4 bajtowej. Teraz tylko próbuję dociec czy używanie typu wskaźnika innego niż typ zmiennej, której wskaźnik dotyczy jest właściwe. Chyba nie bo eclipsik się buntuje wysyłając warning. Ale kurcze efekt jest prawidłowy po kompilacji. Chyba, że jest inny sposób na obejście tego, żeby używając wskaźnik zmiennej 4 bajtowej poruszać się w pamięci o jeden bajt. O to mi głównie chodzi.
Przecież nie dodam do wskaźnika zmiennej 4 bajtowej 0,25 żeby znaleźć się na najmłodszym bajcie zmiennej .

Statystyki: Napisane przez nowy_stary — 5 sty 2022, o 19:44

Re: Deklaracje wskaźników

2022-01-05T19:20:54+01:00

nowy_stary napisał(a):

OK, to pomyłka przy przepisywaniu. Miało być :

to i tak źle - przecież jeśli wskaźnik jest typu uint32_t to wsk+1 przesunie ci się fizycznie o 4 bajty rozumiesz ? o rozmiar typu - a typ uint32_t to 4 bajty

Statystyki: Napisane przez mirekk36 — 5 sty 2022, o 19:20

Re: Deklaracje wskaźników

2022-01-05T18:55:25+01:00

Dzięki za szybką reakcję.

mirekk36 napisał(a):

OK, to pomyłka przy przepisywaniu. Miało być :
[syntax=c]PORTD = *(WSK_PORTB+1);[/syntax]

ale i tak nie działa dobrze. A ja chciałem wymusić przesuniecie się na ostatni bajt zmiennej uint32_t zmieniając typ wskaźnika. Taki mój pomysł. Warning podczas kompilacji oczywiście się pojawia dlatego powstał wątek, bo działa dobrze, ale jest warning.

mirekk36 napisał(a):

albo może działasz w kocim Atmel Studio

Nie żadne Atmel Studio - 100% Mirku Twoja szkoła i sprzęt.

mirekk36 napisał(a):

Napisz tą drugą wersję kodu poprawnie i pokaż - ale tak, żeby żaden warning podczas kompilacji się nie pojawiał. Bo oczywiście druga wersja kodu powinna działać poprawnie - tu arytmetyka WSK_PORTB+3 zadziała zgodnie z twoim założeniem - na PORTD powinna być podana wartość czwartego bajtu zmiennej x

Dobrze, ale rozumiem, że mam przyzwolenie na to, żeby stosować typ uint8 dla wskaźnika dla zmiennej uint32.

Statystyki: Napisane przez nowy_stary — 5 sty 2022, o 18:55

Re: Deklaracje wskaźników

2022-01-05T18:01:11+01:00

nowy_stary napisał(a):

PORTD = *(WSK_PORTB+3);

W pierwszym przypadku gdy twój wskaźnik ma typ uint32_t robisz masakrę bo pominąłeś to jak działa arytmetyka wskaźników. Operacja WSK_PORT+3 powoduje przesunięcie i odczyt o fizycznie 12 bajtów dalej. Zajrzyj proszę do Bluebooka do wskaźników są fajne przykłady jak działa arytmetyka wskaźników.

W drugim przypadku gdy już twój *WSK_PORTB jest typu uint8_t powinno być dobrze - ale widać że kod piszesz niedbale - bo na pewno zgłaszają ci się warningi - chociażby podczas operacji przypisania

[syntax=c]WSK_PORTB = &x;[/syntax]

albo może działasz w kocim Atmel Studio w którym masz wyłączone warningi - oczywiście to nie jest powodem błędu o którym piszesz może on leżeć gdzie indziej ale dobrze byłoby zobaczyć PORZĄDNY kod testowy i dowiedzieć się na czym to testujesz - bo skoro wysyłasz sobie wartość na PORTD to jak to odczytujesz - masz podłączone 8 diod LED ? Nie prościej albo wysyłać sobie wartość liczbową na UART albo podłączyć byle wyświetlacz LCD i wyświetlać sobie zamiast takie karkołomne testy robić

Napisz tą drugą wersję kodu poprawnie i pokaż - ale tak, żeby żaden warning podczas kompilacji się nie pojawiał. Bo oczywiście druga wersja kodu powinna działać poprawnie - tu arytmetyka WSK_PORTB+3 zadziała zgodnie z twoim założeniem - na PORTD powinna być podana wartość czwartego bajtu zmiennej x

Statystyki: Napisane przez mirekk36 — 5 sty 2022, o 18:01

Re: Deklaracje wskaźników

2022-01-05T17:40:20+01:00

Poczytaj o przesunięciach bitowych i obejrzyj przy okazji te poradniki zaczynając od tego:
https://www.youtube.com/watch?v=V83w0pu7MVo&t=2s

Statystyki: Napisane przez mario2015 — 5 sty 2022, o 17:40

Deklaracje wskaźników

2022-01-05T16:21:18+01:00

Chcę powitać wszystkich. Cześć.
Odświeżę trochę wątek wskaźników, ale w innej kwestii. Wskaźniki, piękna rzecz, ale... Mam problem z deklaracją wskaźników. Mówi się, że deklaracja (typ) wskaźnika powinna być taka sama jak deklaracja (typ) zmiennej, której adres wskazuje (mimo, że w avr 8 bit zawsze wskaźnik będzie dwubajtowy - wynika to z adresacji) to dla:
[syntax=c]unit32_t x; //zmienna deklarowana jako 4 bajty
unit32_t *wskaznik_zmiennej_x;//wskaźnik zmiennej x - taki sam typ jak zmienna x[/syntax]

Chyba do tej pory dobrze myślę.

I teraz. Rozumiem to, że typ wskaźnika musi być taki jak typ zmiennej, ponieważ przy operacji odwrotnej czyli zapisu do komórki pod adres wskaznik_zmiennej_x jakiejś nowej wartości np. xx typ jej musi być zgodny z typem zmiennej x (w moim przykładzie 4 bajtowej) z której pobraliśmy adres żeby "zmienna się tam zmieściła".

Ale wymyśliłem sobie, że na port PORTB chcę wysłać najmłodszy bajt zmiennej unit32_t czyli x, a na port PORTD najstarszy bajt zmiennej x. I tutaj okazuje się, ze dla deklaracji wskaźnika dla zmiennej x jako unit32_t mam z tym problem, a dla deklaracji wskaźnika jako unit8_t dla tej zmiennej unit32_t wszystko działa dobrze. Ale najprościej będzie chyba pokazać część programu.

Dla wersji uint32_t *WSK_PORTB;
----------------------------------------------------------

[syntax=c]uint32_t x = 0;//deklaracja i definicja zmiennej x
uint32_t *WSK_PORTB;//deklaracja wskaźnika zgodnie z typem zmiennej x

potem w:

int main(void)
.
.
while(1)
.
.
WSK_PORTB = &x;

x = 0xaaff7733;

//teraz chcę do PORDB wysłać najmłodszy bajt zmiennej x oraz do PORTD wysłać najstarszy bajt zmiennej x

PORTB = *WSK_PORTB;
PORTD = *(WSK_PORTB+3);
.
.
.[/syntax]

-----------------------------------------------------------
Na POTRB wysłana prawidłowa wartość, na PORTD jakaś przypadkowa wartość.

Teraz dla wersji uint8_t *WSK_PORTB;
------------------------------------------------------------
[syntax=c]uint32_t x = 0;//deklaracja i definicja zmiennej x
uint8_t *WSK_PORTB;//deklaracja wskaźnika niezgodnie z typem zmiennej x

potem w:

int main(void)
.
.
while(1)
.
.
WSK_PORTB = &x;

x = 0xaaff7733;

//teraz chcę do PORDB wysłać najmłodszy bajt zmiennej x oraz do PORTD wysłać najstarszy bajt zmiennej x

PORTB = *WSK_PORTB;
PORTD = *(WSK_PORTB+3);[/syntax]
---------------------------------------------------------
Na POTRB wysłana prawidłowa wartość i na PORTD też przypadkowa wartość.

Czy można tak jak powyżej deklarować wskaźnik o typie innym niż zmienna, której dotyczy. Na razie ta część programu działa dobrze, ale może w jakiejś sytuacji coś pójdzie nie tak.
Z góry dziękuję za sugestie.

Statystyki: Napisane przez nowy_stary — 5 sty 2022, o 16:21