xref: /dflybsd-src/contrib/gcc-8.0/libstdc++-v3/include/bits/uniform_int_dist.h (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
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