为什么没有uniform_distribution？

Question

我们有uniform_int_distribution和uniform_real_distribution，有没有可能包含uniform_distribution，专门在float/double和int/...指定时？

Answer 1

AFAIU，上面的评论由@ user877329和@revolver_ocelot解释正确，而另一个答案是完全错误的。

这是错误的，统一的uniform_int和uniform_real的接口，而不是因为它们是不同的方式实现（这可以通过模板特来解决），但由于接口意味着不同的事情。

假设我们统一接口（使用其他答案的建议的变化），像这样：

template <typename T> 
using uniform_distribution = 
    typename std::conditional< 
     std::is_integral<T>::value, 
     std::uniform_int_distribution<T>, 
     std::uniform_real_distribution<T> 
    >::type; 

那么，如果我们定义uniform_distribution<some_type> u(0, 9)，意义是完全不同的：

• 如果some_type是整数，那么u将输出9大约1/10的时间。

• 如果some_type不是，则u将从未输出9.

下面的代码（其输出为true然后false）说明这一点：

#include <random> 
#include <iostream> 
#include <type_traits>           

template <typename T> 
using uniform_distribution = 
    typename std::conditional< 
     std::is_integral<T>::value, 
     std::uniform_int_distribution<T>, 
     std::uniform_real_distribution<T> 
    >::type; 

int main() 
{ 
    std::random_device rd; 
    std::mt19937 gen(rd()); 

    { 
     uniform_distribution<int> u(0, 9); 
     bool over_found = false; 
     for(size_t i = 0; i < 99999; ++i) 
      over_found = over_found || u(gen) >= 9; 
     std::cout << std::boolalpha << over_found << std::endl; 
    } 

    { 
     uniform_distribution<float> u(0, 9); 
     bool over_found = false; 
     for(size_t i = 0; i < 99999; ++i) 
      over_found = over_found || u(gen) >= 9; 
     std::cout << std::boolalpha << over_found << std::endl; 
    } 
} 

此代码说明使用这个类编写通用代码是危险的。例如，如果您要编写一个通用函数来计算子范围中的结果直方图：[0,1]，[1,2，...，[8，9），结果将不兼容。

---

作为@revolver_ocelot指出，标准库的[inclusive-begin, exclusive_end) convention不能用于均匀整数（因为这将是不可能指定一个均匀的整数随机数生成器生成也最大UINT值），使之成为一个特殊的签名。