使用lldb查看Rust不同类型的结构

目录

前言

正文

标量类型

复合类型——元组

 复合类型——数组

函数

&str

struct

可变数组vec

Iter

String

Box

Rc

Arc

 RefCell

Mutex

RwLock

Channel

总结

---

前言

笔者发现这个lldb挺好玩的，可以查看不同类型的结构，虽然这好像是C++的东西，

看看Rust的也可以，

笔者使用RustRover中的调试模式，在后面的代码，在打印语句哪一行打断点。

输出使用

expr    <变量>

正文

参考如下

数据类型 - Rust 程序设计语言 中文版Rust 程序设计语言中文也译为 Rust 权威指南，是 Rust 官方推出的学习 Rust 的必备教程。Rust Wiki 版的 Rust 程序设计语言简体中文版将由 Rust 中文翻译项目组持续维护和更新，确保内容最新最全。https://www.rustwiki.org.cn/zh-CN/book/ch03-02-data-types.html

标量类型

标量（scalar）类型表示单个值。Rust 有 4 个基本的标量类型：整型、浮点型、布尔型和字符

比如

    let a=1;println!("{a}")

输出

(lldb) expr a
(i32) a = 1

i32表示是32为的整数，当前值为1

获取其地址

(lldb) expr &a
(*mut i32) &a = 0x000000839274f5f4

加个引用符号。

对于其他类似的，比如u32，u8、true等，这些标量类型都是放在某一个地址中，没有其他东西。

使用其他命令——frame variable -L

(lldb) frame variable -L a0x000000d6151df964: (i32) a = 1

可以看到输出了地址、类型、变量、值。

在tauri中没有什么区别。

复合类型——元组

看看元组内部长什么样的

比如

    let a=(1,2.0,'g');println!("{a:?}")

输出

(lldb) expr a
(tuple$<i32,f64,char>) a = (__0 = 1, __1 = 2, __2 = 'g')

可以使用 .0或者__0访问其中的数据

(lldb) expr a.__0
(i32) __0 = 1
(lldb) expr a.0
(i32) __0 = 1

看来这个元组是多个标量和在一起的类型

在rust代码中，无法使用 __0

类型 `(i32, f64, char)` 中没有字段 `__0` [E0609]

 在tauri中没有什么区别。

 复合类型——数组

    let a=[1,2,3];println!("{a:?}")

输出

(lldb) expr a
([i32; 3]) a = ([0] = 1, [1] = 2, [2] = 3)

这里是i32类型，长度为3的数组。

在lldb访问其中的值，可以使用a[0]，也可以使用a.0

(lldb) expr a[0]
(i32) [0] = 1
(lldb) expr a.0
(i32) [0] = 1

函数

如果是一个函数

fn f1()->i32{return 1; 
}
fn main() {let a=f1;println!("123");}

a会是什么? 输出看看

(lldb) expr a
(*mut ) a = 0x0000000011117b00

*mut 表示是一个可变的指针

笔者想调用a，但是没成功

(lldb) expr a()
error: function call failed

不知道什么情况。

&str

    let x="abc";println!("{x}");

换个字母。

看看&str的在lldb的输出

(lldb) expr x
(ref$<str$>) x = "abc" {data_ptr = 0x00007ff791a1a3b0length = 3
}

有两个东西，笔者都不知道改怎么称呼，就叫 字段，

有两个字段，一个data_ptr，显而易见，是存放数据的地址，可以修改

另一个length，就是长度了。

进去地址看看

(lldb) expr x.data_ptr
(*mut u8) data_ptr = 0x00007ff791a1a3b0

 发现又是是个可变指针，指向一个u8类型的内存地址

可以加个*访问了

(lldb) expr *(x.data_ptr)
(u8) *data_ptr = 97

发现是97，这不就是a的ASCLL码，

访问一下其他的

(lldb) expr *x.data_ptr+1
(u32)  = 98
(lldb) expr *x.data_ptr+2
(u32)  = 99

没问题。

笔者本来想修改数据的，没想到失败了

(lldb) memory region x.data_ptr
[0x00007ff688860000-0x00007ff688883000) r--

memory region 是 LLDB 调试器中的一个命令，

用于显示指定内存地址所在的内存区域的属性和权限信息。

