ATNEL tech-forum

Re: Zmienna większa od uint8_t

2018-12-01T20:38:48+01:00

Zawsze można dodać do linii poleceń kompilatora opcję -Wtype-limits, która powinna w takim przypadku spowodować wyświetlenie ostrzeżenia w stylu:
"comparison is always false due to limited range of data type". Opcja ta jest też zawarta w zestawie opcji -Wextra.

EDIT:
Jeszcze tylko małe sprostowanie:

skalarro napisał(a):

a program ochoczo będzie sprawdzał warunek za każdym obiegiem

W tym przypadku nie będzie. Kod dokonujący porównania zostanie zoptymalizowany nawet przy wyłączonej optymalizacji. Tak samo nie zostanie w ogóle wygenerowany kod instrukcji wykonywanych w przypadku spełnienia warunku. Kompilator po prostu uzna, że sprawdzenie warunku zawsze zwróci fałsz.

Warunek będzie za to sprawdzany mimo bezsensownego porównania w przypadku porównania dwóch zmiennych o różnych typach, przykładowo:
[syntax=c]volatile uint16_t zmienna_int = 3;

// i w przerwaniu
zmienna++;
if ( zmienna == (zmienna_int+500) )
{
PORTB = LED_TOG;
zmienna = 0;
}[/syntax]
Nastąpi tutaj promocja zmiennej zmienna do int, więc porównywane będą wartości 16-bitowe. W tej sytuacji wiadomo, że nie istnieje taka wartość zmiennej zmienna_int dla której porównanie mogłoby zwrócić prawdę (chyba, że wynik dodawania przekroczy zakres zmiennej 16-bitowej bez znaku), jednak w tym przypadku sprawdzanie warunku będzie się odbywać za każdym razem (praktycznie za każdym razem zwracając fałsz) i w dodatku żadne ostrzeżenie nie zostanie wygenerowane.

Innymi słowami i tak trzeba się pilnować

Statystyki: Napisane przez andrews — 1 gru 2018, o 20:38

Re: Zmienna większa od uint8_t

2018-12-01T19:16:36+01:00

Zealota napisał(a):

Porównanie to oczywiście nie to samo co przypisanie wartości do zmiennej

Dokładnie. I to jest chyba podsumowanie tematu.
Bo kto programiście zabroni porównania np tak abstrakcyjnego i pozbawionego sensu jak if (zmienna== "elephant"){};

Można sprawdzić czy kolor_samochodu == kombi ;p
Oczywiście nie ma to sensu, typy niezgodne i nie mają prawa nigdy się zgodzić ale kompilator grzecznie to zaakceptuje a program ochoczo będzie sprawdzał warunek za każdym obiegiem... hehe

Statystyki: Napisane przez skalarro — 1 gru 2018, o 19:16

Re: Zmienna większa od uint8_t

2018-12-01T19:03:33+01:00

zorro napisał(a):

Chodził mi oto, że powołałem zmienną ośmio bitową a w przerwaniu w warunku if wpisałem wartość 500 i kompilator
nie wyświetlił mi błędu a skompilował. Ja myślałem, iż największą wartość jaką można wpisać to 255

Wygląda na to, że w porównaniu kompilator nie sprawdza typu.

Gdyby zapisać tak:
[syntax=c]uint8_t zmienna = 500;[/syntax]

To dostaniemy ostrzeżenie. Porównanie to oczywiście nie to samo co przypisanie wartości do zmiennej.

Statystyki: Napisane przez Zealota — 1 gru 2018, o 19:03

Re: Zmienna większa od uint8_t

2018-12-01T18:55:28+01:00

zorro napisał(a):

Skąd się wzięło u was inkrementacja do 1.

[syntax=c]if ( zmienna == 500 );

PORTB = LED_TOG;
zmienna = 0;[/syntax]

Przeanalizuj co robi Twój warunek...

Albo zapisz go inaczej - będziesz widział co się dzieje"

[syntax=c]if ( zmienna == 500 ){

}
PORTB = LED_TOG;
zmienna = 0;[/syntax]

A teraz zobacz taki zapis:
[syntax=c]if ( zmienna == 500 ){
PORTB = LED_TOG;
zmienna = 0;
}[/syntax]

Widzisz teraz skąd ta jedynka a nie 255 czy 500?

Statystyki: Napisane przez skalarro — 1 gru 2018, o 18:55

Re: Zmienna większa od uint8_t

2018-12-01T18:43:11+01:00

skalarro napisał(a):

zorro napisał(a):

uint8_t zmienna = 0; //w przerwaniu wpisuję
zmienna++;
if ( zmienna == 500 );

PORTB = LED_TOG;
zmienna = 0;

jak dla mnie nie zachodzi tu żadna promocja do int tylko zmienna jedzie sobie do 255 i się przepełnia i nigdy nie osiąga 500. Nikt nie zabroni sprawdzać czy jest równa nawet 10000000 bo dlaczego by nie. Po prostu zawsze będzie fałszywy warunek i już.
Poza tym warunek if ( zmienna == 500 ); jest pusty a reszta jest poza warunkiem, czyli port się togluje cały czas a zmienna zeruje się zawsze po 1.

