本週 Rust 動態 504#

2023-07-19

歡迎閱讀Rust 本週的又一期內容！ Rust 是一種程式語言，賦予每個人建構可靠且高效軟體的能力。 這是它進展和社區的每週摘要。 想要在這裡看到某個消息？在 Twitter 上給我們標記 @ThisWeekInRust，或者在 mastodon.social 上找到 @ThisWeekinRust，或者發送 Pull Request給我們。 想要參與進來？我們熱愛貢獻。

Rust 本週 是在 GitHub 上公開開發的，並且可以在 this-week-in-rust.org 查看存檔。 如果您發現本週問題中的任何錯誤，請提交 PR。

來自 Rust 社群的更新#

官方公告#

• 公告 Rust 1.71.0
• Rustc Trait 系統重構倡議更新

專案/工具更新#

• rust-analyzer 更新日志 #190
• 使用 Ratatui + ChatGPT 生成終端使用者界面
• Kani 0.32.0 版本發布！
• Bevy XPBD 0.2.0：空間查詢、支持 Bevy 0.11，還有更多
• bwrap：一個快速、輕量、嵌入式環境友好的 Rust 文字包裝庫
• 我們剛剛建立了我們的 Rust 視訊會議系統供大家免費使用 | 倉庫

觀察/想法#

• 無鎖 Mutex，無 push 隊列：lilos 中的取消安全
• 為什麼 Rust 是嵌入式軟件的絕佳選擇 - 2023 更新
• C 語言的 {n} 倍速度，其中 n = 128
• 我已經用 Rust 寫了一個 JVM
• 如何極大化你的 Rust 代碼性能
• rustdoc 如何達到絕佳的設計
• ESP32 標準庫嵌入式 Rust：GPIO 控制
• Rust 與 Julia 在科學計算中的對比
• 用 Rust 寫一個玩具 DNS 解析器

Rust 演練#

• [系列] Rust 多模組單體倉庫微服務系列，帶有 Kafka、Apache Avro、OpenTelemetry 追蹤
• 使用 Rust 加速 Python 的最簡單方法
• 用 Rust 和 Solid.js 寫一個 AI 聊天機器人
• 簡單的 Rust 函數宏
• 更新的 fluvio SQL 接收連接器 (倉庫) | 使用 upsert 函數實現寫入時去重的演練
• [影片] Rust 版本釋出！Rust 1.71.0
• ratatui 0.22.0 版本發布！（tui-rs 社區分支）
• 在 Cortex-M 微控制器上進行非同步 Rust 編程

研究#

• RustSmith：Rust 的隨機差異編譯器測試

雜項#

• [視頻] 函數如何運作
• [視頻] Rust 的迭代器比看起來還要有趣
• [音頻] 用 Albert Larsan 啟動 Rust

[發布] Rust 的十年，以及 Ferrocene 的宣布

本週的 Crate#

本週的 crate 是 ratatui，這是一個建立豐富終端使用者介面和儀表板的 crate。

感謝 orhun 的（部分自我）建議！

請提交您的建議和投票給下週的 crate！

徵求參與#

一直想要為開源專案做出貢獻，卻不知道從何開始？ 我們每週都會精選一些來自 Rust 社群的任務，讓你挑選並開始著手！

其中一些任務可能還有導師可供諮詢，想了解更多信息請訪問任務頁面。

• Hyperswitch - 將 gen_range 出現的地方替換成安全的選項
• Hyperswitch - 將貨幣換算的實用功能函式包含至貨幣特性實作中
• Hyperswitch - 將貨幣枚舉改成文字字串
• Ockam - 基於 Tauri 的 Ockam 應用：阻止應用出現在 macOS 泊船底座上 1
• Ockam - 基於 Tauri 的 Ockam 應用：驗證使用者是否在啟動應用時已正確註冊 1
• Ockam - 基於 Clap 的 Ockam 指令：當呼叫 ockam node list 時，輸出中的間距不規則 1

如果你是 Rust 專案的擁有者，而且正在尋找貢獻者，請在此處提交任務。

Rust 專案更新#

上週有 391 個拉取請求 被合併

• 在 rustc 中動態調整 sigaltstk 的大小
• 新增 #[rustc_confusables] 屬性，以針對標準庫型別提供“沒有方法”的錯誤建議
• 對於 unused_qualifications lint 添加可機器應用的建議
• 在新的解決器中添加對固有投影的支援
• 在新求解器中允許在 normalize_erasing_regions 過程逃逸綁定變數
• 選擇時避免建立證明樹
• 作為項目型別檢查的一部分檢查條目型別
• 在跨箱(fulfillment)時不要呼叫類似 predicate_must_hold 的函數
• 如果 try_run 返回一個錯誤則不要提前失敗
• 不要在路徑位置上建議使用 impl Trait
• 在 rustc_hir_typeck 中啟用 potential_query_instability lint
• 支持安全型態轉換的共生(coinduction)支持
• 為空枚舉上的派生項目生成安全穩定的代碼
• 為 THIR 無安全檢查實作「項目不繼承不安全性」筆記

• 為 Unsize 實作選擇以改善型別強制轉換行為
• 對於特徵中關聯型別錯位的 where 子句進行 lint
• 在探測 ADTs 時正規化惰性型別別名
• 在新解算器剝除引用時，結構性地解析模式匹配
• 特徵系統重構的 ping: 也適用於 solve 的巢狀模組
• 提升 clippy::fn_null_check lint
• while let 建議將適用於閉包本體
• 實作更多右值轉換到 SMIR
• 為 SMIR 新增 Adt
• 為 SMIR 新增更多型別轉換

• 預設啟用 MIR 參考傳播
• miri：在呼叫需要不可用目標功能的函數時失敗
• miri：在呼叫過程中保護 Move() 函數參數
• miri：解決 custom_mir 範圍問題
• rustc_target：為間接傳遞的值類型增加對齊方式，在此過程中糾正 x86 上 byval 的對齊
• 為 maybe_lint_level_root_bounded 增加一個快取
• 再次重寫 UnDerefer
• 新增對 Rc & Arc 的分配器支持
• std::io：增加回 BorrowedBuf::filled_mut
• 在 Box 和 Vec 中消除 ZST 分配
• regex: 改進從某些重複模式中提取字面值的處理
• codegen_gcc: 新增對 pure 函式屬性的支援
• codegen_gcc: 新增對 returns_twice 函式屬性的支援
• cargo: 總是生成有效的包名
• cargo: 對於明確不支援的命令顯示錯誤訊息
• rustdoc: 在sourceview中新增跳轉至文檔的功能
• clippy: arithmetic_side_effect: 對於 Wrapping<T>允許右側擁有不同類型
• clippy: panic_in_result_fn 移除 todo!, unimplemented!, unreachable!
• clippy: semicolon_if_nothing_returned: 新增自動修復功能
• clippy: tuple_array_conversions: 從 complexity 分類移至 nursery
• clippy: unnecessary_literal_unwrap: 也要對 unwrap_(err_)unchecked 進行檢查
• clippy: 在宏邊界跨函式時，不應檢查 needless_return
• clippy: 新的檢查：format_collect
• rust-analyzer: 新增 write_bytes 和 ctlz 內建函數
• rust-analyzer: 在分析中啟用 cfg miri
• rust-analyzer: 修正急切的標記對應恐慌
• rust-analyzer: 修正 rust-analyzer ssr 説明訊息
• rust-analyzer: 給真實的 discriminant_type 給 chalk
• rust-analyzer: 在 projected_ty 中處理 TyAlias
• rust-analyzer: 使 mir::Terminator 的欄位為公開 rust-analyzer是一個用於Rust語言的程式碼分析器工具，可以在許多編輯器和IDE中提供代碼完成、跳轉到定義、即時錯誤檢查等功能。

提及的兩個鏈接都是指向rust-analyzer的GitHub存儲庫中的“pull request”（合併請求）。在這裡，程式開發者可以提交代碼改動供他人審核，以合併到主代碼庫中。

第一個鏈接的標題是 rust-analyzer: normalize type alias in projected_ty``，這代表有一個新的合併請求被提交，用於"標準化在projected_ty中的型別別名"。

