Ошибка "не живет достаточно долго" при вызове `root` из rust-xcb

Question

Я пытаюсь использовать поверхность Каира в окне, созданном xcb. У меня есть пример C, а также привязки Rust XCB и Cairo. Я почти закончил, но эта ошибка остается для меня загадкой.

Мой код:

fn find_visual<'a>(conn: &'a xcb::Connection, visual: xcb_visualid_t) -> Option<Visualtype<'a>> {
    let setup: Setup<'a> = conn.get_setup();
    for screen in setup.roots() {
        let d_iter: DepthIterator = screen.allowed_depths();
        for depth in d_iter {
            for vis in depth.visuals() {
                if visual == vis.visual_id() {
                    println!("Found visual");
                    return Some(vis)
                }
            }
        }
    }
    None
}

Я называю это как:

let visual = find_visual(&conn, screen.root_visual()).unwrap();

И получить ошибки, как это:

src/main.rs:56:19: 56:24 error: `setup` does not live long enough
src/main.rs:56     for screen in setup.roots() {
                                 ^~~~~
src/main.rs:54:97: 68:2 note: reference must be valid for the lifetime 'a as defined on the block at 54:96...
src/main.rs:54 fn find_visual<'a>(conn: &'a xcb::Connection, visual: xcb_visualid_t) -> Option<Visualtype<'a>> {
src/main.rs:55     let setup: Setup<'a> = conn.get_setup();
src/main.rs:56     for screen in setup.roots() {
src/main.rs:57         let d_iter: DepthIterator = screen.allowed_depths();
src/main.rs:58         for depth in d_iter {
src/main.rs:59             for vis in depth.visuals() {
               ...
src/main.rs:55:45: 68:2 note: ...but borrowed value is only valid for the block suffix following statement 0 at 55:44
src/main.rs:55     let setup: Setup<'a> = conn.get_setup();
src/main.rs:56     for screen in setup.roots() {
src/main.rs:57         let d_iter: DepthIterator = screen.allowed_depths();
src/main.rs:58         for depth in d_iter {
src/main.rs:59             for vis in depth.visuals() {
src/main.rs:60                 if visual == vis.visual_id() {
               ...

И те же ошибки для screen а также depth переменные.

Может кто-нибудь объяснить - почемуsetup не живет достаточно долго? Как я понимаю, setup будет уничтожен, когда функция return Опция, и она может быть использована в функции без ограничений.

get_setup() код:

pub fn get_setup(&self) -> Setup {
    unsafe {

        let setup = xcb_get_setup(self.c);
        if setup.is_null() {
            panic!("NULL setup on connection")
        }
        mem::transmute(setup)
    }
}

Answer 1

Похоже, что пожизненные аннотации привязок неверны. Вот roots():

impl<'a> Screen<'a> {
    pub fn roots(&self) -> ScreenIterator {
        unsafe {
            xcb_setup_roots_iterator(self.ptr)
        }
    }
}

Обратите внимание, что поскольку в функции нет аннотаций, это неявно помечается как

impl<'a> Screen<'a> {
    pub fn <'b> roots(&'b self) -> ScreenIterator<'b> {
        unsafe {
            xcb_setup_roots_iterator(self.ptr)
        }
    }
}

И это неправильно. Возвращенный ScreenIterator должен быть явно аннотирован с продолжительностью жизни 'a вместо этого, который является временем жизни основного соединения, и XCB, кажется, имеет соглашение, что все указатели, которые он раздает, привязаны временем жизни к времени жизни соединения (см. комментарий для типа оболочки). base::StructPtr, Это означает, что сценарии генератора должны быть скорректированы с учетом этого. Вы должны подать проблему в ящик.

upd от запросчика:@SebastianRedl был прав. Проблема в неустановленных временах жизни в xcb crate для всех функций, которые возвращают итераторы. Следующие изменения времени жизни в rust-xcb crate позволяют успешно компилировать код:

impl<'a> Setup<'a> {
    pub fn roots(&self) -> ScreenIterator<'a> {
        unsafe {
             xcb_setup_roots_iterator(self.ptr)
        }
    }
}

impl<'a> Depth<'a> {
    pub fn visuals(&self) -> VisualtypeIterator<'a> {
        unsafe {
            xcb_depth_visuals_iterator(self.ptr)
        }
    }
}

impl<'a> Screen<'a> {
    pub fn allowed_depths(&self) -> DepthIterator<'a> {
        unsafe {
            xcb_screen_allowed_depths_iterator(self.ptr)
        }
    }
}