爲什麼沒有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值），使之成爲一個特殊的簽名。