Rust中如何实现类C#/C++泛型类嵌套类型的等价声明？

本文为Rust版本，Scala版本的相关问题可查看对应Stack Overflow提问。

在开发重度依赖C#或C++泛型/模板的库时，常用技巧是将多个共享相同泛型参数的结构体声明为泛型静态类的嵌套类型。例如以下C#代码：

public struct Gen1<T1, T2, T3>
{
}

public struct Gen2<T1, T2, T3>
{
}

其功能等价于：

public static class Ts<T1, T2, T3>
{
    public struct Gen1
    {
    }

    public struct Gen2
    {
    }
}

编译器会将Ts<int, int, string>.Gen1处理为独立的特化类型，每个不同泛型参数组合对应的Ts类都是完全独立的，各自拥有专属的静态成员。

这种抽象在多数语言中不存在（仅Lean4的section特性可对应）。将此类代码转换为Rust时，很多AI会给出错误方案，比如错误使用不支持泛型的mod特性：

// 错误示例：Rust模块不支持泛型参数
mod container<T> {
    pub struct Holder {
        value: T,
    }

    impl<T> Holder {
        pub fn new(value: T) -> Self {
            Holder { value }
        }

        pub fn get(&self) -> &T {
            &self.value
        }
    }
}

Rust的最简实现方式 #

Rust没有直接对应C#泛型静态类的特性，但可以通过两种方式模拟：

方式1：直接声明共享泛型参数的结构体（最简洁）

这是Rust中最符合语言习惯的写法，虽然重复了泛型参数，但逻辑清晰且代码最短：

#[derive(Debug, Clone, Copy)]
pub struct Gen1<T1, T2, T3>;

#[derive(Debug, Clone, Copy)]
pub struct Gen2<T1, T2, T3>;

方式2：用泛型结构体模拟容器命名空间

如果需要保持“统一容器”的语义，可以用泛型结构体作为命名空间，配合关联类型实现：

use std::marker::PhantomData;

// 泛型容器结构体，用PhantomData持有泛型参数（无需实际存储数据）
#[derive(Debug, Clone, Copy)]
pub struct Ts<T1, T2, T3>(PhantomData<(T1, T2, T3)>);

// 定义关联类型并对外暴露，模拟嵌套类型
pub type Gen1<T1, T2, T3> = Ts<T1, T2, T3>::Gen1;
impl<T1, T2, T3> Ts<T1, T2, T3> {
    pub struct Gen1;
}

pub type Gen2<T1, T2, T3> = Ts<T1, T2, T3>::Gen2;
impl<T1, T2, T3> Ts<T1, T2, T3> {
    pub struct Gen2;
}

这种写法可以让你通过Ts<int, i32, String>::Gen1的形式引用类型，更贴近C#的嵌套风格。

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