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

Beispiel (b) hat eine andere Bedeutung als Beispiel (a), und der Compiler muss es so interpretieren, wie Sie es schreiben.

Wenn ich (aus irgendeinem erfundenen Grund, der mir nicht einfällt) einen Code geschrieben habe, der dies ermöglicht:

for( int i(0);i < vec.length(); ++i)
{
    if(i%4 == 0)
       vec.push_back(Widget());
}

Ich hätte wirklich nicht gewollt, dass der Compiler jeden Aufruf von vec.length() optimiert, weil ich dann andere Ergebnisse erhalten würde.

Answer 2

Ich mag:

for (int i = 0, e = vec.length(); i != e; ++i)

Natürlich würde dies auch für Iteratoren funktionieren:

for (vector<int>::const_iterator i = v.begin(), e = v.end(); i != e; ++i)

Ich mag das, weil es sowohl effizient ist (Aufruf end() nur ein einziges Mal), und auch relativ kurz (man muss nur die vector<int>::const_iterator einmal).

Answer 3

Ich bin überrascht, dass niemand das Offensichtliche gesagt hat:

In 99,99 % der Fälle spielt das keine Rolle.

Es sei denn, Sie verwenden einen Container, in dem die Berechnung size() eine teure Operation ist, ist es unvorstellbar, dass Ihr Programm auch nur ein paar Nanosekunden langsamer wird. Ich würde sagen, bleiben Sie bei der besser lesbaren Variante, bis Sie ein Profil Ihres Codes erstellen und feststellen, dass size() ist ein Engpass.

Answer 4

Hier gibt es zwei Fragen zu diskutieren:

1. Der Umfang der Variablen
2. Die Neubewertung der Endbedingungen

Variabler Umfang

Normalerweise brauchen Sie die Schleifenvariable nicht außerhalb der Schleife sichtbar zu machen. Deshalb können Sie sie innerhalb der for konstruieren.

Neubewertung des Endzustands

Andrew Shepherd hat es sehr schön ausgedrückt: Es bedeutet etwas anderes, einen Funktionsaufruf in die Endbedingung zu setzen:

for( vector<...>::size_type i = 0; i < v.size(); ++i ) { // vector size may grow.
   if( ... ) v.push_back( i ); // contrived, but possible
}

// note: this code may be replaced by a std::for_each construct, the previous can't.
for( vector<...>::size_type i = 0, elements = v.size(); i != elements; ++i ) {
}

Answer 5

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.