`<random>`: Enforce `seed_seq::generate()`'s mandate for `RandomAccessIterator`

WG21-N4971 \[rand.util.seedseq\]/7:

> ```cpp
> template<class RandomAccessIterator>
>   void generate(RandomAccessIterator begin, RandomAccessIterator end);
> ```
> *Mandates:* `iterator_traits<RandomAccessIterator>::value_type` is an unsigned integer type capable of accommodating 32-bit quantities.

We currently don't enforce this:

https://github.com/microsoft/STL/blob/8b081e26ba016970ce3338cb483ff10f2ade30a5/stl/inc/random#L180-L184

	template <class _RanIt>
	void generate(_RanIt _First, _RanIt _Last) const { // generate randomized interval from seeds
	_Adl_verify_range(_First, _Last);
	auto _UFirst = _Get_unwrapped(_First);
	const auto _Nx = static_cast<size_t>(_Get_unwrapped(_Last) - _UFirst);

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

`<random>`: Enforce `seed_seq::generate()`'s mandate for `RandomAccessIterator` #4434

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

<random>: Enforce seed_seq::generate()'s mandate for RandomAccessIterator #4434

Description

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

`<random>`: Enforce `seed_seq::generate()`'s mandate for `RandomAccessIterator` #4434