Warum kann nicht deklarieren Sie eine variable innerhalb des Ausdrucks Teil einer do-while-Schleife?

Gilt folgender syntax:

while (int i = get_data())
{
}

Aber das folgende nicht:

do
{
} while (int i = get_data());

Können wir sehen, warum über dem Norm-Entwurf N4140 Abschnitt 6.4:

1 [...]

Zustand: 
Ausdruck 
Attribut-specifier-seqopt decl-specifier-seq Feststellung = Initialisierer-Klausel 
Attribut-specifier-seqopt decl-specifier-seq Feststellung verspannt-init-Liste

2 Der Regeln für die Bedingungen gelten sowohl für Auswahl-Anweisungen und
der for und while Aussagen (6.5). [...]

und Abschnitt 6.5

1 Iteration Anweisungen geben Schleifen.

 iteration-Anweisung: 
while ( Zustand ) Anweisung 
do Anweisung while ( Ausdruck ) ;

Stattdessen sind Sie gezwungen, etwas zu tun, hässlich wie:

int i = get_data();
do
{
} while ((i = get_data())); //double parentheses sic

Was ist der Grund dafür?

  • Deshalb nicht, weil while Zustand liegt außerhalb der der do-while Umfang. Nun, warum können Sie nicht, die meisten wahrscheinlich wegen der Grammatik Einschränkungen.
  • Beachten Sie, dass wir finden Sie links zu den Entwurf Normen hier.
  • Hinweis: Sie können immer wrap mehr Klammern um ihn herum: { int i; do {...}while(...); }.
  • Ich glaube, dass C++, wie C, ist parseable von einem single-pass-parser, und hier wird der compiler nicht sieht, dass die Deklaration bis an das Ende der while-Schleife.
  • Ich habe eine follow-up-Frage, die hier stackoverflow.com/questions/27460527/...
InformationsquelleAutor user4351360 | 2014-12-11
  1. 38

    Wie es scheint, scoping wäre die Frage, was wäre der Umfang der i erklärt in der while Teil einer do while Aussage? Es scheint eher unnatürlich, um eine variable innerhalb der Schleife, wenn die Erklärung ist eigentlich unter der Schleife selbst. Sie don ' T haben dieses Problem mit den anderen loops, da die Erklärungen kommt, bevor der Körper der Schleife.

    Wenn wir uns die Entwurf der C++ - standard Abschnitt [stmt festgelegt.während]p2 wir sehen, dass für die while-Anweisung, dass:

    while (T t = x) statement

    ist äquivalent zu:

    label:
{ //start of condition scope
    T t = x;
    if (t) {
        statement
    goto label;
    }
} //end of condition scope

    und:

    Die variable erstellt, die in einem Zustand ist zerstört und schuf mit jeder iteration der Schleife.

    Wie würden wir formulieren diese für die do while Fall?

    und als cdhowie Punkte aus, wenn wir uns an Abschnitt [stmt festgelegt.tun], p2 es sagt (Hervorhebung von mir):

    In der do-Anweisung die substatement wird wiederholt ausgeführt, bis die
    Wert des Ausdrucks false ausgewertet wird. Der test erfolgt nach jedem
    die Ausführung der Anweisung.

    was bedeutet, dass der Körper der Schleife ausgewertet wird, bevor wir überhaupt erreichen würde die Erklärung.

    Während wir erstellen könnten, eine Ausnahme für diesen Fall würde es gegen unsere intuitiven Sinn, dass im Allgemeinen der Punkt, der Deklaration für ein name ist, nachdem wir die vollständige Erklärung (- mit einigen Ausnahmen-beispielsweise für Variablen in einer Klasse) mit unklarer nutzen. Punkt der Erklärung bedeckt ist, die in Abschnitt 3.3.2.

    • Ich dachte nur, geben diese Antwort (z.B. ein Beispiel), aber das wäre das gleiche wie shadowing i innerhalb einer for() Schleifen Körper. Die ratioale muss etwas anderes sein.
    • Ich denke, die Antwort ist mehr darüber, wie es würde nicht wirklich Sinn machen für die Deklaration von Variablen zu kommen nachdem in der Schleife, in der es gilt, nicht über alle Möglichkeiten für shadowing.
    • (Vor allem, da der Körper eine do...while-Schleife wird einmal ausgeführt, bevor die Bedingung wird auch ausgewertet, so dass die Inbetriebnahme eine Erklärung, insbesondere eine mit der Zuteilung, in der Schleife Zustand wirklich keinen Sinn.)
    • Gut, die auseinander-Beispiel macht es eine gute Erklärung für die Beweggründe.
    InformationsquelleAutor Shafik Yaghmour
  2. 20

    Es gibt mehrere Gründe, warum es schwierig wäre, zu ermöglichen.

    Die Sprache hält sich an die Regel, dass alles, was erklärt werden sollte oben der Punkt der Nutzung. In diesem Fall wird die variable deklariert, in do-while würde deklariert werden unten wird die erwartete Natürliche Rahmen (der Zyklus Körper). Machen Sie diese variable zugänglich im Zyklus würde haben benötigt eine spezielle Behandlung für do-while Zyklen. Auch wenn wir wissen, Beispiele für eine solche spezielle Behandlung (z.B. in-class-member-Funktion stellen alle Schüler, auch diejenigen, die erklärt unten), gibt es wahrscheinlich nicht viel praktischen Sinn, es zu tun, für do-while Zyklen.

    Im Falle von do-while diese spezielle Behandlung Regeln würde auch erfordern zu finden eine sinnvolle Art des Umgangs mit der Initialisierung der deklarierten Variablen in dieser Art und Weise. Beachten Sie, dass in C++ - Sprache die Lebensdauer solcher Variablen beschränkt sich auf eine iteration der Schleife, d.h. die variable, die erstellt und zerstört, auf jeder iteration. Das bedeutet, dass für do-while Zyklus die variable immer bleiben wird nicht initialisiert, es sei denn, Sie stellen einige Regel irgendwie verschieben der Initialisierung der Anfang von der Schleife. Das wäre ziemlich unübersichtlich meiner Meinung nach.

    InformationsquelleAutor AnT
  3. 8

    Es wäre sehr unnatürlich, um eine Erklärung der i nach dem block und dann in der Lage sein, um es in den block. Erklärung in for und while sind schön kurz-Hände, die geben, beschränkt-Rahmen verwenden, um eine variable, die benötigt wird in der loop-Logik.

    Cleaner, um es zu tun auf diese Weise:

    int i;
