Test Schleifen an den oberen oder unteren? (while vs. do while)

Ich immer an die Regel, dass, wenn es laufen soll, null oder mehrere Male, Prüfung am Anfang, ob es ausgeführt werden muss einmal oder mehr, test am Ende. Ich sehe keinen logischen Grund für die Verwendung von code, die Sie aufgelistet, die in deinem Beispiel. Es erhöht nur die Komplexität.

Unterschied ist, dass die do-Schleife ausführt, "etwas tun" einmal und dann die Bedingung überprüft, um zu sehen, ob es sich wiederholen soll, die "etwas tun", während die while-Schleife prüft die Bedingung, bevor Sie etwas

Ersten kann man nicht ausführen, wenn Bedingung falsch ist. Andere wird mindestens einmal ausgeführt, dann überprüfen Sie die conidition.

Hier ein gutes Beispiel aus der Praxis, ich kam in jüngster Zeit. Angenommen, Sie haben eine Reihe von Verarbeitungs-Aufgaben (wie die Bearbeitung von Elementen in einem array) und Sie möchten, teilen Sie die Arbeit zwischen einem thread pro CPU-Kern vorhanden ist. Es muss mindestens ein core läuft, den aktuellen code! So können Sie eine do... while etwas wie:

do {
    get_tasks_for_core();
    launch_thread();
} while (cores_remaining());

Es ist fast negligable, aber es könnte sich lohnen, in Anbetracht der performance-Vorteil: es könnte genauso geschrieben werden wie ein standard - while Schleife, das würde aber immer eine unnötige Erster Vergleich würde immer zu bewerten true - und auf single-core -, die do-while-Bedingung Filialen und mehr vorhersehbar (immer false, versus abwechselnd true/false-standard while).

Die while-Schleife überprüfen "Zustand" Erstens; wenn es false ist, wird es nie "etwas zu tun." Aber die do...while-Schleife wird "etwas tun" zuerst, dann überprüfen Sie "Zustand".

Ja, genauso wie mit für anstelle von while-oder foreach-statt für die Lesbarkeit verbessert. Sagte, dass einige Situationen tun müssen, aber ich Stimmen Sie wäre dumm, zu zwingen, diese Situationen in eine while-Schleife.

Die Anwendungsfälle sind unterschiedlich für die beiden. Dies ist keine "best practices" in Frage.

Wenn Sie möchten, eine Schleife ausführen, basierend auf der Bedingung, die ausschließlich als
für oder während

Wenn Sie etwas tun wollen einmal unabhängig von der der Zustand, und dann auch weiterhin tun es auf der Grundlage der Zustandsbewertung.
do..while -

Hier ist die übersetzung:

do { y; } while(x); 

Gleiche wie

{ y; } while(x) { y; }

Beachten Sie die zusätzlichen Satz von Klammern für den Fall, Sie haben Variablen-Definitionen in y. Der Umfang dieser muss gehalten werden lokale wie in der do-loop-Fall. So, eine do-while-Schleife wird nur ausgeführt, seinen Körper mindestens einmal. Abgesehen davon, dass die beiden Schlaufen identisch sind. Also, wenn wir diese Regel anwenden, um Ihren code

do {
    //do something
} while (condition is true);

Den entsprechenden while-Schleife für Ihre do-Schleife sieht wie

{
    //do something
}
while (condition is true) {
    //do something
}

Ja, Sie finden die entsprechenden, während Sie für Ihre do-Schleife unterscheidet sich von Ihr, während 🙂

Ist es eigentlich für unterschiedliche Dinge. In C verwenden, können Sie do - while - Konstrukt sowohl in Szenario (mindestens einmal ausgeführt wird und ausgeführt wird, während true). Aber PASCAL hat repeat - until und während für jedes Szenario und wenn ich mich richtig erinnere, ADA hat ein anderes Konstrukt, das können Sie beenden Sie in der Mitte, aber das ist natürlich nicht das, was Sie gefragt haben.
Meine Antwort zu deiner Frage : ich mag meine Schleife mit der Prüfung an der Spitze.

Beide Konventionen sind die richtigen, wenn Sie wissen, wie zu schreiben der code korrekt 🙂

In der Regel die Verwendung der zweiten Konvention ( do {} while() ) gemeint ist, zu vermeiden, haben einen doppelten Anweisung außerhalb der Schleife. Betrachten Sie das folgende (stark vereinfacht) Beispiel:

a++;
while (a < n) {
  a++;
}

