Oto punkt odniesienia dla przypadku, gdy operatorzy przyrostowi znajdują się w różnych jednostkach tłumaczeniowych. Kompilator z g ++ 4.5.
Na razie zignoruj problemy ze stylem
// a.cc
#include <ctime>
#include <array>
class Something {
public:
Something& operator++();
Something operator++(int);
private:
std::array<int,PACKET_SIZE> data;
};
int main () {
Something s;
for (int i=0; i<1024*1024*30; ++i) ++s; // warm up
std::clock_t a = clock();
for (int i=0; i<1024*1024*30; ++i) ++s;
a = clock() - a;
for (int i=0; i<1024*1024*30; ++i) s++; // warm up
std::clock_t b = clock();
for (int i=0; i<1024*1024*30; ++i) s++;
b = clock() - b;
std::cout << "a=" << (a/double(CLOCKS_PER_SEC))
<< ", b=" << (b/double(CLOCKS_PER_SEC)) << '\n';
return 0;
}
Przyrost O (n)
Test
// b.cc
#include <array>
class Something {
public:
Something& operator++();
Something operator++(int);
private:
std::array<int,PACKET_SIZE> data;
};
Something& Something::operator++()
{
for (auto it=data.begin(), end=data.end(); it!=end; ++it)
++*it;
return *this;
}
Something Something::operator++(int)
{
Something ret = *this;
++*this;
return ret;
}
Wyniki
Wyniki (czasy w sekundach) z g ++ 4.5 na maszynie wirtualnej:
Flags (--std=c++0x) ++i i++
-DPACKET_SIZE=50 -O1 1.70 2.39
-DPACKET_SIZE=50 -O3 0.59 1.00
-DPACKET_SIZE=500 -O1 10.51 13.28
-DPACKET_SIZE=500 -O3 4.28 6.82
Przyrost O (1)
Test
Weźmy teraz następujący plik:
// c.cc
#include <array>
class Something {
public:
Something& operator++();
Something operator++(int);
private:
std::array<int,PACKET_SIZE> data;
};
Something& Something::operator++()
{
return *this;
}
Something Something::operator++(int)
{
Something ret = *this;
++*this;
return ret;
}
Przyrostu nie robi nic. To symuluje przypadek, gdy przyrost ma stałą złożoność.
Wyniki
Wyniki są teraz bardzo różne:
Flags (--std=c++0x) ++i i++
-DPACKET_SIZE=50 -O1 0.05 0.74
-DPACKET_SIZE=50 -O3 0.08 0.97
-DPACKET_SIZE=500 -O1 0.05 2.79
-DPACKET_SIZE=500 -O3 0.08 2.18
-DPACKET_SIZE=5000 -O3 0.07 21.90
Wniosek
Pod względem wydajności
Jeśli nie potrzebujesz poprzedniej wartości, nawyk korzystania ze wstępnego przyrostu. Zachowaj spójność nawet z wbudowanymi typami, przyzwyczaisz się do tego i nie ryzykujesz niepotrzebnej utraty wydajności, jeśli kiedykolwiek zastąpisz typ wbudowany niestandardowym typem.
Semantycznie
i++mówi increment i, I am interested in the previous value, though.++imówi increment i, I am interested in the current valuelub increment i, no interest in the previous value. Ponownie przyzwyczaisz się do tego, nawet jeśli nie jesteś teraz.
Knuth.
Przedwczesna optymalizacja jest źródłem wszelkiego zła. Podobnie jak przedwczesna pesymizacja.