4

我知道在 0.6 中删除了可变字段。我收到此代码的以下错误，

C:\Users\mflamer\Dropbox\Rust\Tests\gmap.rs:23:8: 23:18 错误：分配给不可变字段 C:\Users\mflamer\Dropbox\Rust\Tests\gmap.rs:23 dart。 alpha = vec::from_elem(self.n + 1, dart);

我在这里做错了什么？谢谢。

pub struct GMap<T> {
        priv     n: uint,
        priv darts: ~[Dart<T>]
    }

struct Dart<T> {
    alpha: ~[@Dart<T>],
    embed: ~[@T],
   tagged: bool
}

impl<T> GMap<T> {
    pub fn new(dim: uint) -> GMap<T> {      
        let mut map: GMap<T> = GMap{n: dim, darts: ~[]};
        return map
    }
    pub fn new_dart(&self, ) -> @Dart<T> {
        let mut dart = @Dart{alpha: ~[], embed: ~[], tagged: false};        
        dart.alpha = vec::from_elem(self.n + 1, dart); 
        //dart.embed = vec::from_elem(self.n + 1, );
        return dart;
    }
    pub fn dim(&self) -> uint {
        self.n 
    }
}


//pub fn traverse(&self,[bool,..])


enum Cell {
    Null,
    Vertex,
    Edge,
    Face,
    Solid
}   

fn main() { 
    let topo: GMap<Cell> = GMap::new(3);    
}
4

1 回答 1

6

问题是可变性如何通过所有权继承。对于可变的东西，它的所有者必须是可变的。所有权继承，除非通过新的所有者，@并且&被归类为所有者。所以在这种情况下，你dart拥有@Dart盒子，但不拥有盒子的内容，所以mutonx并不意味着盒子的内容是可变的（事实上，它不可能是可变的，否则它可能会在引用它的其他东西的脚）。

解决这个问题的方法是使盒子成为可变盒子，以便 dart 结构的所有者是可变的，即@mut Dart { .. }（这有（小）运行时损失，并且如果在借用时发生突变，可能会使程序失败作为不可变的），或一次性构建它。前者不是最优的，后者听起来很难实现。但是，前者可能看起来像：

struct Dart<T> {
    alpha: ~[@mut Dart<T>],
    embed: ~[@T],
   tagged: bool
}

// ...

    pub fn new_dart(&self, ) -> @mut Dart<T> {
        let dart = @mut Dart{alpha: ~[], embed: ~[], tagged: false};        
        dart.alpha = vec::from_elem(self.n + 1, dart); 
        //dart.embed = vec::from_elem(self.n + 1, );
        return dart;
    }

（非@mut解决方案需要的是“打结”，但我不清楚如何让它在 Rust 中工作。）

于 2013-06-02T03:10:48.983 回答