do {
  i = get_data();
  //whatever you want to do with i;
} while (i != 0);
    InformationsquelleAutor sfjac
  4. 5

    Dies ist, weil alles andere folgt die Praxis der Deklaration von Variablen, bevor Sie Sie verwenden, wie zB:

    public static void main(String[] args){ 
  //scope of args
}

for(int i=1; i<10; i++){
  //scope of i
}


{
...
int somevar;
//begin scope of var

...

//end of scope of var
}

    Dies ist, weil die Dinge analysiert werden, top-down, und weil diese Konvention hält die Dinge intuitiv so, warum können Sie erklären eine ganze Weile(int var < 10), weil der Umfang der var wird der Bereich innerhalb der Schleife, nach der Erklärung.

    Do while macht keinen Sinn, eine variable zu deklarieren, weil der Rahmen wäre Ende in der gleichen Zeit, es würde überprüft werden, da, wenn der block fertig ist.

    InformationsquelleAutor davidahines
  5. 0

    Fügen Sie diese

    #define do(cond) switch (cond) do default:

    am Anfang des Codes.

    Nun, Sie können schreiben,

    do (int i = get_data()) 
{

    //your code

} while ((i = get_data()));

    Ist es wichtig, dass diese #define bricht nicht die ursprüngliche syntax der do Schlüsselwort in der do-while-Schleife.

    Allerdings, ich gebe zu, es ist unklar.

    InformationsquelleAutor DaBler
  6. -2

    Ihre erste syntax ist gültig, während die zweite nicht.
    Aber deine while-Schleife wird die Schleife für immer, auch wenn Ihre Funktion get_data() gibt 0 zurück.
    Nicht sicher, ob das ist genau das, was Sie wollen passieren.

    • Die Frage, die regelrechte Staaten ein Beispiel ist gültig und die andere nicht; die Frage ist, zu Fragen, warum - die Sprache angegeben ist, diese Weise. (Im Gegensatz zu den meisten SO Fragen, ist dies nicht eine "debug-mein code für mich" Frage.)
    InformationsquelleAutor Muiz Abadan
Schreibe einen Kommentar