Lepiej byłoby tak, choć wg mnie i tak się nie wykona warunek
[syntax=c]zmienna++;
if ( zmienna == 500 )
{
PORTB = LED_TOG;
zmienna = 0;
}[/syntax]

Quote:

A gdzie inkremenuję do wartości 1?

w każdym obiegu pętli. Na początku masz zmienna=0, potem zmienna++ czyli inkrementujesz do 1, potem pusty if, który i tak nigdy się nie wykona, następnie ZA KAŻDYM OBIEGIEM resetujesz zmienna.

Inkrementacja zmiennej jest umieszczona w przerwaniu, więc w każdym przerwaniu wzrasta o wartość jeden.
Skąd się wzięło u was inkrementacja do 1.
Zmienna zerowana jest po warunku if nie po każdym obiegu. Tak ja to widzę.

Chodził mi oto, że powołałem zmienną ośmio bitową a w przerwaniu w warunku if wpisałem wartość 500 i kompilator
nie wyświetlił mi błędu a skompilował. Ja myślałem, iż największą wartość jaką można wpisać to 255,
Jeden z kolegów wyjaśnił, iż to programista ma pilnować wartości wpisywanych do warunku if.
To co podałem w pierwszym poście to tylko wybrany fragment kodu.

Dzięki wszystkim za wypowiedzi.

Statystyki: Napisane przez zorro — 1 gru 2018, o 18:43

Re: Zmienna większa od uint8_t

2018-12-01T12:48:04+01:00

skalarro napisał(a):

Zealota napisał(a):

Ja oczywiście sprawdziłem pod kompilatorem i dlatego jestem mądrzejszy.

No to muszę doczytać... DO tej pory żyłem w przekonaniu, że dotyczy to działań typu dodawanie i mnożenie dwóch zmiennych a nie zwykłego inkrementowania. ALe w sumie jakby się tak zastanowić to zmienna++ to też dodawanie dwóch liczb.
Nie zmienia to faktu, że w tym wypadku if się i tak nie wykona bo zmienna nie dojdzie nigdy nawet do 2, a warunek jest pusty

Jeszcze hola hola.
Być może wczoraj trochę jednak niepotrzebnie zamieszałem, przepraszam
Zrobiłem kolejne testy i na razie mojej tezy o tym, że dojdzie do warunku zmienna == 500, z powodu promocji do int, nie mogę wykazać niestety, pomimo pracy z kompilacją.
Zgodnie z sugestią Kolegi andrews również mnie się należy dokształcenie...

Statystyki: Napisane przez Zealota — 1 gru 2018, o 12:48

Re: Zmienna większa od uint8_t

2018-12-01T11:55:19+01:00

Proponuję poczytać np. to (dość przystępny opis):
https://opensourceforu.com/2016/06/quic ... omotion-c/

Ewentualnie wpisać w Google "c promotion rules" i pojawi się sporo artykułów na ten temat.

Statystyki: Napisane przez andrews — 1 gru 2018, o 11:55

Re: Zmienna większa od uint8_t

2018-12-01T11:48:08+01:00

Zealota napisał(a):

Ja oczywiście sprawdziłem pod kompilatorem i dlatego jestem mądrzejszy.

Statystyki: Napisane przez skalarro — 1 gru 2018, o 11:48

Re: Zmienna większa od uint8_t

2018-12-01T11:39:16+01:00

skalarro napisał(a):

jak dla mnie nie zachodzi tu żadna promocja do int tylko zmienna jedzie sobie do 255

Proponuję najpierw sprawdzić, kompilując kod.
Ja oczywiście sprawdziłem pod kompilatorem i dlatego jestem mądrzejszy.
To najlepsza forma nauki.

Statystyki: Napisane przez Zealota — 1 gru 2018, o 11:39

Re: Zmienna większa od uint8_t

2018-12-01T11:27:55+01:00

zorro napisał(a):

uint8_t zmienna = 0; //w przerwaniu wpisuję
zmienna++;
if ( zmienna == 500 );

PORTB = LED_TOG;
zmienna = 0;

Quote:

A gdzie inkremenuję do wartości 1?

w każdym obiegu pętli. Na początku masz zmienna=0, potem zmienna++ czyli inkrementujesz do 1, potem pusty if, który i tak nigdy się nie wykona, następnie ZA KAŻDYM OBIEGIEM resetujesz zmienna.

Statystyki: Napisane przez skalarro — 1 gru 2018, o 11:27

Re: Zmienna większa od uint8_t

2018-12-01T10:54:38+01:00

Piotrek_P napisał(a):

W drugiej linii Twojego kodu, nie widzisz tego?;-)

Tak w drugiej linii inkrementuję zmienną, ale nie do jednego a do 500.

Statystyki: Napisane przez zorro — 1 gru 2018, o 10:54

Re: Zmienna większa od uint8_t

2018-12-01T09:30:27+01:00

W drugiej linii Twojego kodu, nie widzisz tego?;-)

