rust - 泛型和特征的错误

Question

我正在使用一些 Rust 特性和泛型来熟悉这门语言。

fn main() {
    println(test(6f).to_str());
}

enum Result<TS,TE>{
    Success(TS),
    Error(TE)
}

impl<TS: ToStr, TE: ToStr> ToStr for Result<TS,TE> {
    fn to_str(&self) -> ~str {
        match *self {
            Success(s) => s.to_str(),
            Error(e)   => e.to_str()
        }
    }
}    

fn test(x:float) -> Result<float,int> {
    match x {
        0f..5f => Success(x/5f),
        _      => Error(1i)
    }
}

我用上面的代码得到了以下错误。

C:\Users\mflamer\Dropbox\Rust Projects\Tests\rust.rs:27:8: 27:13 error: moving out of dereference of immutable & pointer C:\Users\mflamer\Dropbox\Rust Projects\Tests\rust.rs:27 match *self

                                                                    ^~~~~

它在特征上没有泛型的情况下构建良好。这是怎么回事？

编辑:如果我将代码更改为此，它就可以工作。不知道为什么。

enum Result<TS,TE>{
    Success{ value:TS },
    Error{ error:TE }
}

impl<TS: ToStr, TE: ToStr> ToStr for Result<TS,TE> {
    fn to_str(&self) -> ~str {
        match *self {
            Success{ value: value } => value.to_str(),
            Error{ error: error }   => error.to_str()
        }
    }
}

fn test(x:float) -> Result<float,int> {
    match x {
        0f..5f => Success{ value: x/5f },
        _      => Error{ error: 1i }
    }
}

Answer 1

问题在于匹配项和通用项如何交互。以下代码有效:

impl<TS: ToStr, TE: ToStr> ToStr for Result<TS,TE> {
    fn to_str(&self) -> ~str {
        match *self {
            Success(ref s) => s.to_str(),
            Error(ref e)   => e.to_str()
        }
    }
}

(唯一的区别是 ref。)

这意味着 s 和 e 是指向 self 内部的指针，也就是说，它们的类型是 &TS 和 &TE 而不是 TS 和 TE。

ref 在没有泛型的情况下不能工作的原因是 int 和 float 是隐式可复制的，所以 s和 e 只是从 self 中复制出来的，而对于任意泛型，Rust 无法自动进行复制。