From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,9a0ff0bffdf63657 X-Google-Attributes: gidfac41,public X-Google-Thread: 1108a1,9a0ff0bffdf63657 X-Google-Attributes: gid1108a1,public X-Google-Thread: f43e6,9a0ff0bffdf63657 X-Google-Attributes: gidf43e6,public X-Google-Thread: 103376,4b06f8f15f01a568 X-Google-Attributes: gid103376,public From: jdege@jdege.visi.com (Jeffrey C. Dege) Subject: Re: Software landmines (loops) Date: 1998/09/04 Message-ID: #1/1 X-Deja-AN: 387737368 References: <902934874.2099.0.nnrp-10.c246a717@news.demon.co.uk> <6r1glm$bvh$1@nnrp1.dejanews.com> <6r9f8h$jtm$1@nnrp1.dejanews.com> <6renh8$ga7$1@nnrp1.dejanews.com> <6rf59b$2ud$1@nnrp1.dejanews.com> <6rfra4$rul$1@nnrp1.dejanews.com> <35DBDD24.D003404D@calfp.co.uk> <6sbuod$fra$1@hirame.wwa.com> <35f51e53.48044143@ <904556531.666222@miso.it.uq.edu.au> <6sgror$je8$3@news.indigo.ie> <6sh3qn$9p2$1@hirame.wwa.com> <6simjo$jnh$1@hirame.wwa.com> <6sjk3p$4tc$1@hirame.wwa.com> <6skgn4$3gq$1@hirame.wwa.com> <6sm6md$3fh$1@hirame.wwa.com> <6smv8q$cc5$1@nnrp1.dejanews.com> X-Complaints-To: abuse@visi.com X-Trace: ptah.visi.com 904886541 209.98.6.59 (Fri, 04 Sep 1998 00:22:21 CDT) NNTP-Posting-Date: Fri, 04 Sep 1998 00:22:21 CDT Newsgroups: comp.lang.eiffel,comp.object,comp.software-eng,comp.lang.ada Date: 1998-09-04T00:00:00+00:00 List-Id: On Fri, 04 Sep 1998 05:07:36 GMT, Matthew Heaney wrote: > > /* Process a stream of characters. > * > * The stream is terminated by the value EOF. > */ > for (;;) { > Get (C); > > if (C == EOF) break; > > > } > >My point is that this is a common kind of problem. You process a stream >of items, but one of those items is special, and means "no more items >follow." I argue that the formulation above is the most natural way to >implement this kind of problem. What are the alternatives? Get(C); while (C != EOF) { Get(C) } while (Get(C), C != EOF) { } goto LABEL5; do { LABEL5: Get(C); } while (C != EOF); boolean done = false; while (!done) { Get(C); if (C == EOF) done = true; else { } } jump_buf jumpBuffer; if (!setjmp(jumpBuffer)) { for (;;) { Get(C); if (C==EOF) longjmp(1); } } >Researchers showed empirically that using the construction above, >programmers produced fewer errors: > >Cognitive Strategies and Looping Constructs: An Empirical Study >Soloway, Bonar, Ehrlich >CACM, Nov 83, Vol 26, No 11, p853-860 > >As they say, the proof is in the pudding, not the pudding recipe. > -- "Necessity is the mother of invention" is a silly proverb. "Necessity is the mother of futile dodges" is much nearer the truth. -- Alfred North Whitehead