整数类型的Rust特征范围

问题描述

假设我有自己的类型作为元组结构

struct MyType(u8);

并希望以通用方式为其他整数类型实现From特征，例如

impl From<T> for MyType {
    fn from(num: T) -> Self {
        MyType((num & 0xff) as u8)
    }
}

Rust不允许这样做，因为泛型类型T没有as运算符。如何将T限制为整数类型，以便可以使用as？

impl From<T: Integral> for MyType {...}

解决方法

您可以使用num-traits条板箱。

PrimInt是相关的特征，它扩展了NumCast，可以在原始数字类型之间进行转换。

编辑：这是一个示例实现。这有点丑陋，因为许多相关的转换都返回Option，因为他们事先不知道这些值在范围内。

impl<T: PrimInt> From<T> for MyType {
    fn from(num: T) -> Self {
        let clamped = num & T::from(0xFFu8).unwrap();
        Self(clamped.to_u8().unwrap())
    }
}