geschrieben werden können, mehr bündig mit

do {
  a++;
} while (a < n)

Natürlich, in diesem bestimmten Beispiel kann geschrieben werden, in noch übersichtlicherer Weise als (vorausgesetzt, C-syntax)

while (++a < n) {}

Aber ich glaube, Ihr seht den Punkt hier.

Ich Schreibe mir so ziemlich ausschließlich Test an der Spitze. Es ist weniger code, also für mich zumindest, es ist weniger Potenzial, um die Schraube etwas (z.B., copy & Paste dieser Zustand lässt zwei Orte, die Sie immer haben, zu aktualisieren)

Sollten Sie zuerst denken, der den test als Teil der code der Schleife. Wenn der test logischerweise gehört, an den start des loop-Verarbeitung, dann ist es ein top-of-the-loop-test. Wenn der test logischerweise gehört am Ende der Schleife (d.h. er entscheidet, ob die Schleife weiter ausgeführt), dann ist es wahrscheinlich ein bottom-of-the-loop-test.

Haben Sie zu tun, etwas ausgefallenes, wenn der test logischerweise gehört in diese Mitte. 🙂

Code zu schreiben, der korrekt ist, man im Grunde braucht, um eine geistige, vielleicht informeller Nachweis der Korrektheit.

Zu beweisen, dass eine Schleife korrekt ist, ist der standard-Weg ist zu wählen, ein loop-invariant, und eine Induktion Beweis. Aber überspringen Sie die komplizierten Worte: was Sie tun, informell, ist herauszufinden, etwas, das ist wahr jeder iteration der Schleife, und wenn die Schleife fertig ist, was Sie wollte, erreicht, ist nun wahr. Der loop-invariant ist falsch, am Ende, für die Schleife zu beenden.

Wenn die loop-Bedingungen anzeigen ziemlich leicht, um die Invarianten und die invariante ist an den Anfang der Schleife, und man folgert, dass die invariante wahr ist, bei der nächsten iteration der Schleife durch die Arbeit durch den code der Schleife, dann ist es einfach, um herauszufinden, dass die Schleife korrekt ist.

Jedoch, wenn die invariante am Ende der Schleife, dann, es sei denn, Sie haben eine Behauptung nur vor der Schleife (gute Praxis), dann wird es schwieriger, da Sie im wesentlichen ableiten, welche, die unveränderlich sein sollte, und dass jeder code ausgeführt, bevor die Schleife wird die Schleife invariante true (da ist keine Schleife Bedingung ist, dass code ausgeführt wird, der in der Schleife). Es wird einfach, dass die noch schwieriger zu beweisen richtig ist, auch wenn es eine informelle in-your-head Beweis.

while( someConditionMayBeFalse ){

//this will never run...

}


//then the alternative

do{

//this will run once even if the condition is false

while( someConditionMayBeFalse );

Der Unterschied ist offensichtlich und ermöglicht es Ihnen, code ausführen und bewerten Sie dann das Ergebnis zu sehen, wenn Sie "es wieder Tun" und die andere Methode, während ermöglicht es Ihnen, einen block von Skript ignoriert, wenn die Bedingung nicht erfüllt ist.

Ich würde sagen, es ist eine schlechte Praxis zu schreiben, wenn..do..while-Schleifen, aus dem einfachen Grund, dass dies erhöht die Größe der code-und Ursachen-code-Duplikationen. Code-Duplikationen sind fehleranfällig und sollte vermieden werden, da jede änderung an einem Teil muss durchgeführt werden, auf das doppelte, was nicht immer der Fall. Auch, größer-code bedeutet, dass eine härtere Zeit auf die cpu-cache. Schließlich behandelt null-Fällen, und löst Kopfschmerzen.

Nur bei der ersten Schleife ist grundlegend sollte man verwenden, do..while, sagen wir, wenn der code, der lässt Sie passieren die Schleifenbedingung (wie Initialisierung) durchgeführt wird, in der Schleife. Ansonsten, wenn es sicher ist, dass die Schleife wird nie fallen bei der ersten iteration, dann ja, eine do..while-geeignet ist.

In der Regel, es hängt davon ab, wie Sie Ihren code strukturieren. Und wie schon jemand beantwortet, einige algorithmen benötigen mindestens eine iteration durchgeführt. So, zu entkommen, zusätzliche iteration-count "oder" at-least-one-interation-aufgetreten, die Flagge, die Sie beschäftigen, do/while.