Statystyki: Napisane przez Piotrek_P — 1 gru 2018, o 09:30

Re: Zmienna większa od uint8_t

2018-12-01T08:35:59+01:00

Zealota napisał(a):

To jest właśnie siła języka C. Tu rządzi programista, ale niestety musi wiedzieć co robi, dlatego też zasady dotyczące wielkości zmiennych są bardzo elastyczne, a jedna z większej elastyczności to domyślna promocja do int.
Inaczej pisząc, to programista musi kontrolować zakres typów, a nie kompilator. Dzięki temu można robić "różne sztuczki"

Nie rozumiem dlaczego promocja do int, skoro powołana zmienna jest określona uint8_t

------------------------ [ Dodano po: 2 minutach ]

Daro69 napisał(a):

hmm...
ja nie wiem dlaczego nie krzyczy.
[syntax=c]uint8_t zmienna = 0; //w przerwaniu wpisuję
zmienna++;
if ( zmienna == 500 );

PORTB = LED_TOG;
zmienna = 0;[/syntax]
powołujesz zmienną z wartością 0,
inkrementujesz do wartości 1,
oczekujesz na spełnienie 'ifa' który który nigdy się nie spełni, by ustawić wartość na PORTB.
poza ifem: zerujesz zmienną.

hmm. ale dlaczego nie krzyczy?
może dlatego że nie przypisujesz takiej wartości do zmiennej, a sprawdzać w ifie można cokolwiek

A gdzie inkremenuję do wartości 1?

Statystyki: Napisane przez zorro — 1 gru 2018, o 08:35

Re: Zmienna większa od uint8_t

2018-11-30T21:49:43+01:00

Wg mnie nie krzyczy, bo w linijce:
[syntax=c]if ( zmienna == 500 );[/syntax]
właściwie to jest:
[syntax=c]if ( (int)zmienna == 500 );[/syntax]

oprócz tego tam jest niepotrzebny średnik.
Dodatkowo promocja do int jednak zapewni, że warunek się spełni.
Można rzutować na int8_t i wtedy już nie będzie działać.
Tak z praktyki dopiero ostatnio widzę, co było dla mnie długo mgliste, ten wszędobylski int
Nie potrafię już na to patrzeć, że co chwilę trzeba rzutować, żeby nie przekroczyć zakresu int dla dużych liczb, a to powoduje farfocle, oczopląsy i długaśne linijki
Przy AVR to zwykle, żaden problem, bo tam rządzi uint8_t, ale przy tych stm,ach to już trzeba się strzec

Statystyki: Napisane przez Zealota — 30 lis 2018, o 21:49

Re: Zmienna większa od uint8_t

2018-11-30T21:47:30+01:00

Daro69 napisał(a):

ja nie wiem dlaczego nie krzyczy.

A dlaczego miałby krzyczeć? Co szkodzi porównywać zawartość bajtu ze słowem ? Toż w zakresie 0-255 pokrywają się ich wartości ... poza tym to co pisze wyżej kolega Zealota.

Statystyki: Napisane przez mirekk36 — 30 lis 2018, o 21:47

Re: Zmienna większa od uint8_t

2018-11-30T20:08:11+01:00

hmm...
ja nie wiem dlaczego nie krzyczy.
[syntax=c]uint8_t zmienna = 0; //w przerwaniu wpisuję
zmienna++;
if ( zmienna == 500 );

PORTB = LED_TOG;
zmienna = 0;[/syntax]
powołujesz zmienną z wartością 0,
inkrementujesz do wartości 1,
oczekujesz na spełnienie 'ifa' który który nigdy się nie spełni, by ustawić wartość na PORTB.
poza ifem: zerujesz zmienną.

hmm. ale dlaczego nie krzyczy?
może dlatego że nie przypisujesz takiej wartości do zmiennej, a sprawdzać w ifie można cokolwiek

Statystyki: Napisane przez Daro69 — 30 lis 2018, o 20:08

Re: Zmienna większa od uint8_t

2018-11-30T20:07:15+01:00

To jest właśnie siła języka C. Tu rządzi programista, ale niestety musi wiedzieć co robi, dlatego też zasady dotyczące wielkości zmiennych są bardzo elastyczne, a jedna z większej elastyczności to domyślna promocja do int.
Inaczej pisząc, to programista musi kontrolować zakres typów, a nie kompilator. Dzięki temu można robić "różne sztuczki"

Statystyki: Napisane przez Zealota — 30 lis 2018, o 20:07

Zmienna większa od uint8_t

2018-11-30T19:53:58+01:00

Proszę o wyjaśnienie takiego zapisu:
Powołuję zmienną

[syntax=c]uint8_t zmienna = 0; //w przerwaniu wpisuję
zmienna++;
if ( zmienna == 500 );

PORTB = LED_TOG;
zmienna = 0;[/syntax]

Dlaczego to się kompiluje skoro powołana zmienna jest ośmio bitowa?
To jest kawałek programu.

Statystyki: Napisane przez zorro — 30 lis 2018, o 19:53