Section: 29.5 [rand], 99 [tr.rand.var] Status: CD1 Submitter: Walter Brown Opened: 2005-07-03 Last modified: 2016-01-28
Priority: Not Prioritized
View all other issues in [rand].
View all issues with CD1 status.
Discussion:
Paragraph 11 of [tr.rand.var] equires that the member template
template<class T> result_type operator() (T value);
return
distribution()(e, 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). ]
Proposed resolution:
We therefore recommend that we insert the following precondition before paragraph 11:
Precondition:
distribution().operator()(e,value)is well-formed.