如何在Rust的GeomParser trait中避免使用泛型并指定返回类型

你想要移除GeomParser trait中的泛型，让parse方法返回实现该trait的结构体类型，这个需求是完全可行的，借助Rust的Self类型即可实现，无需泛型参数。

现有代码 #

pub trait GeomParser<T> {
    fn parse(str_line: &str) -> Result<T, std::num::ParseFloatError>;
}

impl GeomParser<Segment> for Segment {
    fn parse(str_line: &str) -> Result<Segment, std::num::ParseFloatError> {
        let mut strs_iter = str_line.split_ascii_whitespace();

        strs_iter.next(); // L
        let start_x : f64 = strs_iter.next().unwrap().parse()?;
        let start_y : f64 = strs_iter.next().unwrap().parse()?;
        let end_x : f64 = strs_iter.next().unwrap().parse()?;
        let end_y : f64 = strs_iter.next().unwrap().parse()?;
        let width : f64 = strs_iter.next().unwrap().parse()?;

        let seg = Segment
        {
            start : Point { x: start_x, y: start_y },
            end : Point { x: end_x, y: end_y },
            width : width,
        };

        Ok(seg)
    }
}

期望结构的实现代码 #

修改trait定义，让parse方法返回Result<Self, ...>，Self在每个实现者中代表自身类型，完美匹配你的需求：

pub trait GeomParser {
    fn parse(str_line: &str) -> Result<Self, std::num::ParseFloatError>;
}

impl GeomParser for Segment {
    fn parse(str_line: &str) -> Result<Segment, std::num::ParseFloatError> {
        let mut strs_iter = str_line.split_ascii_whitespace();

        strs_iter.next(); // 跳过开头的"L"标识
        let start_x: f64 = strs_iter.next().unwrap().parse()?;
        let start_y: f64 = strs_iter.next().unwrap().parse()?;
        let end_x: f64 = strs_iter.next().unwrap().parse()?;
        let end_y: f64 = strs_iter.next().unwrap().parse()?;
        let width: f64 = strs_iter.next().unwrap().parse()?;

        let seg = Segment {
            start: Point { x: start_x, y: start_y },
            end: Point { x: end_x, y: end_y },
            width,
        };

        Ok(seg)
    }
}

扩展其他几何元素 #

后续如果要添加比如Circle这类其他几何元素，只需直接实现GeomParser trait即可，parse方法自然返回Circle类型：

// 假设已定义Circle结构体
impl GeomParser for Circle {
    fn parse(str_line: &str) -> Result<Circle, std::num::ParseFloatError> {
        // 编写Circle的字符串解析逻辑
        Ok(Circle {
            // 初始化Circle的字段
        })
    }
}

额外优化建议 #

代码中strs_iter.next().unwrap()在输入格式错误时会触发panic，建议替换为更健壮的错误处理：比如定义自定义错误类型，包含字段缺失、格式错误等情况，让parse方法返回Result<Self, CustomError>，提升代码的容错性。

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