diff options
author | Howard Hinnant <hhinnant@apple.com> | 2011-04-11 22:22:12 +0400 |
---|---|---|
committer | Howard Hinnant <hhinnant@apple.com> | 2011-04-11 22:22:12 +0400 |
commit | a23551cad4ba20fe8132752078f34a824b7cbda0 (patch) | |
tree | 7e1fd657ee080af12ffa18e2e23e494bfe384864 /libcxx/include/random | |
parent | 9377a52c1278a9a0435651af1f7062837e00ca4c (diff) |
Fix bug in Sseq constraints found by Seth Cantrell
llvm-svn: 129285
Diffstat (limited to 'libcxx/include/random')
-rw-r--r-- | libcxx/include/random | 34 |
1 files changed, 22 insertions, 12 deletions
diff --git a/libcxx/include/random b/libcxx/include/random index c40baa94ee4c..e08428dd5f9a 100644 --- a/libcxx/include/random +++ b/libcxx/include/random @@ -1650,6 +1650,16 @@ class piecewise_linear_distribution _LIBCPP_BEGIN_NAMESPACE_STD +// __is_seed_sequence + +template <class _Sseq, class _Engine> +struct __is_seed_sequence +{ + static const bool value = + !is_convertible<_Sseq, typename _Engine::result_type>::value && + !is_same<typename remove_cv<_Sseq>::type, _Engine>::value; +}; + // linear_congruential_engine template <unsigned long long __a, unsigned long long __c, @@ -1848,7 +1858,7 @@ public: {seed(__s);} template<class _Sseq> explicit linear_congruential_engine(_Sseq& __q, _LIBCPP_INLINE_VISIBILITY - typename enable_if<!is_convertible<_Sseq, result_type>::value>::type* = 0) + typename enable_if<__is_seed_sequence<_Sseq, linear_congruential_engine>::value>::type* = 0) {seed(__q);} _LIBCPP_INLINE_VISIBILITY void seed(result_type __s = default_seed) @@ -1858,7 +1868,7 @@ public: _LIBCPP_INLINE_VISIBILITY typename enable_if < - !is_convertible<_Sseq, result_type>::value, + __is_seed_sequence<_Sseq, linear_congruential_engine>::value, void >::type seed(_Sseq& __q) @@ -2104,14 +2114,14 @@ public: {seed(__sd);} template<class _Sseq> explicit mersenne_twister_engine(_Sseq& __q, _LIBCPP_INLINE_VISIBILITY - typename enable_if<!is_convertible<_Sseq, result_type>::value>::type* = 0) + typename enable_if<__is_seed_sequence<_Sseq, mersenne_twister_engine>::value>::type* = 0) {seed(__q);} void seed(result_type __sd = default_seed); template<class _Sseq> _LIBCPP_INLINE_VISIBILITY typename enable_if < - !is_convertible<_Sseq, result_type>::value, + __is_seed_sequence<_Sseq, mersenne_twister_engine>::value, void >::type seed(_Sseq& __q) @@ -2473,7 +2483,7 @@ public: {seed(__sd);} template<class _Sseq> explicit subtract_with_carry_engine(_Sseq& __q, _LIBCPP_INLINE_VISIBILITY - typename enable_if<!is_convertible<_Sseq, result_type>::value>::type* = 0) + typename enable_if<__is_seed_sequence<_Sseq, subtract_with_carry_engine>::value>::type* = 0) {seed(__q);} _LIBCPP_INLINE_VISIBILITY void seed(result_type __sd = default_seed) @@ -2482,7 +2492,7 @@ public: _LIBCPP_INLINE_VISIBILITY typename enable_if < - !is_convertible<_Sseq, result_type>::value, + __is_seed_sequence<_Sseq, subtract_with_carry_engine>::value, void >::type seed(_Sseq& __q) @@ -2741,7 +2751,7 @@ public: template<class _Sseq> _LIBCPP_INLINE_VISIBILITY explicit discard_block_engine(_Sseq& __q, - typename enable_if<!is_convertible<_Sseq, result_type>::value && + typename enable_if<__is_seed_sequence<_Sseq, discard_block_engine>::value && !is_convertible<_Sseq, _Engine>::value>::type* = 0) : __e_(__q), __n_(0) {} _LIBCPP_INLINE_VISIBILITY @@ -2752,7 +2762,7 @@ public: _LIBCPP_INLINE_VISIBILITY typename enable_if < - !is_convertible<_Sseq, result_type>::value, + __is_seed_sequence<_Sseq, discard_block_engine>::value, void >::type seed(_Sseq& __q) {__e_.seed(__q); __n_ = 0;} @@ -2940,7 +2950,7 @@ public: explicit independent_bits_engine(result_type __sd) : __e_(__sd) {} template<class _Sseq> explicit independent_bits_engine(_Sseq& __q, _LIBCPP_INLINE_VISIBILITY - typename enable_if<!is_convertible<_Sseq, result_type>::value && + typename enable_if<__is_seed_sequence<_Sseq, independent_bits_engine>::value && !is_convertible<_Sseq, _Engine>::value>::type* = 0) : __e_(__q) {} _LIBCPP_INLINE_VISIBILITY @@ -2951,7 +2961,7 @@ public: _LIBCPP_INLINE_VISIBILITY typename enable_if < - !is_convertible<_Sseq, result_type>::value, + __is_seed_sequence<_Sseq, independent_bits_engine>::value, void >::type seed(_Sseq& __q) {__e_.seed(__q);} @@ -3163,7 +3173,7 @@ public: explicit shuffle_order_engine(result_type __sd) : __e_(__sd) {__init();} template<class _Sseq> explicit shuffle_order_engine(_Sseq& __q, _LIBCPP_INLINE_VISIBILITY - typename enable_if<!is_convertible<_Sseq, result_type>::value && + typename enable_if<__is_seed_sequence<_Sseq, shuffle_order_engine>::value && !is_convertible<_Sseq, _Engine>::value>::type* = 0) : __e_(__q) {__init();} _LIBCPP_INLINE_VISIBILITY @@ -3174,7 +3184,7 @@ public: _LIBCPP_INLINE_VISIBILITY typename enable_if < - !is_convertible<_Sseq, result_type>::value, + __is_seed_sequence<_Sseq, shuffle_order_engine>::value, void >::type seed(_Sseq& __q) {__e_.seed(__q); __init();} |