Article View: pl.comp.programming
Article #216016Re: Jak to robią w NASA
From: M.M.
Date: Fri, 06 Sep 2019 18:28
Date: Fri, 06 Sep 2019 18:28
44 lines
4003 bytes
4003 bytes
On Friday, September 6, 2019 at 7:14:31 PM UTC+2, g@g.c wrote: > W dniu piątek, 6 września 2019 07:31:09 UTC+2 użytkownik AK napisał: > > > > > >>>> Naprawde w C/C++ wystarczy, ze skompilujesz bez (N)DEBUG-a :( > > >>> > > >>> Można z -DNDEBUG, jak się bierze asercje z "assert.h". > > >>> Ja zazwyczaj nie biorę, > > >> > > >> To nie pierdziel juz wiecej o assercjach w C. > > >> Asercje w C bierze sie _tylko i wylacznie_ z assert.h > > >> Twoje prywatne "robotki domowe"to nie asercje w C. > > > > > > A co sprawia, że te z assert.h to "prawdziwe asercje", a te "moje prywatne robótki domowe" - "nieprawdziwe"? > > > > > > Jakieś namaszczenie wysokiego kapłana? > > > > Tak. Ten kapłan zwie się Standard Języka C. > > A jeżeli ktoś zdefiniuje sobie, dajmy na to, w C89, makro do statycznych asercji, takie np. jak sugeruje ten gość: > https://stackoverflow.com/a/3385694 > czyli dla tych, którym nie chce się klikać > #define STATIC_ASSERT(COND,MSG) typedef char static_assertion_##MSG[(COND)?1:-1] > > i będzie używał tego makra do wyrażania różnych zależności, które zakłada, że muszą być spełnione w swoim programie, np. > > STATIC_ASSERT(sizeof(mytype) <= sizeof(int), mytype_fits_machine_word) > > to czy to są prawdziwe asercje, czy nieprawdziwe? > > Czy Standard Języka C powinien nałożyć ekskomunikę na tego gościa? Są to prawdziwe asercje, ładne, standard nie powinien nałożyć ekskomuniki, bo są zgodne ze standardem, można dorzucić dwa oczywiste fakty: 1) Pisanie czegoś samemu jest bardziej ryzykowne niż używanie dobrze przetestowanych bibliotek. 2) Taki prosty asert (bez pisania czegoś samemu) z biblioteki ma za mało funkcjonalności do której się przyzwyczaiłem. Więc niech każdy, zgodnie z ideą elastyczności C++, wybierze co dla niego lepsze. Albo używaj skąpych gotowców, albo zaryzykuj napisanie bardziej rozbudowanych asercji. Pozdrawiam
Technical Details
Message-ID:
<d97c5922-c956-4d1a-9bd8-9e18769f14a0@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!goblin1!goblin.stu.neva.ru!o24no5873516qtl.0!news-out.google.com!c11ni163qtp.0!nntp.google.com!o24no5873506qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl> <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> <1794fcdb-d7bb-402f-927f-80010b217989@googlegroups.com> <1a2f7fe3-5745-40b2-9fd6-868fca99dea5@googlegroups.com> <a0c6a1c7-e8bf-4079-b5f2-d5dcec42f7d9@googlegroups.com> <qkoqr3$1eec$1@gioia.aioe.org> <a08139d2-95a7-4568-b224-282cfede80b5@googlegroups.com> <88ce0ee3-a454-e3c8-e800-3eabc7ae41eb@nowhere.net> <1a7664a9-c081-49f9-94a1-941aad8b3b73@googlegroups.com> <qksqus$1h0q$1@gioia.aioe.org> <bca89b44-2dea-452b-9ba7-12fa7ce0f3f8@googlegroups.com>Show Full Headers
Complete Article Headers
X-Received: by 2002:ac8:668b:: with SMTP id d11mr3442037qtp.206.1567794538045; Fri, 06 Sep 2019 11:28:58 -0700 (PDT) X-Received: by 2002:a05:620a:16d5:: with SMTP id a21mr9337025qkn.324.1567794537881; Fri, 06 Sep 2019 11:28:57 -0700 (PDT) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!goblin1!goblin.stu.neva.ru!o24no5873516qtl.0!news-out.google.com!c11ni163qtp.0!nntp.google.com!o24no5873506qtl.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.programming Date: Fri, 6 Sep 2019 11:28:57 -0700 (PDT) In-Reply-To: <bca89b44-2dea-452b-9ba7-12fa7ce0f3f8@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.36.205.84; posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj NNTP-Posting-Host: 178.36.205.84 References: <1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl> <3ec85b36-33be-49bd-b688-d8c9213a771a@googlegroups.com> <qkicu0$knb$1@gioia.aioe.org> <46e56026-21be-4761-908e-7991c72a1143@googlegroups.com> <qkjqqi$1b59$1@gioia.aioe.org> <0125b7f3-d337-4537-a6d3-237b78065215@googlegroups.com> <rmvauunflug0.dlg@tyczka.com> <eab71553-8760-428b-a4aa-a58ac0f346ec@googlegroups.com> <1794fcdb-d7bb-402f-927f-80010b217989@googlegroups.com> <1a2f7fe3-5745-40b2-9fd6-868fca99dea5@googlegroups.com> <a0c6a1c7-e8bf-4079-b5f2-d5dcec42f7d9@googlegroups.com> <qkoqr3$1eec$1@gioia.aioe.org> <a08139d2-95a7-4568-b224-282cfede80b5@googlegroups.com> <88ce0ee3-a454-e3c8-e800-3eabc7ae41eb@nowhere.net> <1a7664a9-c081-49f9-94a1-941aad8b3b73@googlegroups.com> <qksqus$1h0q$1@gioia.aioe.org> <bca89b44-2dea-452b-9ba7-12fa7ce0f3f8@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <d97c5922-c956-4d1a-9bd8-9e18769f14a0@googlegroups.com> Subject: Re: Jak to robią w NASA From: "M.M." <mmarszik@gmail.com> Injection-Date: Fri, 06 Sep 2019 18:28:58 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit