Rustは厳しいが役に立つ Part1「Rustの概要」

Transcript

1. 0 Rustは厳しいが役に立つ Part1「Rustの概要」 2022-06-17 第2回NearMe技術勉強会 Kaito Asahi
2. 1 目次 What is Rust? Rustの概要紹介 パフォーマンス Rustではどのようにしてパフォーマンス向上 をおこなうのでしょうか？ 信頼性 変数の借用と参照についての概要 生産性 生産性を向上させる特徴についての概要
3. 2 What is Rust? • 公式サイトより → 「効率的で信頼できるソフトウェアを誰もがつくれる言語」 • 細かい文法 →　公式サイトで学びましょう。（手っ取り早くは...） →　私の会の2回目以降で、文法を随時扱います。 • Rustの3つの特徴 ◦ パフォーマンス ◦ 信頼性 ◦ 生産性 出典：https://rustacean.net/
4. 3 パフォーマンス パフォーマンスのため”ランタイム”を軽量にしています。 • ガベージコレクション Garbage collectionがない → 直訳は「ゴミ拾い」 → 動的に確保したメモリ領域で、不要になったものを自動的に解放する → メモリが不要かどうかを実行時に探すため、パフォーマンスに影響する • 非同期処理にはライブラリが必要 → 様々な非同期ランタイムのライブラリが存在
5. 4 パフォーマンス C++に匹敵するくらい高速です。 出典：https://benchmarksgame-team.pages.debian.net/benchmarksgame/box-plot-summary-charts.html ‥
6. 5 信頼性 豊富な型システムがあることも特徴的ですが、Rustでは以下の所有権の考え方がとても重要です。 • 所有権の規則（参考リンク） ◦ Rustの各値は、所有者と呼ばれる変数と対応している。 ◦ いかなる時も所有者は一つである。 ◦ 所有者がスコープから外れたら、値は破棄される。
7. 6 信頼性 -変数の所有者- スコープ内の変数は、スコープ外で利用することができません。 Ex) 変数 a に、数値を格納する（“{}”で囲まれた部分がスコープ） 1. 変数 a をスコープ内で定義する。 2. スコープ外で a を標準出力させようとするが、 エラーが発生した。 → a はスコープ内で定義されているので、 　 スコープ外で利用するとエラーが発生します。 ※ for ループや if 文でも、同じようにスコープの 　 概念があります。
8. 7 信頼性 -変数の借用と参照- Heap領域を利用する変数の型には、変数の借用と参照の概念が必要です。 Ex) String型 • 文字列リテラルは、静的領域を利用 → 変数を他の変数に渡しても、借用には 　 ならないです。 • String型は、ヒープ領域を利用 → string2がstring1を借りているので、 　 string1は何も持っていない状態。
9. 8 信頼性 -変数の借用と参照- 借用のエラーを回避するために... ↓ 参照をおこなう！！
10. 9 信頼性 -変数の借用と参照- • 変数 string2 が string1 を参照 → “&”を用いて、参照をおこないます。 • 参照自体は len や capacity の情報を もたない → 参照をしているだけであるので、実際に 参照されている変数が、詳細の情報をも 　 ちます。 以下の参考リンクを元に作成 https://doc.rust-jp.rs/book-ja/ch04-02-references-and- borrowing.html
11. 10 生産性 • エラーメッセージが比較的わかりやすい Ex) 所有権に関するエラーメッセージ • 様々なIDEでの自動補完やコンパイルチェックが豊富 → Visual Studio Codeや、IntelliJ IDEAなどのIDEでのプラグインで、生産性が向上 　（他の言語でもありますが...）
12. 11 次回予定 RustとMongoDBを用いた、シンプルなアプリケーションの構築 （keyword = [“cargo”, “crate”, “MongoDB”, “ライフタイム”];）
13. 12 Thank you