它会告诉你某个地址是否可读、可写、可执行，以及该内存区域的起始和结束范围。

可以发现，只有r，只有只读

笔者就算在变量设置mut，内存还是还是只读

但是，可以修改长度

(lldb) expr (x).length=1
(u64) length = 1

总之，这个&str就像一个“结构体”，感觉不是很准确，应该说像“json”。

笔者发现tauri 通信函数greet

#[command]
fn greet(name: &str) -> String {println!("Hello, {}!", name);format!("Hello, {}! You've been greeted from Rust!", name)
}

这个name，内存居然拥有写的权限

(ref$<str$>) name = "world" {data_ptr = 0x000001b36114b6f0length = 5
}
(lldb) memory region 0x000001b36114b6f0
[0x000001b361050000-0x000001b36114f000) rw-

笔者不能理解 

struct

看看结构体

如下，

    struct book<'a>{id: i32,name:&'a str,}let book1 = book{id: 1,name: "rust",};println!("{}", book1.name);

输出

(lldb) expr book1
(shared_state_concurrency::main::book) book1 = {id = 1name = "rust" {data_ptr = 0x00007ff7d53fa3b0length = 4}
}

真像json，比如取值——length

(lldb) expr book1.name.length
(u64) length = 4

没问题

可变数组vec

    let a=vec![1, 2, 3];println!("{:?}", a);

输出

(lldb) expr a
(alloc::vec::Vec<i32,alloc::alloc::Global>) a = size=3 {[0] = 1[1] = 2[2] = 3
}

获取第一个字段——buf，a.0、a[0]、或者a.buf，都行

(lldb) expr a.buf
(alloc::raw_vec::RawVec<i32,alloc::alloc::Global>) buf = {inner = {ptr = {pointer = {pointer = 0x000002b284ccfc20}_marker = {}}cap = (__0 = 3)alloc = {}}_marker = {}
}

看看这个地址可不可以写

(lldb) memory region 0x000002b284ccfc20
[0x000002b284cb0000-0x000002b284cd0000) rw-

 发现有w，可以写，改成66 77 88。

修改数据

memory write -s 4 0x000001d9e06a7430 42 4d 58

因为是i32类型的，32位，需要4个字节，

66是十进制，变成16进制是42

其他同理。写完后

(lldb) expr a(alloc::vec::Vec<i32,alloc::alloc::Global>) a = size=3 {[0] = 66[1] = 77[2] = 88
}

没问题

Iter

看看迭代器

    let a=vec![1,2,3];let iter= a.iter();println!("{a:?}")

如果以json数据表示iter的结构，如下

{"iter": {"ptr": {"pointer": "0x000001dd45d299f0"},"end_or_len": "0x000001dd45d299fc","_marker": {}}
}

发现这个iter，pointer和 end_or_len都是地址，

意思就很明显了，从pointer开始，到end_or_len结束。

f0到fc ，中间有12个字节，类型是i32的，没问题。

String

    let a=String::from("hello");println!("{:?}", a);

输出

(lldb) expr a
(alloc::string::String) a = "hello" {vec = size=5 {[0] = 104[1] = 101[2] = 108[3] = 108[4] = 111}
}

可以看到String里面放了一个vec，

(lldb) expr a.vec
(alloc::vec::Vec<u8,alloc::alloc::Global>) vec = size=5 {[0] = 104[1] = 101[2] = 108[3] = 108[4] = 111
}

这个vec元素的类型还是u8。

如果考虑成json结构，可能是这样的

{"a":{"vec": {"buf": {"inner": {"ptr": {"pointer": {"pointer": "0x000001651effdeb0"},"_marker": {}},"cap": {"__0": 5},"alloc": {}},"_marker": {}},"len": 5}}
}

没问题

Box

Box是智能指针，允许将一个值放在堆上而不是栈上

    let a=Box::new(1);println!("{:?}", a);

输出，看看a长什么样

(lldb) expr a
(*mut i32) a = 0x00000279d903de90

确实是一个指针

获取其中的值*a

(lldb) memory region 0x00000279d903de90
error: 'jb_renderers_set_markup' is not a valid command.
[0x00000279d9030000-0x00000279d9050000) rw-

有写的权限 

