如何實現一個函數，該函數返回一個由整型約束的泛型？

Question

如何實現如下功能，其中T是一個整數類型？

​​

Answer 1

的問題是，泛型類型檢查之前到正在擴大;這意味着編譯器必須驗證n as T（其中n是i32）適用於所有可能的T。事實並非如此。

你想是什麼，使用特點，限制T到可以從i32定投類型。有點悲慘的是，這個特徵不存在。

最接近的模擬可能是std::convert::From，但它不會實現這樣的基本轉換，您不能自己提供它們。曾經有一些特性是從原始整數類型轉換而來的，但我相信它們在1.0清理之前被刪除。

在這一點上，你基本上是你自己的。您需要展示表達此轉換的特徵，然後針對您所關心的類型實施它。所以，你可以使用一個特徵，例如：

trait FromI32 { 
    fn from_i32(v: i32) -> Self; 
} 

然後更改功能使用<T: FromI32>和FromI32::from_i32(n)而不是n as T。

如果您想要實現上述特性的種類不止一種，一個簡單的宏應該減少重複次數。