-
X-Received: by 2002:ac8:21ab:: with SMTP id 40mr59101qty.7.1542397234875; Fri, 16 Nov
2018 11:40:34 -0800 (PST)
X-Received: by 2002:ac8:21ab:: with SMTP id 40mr59101qty.7.1542397234875; Fri, 16 Nov
2018 11:40:34 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder4.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.
85.166.216.MISMATCH!g188-v6no749345itg.0!news-out.google.com!t123-v6ni474itb.0!
nntp.google.com!z5-v6no750341ite.0!postnews.google.com!glegroupsg2000goo.google
groups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Fri, 16 Nov 2018 11:40:34 -0800 (PST)
In-Reply-To: <3...@t...no1>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=188.147.39.128;
posting-account=pyti1AoAAAAf66c003TUy10QAAnMWaKw
NNTP-Posting-Host: 188.147.39.128
References: <8...@g...com>
<e...@g...com>
<3...@t...no1>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f...@g...com>
Subject: Re: Niezmienniki pętli
From: s...@g...com
Injection-Date: Fri, 16 Nov 2018 19:40:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:212909
[ ukryj nagłówki ]W dniu piątek, 16 listopada 2018 20:14:23 UTC+1 użytkownik Queequeg napisał:
> s...@g...com wrote:
>
> > Najprostrze zastosowanie:
> ^^
> sz
>
> > for(int i(0); i < lList.size(); ++i)
> > // tu robisz coś z lList
> > W tej pętli niezmiennikiem sprawdzanym przed wejściem w pętlę i po kazdej
iteracji jest:
> > i < lList.size()
>
> "In computer science, a loop invariant is a property of a program loop
> that is true before (and after) each iteration."
>
> Twierdzisz, że po ostatniej iteracji pętli i < lList.size() będzie dalej
> true?
>
> Nie myl niezmiennika z warunkiem kontynuowania pętli.
Ok! W takim razie nie używam niezmienników pętli ani niezmienników klas. Za wolne to
jest na wersję release. Może warto by było to pisać w blokach kompilowanych
warunkowo.
> > 5.2. Nie wierzę w i nie cierpię Assert (to tak jak by bez ostrzeżenia
> > uderzyć kogoś w twarz bez dalszego komentarza).
>
> Czyli twoim zdaniem lepiej, gdy program działa dalej na błędnych danych i
> w sposób, którego nie przewidział programista, niż gdy wypisze komunikat
> o błędzie wraz z lokalizacją, niespełnionym warunkiem i np. innymi
> informacjami diagnostycznymi i zakończy się, nie robiąc szkód?
>
> Bo wiesz, oprogramowanie się testuje, takie błędy wychodzą i takie błędy
> się poprawia, zamiast ignorować.
Czytaj ze zrozumieniem:
> 5.1. Wierzę w try, throw, catch (wyjątki obowiązkowo dziedziczone po std::exception
z opisem i kodem błędu).
Następne wpisy z tego wątku
- 16.11.18 20:51 g...@g...com
- 16.11.18 21:05 Queequeg
- 16.11.18 23:51 Maciej Sobczak
- 16.11.18 23:55 Maciej Sobczak
- 17.11.18 14:58 Sebastian Biały
- 17.11.18 16:59 s...@g...com
- 18.11.18 00:10 Maciej Sobczak
- 18.11.18 01:02 Queequeg
- 18.11.18 09:58 AK
- 18.11.18 10:10 fir
- 18.11.18 10:28 fir
- 18.11.18 17:35 Sebastian Biały
- 19.11.18 08:14 Maciej Sobczak
- 19.11.18 09:22 Roman Tyczka
- 19.11.18 10:37 Queequeg
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-05-16 Samo rozładowywanie baterii trakcyjnej w elektryku.
- 2024-05-16 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-16 Warszawa => Interactive/Experience Designer <=
- 2024-05-16 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-16 Zabrze => Junior HelpDesk <=
- 2024-05-16 Warszawa => Technical Lead ( (Java Background)) <=
- 2024-05-16 Szczecin => Senior DevOps Engineer <=
- 2024-05-16 Szczecin => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-16 Śledztwo bodnatury "jak wyrok"? ["likwidator" Polskiego Radia donosi]
- 2024-05-16 Citi... zmiany warunków umowy o kartę kredytową Citibank?
- 2024-05-16 prawo jazdy z Nepalu
- 2024-05-15 Mini Netykieta polskich grup i list dyskusyjnych
- 2024-05-15 Warszawa => Key Account Manager <=
- 2024-05-15 Millenium czyli DEBILE bankowości
- 2024-05-15 Warszawa => Frontend Developer - React <=