Ich habe zwei Funktionen geschrieben, die eigentlich exakt denselben Wert zurückgeben sollten:

key_t board_c::generate_random_key_1(void) {
  key_t result;

  result = 0;

  result += key_t(rand() & 15);
  result += key_t(rand() & 15) << 4;
  result += key_t(rand() & 15) << 8;
  result += key_t(rand() & 15) << 12;
  result += key_t(rand() & 15) << 16;
  result += key_t(rand() & 15) << 20;
  result += key_t(rand() & 15) << 24;
  result += key_t(rand() & 15) << 28;
  result += key_t(rand() & 15) << 32;
  result += key_t(rand() & 15) << 36;
  result += key_t(rand() & 15) << 40;
  result += key_t(rand() & 15) << 44;
  result += key_t(rand() & 15) << 48;
  result += key_t(rand() & 15) << 52;
  result += key_t(rand() & 15) << 56;
  result += key_t(rand() & 15) << 60;

  return result;
}

key_t board_c::generate_random_key_2(void) {
  return
    (key_t(rand() & 15)) +
    (key_t(rand() & 15) << 4) +
    (key_t(rand() & 15) << 8) +
    (key_t(rand() & 15) << 12) +
    (key_t(rand() & 15) << 16) +
    (key_t(rand() & 15) << 20) +
    (key_t(rand() & 15) << 24) +
    (key_t(rand() & 15) << 28) +
    (key_t(rand() & 15) << 32) +
    (key_t(rand() & 15) << 36) +
    (key_t(rand() & 15) << 40) +
    (key_t(rand() & 15) << 44) +
    (key_t(rand() & 15) << 48) +
    (key_t(rand() & 15) << 52) + 
    (key_t(rand() & 15) << 56) +
    (key_t(rand() & 15) << 60);
}

Das tun sie aber nicht, die generierten Zufallszahlen sind nicht identisch. Natürlich habe ich den Zufallsgenerator zuvor initialisiert, damit rand() diesselben Zahlen produziert.

Ich vermute, die Reihenfolge bei der Addition in der zweiten Funktion wird vom Compiler verändert. Kann das sein? Oder aus welchen Gründen produzieren die beiden Funktionen unterschiedliche Pseudo-Zufallszahlen?

Danke!

DJohn

Kleines Beispiel:

unsigned u =  (unsigned(rand()) & 15) +
             ((unsigned(rand()) & 15) << 4);

Hier ist der dazugehörige Baum:

+
         &                 <<
       /   \          &         4
 unsigned  15       /   \
     |        unsigned  15
   rand()         |
                rand()

Der Compiler darf jetzt, wenn er will, das rechte rand() zuerst aufrufen.

Gruß,
SP

Und warum wird die Reihenfolge nicht vom Standard definiert? Sind dadurch irgendwelche Geschwindigkeitsoptimierungen möglich?

genau das