Rust中能否扩展结构体？如何将TypeScript类型定义转Rust？

Rust没有TypeScript那样的类型交集（&）语法直接扩展结构体，但可以通过结构体组合和枚举关联数据实现完全等价的语义，对应你给出的TypeScript代码的实现如下：

方式一：提取公共字段+枚举（最贴合TS联合类型语义） #

这种方式直接对应TS中MyFile作为联合类型的设计，把公共的path和name提取到单独结构体，再用枚举承载不同文件类型：

// 对应TS中的Data类型，存储公共字段
#[derive(Debug, Clone)]
struct FileData {
    path: String,
    name: String,
}

// 对应TS中的Type枚举
#[derive(Debug, Clone, PartialEq)]
enum FileType {
    CSV,
    JPG,
    PNG,
}

// 对应TS中的MyFile联合类型，每个枚举成员代表一种文件类型
#[derive(Debug, Clone)]
enum MyFile {
    CSV(FileData),
    JPG(FileData),
    PNG(FileData),
}

使用时可以通过模式匹配处理不同类型的文件：

fn handle_file(file: MyFile) {
    match file {
        MyFile::CSV(data) => println!("处理CSV文件：{}，路径：{}", data.name, data.path),
        MyFile::JPG(data) => println!("处理JPG文件：{}，路径：{}", data.name, data.path),
        MyFile::PNG(data) => println!("处理PNG文件：{}，路径：{}", data.name, data.path),
    }
}

方式二：独立结构体+固定类型标记（贴合TS的类型扩展写法） #

如果你希望每个文件类型都有显式的type字段（对应TS里的type: Type.CSV），可以给每个结构体添加固定的类型标记，并通过构造函数确保标记不会被错误修改：

#[derive(Debug, Clone, PartialEq)]
enum FileType {
    CSV,
    JPG,
    PNG,
}

#[derive(Debug, Clone)]
struct CSV {
    path: String,
    name: String,
    file_type: FileType,
}

impl CSV {
    // 构造函数固定file_type为CSV
    fn new(path: String, name: String) -> Self {
        Self {
            path,
            name,
            file_type: FileType::CSV,
        }
    }
}

#[derive(Debug, Clone)]
struct JPG {
    path: String,
    name: String,
    file_type: FileType,
}

impl JPG {
    fn new(path: String, name: String) -> Self {
        Self {
            path,
            name,
            file_type: FileType::JPG,
        }
    }
}

#[derive(Debug, Clone)]
struct PNG {
    path: String,
    name: String,
    file_type: FileType,
}

impl PNG {
    fn new(path: String, name: String) -> Self {
        Self {
            path,
            name,
            file_type: FileType::PNG,
        }
    }
}

// 对应TS中的MyFile联合类型，用枚举包裹不同结构体
#[derive(Debug, Clone)]
enum MyFile {
    CSV(CSV),
    JPG(JPG),
    PNG(PNG),
}

这种写法更贴近你TS代码中“扩展Data并添加固定type字段”的思路，同时利用Rust的构造函数保证类型标记的正确性。

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