c++ für Schleife temporäre Variable verwenden

Question

Welche der folgenden Möglichkeiten ist besser und warum? (Speziell für C++)

a.

int i(0), iMax(vec.length());//vec is a container, say std::vector
for(;i < iMax; ++i)
{
  //loop body
}

b.

for( int i(0);i < vec.length(); ++i)
{
  //loop body
}

Ich habe Ratschläge für (a) wegen des Aufrufs der Längenfunktion gesehen. Das beunruhigt mich. Optimiert nicht jeder moderne Compiler (b) so, dass es ähnlich wie (a) ist?

Answer 1

Sofern Sie die Schleifenvariable nicht außerhalb der Schleife benötigen, ist der zweite Ansatz vorzuziehen.

Mit Iteratoren erhalten Sie eine ebenso gute oder bessere Leistung. (Es gab einen großen Vergleich Thread auf comp.lang.c++.moderated ein paar Jahren zurück).

Außerdem würde ich Folgendes verwenden

int i = 0;

Anstelle der konstruktorähnlichen Syntax, die Sie verwenden. Obwohl gültig, ist es nicht idiomatisch.

Answer 2

Das hat nichts damit zu tun:

Warnung: Vergleich zwischen Ganzzahl mit und ohne Vorzeichen.

Der richtige Typ für Array- und Vektorindizes ist größe_t .

Streng nach gesprochen, in C++ ist es sogar std::vector<>::size_type .

Erstaunlich, wie viele C/C++-Entwickler dies immer noch falsch verstehen.

Answer 3

Schauen wir uns den generierten Code an (ich verwende MSVS 2008 mit voller Optimierung).

a.

int i(0), iMax(vec.size());//vec is a container, say std::vector
for(;i < iMax; ++i)
{
  //loop body
}

Die for-Schleife erzeugt 2 Assembler-Befehle.

b.

for( int i(0);i < vec.size(); ++i)
{
  //loop body
}

Die for-Schleife erzeugt 8 Assembler-Anweisungen. vec.size() ist erfolgreich inlined.

c.

for (std::vector<int>::const_iterator i = vec.begin(), e = vec.end(); i != e; ++i)
{
  //loop body
}

Die for-Schleife erzeugt 15 Assembler-Befehle (alles ist inline, aber der Code enthält viele Sprünge)

Wenn Ihre Anwendung also leistungskritisch ist, verwenden Sie a). Andernfalls b) oder c).

Answer 4

Es ist zu beachten, dass die Iterator-Beispiele:

for (vector<T>::iterator it=vec.begin();it!=vec.end();it++){
 //loop body
}

könnte den Schleifen-Iterator 'it' ungültig machen, wenn der Schleifenkörper eine Neuzuweisung des Vektors verursacht. Daher ist es nicht äquivalent zu

for (int i=0;i<vec.size();++i){
 //loop body
}

wobei der Schleifenkörper Elemente zu vec hinzufügt.

Answer 5

Einfache Frage: Ändern Sie die vec in der Schleife?

Die Antwort auf diese Frage wird auch zu Ihrer Antwort führen.

jrh