今週のRust 487#

2023-03-22

こんにちは、そしてThis Week in Rustの新しい号へようこそ！ Rustは、誰もが信頼性の高い効率的なソフトウェアを構築できるようにするプログラミング言語です。 これはその進捗とコミュニティの週間のまとめです。 何かをメンションしてほしいですか？Twitterの@ThisWeekInRustや、マストドン(mastodon.social)の@ThisWeekinRustでタグ付けしてください。またはプルリクエストを送信してください。 参加したいですか？コントリビューションを歓迎しています。

This Week in RustはGitHubで公開されています。 今週号に誤りがある場合は、PRを提出してください。

Rust コミュニティからの最新情報#

Foundation#

• ソフトウェアエンジニアのAdam Harvey氏をRust Foundationチームに歓迎
• 新しいSLSA++調査: ソフトウェア供給チェーンセキュリティへの現実世界の開発者アプローチを明らかに

ニュースレター#

• This Month in Rust OSDev: 2023年2月 | Rust OSDev

プロジェクト/ツールの更新#

• autometrics 0.3: Rustソースコードでのサービスレベル目標（SLOs）の定義
• Typstがパブリックベータテストを開始し、オープンソース化
• Klint: カーネルRustコードのアトミックコンテキスト違反のコンパイル時検出
• rust-analyzer changelog #173
• Gitea 1.19.0がリリースされました
• Fornjot（RustでのコードファーストCAD）- 週刊リリース - 完了しました！
• activitypub-federation 0.4.0: 使用性とドキュメントの改善を伴う大規模な書き直し
• Quickwit 0.5: Open TelemetryとJaegerによる分散トレーシング、VRL、Pulsarサポートなど…！
• pavex, 新しいRustのウェブフレームワーク - 進捗レポート #2

観察/考察#

• Temporary lifetimes
• Must move types
• Defer blocks and async drop
• 職場でRustを採用するためのテンプレート提案
• パターンと抽象化
• Const as an auto trait
• Item Patterns And Struct Else
• なぜバックエンドでRustを使用するのか？
• ログの重要性
• AsRef vs Borrow trait（ft. ChatGPT）
• [audio] Cargo Limit with Alexander Lopatin :: Rustacean Station
• [video] The Truth about Rust/WebAssembly Performance

Rustの解説#

• 効率的なメモリ利用のためのRustでのCowの使用
• PACでのSTM32F4エンベデッドRust：ハードウェア抽象化の作成
• PACでのSTM32F4エンベデッドRust：GPIO割り込み
• カウンティングブルームフィルタの作成
• [video] RustクレートのCIとプロパティテストの設定

研究#

• Verus：線形ゴーストタイプを使用したRustプログラムの検証
• 所有権によるCからRustへの翻訳の指示
• データ指向設計を用いたパーサー/コンパイラの最適化：ケーススタディ

その他#

• RustをXen Projectにもたらす
• パッケージマネージャーの誕生（Rustで書かれています ;)） 今週のクレートはSpeedy2D です。このクレートは簡単に使用できるAPIを提供し、シェイプ、イメージ、テキストのハードウェアアクセラレーション描画をクロスプラットフォームで行います。

提案してくれたAleksey Kladov さんに感謝します！

来週の提案や投票をお願いします！

参加を呼びかける#

いつもオープンソースプロジェクトに貢献したいと思っていましたが、どこから始めれば良いかわからなかったですか？ 毎週、Rustコミュニティからいくつかのタスクをハイライトしており、あなたが選んで始めることができます！

これらのタスクにはメンターが利用可能な場合もありますので、詳細についてはタスクページをご覧ください。

• racoon - オープンソースIAM貢献者募集
• Ockam - セキュアチャネルリスナーの詳細を表示するclapコマンドを作成
• Ockam - ノード上の既存のフォワーダを削除するclapコマンドを作成
• Ockam - ockam "create" コマンドを一括で実行する「ockam run」

もしRustプロジェクトのオーナーで、貢献者を探している場合は、こちら にタスクを提出してください。

Rustプロジェクトからの最新情報

先週、321個のプルリクエストがマージされました

