Section: 28.5 [rand], 99 [tr.rand.var] Status: CD1 Submitter: Walter Brown Opened: 2005-07-03 Last modified: 2016-01-28 10:19:27 UTC
Priority: Not Prioritized
View all other issues in [rand].
View all issues with CD1 status.
Paragraph 11 of [tr.rand.var] equires that the member template
template<class T> result_type operator() (T value);
However, not all distributions have an operator() with a corresponding signature.
[ Berlin: As a working group we voted in favor of N1932 which makes this moot: variate_generator has been eliminated. Then in full committee we voted to give this issue WP status (mistakenly). ]
We therefore recommend that we insert the following precondition before paragraph 11:
Precondition: distribution().operator()(e,value) is well-formed.