1*38fd1498Szrj // Class template uniform_int_distribution -*- C++ -*-
2*38fd1498Szrj
3*38fd1498Szrj // Copyright (C) 2009-2018 Free Software Foundation, Inc.
4*38fd1498Szrj //
5*38fd1498Szrj // This file is part of the GNU ISO C++ Library. This library is free
6*38fd1498Szrj // software; you can redistribute it and/or modify it under the
7*38fd1498Szrj // terms of the GNU General Public License as published by the
8*38fd1498Szrj // Free Software Foundation; either version 3, or (at your option)
9*38fd1498Szrj // any later version.
10*38fd1498Szrj
11*38fd1498Szrj // This library is distributed in the hope that it will be useful,
12*38fd1498Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of
13*38fd1498Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14*38fd1498Szrj // GNU General Public License for more details.
15*38fd1498Szrj
16*38fd1498Szrj // Under Section 7 of GPL version 3, you are granted additional
17*38fd1498Szrj // permissions described in the GCC Runtime Library Exception, version
18*38fd1498Szrj // 3.1, as published by the Free Software Foundation.
19*38fd1498Szrj
20*38fd1498Szrj // You should have received a copy of the GNU General Public License and
21*38fd1498Szrj // a copy of the GCC Runtime Library Exception along with this program;
22*38fd1498Szrj // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23*38fd1498Szrj // <http://www.gnu.org/licenses/>.
24*38fd1498Szrj
25*38fd1498Szrj /**
26*38fd1498Szrj * @file bits/uniform_int_dist.h
27*38fd1498Szrj * This is an internal header file, included by other library headers.
28*38fd1498Szrj * Do not attempt to use it directly. @headername{random}
29*38fd1498Szrj */
30*38fd1498Szrj
31*38fd1498Szrj #ifndef _GLIBCXX_BITS_UNIFORM_INT_DIST_H
32*38fd1498Szrj #define _GLIBCXX_BITS_UNIFORM_INT_DIST_H
33*38fd1498Szrj
34*38fd1498Szrj #include <type_traits>
35*38fd1498Szrj #include <limits>
36*38fd1498Szrj
_GLIBCXX_VISIBILITY(default)37*38fd1498Szrj namespace std _GLIBCXX_VISIBILITY(default)
38*38fd1498Szrj {
39*38fd1498Szrj _GLIBCXX_BEGIN_NAMESPACE_VERSION
40*38fd1498Szrj
41*38fd1498Szrj namespace __detail
42*38fd1498Szrj {
43*38fd1498Szrj /* Determine whether number is a power of 2. */
44*38fd1498Szrj template<typename _Tp>
45*38fd1498Szrj inline bool
46*38fd1498Szrj _Power_of_2(_Tp __x)
47*38fd1498Szrj {
48*38fd1498Szrj return ((__x - 1) & __x) == 0;
49*38fd1498Szrj }
50*38fd1498Szrj }
51*38fd1498Szrj
52*38fd1498Szrj /**
53*38fd1498Szrj * @brief Uniform discrete distribution for random numbers.
54*38fd1498Szrj * A discrete random distribution on the range @f$[min, max]@f$ with equal
55*38fd1498Szrj * probability throughout the range.
56*38fd1498Szrj */
57*38fd1498Szrj template<typename _IntType = int>
58*38fd1498Szrj class uniform_int_distribution
59*38fd1498Szrj {
60*38fd1498Szrj static_assert(std::is_integral<_IntType>::value,
61*38fd1498Szrj "template argument must be an integral type");
62*38fd1498Szrj
63*38fd1498Szrj public:
64*38fd1498Szrj /** The type of the range of the distribution. */
65*38fd1498Szrj typedef _IntType result_type;
66*38fd1498Szrj /** Parameter type. */
67*38fd1498Szrj struct param_type
68*38fd1498Szrj {
69*38fd1498Szrj typedef uniform_int_distribution<_IntType> distribution_type;
70*38fd1498Szrj
71*38fd1498Szrj explicit
72*38fd1498Szrj param_type(_IntType __a = 0,
73*38fd1498Szrj _IntType __b = std::numeric_limits<_IntType>::max())
74*38fd1498Szrj : _M_a(__a), _M_b(__b)
75*38fd1498Szrj {
76*38fd1498Szrj __glibcxx_assert(_M_a <= _M_b);
77*38fd1498Szrj }
78*38fd1498Szrj
79*38fd1498Szrj result_type
80*38fd1498Szrj a() const
81*38fd1498Szrj { return _M_a; }
82*38fd1498Szrj
83*38fd1498Szrj result_type
84*38fd1498Szrj b() const
85*38fd1498Szrj { return _M_b; }
86*38fd1498Szrj
87*38fd1498Szrj friend bool
88*38fd1498Szrj operator==(const param_type& __p1, const param_type& __p2)
89*38fd1498Szrj { return __p1._M_a == __p2._M_a && __p1._M_b == __p2._M_b; }
90*38fd1498Szrj
91*38fd1498Szrj friend bool
92*38fd1498Szrj operator!=(const param_type& __p1, const param_type& __p2)
93*38fd1498Szrj { return !(__p1 == __p2); }
94*38fd1498Szrj
95*38fd1498Szrj private:
96*38fd1498Szrj _IntType _M_a;
97*38fd1498Szrj _IntType _M_b;
98*38fd1498Szrj };
99*38fd1498Szrj
100*38fd1498Szrj public:
101*38fd1498Szrj /**
102*38fd1498Szrj * @brief Constructs a uniform distribution object.
103*38fd1498Szrj */
104*38fd1498Szrj explicit
105*38fd1498Szrj uniform_int_distribution(_IntType __a = 0,
106*38fd1498Szrj _IntType __b = std::numeric_limits<_IntType>::max())
107*38fd1498Szrj : _M_param(__a, __b)
108*38fd1498Szrj { }
109*38fd1498Szrj
110*38fd1498Szrj explicit
111*38fd1498Szrj uniform_int_distribution(const param_type& __p)
112*38fd1498Szrj : _M_param(__p)
113*38fd1498Szrj { }
114*38fd1498Szrj
115*38fd1498Szrj /**
116*38fd1498Szrj * @brief Resets the distribution state.
117*38fd1498Szrj *
118*38fd1498Szrj * Does nothing for the uniform integer distribution.
119*38fd1498Szrj */
120*38fd1498Szrj void
121*38fd1498Szrj reset() { }
122*38fd1498Szrj
123*38fd1498Szrj result_type
124*38fd1498Szrj a() const
125*38fd1498Szrj { return _M_param.a(); }
126*38fd1498Szrj
127*38fd1498Szrj result_type
128*38fd1498Szrj b() const
129*38fd1498Szrj { return _M_param.b(); }
130*38fd1498Szrj
131*38fd1498Szrj /**
132*38fd1498Szrj * @brief Returns the parameter set of the distribution.
133*38fd1498Szrj */
134*38fd1498Szrj param_type
135*38fd1498Szrj param() const
136*38fd1498Szrj { return _M_param; }
137*38fd1498Szrj
138*38fd1498Szrj /**
139*38fd1498Szrj * @brief Sets the parameter set of the distribution.
140*38fd1498Szrj * @param __param The new parameter set of the distribution.
141*38fd1498Szrj */
142*38fd1498Szrj void
143*38fd1498Szrj param(const param_type& __param)
144*38fd1498Szrj { _M_param = __param; }
145*38fd1498Szrj
146*38fd1498Szrj /**
147*38fd1498Szrj * @brief Returns the inclusive lower bound of the distribution range.
148*38fd1498Szrj */
149*38fd1498Szrj result_type
150*38fd1498Szrj min() const
151*38fd1498Szrj { return this->a(); }
152*38fd1498Szrj
153*38fd1498Szrj /**
154*38fd1498Szrj * @brief Returns the inclusive upper bound of the distribution range.
155*38fd1498Szrj */
156*38fd1498Szrj result_type
157*38fd1498Szrj max() const
158*38fd1498Szrj { return this->b(); }
159*38fd1498Szrj
160*38fd1498Szrj /**
161*38fd1498Szrj * @brief Generating functions.
162*38fd1498Szrj */
163*38fd1498Szrj template<typename _UniformRandomNumberGenerator>
164*38fd1498Szrj result_type
165*38fd1498Szrj operator()(_UniformRandomNumberGenerator& __urng)
166*38fd1498Szrj { return this->operator()(__urng, _M_param); }
167*38fd1498Szrj
168*38fd1498Szrj template<typename _UniformRandomNumberGenerator>
169*38fd1498Szrj result_type
170*38fd1498Szrj operator()(_UniformRandomNumberGenerator& __urng,
171*38fd1498Szrj const param_type& __p);
172*38fd1498Szrj
173*38fd1498Szrj template<typename _ForwardIterator,
174*38fd1498Szrj typename _UniformRandomNumberGenerator>
175*38fd1498Szrj void
176*38fd1498Szrj __generate(_ForwardIterator __f, _ForwardIterator __t,
177*38fd1498Szrj _UniformRandomNumberGenerator& __urng)
178*38fd1498Szrj { this->__generate(__f, __t, __urng, _M_param); }
179*38fd1498Szrj
180*38fd1498Szrj template<typename _ForwardIterator,
181*38fd1498Szrj typename _UniformRandomNumberGenerator>
182*38fd1498Szrj void
183*38fd1498Szrj __generate(_ForwardIterator __f, _ForwardIterator __t,
184*38fd1498Szrj _UniformRandomNumberGenerator& __urng,
185*38fd1498Szrj const param_type& __p)
186*38fd1498Szrj { this->__generate_impl(__f, __t, __urng, __p); }
187*38fd1498Szrj
188*38fd1498Szrj template<typename _UniformRandomNumberGenerator>
189*38fd1498Szrj void
190*38fd1498Szrj __generate(result_type* __f, result_type* __t,
191*38fd1498Szrj _UniformRandomNumberGenerator& __urng,
192*38fd1498Szrj const param_type& __p)
193*38fd1498Szrj { this->__generate_impl(__f, __t, __urng, __p); }
194*38fd1498Szrj
195*38fd1498Szrj /**
196*38fd1498Szrj * @brief Return true if two uniform integer distributions have
197*38fd1498Szrj * the same parameters.
198*38fd1498Szrj */
199*38fd1498Szrj friend bool
200*38fd1498Szrj operator==(const uniform_int_distribution& __d1,
201*38fd1498Szrj const uniform_int_distribution& __d2)
202*38fd1498Szrj { return __d1._M_param == __d2._M_param; }
203*38fd1498Szrj
204*38fd1498Szrj private:
205*38fd1498Szrj template<typename _ForwardIterator,
206*38fd1498Szrj typename _UniformRandomNumberGenerator>
207*38fd1498Szrj void
208*38fd1498Szrj __generate_impl(_ForwardIterator __f, _ForwardIterator __t,
209*38fd1498Szrj _UniformRandomNumberGenerator& __urng,
210*38fd1498Szrj const param_type& __p);
211*38fd1498Szrj
212*38fd1498Szrj param_type _M_param;
213*38fd1498Szrj };
214*38fd1498Szrj
215*38fd1498Szrj template<typename _IntType>
216*38fd1498Szrj template<typename _UniformRandomNumberGenerator>
217*38fd1498Szrj typename uniform_int_distribution<_IntType>::result_type
218*38fd1498Szrj uniform_int_distribution<_IntType>::
219*38fd1498Szrj operator()(_UniformRandomNumberGenerator& __urng,
220*38fd1498Szrj const param_type& __param)
221*38fd1498Szrj {
222*38fd1498Szrj typedef typename _UniformRandomNumberGenerator::result_type
223*38fd1498Szrj _Gresult_type;
224*38fd1498Szrj typedef typename std::make_unsigned<result_type>::type __utype;
225*38fd1498Szrj typedef typename std::common_type<_Gresult_type, __utype>::type
226*38fd1498Szrj __uctype;
227*38fd1498Szrj
228*38fd1498Szrj const __uctype __urngmin = __urng.min();
229*38fd1498Szrj const __uctype __urngmax = __urng.max();
230*38fd1498Szrj const __uctype __urngrange = __urngmax - __urngmin;
231*38fd1498Szrj const __uctype __urange
232*38fd1498Szrj = __uctype(__param.b()) - __uctype(__param.a());
233*38fd1498Szrj
234*38fd1498Szrj __uctype __ret;
235*38fd1498Szrj
236*38fd1498Szrj if (__urngrange > __urange)
237*38fd1498Szrj {
238*38fd1498Szrj // downscaling
239*38fd1498Szrj const __uctype __uerange = __urange + 1; // __urange can be zero
240*38fd1498Szrj const __uctype __scaling = __urngrange / __uerange;
241*38fd1498Szrj const __uctype __past = __uerange * __scaling;
242*38fd1498Szrj do
243*38fd1498Szrj __ret = __uctype(__urng()) - __urngmin;
244*38fd1498Szrj while (__ret >= __past);
245*38fd1498Szrj __ret /= __scaling;
246*38fd1498Szrj }
247*38fd1498Szrj else if (__urngrange < __urange)
248*38fd1498Szrj {
249*38fd1498Szrj // upscaling
250*38fd1498Szrj /*
251*38fd1498Szrj Note that every value in [0, urange]
252*38fd1498Szrj can be written uniquely as
253*38fd1498Szrj
254*38fd1498Szrj (urngrange + 1) * high + low
255*38fd1498Szrj
256*38fd1498Szrj where
257*38fd1498Szrj
258*38fd1498Szrj high in [0, urange / (urngrange + 1)]
259*38fd1498Szrj
260*38fd1498Szrj and
261*38fd1498Szrj
262*38fd1498Szrj low in [0, urngrange].
263*38fd1498Szrj */
264*38fd1498Szrj __uctype __tmp; // wraparound control
265*38fd1498Szrj do
266*38fd1498Szrj {
267*38fd1498Szrj const __uctype __uerngrange = __urngrange + 1;
268*38fd1498Szrj __tmp = (__uerngrange * operator()
269*38fd1498Szrj (__urng, param_type(0, __urange / __uerngrange)));
270*38fd1498Szrj __ret = __tmp + (__uctype(__urng()) - __urngmin);
271*38fd1498Szrj }
272*38fd1498Szrj while (__ret > __urange || __ret < __tmp);
273*38fd1498Szrj }
274*38fd1498Szrj else
275*38fd1498Szrj __ret = __uctype(__urng()) - __urngmin;
276*38fd1498Szrj
277*38fd1498Szrj return __ret + __param.a();
278*38fd1498Szrj }
279*38fd1498Szrj
280*38fd1498Szrj
281*38fd1498Szrj template<typename _IntType>
282*38fd1498Szrj template<typename _ForwardIterator,
283*38fd1498Szrj typename _UniformRandomNumberGenerator>
284*38fd1498Szrj void
285*38fd1498Szrj uniform_int_distribution<_IntType>::
286*38fd1498Szrj __generate_impl(_ForwardIterator __f, _ForwardIterator __t,
287*38fd1498Szrj _UniformRandomNumberGenerator& __urng,
288*38fd1498Szrj const param_type& __param)
289*38fd1498Szrj {
290*38fd1498Szrj __glibcxx_function_requires(_ForwardIteratorConcept<_ForwardIterator>)
291*38fd1498Szrj typedef typename _UniformRandomNumberGenerator::result_type
292*38fd1498Szrj _Gresult_type;
293*38fd1498Szrj typedef typename std::make_unsigned<result_type>::type __utype;
294*38fd1498Szrj typedef typename std::common_type<_Gresult_type, __utype>::type
295*38fd1498Szrj __uctype;
296*38fd1498Szrj
297*38fd1498Szrj const __uctype __urngmin = __urng.min();
298*38fd1498Szrj const __uctype __urngmax = __urng.max();
299*38fd1498Szrj const __uctype __urngrange = __urngmax - __urngmin;
300*38fd1498Szrj const __uctype __urange
301*38fd1498Szrj = __uctype(__param.b()) - __uctype(__param.a());
302*38fd1498Szrj
303*38fd1498Szrj __uctype __ret;
304*38fd1498Szrj
305*38fd1498Szrj if (__urngrange > __urange)
306*38fd1498Szrj {
307*38fd1498Szrj if (__detail::_Power_of_2(__urngrange + 1)
308*38fd1498Szrj && __detail::_Power_of_2(__urange + 1))
309*38fd1498Szrj {
310*38fd1498Szrj while (__f != __t)
311*38fd1498Szrj {
312*38fd1498Szrj __ret = __uctype(__urng()) - __urngmin;
313*38fd1498Szrj *__f++ = (__ret & __urange) + __param.a();
314*38fd1498Szrj }
315*38fd1498Szrj }
316*38fd1498Szrj else
317*38fd1498Szrj {
318*38fd1498Szrj // downscaling
319*38fd1498Szrj const __uctype __uerange = __urange + 1; // __urange can be zero
320*38fd1498Szrj const __uctype __scaling = __urngrange / __uerange;
321*38fd1498Szrj const __uctype __past = __uerange * __scaling;
322*38fd1498Szrj while (__f != __t)
323*38fd1498Szrj {
324*38fd1498Szrj do
325*38fd1498Szrj __ret = __uctype(__urng()) - __urngmin;
326*38fd1498Szrj while (__ret >= __past);
327*38fd1498Szrj *__f++ = __ret / __scaling + __param.a();
328*38fd1498Szrj }
329*38fd1498Szrj }
330*38fd1498Szrj }
331*38fd1498Szrj else if (__urngrange < __urange)
332*38fd1498Szrj {
333*38fd1498Szrj // upscaling
334*38fd1498Szrj /*
335*38fd1498Szrj Note that every value in [0, urange]
336*38fd1498Szrj can be written uniquely as
337*38fd1498Szrj
338*38fd1498Szrj (urngrange + 1) * high + low
339*38fd1498Szrj
340*38fd1498Szrj where
341*38fd1498Szrj
342*38fd1498Szrj high in [0, urange / (urngrange + 1)]
343*38fd1498Szrj
344*38fd1498Szrj and
345*38fd1498Szrj
346*38fd1498Szrj low in [0, urngrange].
347*38fd1498Szrj */
348*38fd1498Szrj __uctype __tmp; // wraparound control
349*38fd1498Szrj while (__f != __t)
350*38fd1498Szrj {
351*38fd1498Szrj do
352*38fd1498Szrj {
353*38fd1498Szrj const __uctype __uerngrange = __urngrange + 1;
354*38fd1498Szrj __tmp = (__uerngrange * operator()
355*38fd1498Szrj (__urng, param_type(0, __urange / __uerngrange)));
356*38fd1498Szrj __ret = __tmp + (__uctype(__urng()) - __urngmin);
357*38fd1498Szrj }
358*38fd1498Szrj while (__ret > __urange || __ret < __tmp);
359*38fd1498Szrj *__f++ = __ret;
360*38fd1498Szrj }
361*38fd1498Szrj }
362*38fd1498Szrj else
363*38fd1498Szrj while (__f != __t)
364*38fd1498Szrj *__f++ = __uctype(__urng()) - __urngmin + __param.a();
365*38fd1498Szrj }
366*38fd1498Szrj
367*38fd1498Szrj // operator!= and operator<< and operator>> are defined in <bits/random.h>
368*38fd1498Szrj
369*38fd1498Szrj _GLIBCXX_END_NAMESPACE_VERSION
370*38fd1498Szrj } // namespace std
371*38fd1498Szrj
372*38fd1498Szrj #endif
373