Rust语法积累（常更）

type

status

slug

date

summary

Ch1查漏补缺

extern的用法在rustlings里面用到过，当时是调用的外部RUST，主要用于调用FFI（Foreign Function Interface）

extern - Rust

链接到或导入外部代码。

https://rustwiki.org/zh-CN/std/keyword.extern.html

这里可以对比一下我们在C函数里面需要使用链接脚本里面定义的符号是怎么做： extern int __code_start, __bss_start;

就是这样声明，而这玩意没有值（或者是说它对于它指向的int值没有所有权，只能取地址操作）

其实这里取int也行，取其它的也可以，只是对应指针大小的数据类型即可。

so，这里rust调用c的方法也是如此，对比一下用c实现清空bss段：

C语言引用连接脚本lds中的符号——清除bss段，c实现方式 - Crystal_Guang - 博客园

之前我们的启动文件清除bss和拷贝都是通过汇编的方式的实现，但是，我们能够使用C语言，就不使用汇编：先看连接脚本：现在我们编写C语言的copy和clean函数，但是在我们的c程序中，需要访问连接脚本中的符号。先看代码，稍后解释： start.S部分展示：先不管连接脚本的引用，我们现在讨论一个

https://www.cnblogs.com/yangguang-it/p/8068088.html

记录有意思的细节：

#[link_name = ".."]和#[link(name = "")]的意思是一样的吗？

不完全一样。在Rust中，#[link_name = ".."]和#[link(name = "")]都是链接属性（link attributes），用于指定外部库的名称，但它们的使用场景和含义有所不同。

#[link_name = ".."]用于改变Rust在链接时搜索的符号名。这通常用于链接到C库时，当C库的函数名与Rust的函数名不一致时。

例如：

在这个例子中，Rust会在链接时搜索名为my_c_function的符号，而不是my_rust_function。

而#[link(name = "")]用于指定要链接的外部库的名称。

例如：

在这个例子中，Rust会链接到名为c的库，然后在该库中搜索printf函数。

所以，虽然这两个属性都与链接外部库有关，但它们的具体用途是不同的。

什么是Log？

我们这里是使用第三方库Log

这里因为log::set_logger这个方法参数签名：logger: &'static dyn Log

想了解dyn这个东西：

dyn

高级类型 - Rust 程序设计语言简体中文版

Rust 程序设计语言简体中文版

https://kaisery.github.io/trpl-zh-cn/ch19-04-advanced-types.html?highlight=dyn#动态大小类型和-sized-trait

摘录：

为了处理 DST，Rust 提供了 Sized trait 来决定一个类型的大小是否在编译时可知。这个 trait 自动为编译器在编译时就知道大小的类型实现。另外，Rust 隐式的为每一个泛型函数增加了 Sized bound。也就是说，对于如下泛型函数定义：

实际上被当作如下处理：

泛型函数默认只能用于在编译时已知大小的类型。然而可以使用如下特殊语法来放宽这个限制：

?Sized 上的 trait bound 意味着 “T 可能是也可能不是 Sized” 同时这个注解会覆盖泛型类型必须在编译时拥有固定大小的默认规则。这种意义的 ?Trait 语法只能用于 Sized ，而不能用于任何其他 trait。

另外注意我们将 t 参数的类型从 T 变为了 &T：因为其类型可能不是 Sized 的，所以需要将其置于某种指针之后。在这个例子中选择了引用。

关于Mutex

作为展示如何使用互斥器的例子，让我们从在单线程上下文使用互斥器开始，如示例 16-12 所示：

文件名：src/main.rs

示例 16-12: 出于简单的考虑，在一个单线程上下文中探索 Mutex<T> 的 API

像很多类型一样，我们使用关联函数 new 来创建一个 Mutex<T>。使用 lock 方法获取锁，以访问互斥器中的数据。这个调用会阻塞当前线程，直到我们拥有锁为止。

如果另一个线程拥有锁，并且那个线程 panic 了，则 lock 调用会失败。在这种情况下，没人能够再获取锁，所以这里选择 unwrap 并在遇到这种情况时使线程 panic。

一旦获取了锁，就可以将返回值（在这里是num）视为一个其内部数据的可变引用了。类型系统确保了我们在使用 m 中的值之前获取锁。m 的类型是 Mutex<i32> 而不是 i32，所以必须获取锁才能使用这个 i32 值。我们是不会忘记这么做的，因为反之类型系统不允许访问内部的 i32 值。

正如你所怀疑的，Mutex<T> 是一个智能指针。更准确的说，lock 调用返回一个叫做 MutexGuard 的智能指针。这个智能指针实现了 Deref 来指向其内部数据；其也提供了一个 Drop 实现当 MutexGuard 离开作用域时自动释放锁，这正发生于示例 16-12 内部作用域的结尾。为此，我们不会忘记释放锁并阻塞互斥器为其它线程所用的风险，因为锁的释放是自动发生的。

获取了锁之后，可以打印出互斥器的值，并发现能够将其内部的 i32 改为 6。