Телеграмм чат группы RSA4096 страница 2617

#![feature(const_generics)]

struct Foo<T, const N: usize> {
    array: [T; N],
    first: *mut T,
}

fn consume(foo: Foo<i32, 3>) {
    unsafe { *foo.first = 12i32 };
}

fn main() {
    let mut array = [1, 2, 3];
    let first = array.as_mut_ptr();
    let foo = Foo {
        array, first
    };
    unsafe { *foo.first = 22i32 };
    consume(foo);
}

Тут UB, потому что consume смувала массив и теперь first может указывать на мусор

источник

17:41пожаловаться #7

MrSmith in // CIPHERNET

Проблема скорей в том как сделать функции которыы выделают память. Я думаю делать прям объекты тип
let mut it = TreeWideIterator::new():
for node in it.apply(obj_tree){}

источник

17:41пожаловаться #8

MrSmith in // CIPHERNET

Gymmasssorla

#![feature(const_generics)]

struct Foo<T, const N: usize> {
    array: [T; N],
    first: *mut T,
}

fn consume(foo: Foo<i32, 3>) {
    unsafe { *foo.first = 12i32 };
}

fn main() {
    let mut array = [1, 2, 3];
    let first = array.as_mut_ptr();
    let foo = Foo {
        array, first
    };
    unsafe { *foo.first = 22i32 };
    consume(foo);
}

Тут UB, потому что consume смувала массив и теперь first может указывать на мусор

Тут возникает UB потому что ты явно нарушил состояние unsafe

источник

17:43пожаловаться #9

MrSmith in // CIPHERNET

У тебя слайс должен муваться в From() к примеру и владение памятью должно переходить к Foo

источник

17:44пожаловаться #10

Gymmasssorla in // CIPHERNET

если бы я передал мутабельную ссылку на foo в consume, то UB нет

источник

17:45пожаловаться #11

MrSmith in // CIPHERNET

Ты не передаешь владение а захватываешь память просто без пладения тоесть по русски говоря ты репрезетуешь память в Foo но если ты такое делаешь без лайфтаймов то все на твоих руках

источник

17:45пожаловаться #12

Gymmasssorla in // CIPHERNET

https://doc.rust-lang.org/std/pin/index.html#example-self-referential-struct

doc.rust-lang.org

std::pin - Rust

API documentation for the Rust `pin` mod in crate `std`.

источник

17:45пожаловаться #13

Gymmasssorla in // CIPHERNET

вот тут посмотри

источник