std::random...td::shuffle(3)

πŸ“¦ version 2024.07.05, in nixpkgs unstable, opensuse-leap 16.0

✨ NAME ✨

std::random_shuffle,std::shuffle β€” std::random_shuffle,std::shuffle.

okay so this is the std::random_shuffle / std::shuffle page from the C++ Standard Libary manual (yes, β€œLibary” is literally how the manual name is spelled up there, and we respect the typo πŸŽ€). It’s giving β€œtwo shuffle-ish functions, one of them kinda problematic, and a whole lot of template energy.”


🌸 Synopsis 🌸

Defined in header <algorithm>.

  • Overload (1) β€” (deprecated in C++14), (removed in C++17):
template< class RandomIt >
void random_shuffle( RandomIt first, RandomIt last );
  • Overload (2), RandomFunc& version β€” (until C++11):
template< class RandomIt, class RandomFunc >
void random_shuffle( RandomIt first, RandomIt last, RandomFunc& r );
  • Overload (2), RandomFunc&& version β€” (since C++11), (deprecated in C++14), (removed in C++17):
template< class RandomIt, class RandomFunc >
void random_shuffle( RandomIt first, RandomIt last, RandomFunc&& r );
  • Overload (3) β€” (since C++11):
template< class RandomIt, class URBG >
void shuffle( RandomIt first, RandomIt last, URBG&& g );

So what does it do? It reorders the elements in the range [first, last) so that every possible permutation of those elements has an equal probability of appearing. literally the β€œmake it random but fair” vibe check πŸ’….

  1. The source of randomness is implementation-defined, but the function std::rand is often used.
  2. The source of randomness is the function object r. If any of these conditions is satisfied, the behavior is undefined:
    • The return type of r is not convertible to std::iterator_traits<RandomIt>::difference_type.
    • Given a positive value n of type std::iterator_traits<RandomIt>::difference_type, the result of r(n) is not a randomly chosen value in the interval [0, n).
  3. The source of randomness is the object g. Given the type T as std::remove_reference_t<URBG>, if any of these conditions is satisfied, the behavior is undefined:
    • T is not a UniformRandomBitGenerator.
    • T::result_type is not convertible to std::iterator_traits<RandomIt>::difference_type (until C++20).
Also, if the type of *first is not Swappable (until C++11), or RandomIt is not ValueSwappable (since C++11), the behavior is undefined. no cap, that’s a whole yikes 😭.

🫢 Parameters 🫢

  • first, last β€” the range of elements to shuffle randomly.
  • r β€” function object returning a randomly chosen value.
  • g β€” generator object returning a randomly chosen value.

πŸ¦‹ Type requirements πŸ¦‹

  • RandomIt must meet the requirements of LegacyRandomAccessIterator.

⭐ Complexity ⭐

Exactly std::distance(first, last) - 1 swaps.

πŸŽ€ Possible implementation πŸŽ€

See also the implementations in libstdc++ and libc++.

random_shuffle (1)

template<class RandomIt>
void random_shuffle(RandomIt first, RandomIt last)
{
    typedef typename std::iterator_traits<RandomIt>::difference_type diff_t;

    for (diff_t i = last - first - 1; i > 0; --i)
    {
        using std::swap;
        swap(first[i], first[std::rand() % (i + 1)]);
        // rand() % (i + 1) is not actually correct, because the generated number is
        // not uniformly distributed for most values of i. The correct code would be
        // a variation of the C++11 std::uniform_int_distribution implementation.
    }
}

random_shuffle (2)

template<class RandomIt, class RandomFunc>
void random_shuffle(RandomIt first, RandomIt last, RandomFunc&& r)
{
    typedef typename std::iterator_traits<RandomIt>::difference_type diff_t;

    for (diff_t i = last - first - 1; i > 0; --i)
    {
        using std::swap;
        swap(first[i], first[r(i + 1)]);
    }
}

shuffle (3)

template<class RandomIt, class URBG>
void shuffle(RandomIt first, RandomIt last, URBG&& g)
{
    typedef typename std::iterator_traits<RandomIt>::difference_type diff_t;
    typedef std::uniform_int_distribution<diff_t> distr_t;
    typedef typename distr_t::param_type param_t;

    distr_t D;
    for (diff_t i = last - first - 1; i > 0; --i)
    {
        using std::swap;
        swap(first[i], first[D(g, param_t(0, i))]);
    }
}

🌈 Notes 🌈

Bestie, the implementation is not dictated by the standard, so even if you use exactly the same RandomFunc or URBG (Uniform Random Number Generator), you may get different results with different standard library implementations. it’s giving β€œsame input, different aura” πŸ™ˆ.

The reason for removing std::random_shuffle in C++17 is that the iterator-only version usually depends on std::rand, which is now also discussed for deprecation. (std::rand should be replaced with the classes of the <random> header, as std::rand is considered harmful.) In addition, the iterator-only std::random_shuffle version usually depends on a global state. The std::shuffle’s shuffle algorithm is the preferred replacement, as it uses a URBG as its 3rd parameter. periodt πŸ’….


πŸ“ Example πŸ“

Randomly shuffles the sequence [1, 10] of integers:

// Run this code

#include <algorithm>
#include <iostream>
#include <iterator>
#include <random>
#include <vector>

int main()
{
    std::vector<int> v{1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

    std::random_device rd;
    std::mt19937 g(rd());

    std::shuffle(v.begin(), v.end(), g);

    std::copy(v.begin(), v.end(), std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
}

Possible output:

8 6 10 4 2 3 7 1 9 5

πŸ’œ Defect reports πŸ’œ

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

  • LWG 395 β€” Applied to C++98 β€” Behavior as published: the source of randomness of overload (1) was not specified, and std::rand could not be the source due to the C library requirement β€” Correct behavior: it is implementation-defined, and using std::rand is allowed.
  • LWG 552 (N2423) β€” Applied to C++98 β€” Behavior as published: r was not required to be the source of randomness of overload (2)^[1] β€” Correct behavior: required.
^[1] Overload (3) has the same defect, but that part of the resolution is not applicable to C++98.

πŸ‘‘ See also πŸ‘‘

  • next_permutation β€” generates the next greater lexicographic permutation of a range of elements (function template).
  • prev_permutation β€” generates the next smaller lexicographic permutation of a range of elements (function template).
  • ranges::shuffle (C++20) β€” randomly re-orders elements in a range (niebloid).

okay that’s the whole page, bestie πŸ’– shoutout to the source/version http://cppreference.com and the date 2024.06.10 β€” slay, bye πŸ¦‹

πŸ“¦ where this page comes from