о гарантиях

[thedeemon]

fn helper<'a, 'b, T>(_: &'a &'b (), v: &'b T) -> &'a T { v }

/// Turn any `&T` into a `&'static T`. May introduce undefined behavior.
pub fn make_static<'a, T>(input: &'a T) -> &'static T {
    let f: fn(_, &'a T) -> &'static T = helper;
    f(&&(), input)
}

(отсюда)
Не ожидал, что так просто. Безо всякого unsafe берем и превращаем "одолженную" ссылку на временное значение в "вечную", с соответствующими use-after-free последствиями. А просто дырка в borrow checker'e, и давно уже, все никак не залатают.

Comments

[juan_gandhi]

А чо, так можно было?! И работает? Как кастинг в джаве.

[thedeemon]

Напрямую низя, а вот так, если задействовать сабтайпинг между функциями, то можно компилятор успешно запутать. Говорят, работает.

[vit_r]

А запутанный компилятор не будет выдавать запутанные сообщения об ошибках? Обычно, это самый тонкий момент во всех трюках. Работает прекрасно до тех пор, как что-то пошло не так.

[thedeemon]

Ну так это не какой-то ФП трюк, который кто-то предлагает использовать на практике.
Это демонстрация ошибки в компиляторе, когда получается его надурить и сделать то, что по-хорошему должно быть невозможно. Демонстрация того, что его гарантии корректного присмотра за временами жизни объектов не стопроцентны, там есть дыры.

[vit_r]

Понятно. Я было подумал, что так и задумано.

[juan_gandhi]

Just tested. It worked!

    #[test]
    fn changing_lifetime() {
        let r;
        {
            let x = 5;
            r = make_static(&x);
        }
        println!("r: {}", r);
        assert_eq!(5, *r)
    }