-
X-Received: by 2002:a37:a2ca:: with SMTP id l193mr158722qke.2.1542611684594; Sun, 18
Nov 2018 23:14:44 -0800 (PST)
X-Received: by 2002:a37:a2ca:: with SMTP id l193mr158722qke.2.1542611684594; Sun, 18
Nov 2018 23:14:44 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!goblin2!goblin1
!goblin.stu.neva.ru!z5-v6no3211866ite.0!news-out.google.com!y103-v6ni3941ita.0!
nntp.google.com!z5-v6no3211862ite.0!postnews.google.com!glegroupsg2000goo.googl
egroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Sun, 18 Nov 2018 23:14:44 -0800 (PST)
In-Reply-To: <pss4d0$14n$1@node2.news.atman.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=165.225.84.75;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 165.225.84.75
References: <8...@g...com>
<7...@g...com>
<d...@g...com>
<psp6q7$97o$1@node2.news.atman.pl>
<6...@g...com>
<pss4d0$14n$1@node2.news.atman.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3...@g...com>
Subject: Re: Niezmienniki pętli
From: Maciej Sobczak <s...@g...com>
Injection-Date: Mon, 19 Nov 2018 07:14:44 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:212929
[ ukryj nagłówki ]> > Tak, to ważna obserwacja. Może da się te rzeczy rozdzielić?
>
> To następna obserwacja: jeśl wpływa to na runtime release należy to
> odrzucić.
więc odrzućmy. Niech sobie będą statyczne asercje oraz dynamiczne, ale sterowane
opcjami kompilatora.
> Jest, ale w przypadku nadmiaru checkerów nie da się pisać czytelnie.
[...]
> Jednak dalej brakuje mi czegoś takiego jak int a<4-200>
Czyli ogólnie: type invariants (niezmienniki typów). Wtedy warunek poprawności dla
danego typu opisuje sie w jego definicji i nie trzeba już zaciemniać kodu pisząc co
chwilę asercje, czy obiekt ma dobry stan. Tzn. zminimalizujmy zaciemnienie zbierając
je do jednego miejsca, z dala od algorytmu.
Ciekawe, że wtedy można odróżnić niezmienniki typów (takie jak zakres zmiennej) od
niezmienników obliczeń (np. pętli) i wraz z tym rozróżnieniem dać im osobne miejsce w
kodzie. Przecież nie wszytko musi być klasycznym assertem.
> Contraints by się
> przydało i już powoduje to zniknięcie kilku lini DbC.
Chyba mamy to samo na myśli.
> Obserwuje że ludzie nie chcą języków bezpiecznych.
Zgadza się.
> Na początek chciabym w C++ takie coś:
>
> debug {
> // O(N^2) checker
> }
Wystarczy rozszerzyć składnię asserta. W tej chwili assert musi dostać jedno
wyrażenie, ale można by go rozszerzyć tak, żeby akceptował dowolne fragmenty kodu. W
niektórych językach to się robi o tyle łatwiejsze, że wszystko jest albo może być
wyrażeniem, również pętla While czy cokolwiek innego - wtedy do takiego asserta można
wsadzić dowolny fragment kodu, nawet z własnymi definicjami zmiennych wykorzystanych
w środku. Ale w C++ chyba niewiele trzeba, żeby to osiągnąć, np. z taką składnią:
assert(dowolnyfragmentkodu, wynik_bool);
I użyć tego tak:
assert(
int i; // albo inne definicje
int j = x; // x jest na zewnątrz, ale widać go tutaj
while (orzemy_jak_możemy)
{
// obliczenia, wywołania funkcji, itd.
...
},
x > 0 && i < 10 // jakiś ostateczny warunek
);
I wtedy assert, tylko w trybie debug, wykonuje ten kod a na końcu sprawdza warunek
logiczny z drugiego swojego argumentu. W trybie release nic nie robi.
Kto zaproponuje definicję makra assert o takich zdolnościach?
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 19.11.18 09:22 Roman Tyczka
- 19.11.18 10:37 Queequeg
- 19.11.18 10:45 Queequeg
- 19.11.18 17:15 g...@g...com
- 19.11.18 19:45 g...@g...com
- 19.11.18 19:49 g...@g...com
- 19.11.18 21:18 s...@g...com
- 19.11.18 21:44 Queequeg
- 19.11.18 22:10 fir
- 19.11.18 22:16 fir
- 19.11.18 23:12 g...@g...com
- 20.11.18 00:00 AK
- 20.11.18 00:20 AK
- 20.11.18 05:37 s...@g...com
- 20.11.18 10:35 Queequeg
Najnowsze wątki z tej grupy
- 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?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-05-07 Ulm => IT Systems Administrator and Customer Support Engineer <=
- 2024-05-07 Warszawa => Junior Frontend Developer <=
- 2024-05-07 Ulm => Integration & Test Engineer <=
- 2024-05-07 Warszawa => Business Systems Sales Representative <=
- 2024-05-07 Białystok => Technical Lead ( (Java Background)) <=
- 2024-05-07 Białystok => React Native Developer <=
- 2024-05-07 Białystok => Technical Leader (Java Background) <=
- 2024-05-07 Białystok => ERP Implementer <=
- 2024-05-06 Fotowoltaika do c.w.u.
- 2024-05-06 Warszawa => Senior IT Recruiter <=
- 2024-05-06 Kraków => Lider Serwisu/Programista PLC z językiem niemieckim <=
- 2024-05-06 Berlin => Solution Architect (secure communication and IoT solutions)
- 2024-05-06 Czy szpital przekazuje dokumentację medyczną do Starosty powiatu?
- 2024-05-06 naprawa zamka
- 2024-05-06 Kraków => Mid/Senior QA Engineer <=