本週 Rust 動態 487#

2023-03-22

您好，歡迎來到另一期的《This Week in Rust 本周 Rust 新聞》！ Rust 是一種使每個人能夠構建可靠和高效軟體的程式語言。 這是其進展和社區的每週摘要。 想要提及某事嗎？在 Twitter 上標記我們@ThisWeekInRust ，或在 mastodon.social 上標記我們 @ThisWeekinRust，或向我們提交 pull request。 想要參與其中？我們歡迎貢獻。

This Week in Rust 在 GitHub 上公開開發。 如果您發現本週問題中有任何錯誤，請提交 PR。

Rust 社区最新动态#

基金會#

• 歡迎軟體工程師 Adam Harvey 加入 Rust 基金會團隊
• 新的 SLSA++ 調查揭示了軟體供應鏈安全的真實開發者方法

通訊#

• Rust OSDev 本月動態：2023 年 2 月 | Rust OSDev

項目/工具更新#

• autometrics 0.3：在 Rust 程式碼中定義服務水準目標 (SLOs)
• Typst 開始公開測試並開放原始碼
• Klint：在核心 Rust 代碼中編譯時檢測原子上下文違規
• rust-analyzer 更新日誌＃173
• Gitea 1.19.0 發布
• Fornjot（Rust 程式碼優先的 CAD）- 週報 - 完成！
• activitypub-federation 0.4.0：帶有對可用性和文檔的改進進行了重大重寫
• Quickwit 0.5：使用 Open Telemetry 和 Jaeger 進行分佈式追踪，支持 VRL、Pulsar 等...！
• pavex，一個新的 Rust 網頁框架 - 進度報告＃2

觀察/思考#

• 臨時生命週期
• 必須移動的類型
• 延遲塊和異步丟棄
• 關於在工作中採用 Rust 的模板提議
• 模式和抽象
• Const 作為自動特徵
• 項目模式和結構其他
• 為什麼在後端使用 Rust？
• 日誌記錄的重要性
• AsRef 與 Borrow 特徵（與 ChatGPT 一起）
• [音訊] 與 Alexander Lopatin 談 Cargo Limit :: Rustacean Station
• [視訊] 關於 Rust/WebAssembly 性能的真相

Rust 教學#

• 在 Rust 中使用 Cow 進行效能記憶體利用
• PAC 中的 STM32F4 嵌入式 Rust：建立硬件抽象
• PAC 中的 STM32F4 嵌入式 Rust：GPIO 中斷
• 製作您自己的 Counting Bloom 過濾器
• [視訊] 為 Rust 箱設置 CI 和屬性測試

研究#

• 使用線性 ghost 類型驗證 Rust 程式
• 指導所有權的 C 到 Rust 翻譯
• 優化解析器/編譯器與資料導向設計：案例研究

雜項#

• 將 Rust 帶入 Xen 專案
• 一個套件管理器的誕生 [使用 Rust ;)]

本周推荐的库#

本周推荐的库是 Speedy2D，这个库提供了跨平台的硬件加速绘制图形、图像和文本的功能，并提供了易于使用的 API。

感谢 Aleksey Kladov 的建议！

请提交您对下周的建议和投票！

參與呼籲#

一直想要為開源專案做出貢獻，卻不知道從何開始嗎？ 每週我們都會突出 Rust 社區中一些任務，供您選擇並開始參與！

其中一些任務可能有導師可以提供協助，請訪問任務頁面以獲取更多資訊。

• racoon - 開源身份驗證呼籲貢獻者
• Ockam - 創建 clap 命令以顯示節點上安全通道監聽器的詳細資訊
• Ockam - 創建 clap 命令以刪除節點上的現有轉發器
• Ockam - ockam run - 一個單一命令以運行多個 ockam “create” 命令

如果您是 Rust 專案擁有者並正在尋找貢獻者，請在這裡提交任務。

來自 Rust 項目的最新更新

上週共合併了 321 個拉取請求 [merged][merged] [merged]: https://github.com/search?q=is%3Apr+org%3Arust-lang+is%3Amerged+merged%3A2023-03-13..2023-03-20

