Gewährleistet `std :: shuffle` die gleiche Reihenfolge mit demselben Seed auf verschiedenen Vektoren?

Question

Ich habe zwei Vektoren mit der gleichen Anzahl von Elementen, aber ihre Typen haben völlig unterschiedliche Größen. Ich muss sie mischen, so dass beide nach dem Mischen die exakt gleiche Reihenfolge haben (jedes Element in einem Vektor steht mit jedem Element im anderen in Beziehung). Die Art, wie ich fand, es zu tun war:

// sizeof(a[0]) != sizeof(b[0]) 
// a.size() == b.size() 
{ 
    std::mt19937 g(same_seed); 
    std::shuffle(a.begin(), a.end(), g); 
} 
{ 
    std::mt19937 g(same_seed); 
    std::shuffle(b.begin(), b.end(), g); 
} 

Kann ich sicher sein, dass beide Vektoren die gleiche Art und Weise gemischt werden? Ist diese Implementierung abhängig? Habe ich eine solche Garantie von std::shuffle Spezifikation?

Answer 1

Es gibt eine interessante Aussage über shuffle in der Spezifikation:

Bemerkungen: In dem Maß, dass die Implementierung dieser Funktion Verwendung von Zufallszahlen macht, das Objekt g wird als die Quelle der Zufälligkeit der Umsetzung dienen.

Trotzdem hilft diese Aussage Ihnen nicht. Der Abschnitt "Bemerkungen" ist ein normativer Text, also besagt das, dass g die Zufallszahlen zur Verfügung stellt, um die gemischte Reihenfolge zu bestimmen. Es erklärt jedoch nicht, dass g der einzige Faktor ist, der die Permutation bestimmt.

Während die Größe des Werts des Containers wahrscheinlich keine Rolle spielt, gibt es keine Garantie, dass eine Eigenschaft des Typs etwas nicht beeinträchtigen würde. Wenn der Werttyp beispielsweise trivial kopierbar ist, könnte eine Implementierung eine andere Version der Funktion verwenden, die einen etwas anderen Algorithmus verwendet. Wenn es sich jedoch um einen registergroßen Wert handelt, ist dies möglicherweise nicht der Fall.

Kurz gesagt, nein, std::shuffle garantiert nicht das, wonach Sie suchen.