找到一种方法来解决“...活得不够久”

时间:2014-02-24 22:13:36

标签: rust lifetime

我正在建造一个生锈的多元化。这是我的第一个应用程序之一,也是一个很棒的学习经历!

然而,我遇到了一个问题,我无法找到如何解决这个问题:

每当将新频道添加到Multiplex时,我都必须侦听此频道上的数据。 当open()函数请求新通道时,将在堆栈上分配新通道。 但是,这个通道不能在堆栈上分配,而是在堆上以某种方式分配,因为它应该保持活动状态,不应该在接收循环的下一次迭代中释放。

现在我的代码看起来像这样(v0.10-pre):

extern crate collections;
extern crate sync;

use std::comm::{Chan, Port, Select};
use std::mem::size_of_val;
use std::io::ChanWriter;
use std::io::{ChanWriter, PortReader};
use collections::hashmap::HashMap;
use sync::{rendezvous, SyncPort, SyncChan};
use std::task::try;

use std::rc::Rc;

struct MultiplexStream {
    internal_port: Port<(u32, Option<(Port<~[u8]>, Chan<~[u8]>)>)>,
    internal_chan: Chan<u32>
}

impl MultiplexStream {
    fn new(downstream: (Port<~[u8]>, Chan<~[u8]>)) -> ~MultiplexStream {
        let (downstream_port, downstream_chan) = downstream;

        let (p1, c1): (Port<u32>, Chan<u32>) = Chan::new();
        let (p2, c2):
            (Port<(u32, Option<(Port<~[u8]>, Chan<~[u8]>)>)>,
             Chan<(u32, Option<(Port<~[u8]>, Chan<~[u8]>)>)>) = Chan::new();

        let mux = ~MultiplexStream {
            internal_port: p2,
            internal_chan: c1
        };

        spawn(proc() {
            let mut pool = Select::new();
            let mut by_port_num  = HashMap::new();
            let mut by_handle_id = HashMap::new();
            let mut handle_id2port_num = HashMap::new();

            let mut internal_handle = pool.handle(&p1);
            let mut downstream_handle = pool.handle(&downstream_port);

            unsafe {
                internal_handle.add();
                downstream_handle.add();
            }

            loop {
                let handle_id = pool.wait();

                if handle_id == internal_handle.id() {
                    // setup new port
                    let port_num: u32 = p1.recv();

                    if by_port_num.contains_key(&port_num) {
                        c2.send((port_num, None))
                    }
                    else {
                        let (p1_,c1_): (Port<~[u8]>, Chan<~[u8]>) = Chan::new();
                        let (p2_,c2_): (Port<~[u8]>, Chan<~[u8]>) = Chan::new();

                        /********************************/
                        let mut h = pool.handle(&p1_);  // <--
                        /********************************/
                        /* the error is HERE ^^^        */
                        /********************************/

                        unsafe { h.add() };
                        by_port_num.insert(port_num, c2_);
                        handle_id2port_num.insert(h.id(), port_num);
                        by_handle_id.insert(h.id(), h);
                        c2.send((port_num, Some((p2_,c1_))));
                    }
                }
                else if handle_id == downstream_handle.id() {
                    // demultiplex
                    let res = try(proc() {
                        let mut reader = PortReader::new(downstream_port);
                        let port_num = reader.read_le_u32().unwrap();
                        let data = reader.read_to_end().unwrap();
                        return (port_num, data);
                    });
                    if res.is_ok() {
                        let (port_num, data) = res.unwrap();
                        by_port_num.get(&port_num).send(data);
                    }
                    else {
                        // TODO: handle error
                    }
                }
                else {
                    // multiplex
                    let h = by_handle_id.get_mut(&handle_id);
                    let port_num = handle_id2port_num.get(&handle_id);
                    let port_num = *port_num;
                    let data = h.recv();

                    try(proc() {
                        let mut writer = ChanWriter::new(downstream_chan);
                        writer.write_le_u32(port_num);
                        writer.write(data);
                        writer.flush();
                    });

                    // todo check if chan was closed
                }
            }
        });

        return mux;
    }

    fn open(self, port_num: u32) -> Result<(Port<~[u8]>, Chan<~[u8]>), ()> {
        let res = try(proc() {
            self.internal_chan.send(port_num);
            let (n, res) = self.internal_port.recv();
            assert!(n == port_num);

            return res;
        });

        if res.is_err() {
            return Err(());
        }
        let res = res.unwrap();
        if res.is_none() {
            return Err(());
        }

        let (p,c) = res.unwrap();
        return Ok((p,c));
    }
}

编译器引发了这个错误:

multiplex_stream.rs:81:31: 81:35 error: `p1_` does not live long enough
multiplex_stream.rs:81                      let mut h = pool.handle(&p1_);
                                                                    ^~~~
multiplex_stream.rs:48:16: 122:4 note: reference must be valid for the block at 48:15...
multiplex_stream.rs:48      spawn(proc() {
multiplex_stream.rs:49          let mut pool = Select::new();
multiplex_stream.rs:50          let mut by_port_num  = HashMap::new();
multiplex_stream.rs:51          let mut by_handle_id = HashMap::new();
multiplex_stream.rs:52          let mut handle_id2port_num = HashMap::new();
multiplex_stream.rs:53 
                       ...
multiplex_stream.rs:77:11: 87:7 note: ...but borrowed value is only valid for the block at 77:10
multiplex_stream.rs:77                  else {
multiplex_stream.rs:78                      let (p1_,c1_): (Port<~[u8]>, Chan<~[u8]>) = Chan::new();
multiplex_stream.rs:79                      let (p2_,c2_): (Port<~[u8]>, Chan<~[u8]>) = Chan::new();
multiplex_stream.rs:80 
multiplex_stream.rs:81                      let mut h = pool.handle(&p1_);
multiplex_stream.rs:82                      unsafe { h.add() };

有谁知道如何解决这个问题?

1 个答案:

答案 0 :(得分:1)

问题是您创建的新频道的寿命不够长 - 其范围仅为else块的范围。您需要确保它的寿命更长 - 其范围必须至少为pool

我还没有努力去准确理解你的代码在做什么,但是我希望确保端口生命周期足够长的最简单的方法是将它放入向量与pool相同的向量,例如let ports = ~[];,使用ports.push(p1_);插入,然后将参考文献作为&ports[ports.len() - 1]抱歉,不会删除它 - 您无法添加新项目到向量时,对其元素的引用是活动的。如果你想要那个appraoch工作,你需要稍微重组一下。