• inherit_overflow: v0マングリングにも適用されるようにパターンを適応する
• read_buf_exact: エラーが発生した場合、すべての読み取られたバイトがバッファに追加されます
• LLVMのためのenable-warningsフラグを追加し、デフォルトで無効にする
• useless_anonymous_reexport lintを追加
• 循環依存による型の不一致のためのノートを追加する
• ConstGeneric ribの予期しない寿命のためにクラッシュしないようにします
• AnonConstBoundaryを超える遅延束縛constに対してクラッシュしません
• 安定していない場合に似たメソッドを提案しないようにします
• custom-test-frameworks機能でのICEを修正します
• ClashingExternDeclarations lintのICEを修正
• メソッドチェーンでユニット型のメソッドの呼び出し時に診断をエミットする
• ptr::read がデリファレンスと同じLLVM load メタデータを取得するようにする
• 不明確な関連型を探索する際に逃れた遅延束縛領域を消去する
• unused_def lintのための提案を拡張する
• E0532のためのより良い提案を実装する
• 型参照エラーが発生した場合に古いメタデータ計算にフォールバックする](https://github.com/rust-lang/rust/pull/109101)
• process_obligationsのための高速パスを追加
• implのRPITIT（Return Position Impl Trait In Trait）合成関連型のgenerics_ofを修正します
• --Zlower-impl-trait-in-trait-to-assoc-ty用のRPITITのジェネリクスの不一致エラーを修正します](https://github.com/rust-lang/rust/pull/109238)
• RPITITからデフォルトトレイトメソッドへの射影を正しくインストールします](https://github.com/rust-lang/rust/pull/109198)
• 型の方法を持つ他のクレートのRPITITを-Zlower-impl-trait-in-trait-to-assoc-ty用に動作させます](https://github.com/rust-lang/rust/pull/108923)
• 新しいRPITITに対するオブジェクトの安全チェックを修正します](https://github.com/rust-lang/rust/pull/108909)
• clangのプレフィックスでクラッシュ検出を修正します](https://github.com/rust-lang/rust/pull/109156)
• format_args!()および（文字列および整数）リテラル引数をformat_args!()にフラット化/インライン化します](https://github.com/rust-lang/rust/pull/106824)
• UnusedGenericParamsのためのFixedSizeEncodingを実装します](https://github.com/rust-lang/rust/pull/109324)
• MIRビルディングでのチェック済みのShl/Shrを実装します](https://github.com/rust-lang/rust/pull/108282)
• GAT const引数のtype_ofに対してGAT constパラメータを予期する](https://github.com/rust-lang/rust/pull/109364)
• get_fn_declから適切なHIRを返します](https://github.com/rust-lang/rust/pull/109248)
• identity_futureインディレクションを削除します](https://github.com/rust-lang/rust/pull/104833)
• HIRからボックス式を削除します](https://github.com/rust-lang/rust/pull/108958)
• 定数に置き換えてZSTオペランドとデバッグ情報を定数にします](https://github.com/rust-lang/rust/pull/107270)
• プロシージャマクロシグネチャの妥当性チェックを簡素化します](https://github.com/rust-lang/rust/pull/109136)
• 正規化ロジックでいくつかのクリーンアップを行います](https://github.com/rust-lang/rust/pull/109171)
• マクロを{}で囲むことを提案します](https://github.com/rust-lang/rust/pull/109251)
• クレートメタデータからunused_generic_paramsを使用します](https://github.com/rust-lang/rust/pull/109109)
• miri: fcntlで分離ロジックを移動します](https://github.com/rust-lang/miri/pull/2787)
• miri: ツリーボローズ](https://github.com/rust-lang/miri/pull/2785)
• マクロ展開されたformat_args呼び出しで捉えることを許可します](https://github.com/rust-lang/rust/pull/106505)
• 依存ノードのバックトレースを最適化し、致命的なエラーを無視します](https://github.com/rust-lang/rust/pull/108524)
• Windowsでstatに失敗した場合にlstatにフォールバックします](https://github.com/rust-lang/rust/pull/109235)
• unix_socket_abstractを安定化します](https://github.com/rust-lang/rust/pull/109288)
• atomic_as_ptrを安定化します](https://github.com/rust-lang/rust/pull/108419)
• スライスおよび配列のために索引ベースのドロップループを可能にします](https://github.com/rust-lang/rust/pull/109085)
• 定数コンテキストでRangeをIteratorとして使用できるようにします](https://github.com/rust-lang/rust/pull/104100)
• cargo: 依存関係をダウングレードする際に正確なステータスを表示します](https://github.com/rust-lang/cargo/pull/11839)
• cargo: --ignore-rust-versionフラグをcargo installに追加します](https://github.com/rust-lang/cargo/pull/11859)
• cargo: wait-for-publishに関する情報を追加します](https://github.com/rust-lang/cargo/pull/11713)
• cargo: 生成されたvcsignoreファイルの意味を合わせます](https://github.com/rust-lang/cargo/pull/11855)
• cargo: Configスナップショットを使って環境変数を検索する際のケースの不一致を処理します](https://github.com/rust-lang/cargo/pull/11824)
• rustdoc: インポートと対象のドキュメントを正しくマージします](https://github.com/rust-lang/rust/pull/109266)
• rustdoc: docFS: rayonをthreadpoolで置き換え、すべてのターゲットで有効にします](https://github.com/rust-lang/rust/pull/109139)
• rustdoc: 関数パラメータ検索のためにバッグセマンティクスを実装します](https://github.com/rust-lang/rust/pull/109331)
• clippy: allow_attribute lintを追加します](https://github.com/rust-lang/rust-clippy/pull/10481)
• clippy: &std::path::MAIN_SEPARATOR.to_string()を検出する新しいlintを追加します](https://github.com/rust-lang/rust-clippy/pull/10483)
• clippy: ifs_same_condを強化して同じ不変のメソッド呼び出しを警告します](https://github.com/rust-lang/rust-clippy/pull/10350)
• clippy: almost_swapped false positive (let mut a = b; a = a)を修正します](https://github.com/rust-lang/rust-clippy/pull/10499)
• clippy: almost_swapped: 外部マクロを無視します](https://github.com/rust-lang/rust-clippy/pull/10502)
• clippy: function modifiersをmanual_async_fn lintで正しい順序で発行します](https://github.com/rust-lang/rust-clippy/pull/10456)
• rust-analyzer: ミスするとmissingな診断にunsafeブロックを挿入するための自動フィックスを追加します](https://github.com/rust-lang/rust-analyzer/pull/14281)
• rust-analyzer: matchパターン補完で不足している変数を優先順位に登録します](https://github.com/rust-lang/rust-analyzer/pull/13789)
• rust-analyzer: ステータスバー項目を再度クリックできるようにします](https://github.com/rust-lang/rust-analyzer/pull/14337)
• rust-analyzer: 引数リスト以外でリファレンス補完が出力されないように修正します](https://github.com/rust-lang/rust-analyzer/pull/14355)
• rust-analyzer: rustc proc-macroディレクトリ内でrustc proc-macroハンドリングが壊れていた問題を修正します](https://github.com/rust-lang/rust-analyzer/pull/14348)
• rust-analyzer: 親ブロックが尊重されないように修正します](https://github.com/rust-lang/rust-analyzer/pull/14349)
• rust-analyzer: 再借用のためにブロック、if、match式に対する調整ヒントをスキップします](https://github.com/rust-lang/rust-analyzer/pull/14338)
• rust-analyzer: 不一貫なinherent implsに対するlintを追加します](https://github.com/rust-lang/rust-analyzer/pull/13994)

Rustコンパイラパフォーマンストリアージ#

良い成果がありましたが、少なくとも2つのPRが後に取り消された混合した週でした。例えば、LLVM 16へのアップグレードなどです。PR#108944では、クレートのメタデータ、バイナリサイズを削減し、多くのベンチマークで実行時間を短縮することに成功しました。

本週の受診を担当したのは**@pnkfelix**です。 リビジョン範囲：00587489..ef03fda3

1つのリグレッション、4つの改善、11つの混合物; そのうちの2つはロールアップの中にあります 合計37件のアーティファクトの比較が行われました

完全なレポートはこちら

承認されたRFC#

Rustの変更はRFC（Request for comments）プロセスに従います。これらは今週実装が承認されたRFCです。

• 今週は承認されたRFCはありません

最終コメント期間#

毎週、チームは採用を検討しているRFCや重要なPRに対して'最終コメント期間'を発表します。今すぐ意見を表明してください。

RFCs#

• [disposition: merge] RFC: result_ffi_guarantees

Tracking Issues & PRs#

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

新しいおよび更新されたRFC#

• 今週は新しいまたは更新されたRFCはありません

テストの呼び出し#

RFCの実装の重要な手順は、安定化前に人々が実験し、フィードバックを提供することです。次のRFCの実験により前進することができます。

• 今週はRFCはテストの呼び出しを行っていません

特徴実装者であり、RFCを上記のリストに表示したい場合は、新しいcall-for-testingラベルをRFCに追加し、テストの指示やテストが必要な機能のどの側面についてのガイダンスを提供するコメントも追加してください。 2023年3月22日～2023年4月19日の間に予定されている Rusty イベント 🦀

求人情報#

最新のWho's Hiringスレッド on r/rustをご覧ください。

今週の名言#

生成されたプログラムは、まさかの偶然によって、動作するように見えるプログラムの形を取った、ランダムなバイトのシーケンスです。これが UB を引き起こすコードの醍醐味です。UB を引き起こすプログラムを実行した結果からは何も推論できません。なぜならその行為そのものが意味を成さないからです。コンパイラから出力された後のプログラムの挙動を見て推論する前に、プログラムに UB がないことを確認する必要があります。

– Ralf Jung on github

提案してくれた bugaevc に感謝します！

次週のための名言を投稿して投票してください！

今週の Rust は編集: nellshamrell, llogiq, cdmistman, ericseppanen, extrawurst, andrewpollack, U007D, kolharsam, joelmarcey, mariannegoldin, bennyvasquez.

Eメールリストホスティングは The Rust Foundation の協賛によって運営されています

r/rust で討論する