Rust中是否支持基于类型的元编程（类型到类型转换）？

完全可以实现，Rust 借助trait 关联类型就能完成和 C++ type traits 类似的编译期类型映射，以下是具体实现方式：

方式一：自定义 trait 实现类型映射 #

先定义一个用于关联有符号类型与对应无符号类型的 trait，再为目标类型实现该 trait：

// 定义 trait，声明关联类型
trait ToUnsigned {
    type Unsigned;
}

// 为有符号整数实现 trait
impl ToUnsigned for i8 { type Unsigned = u8; }
impl ToUnsigned for i16 { type Unsigned = u16; }
impl ToUnsigned for i32 { type Unsigned = u32; }
impl ToUnsigned for i64 { type Unsigned = u64; }
impl ToUnsigned for i128 { type Unsigned = u128; }

// 浮点数无对应无符号类型，映射到自身
impl ToUnsigned for f32 { type Unsigned = f32; }
impl ToUnsigned for f64 { type Unsigned = f64; }

之后就可以在结构体中通过关联类型自动推导无符号类型：

struct SignedAndUnsigned<S: ToUnsigned> {
    s: S,
    u: <S as ToUnsigned>::Unsigned,
}

// 类型别名示例
type SignedAndUnsignedInteger = SignedAndUnsigned<i32>; // u 的类型自动为 u32
type SignedAndUnsignedDouble = SignedAndUnsigned<f64>;  // u 的类型自动为 f64

方式二：使用成熟社区库 #

社区维护的 num-traits crate 已经内置了类似 std::make_unsigned 的 MakeUnsigned trait，无需重复造轮子：

1. 先在 Cargo.toml 添加依赖：

[dependencies]
num-traits = "0.2"

2. 直接使用库中定义的 trait：

use num_traits::MakeUnsigned;

struct SignedAndUnsigned<S: MakeUnsigned> {
    s: S,
    u: <S as MakeUnsigned>::Unsigned,
}

// 同样可以自动推导类型
type SignedAndUnsignedInteger = SignedAndUnsigned<i32>;
type SignedAndUnsignedDouble = SignedAndUnsigned<f64>;

核心原理 #

Rust 的关联类型是编译期类型级编程的核心，和 C++ type traits 一样，都是在编译阶段完成类型映射。区别在于 Rust 依托自身的 trait 系统实现约束与推导，语法更贴合语言的泛型设计。

内容的提问来源于stack exchange，提问作者Kevin Ushey