第二個鏈接標題是 rust-analyzer: revert "Handle TyAlias in projected_ty"，這意味著某個先前做出的改動（即處理projected_ty中的TyAlias`），因為某些原因需要被撤回，或者稱之為"還原"。

在軟體開發的版本控制流程中，還原一個合併請求是相當常見的，這可能是因為發現了新的問題、更好的解決方案，或者改動不適合當時的開發目標。

即將到來的活動#

2023年7月19日至2023年8月16日期間的Rust活動 🦀

線上活動#

• 2023-07-19 | 線上活動（加拿大溫哥華）| Vancouver Rust
  • Rust 自學/黑客/閒聚
• 2023-07-20 | 線上活動（伊朗德黑蘭）| Iran Rust Meetup
  • Iran Rust Meetup #12 - 所有權與記憶體管理
• 2023-07-24 | 線上活動（加拿大多倫多）| Programming Languages Virtual Meetup
  • 編寫解釋器 第18章：值的類型
• 2023-07-25 | 線上活動（美國德州達拉斯）| Dallas Rust
  • 上個星期二
• 2023-07-25 | 線上活動（愛爾蘭都柏林）| Rust Dublin
  • Ruff. 一個超快的 Python 靜態分析工具，由 Rust 編寫
• 2023-07-26 | 線上活動（英國卡迪夫）| Rust and C++ Cardiff
  • 組合子 API 的不合理力量
• 2023-07-27 | 線上活動（美國北卡羅萊納州夏洛茨維爾）| Charlottesville Rust Meetup
  • 協作編寫 Rust 解釋器
• 2023-07-28 | 線上活動（突尼斯突尼斯城）| Rust Meetup Tunisia
  • Rust Meetup Tunisia - 第一卷，第四期
• 2023-08-01 | 線上活動（德國柏林）| OpenTechSchool Berlin
  • Rust 黑客和學習
• 2023-08-01 | 線上活動（美國紐約州布法羅）| Buffalo Rust Meetup
  • Buffalo Rust 使用者小組，每個月的第一個星期二
• 2023-08-08 | 線上活動（美國德州達拉斯）| Dallas Rust
  • 第二個星期二
• 2023-08-15 | 線上活動（德國柏林）| OpenTechSchool Berlin
  • Rust 黑客和學習
• 2023-08-16 | 線上活動（加拿大溫哥華）| Vancouver Rust
  • Rust 自學/黑客/閒聚

亞洲#

• 2023-07-27 | 首爾, KR | Rust 程式設計聚會 首爾
  • 首爾 Rust 聚會

歐洲#

• 2023-07-21 | 紐倫堡, 德國 | Rust 紐倫堡
  • Rust 紐倫堡聚會 #2

北美洲#

• 2023-07-27 | 加州山景城, 美國 | 山景城Rust聚會
  • 在Hacker Dojo的Rust聚會
• 2023-08-10 | 加州山景城, 美國 | 山景城Rust聚會
  • 在Hacker Dojo的Rust聚會
• 2023-08-15 | 西雅圖, WA, 美國 | 西雅圖Rust使用者小組聚會
  • 西雅圖Rust使用者小組 - 八月聚會

如果您正在舉辦Rust活動，請將其添加到日曆中，以便在此獲得提及。請記得添加活動的鏈接。如需訪問權限，請電郵Rust社區團隊。

工作機會#

請參閱在 r/rust 上的最新誰在招聘討論串

本週名言#

(...) 在程式設計中的複雜性就像物理學中的能量：它無法被創造，也無法被摧毀，只能被轉換。所以，如果一個程式語言很簡單，只能表達非常簡單的概念，複雜性就會從語言結構轉移到你的源代碼，反之亦然。這裡需要找到一個平衡點，這是基於心態和經驗的個人選擇。

– u/inamestuff 在 r/rust 上的評論

感謝 Arthur Rodrigues 的建議！

請提交報價並為下週投票！

本週在 Rust 是由以下人員編輯的：nellshamrell，llogiq，cdmistman，ericseppanen，extrawurst，andrewpollack，U007D，kolharsam，joelmarcey，mariannegoldin，bennyvasquez。

電子郵件列表托管贊助者是 The Rust Foundation

在 r/rust 上討論