advance/unsafe/superpowers

[giscus[bot]]

advance/unsafe/superpowers

https://course.rs/advance/unsafe/superpowers.html

[jan6055]

讲的真不错

[songchengen]

actix-web 的前作者为啥被喷

[zy010101]

因为有些人对Rust抱着不切实际的幻想，这个世界上没有完美的东西，使用unsafe并没有什么错。

即使是在Haskell这样的函数式编程语言中，当你需要文件读写、网络通信等操作本地资源的情况时，它也使用了 Monad 和 IO 操作来封装具有副作用的操作。通过这种方式，将副作用隔离到特定的模块或操作中，以确保函数式部分的纯度和不可变性。

同理，框架作者将这部分unsafe封装到了特定的模块中，使用者只需要使用safe部分的rust就行了。相信框架作者，相信大佬，不然你为什么要用别人写的框架呢？你要是不相信别人，那就别用，而不是东拉西扯。

[showyou2023]

还是裸指针用着顺手：-）

[MayFlyOvO]

有一点点迷糊，请问这里不是把n drop掉了吗。
为什么最后还可以输出n的值？

fn main(){
    let mut n = 5;

    let p : *mut i32= &mut n;
   
    drop(n);
    
    unsafe{
            *p = 6;
    }

    println!("n = {n}");
}

[Ryu2u]

整数类型实现了copy特征，所以drop里的参数实际上是copy了值，而不是将n的所有权带走

[Buer-Nahida]

如果你自己写了一遍，cargo run后你会发现编译器给你了一个警告：

warning: calls to `std::mem::drop` with a value that implements `Copy` does nothing
  --> src/main.rs:6:5
   |
45 |     drop(n);
   |     ^^^^^-^
   |          |
   |          argument has type `i32`
   |
   = note: use `let _ = ...` to ignore the expression or result
   = note: `#[warn(dropping_copy_types)]` on by default 

std::mem::drop函数不会对实现了Copytrait的类型做任何事

[showyou2023]

pub fn drop(_x: T) { }
Because _x is moved into the function, it is automatically dropped before the function returns.
Integers and other types implementing copy are unaffected by drop

[aardwolfchen]

fn get_memory_location() -> (usize, usize) {
let string = "Hello World!";
let pointer = string.as_ptr() as usize;
let length = string.len();
(pointer, length)
}

fn main() {
let (pointer, length) = get_memory_location();
let message = get_str_at_location(pointer, length);
。。。

);
}

上面代码中，主函数调用get_memory_location()完成后，函数内string是不是被drop了？如果是的话，为何主函数内还能获取message的值为“Hello world"

[showyou2023]

我理解，as_ptr()获得裸指针。
不安全代码，在对应地址的存储值改变之前，应该可以获得hello world。

[aardwolfchen]

你的意思是pointer获得了“Hello World"的所有权？ 是否另外一种可能，”Hello World“是’static的？

[duanyuluo]

”Hello World“是literal string，也就是直接编译进代码的，只要程序加载，内存就不可能被drop掉。被drop掉的，只有可能是引用这个内存的变量，比如let string，这个string会被drop掉。但是如果通过string获取了内存地址，string在不在都无所谓了。

[cctga]

YES，所有的字符串字面量都是 'static 的，你可以试试使用数字，如 let number = 18888，方法外使用裸指针将无法获取该值

[RyouonRitsu]

请问裸指针指向的内存空间如何drop（free）？

[Buer-Nahida]

得看是怎么来的，如果来自栈就不用管，如果来自Box<T>那么最好的方法是使用Box::from_raw关联函数从裸指针创建Box<T>并drop：

let ptr = Box::from(114514).into_raw();
// ...
drop(Box::from_raw(ptr);
// or
let _ = Box::from_raw(ptr);

[ShyunnY]

不确定我的理解是否正确： 裸指针应该无法保证指向的内存的合法性吧？ 内存依旧是由所有者去Drop?

[duanyuluo]

过度用unsafe，干嘛不直接用C好了：D

[FlorentinoJink]

能讲一讲cxx怎么用吗？

[Bylx666]

我叫野指针，我为你回首🌹
🌹🌹🌹🌹🌹🌹
🌹0xc0000005🌹
🌹🌹🌹🌹🌹🌹

[Buer-Nahida]

裸指针(raw ptr)可以实现对不可变值进行更改
学到这的人都知道，不可变引用是无法转换为可变引用的
但是不可变裸指针(*const T)是可以强转为可变裸指针(*mut T)的，并且*mut T有个unsafe方法.as_mut()，返回Option<&mut T>类型
所以你可以通过下面的unsafe代码将一个不可变引用间接转为可变引用：

let var = 114514;
println!("{var}");
let mut_ref = unsafe { (&var as *const i32 as *mut i32).as_mut() }.unwrap();
*mut_ref = 1919810;
println!("{var}");

[KingingWang]

众所周知,七种武器只有六种

[mxdzs0612]

我反注释了 let message = get_str_at_location(1000, 10); 好像什么也没发生的样子。。

[gastrodia]

在 unsafe 函数体中使用 unsafe 语句块是多余的行为

在最新版的rust中(rust2024)，unsafe fn 中的 unsafe 操作仍需要 unsafe {} 块