diff --git a/libstdc++-v3/include/bits/ranges_algo.h b/libstdc++-v3/include/bits/ranges_algo.h index 0d1928d52a2..4330d3e70b8 100644 --- a/libstdc++-v3/include/bits/ranges_algo.h +++ b/libstdc++-v3/include/bits/ranges_algo.h @@ -1850,8 +1850,7 @@ namespace ranges using __distrib_type = uniform_int_distribution<_Size>; using __param_type = typename __distrib_type::param_type; using _USize = __detail::__make_unsigned_like_t<_Size>; - using __uc_type - = common_type_t::result_type, _USize>; + using __uc_type = common_type_t; if (__first == __last) return __out; @@ -1964,9 +1963,7 @@ namespace ranges using __ud_type = __detail::__make_unsigned_like_t<_DistanceType>; using __distr_type = std::uniform_int_distribution<__ud_type>; using __p_type = typename __distr_type::param_type; - - using __uc_type - = common_type_t::result_type, __ud_type>; + using __uc_type = common_type_t; if constexpr (sized_sentinel_for<_Sent, _Iter>) { diff --git a/libstdc++-v3/include/bits/uniform_int_dist.h b/libstdc++-v3/include/bits/uniform_int_dist.h index dcf763ae764..9c5514c7c13 100644 --- a/libstdc++-v3/include/bits/uniform_int_dist.h +++ b/libstdc++-v3/include/bits/uniform_int_dist.h @@ -288,7 +288,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION operator()(_UniformRandomBitGenerator& __urng, const param_type& __param) { - typedef typename _UniformRandomBitGenerator::result_type _Gresult_type; + typedef decltype(__urng()) _Gresult_type; typedef typename make_unsigned::type __utype; typedef typename common_type<_Gresult_type, __utype>::type __uctype; @@ -386,7 +386,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION const param_type& __param) { __glibcxx_function_requires(_ForwardIteratorConcept<_ForwardIterator>) - typedef typename _UniformRandomBitGenerator::result_type _Gresult_type; + typedef decltype(__urng()) _Gresult_type; typedef typename make_unsigned::type __utype; typedef typename common_type<_Gresult_type, __utype>::type __uctype; diff --git a/libstdc++-v3/testsuite/25_algorithms/sample/121919.cc b/libstdc++-v3/testsuite/25_algorithms/sample/121919.cc new file mode 100644 index 00000000000..9fdfbf560c7 --- /dev/null +++ b/libstdc++-v3/testsuite/25_algorithms/sample/121919.cc @@ -0,0 +1,28 @@ +// { dg-do compile { target c++20 } } + +// Bug 121919 ranges::sample assumes a uniform_random_bit_generator +// provides result_type + +#include +#include + +struct G +{ + constexpr static unsigned min() { return 0; } + constexpr static unsigned max() { return 10; } + unsigned operator()() const; +}; + +static_assert(std::uniform_random_bit_generator); + +void +test_pr121919() +{ + int i2[2]{ 1, 2 }; + __gnu_test::test_random_access_range from(i2); + int i1[1]; + __gnu_test::test_random_access_range to(i1); + std::ranges::sample(from, std::ranges::begin(to), 1, G{}); + std::ranges::sample(std::ranges::begin(from), std::ranges::end(to), + std::ranges::begin(to), 1, G{}); +} diff --git a/libstdc++-v3/testsuite/25_algorithms/shuffle/121919.cc b/libstdc++-v3/testsuite/25_algorithms/shuffle/121919.cc new file mode 100644 index 00000000000..9425394c50e --- /dev/null +++ b/libstdc++-v3/testsuite/25_algorithms/shuffle/121919.cc @@ -0,0 +1,25 @@ +// { dg-do compile { target c++20 } } + +// Bug 121919 ranges::shuffle assumes a uniform_random_bit_generator +// provides result_type + +#include +#include + +struct G +{ + constexpr static unsigned min() { return 0; } + constexpr static unsigned max() { return 10; } + unsigned operator()() const; +}; + +static_assert(std::uniform_random_bit_generator); + +void +test_pr121919() +{ + int arr[2]{ 1, 2 }; + __gnu_test::test_random_access_range r(arr); + std::ranges::shuffle(r, G{}); + std::ranges::shuffle(std::ranges::begin(r), std::ranges::end(r), G{}); +}