Rc

Rc被称为 引用计数

    let a=Rc::new(1);println!("{:?}", a);

输出 

(lldb) expr  a
(alloc::rc::Rc<i32,alloc::alloc::Global>) a = strong=1, weak=0 {value = 1
}

这个Rc就比Box要复杂的得多

使用json表示内部的结构

{"a:rc":{"ptr": {"pointer":{"strong":{"value": {"value": 1}},"weak":{"value": {"value": 1}},"value":1}},"phantom":{},"alloc": {}}
}

表示的不是很准确，因为pointer其实是一个指针。

(lldb) expr a.ptr.pointer
(*mut alloc::rc::RcInner<i32>) pointer = 0x000001eb490a7710

拥有写的权限

(lldb) memory region 0x000001eb490a7710
[0x000001eb49090000-0x000001eb490b0000) rw-

使用一次clone，

let b=Rc::clone(&a);

发现strong变成了2

(lldb) expr a.ptr.pointer.strong.value.value
(u64) value = 2

Arc

Arc原子引用计数指针，可以安全地在多线程环境中共享数据

结构和Rc几乎一模一样，但是其中的类型不一样。笔者就不展示了

 RefCell

允许你即使在有不可变引用时也可以改变数据

    let a=RefCell::new(1);println!("{:?}", a);

输出用json表示

  "a:RefCell":{"value": {"value": 1},"borrowed": {"value": {"value": 0}}}

这个RefCell 有点高级，笔者没有看到关于地址的东西

使用一下

    {let mut b=a.borrow_mut();*b=2;println!("{:?}", a);}

在大括号里面，发现这个a的borrow的值

(lldb) expr a.borrow.value.value
(i64) value = -1

居然变成了-1，有点意思

Mutex

看看互斥锁

    let a=Mutex::new(1);println!("{a:?}")

输出，用json表示结构

{"a:Mutex":{"inner": {"futex": {"v": {"value": 0}}},"poison": {"failed": {"v": {"value": 0}}},"data": {"value": 1}}
}

如果使用了lock

let lock=a.lock().unwrap();

可以发现futex的值变成了1

(lldb) expr a.inner.futex.v.value
(u8) value = 1

RwLock

    let a=RwLock::new(1);println!("{a:?}")

其结构用json表示

{"a:RwLock": {"inner": {"state": {"v": {"value": 0}},"writer_notify": {"v": {"value": 0}}},"poison": {"failed": {"v": {"value": 0}}},"data": {"value": 1}}
}

和Mutex差不多，但是inner内部变了

很容易猜测，使用一次读锁，state对应的值变成1

使用一次写锁writer_notify对应的值变成1

但是，笔者使用读锁，确实如下

 let b=a.read().unwrap();

(lldb) expr a.inner.state.v.value
(u32) value = 1

使用写锁

let mut b=a.write().unwrap();

发现并不是writer_notify变成1

(lldb) expr a
(std::sync::poison::rwlock::RwLock<i32>) a = {inner = {state = {v = (value = 1073741823)}writer_notify = {v = (value = 0)}}poison = {failed = {v = (value = 0)}}data = (value = 1)
}

而是这个state变成了一个很大的值，1073741823，这个值感觉不是巧合，笔者不能理解。

写锁是独占的。

笔者添加4个读锁，发现state对应的值变成了4

看来根据这个state的值可以判断是读锁还是写锁。具体实现笔者不是很清楚，必然和state有很大的关系。

Channel

看看通道

use std::sync::mpsc::channel;
use std::thread;
fn main() {let (tx, rx) = channel();thread::spawn(move || {let val = String::from("hi");tx.send(val).unwrap();});println!("123")
}

tx 和rx用json表示

{"tx": {"inner": {"flavor": {"0": {"counter": "0x0000020b23389b00"}}}},"rx": {"inner": {"flavor": {"0": {"counter": "0x0000020b23389b00"}}}}
}

可以发现，二者的结构是一模一样的。最后都指向一个地址。

 意思就显而易见了，把某个消息传递到某个地址，然后再从这个地址中获取消息

这就是通道吗？有点意思。

总结

看了看，rust的不同类型的结构

感觉这个结构，无论是什么，好像都可以用json表示。有点意思