• inherit_overflow: adapt pattern to also work with v0 mangling
• read_buf_exact: on error, all read bytes are appended to the buffer
• add enable-warnings flag for llvm, and disable it by default
• add useless_anonymous_reexport lint
• add note for mismatched types because of circular dependencies
• do not ICE for unexpected lifetime with ConstGeneric rib
• don't ICE for late-bound consts across AnonConstBoundary
• don't suggest similar method when unstable
• fix ICE in custom-test-frameworks feature
• fix ClashingExternDeclarations lint ICE
• emit diagnostic when calling methods on the unit type in method chains
• ensure ptr::read gets all the same LLVM load metadata that dereferencing does
• erase escaping late-bound regions when probing for ambiguous associated types
• error-msg: expand suggestion for unused_def lint
• error-msg: impl better suggestion for E0532
• fall back to old metadata computation when type references errors
• fast path for process_obligations
• fix generics_of for impl's RPITIT (Return Position Impl Trait In Trait) synthesized associated type
• fix generics mismatch errors for RPITITs on -Zlower-impl-trait-in-trait-to-assoc-ty
• install projection from RPITIT to default trait method opaque correctly
• make fns from other crates with RPITIT work for -Zlower-impl-trait-in-trait-to-assoc-ty
• fix object safety checks for new RPITITs
• fix linker detection for clang with prefix
• flatten/inline format_args!() and (string and int) literal arguments into format_args!()
• implement FixedSizeEncoding for UnusedGenericParams
• implement checked Shl/Shr at MIR building
• only expect a GAT const param for type_of of GAT const arg
• pass the right HIR back from get_fn_decl
• remove identity_future indirection
• remove box expressions from HIR
• replace ZST operands and debuginfo by constants
• simplify proc macro signature validity check
• some cleanups in our normalization logic
• suggest surrounding the macro with {} to interpret as a statement
• use unused_generic_params from crate metadata
• miri: move reject with isolation logic in fcntl
• miri: tree borrows
• properly allow macro expanded format_args invocations to use captures
• optimize dep node backtrace and ignore fatal errors
• fallback to lstat when stat fails on Windows
• stabilise unix_socket_abstract
• stabilize atomic_as_ptr
• use index based drop loop for slices and arrays
• allow using Range as an Iterator in const contexts
• cargo: accurately show status when downgrading dependencies
• cargo: add --ignore-rust-version flag to cargo install
• cargo: add more information to wait-for-publish
• cargo: align semantics of generated vcs ignore files
• cargo: handle case mismatches when looking up env vars in the Config snapshot
• rustdoc: correctly merge import's and its target's docs in one more case
• rustdoc: docFS: replace rayon with threadpool and enable it for all targets
• rustdoc: implement bag semantics for function parameter search
• clippy: add allow_attribute lint
• clippy: new lint to detect &std::path::MAIN_SEPARATOR.to_string()
• clippy: enhance ifs_same_cond to warn same immutable method calls as well
• clippy: fix almost_swapped false positive (let mut a = b; a = a)
• clippy: fix almost_swapped: Ignore external macros
• clippy: issue function modifiers in the right order in manual_async_fn lint
• rust-analyzer: add an autofix for inserting an unsafe block to missing unsafe diagnostic
• rust-analyzer: prioritize missing variants in match pattern completions
• rust-analyzer: allow the status bar item to be clicked again
• rust-analyzer: fix reference completions being emitted in places other than argument lists
• rust-analyzer: fix rustc proc-macro handling being broken on the rustc workspace itself
• rust-analyzer: fix visibility resolution not respecting parent blocks
• rust-analyzer: only skip adjustment hints for block, if and match expressions for reborrows
• rust-analyzer: lint incoherent inherent impls

Rust 編譯器效能審查#

本週雜亂多變，在有些方面取得了好成績，但至少有兩個拉取請求被撤銷，例如升級到 LLVM 16。我們想提及的是 PR #108944, 這減少了 crate metadata、二進制文件大小，對許多基準測試也在執行時間上取得了整體勝利。

由 @pnkfelix 進行效能審查。 範圍：00587489..ef03fda3

1 個回歸，4 個改進，11 種各種情況；其中有 2 種是卷集中的 總共進行了 37 次套件比較

完整報告請點擊此處

已批准的 RFC#

Rust 的變更遵循 RFC（諮詢意見請求）流程。本週已批准用於實施的 RFC 為：

• 本週未批准任何 RFC。

最後意見週期#

每週，團隊宣布了達成決定的 RFCs 和關鍵 PR 的「最後意見週期」。現在表達你的意見。

RFC#

• [決定：合併] RFC：result_ffi_guarantees

跟蹤問題和 PR#

• [決定：合併] Initial support for return type notation (RTN)
• [決定：合併] rustdoc：add support for type filters in arguments and generics
• [決定：合併] rustdoc：run more HIR validation to mirror rustc
• [決定：合併] Add a builtin FnPtr trait that is implemented for all function pointers
• [決定：合併] Clarify stability guarantee for lifetimes in enum discriminants

新的和更新的 RFC#

• 本週未創建新的或更新的 RFC。

測試呼叫#

RFC 實施的一個重要步驟是讓人們對實現進行實驗並提供反饋，特別是在穩定之前。以下 RFC 將在推進之前受益於用戶測試：

• 本週無 RFC 發出測試呼叫。

如果您是功能實現者，並想讓您的 RFC 出現在上述列表中，則在您的 RFC 上新增 call-for-testing 標籤，並添加一條評論，提供測試指示或關於哪些部分的功能需要測試的指導。

即將舉行的活動#

2023 年 03 月 22 日至 2023 年 04 月 19 日期間的 Rusty 活動 🦀

工作#

请查看最新的 r/rust 招聘贴

本周引言#

生成的程序是一个随机的字节序列，碰巧以一种看似可行的程序形式出现。这就是导致未定义行为的代码带来的乐趣。当你执行一个存在未定义行为的程序时，你无法从中推断出任何信息，因为这个行为本身是毫无意义的。在编译器生成程序后，你需要确定你的程序没有未定义行为，然后才能基于程序的行为推断任何结论。

– Ralf Jung on github

感谢 bugaevc 的建议！

请提交引言并为下周进行投票！

This Week in Rust 的编辑人员包括: nellshamrell, llogiq, cdmistman, ericseppanen, extrawurst, andrewpollack, U007D, kolharsam, joelmarcey, mariannegoldin, bennyvasquez.

邮箱列表托管由 The Rust Foundation 赞助

在 r/rust 上讨论