BackEnd

Rust入門してみた その3 Enum / match / Option編

投稿日:

はじめに

前回に引き続き、Rustの入門編です。今回はEnumについて調べました。

Enum

Rustでは enum キーワードによってEnumを定義することが出来ます。

Enumの定義

まずは、簡単なEnumの例から見ていきます。

このように、取りうる値を列挙し、型として定義することが出来ます。
この他にも、Enumは値を関連付けて保持することも出来ます。

この例では、チャットメッセージのコンテンツの保持方法として、Enumを使用しました。対応するチャットメッセージのコンテンツとして、テキスト、画像、動画、削除済みの4種類をEnumで表現しています。
これらのコンテンツは、取りうる値が異なっています。

まず、テキストは Text(String) となっていて、単独のStringを関連付けて保持することが出来ます。
インスタンス化するには Content::Text("Hello".to_string()) のようにします。
複数個とることもでき、例えば Text(String, String, i32) のように宣言します。

画像と動画はそれぞれ Photo { url: String, caption: String } Video { url: String, length: i32 } となっていて、匿名構造体を持ちます。

削除済みのメッセージは、特に関連する値は無いため、単に Deleted となっています。

このように、1つのEnumの中に異なるデータ構造を持つことが出来るのがEnumの特徴です。

パターンマッチ

Enumのマッチングや、Enumの中の値を取り出す場合にはパターンマッチを行います。
先ほどのコードを少し変えて、Contentに応じて内容を出力するコードを書いてみます。

このように、match式を使うことで、Enumのパターンマッチングや、関連付けられた値の取り出しを行うことが出来ます。

ところで、String型の値を取り出す際に ref を使用していますが、refを外すとエラーになってしまいます。
これは、String型にはCopyトレイトが実装されていないため、match式内で所有権を奪ってしまうためです。ちなみに、 Content::Video のlengthはi32であり、こちらはCopyトレイとが実装されているため、所有権のムーブが発生しないためエラーにはなりません。
そのため、refを使うことで値を借用しています。

もちろん、 match &x.content のようにして、はじめから借用することも考えられますが、refを使うことでenumごと借用するのではなく、中の値単位で必要なもののみ借用することが出来ます。

Enumへのメソッド実装

Enumに対してもimplキーワードでメソッドを実装することが出来ます。

構造体へのメソッド実装と似ていますね。

よく使う標準Enum

Option

ところで、RustにはNull値はありませんが、Optionを使うことで、同じ概念を実現することが出来ます。
Optionは、実際には次のようなEnumです。

ちなみに、 <T> はジェネリクスです。
実際には次のように使用します。

値がある場合にはSome、そうでなければNoneを使用します。
Someを使用した場合には、型推論が働くため型定義が不要ですが、Noneの場合には値を渡さないため、型定義が必要です。
仮にSomeで値が渡ってきたとしても、型としては Option<&str> なので、必ずパターンマッチして Someであることを確認しなければ、中の値を取り出すことは出来ません。
これによって、Nullと同じ仕組みを実現しています。

Result

以前の記事でResultについて紹介しました。そこにも出てきましたが、ResultもEnumです。

 

match式でのパターンマッチを行うことで、値を取り出すことができます。

おすすめ書籍

Webアプリ開発で学ぶ Rust言語入門 パーフェクトRust プログラミングRust 第2版

blog-page_footer_336




blog-page_footer_336




-BackEnd
-

執筆者:

免責事項

このブログは、記事上部に記載のある投稿日時点の一般的な情報を提供するものであり、投資等の勧誘・法的・税務上の助言を提供するものではありません。仮想通貨の投資・損益計算は複雑であり、個々の取引状況や法律の変更によって異なる可能性があります。ブログに記載された情報は参考程度のものであり、特定の状況に基づいた行動の決定には専門家の助言を求めることをお勧めします。当ブログの情報に基づいた行動に関連して生じた損失やリスクについて、筆者は責任を負いかねます。最新の法律や税務情報を確認し、必要に応じて専門家に相談することをお勧めします。


comment

メールアドレスが公開されることはありません。 が付いている欄は必須項目です

CAPTCHA


関連記事

laravel logo

LaravelのFacade(ファサード)とは? 何気なく使用していた裏側の仕組みを解説!

1 はじめに1.1 Facadeを使用しているクラス2 Facadeの仕組み3 Facadeの作成3.1 サンプルコードに必要な実装3.2 Serviceの作成3.3 Facadeクラスの作成3.4 ...

rails

RailsでS3に画像をアップロードする

1 はじめに2 今回やりたいこと3 下準備3.1 ImageMagickをインストールする3.2 Gemをインストールする4 レコード生成時にファイルを指定してアップロードする4.1 アップローダを作 ...

rails

私たちのFactoryGirlとRspecの使用ルール その1

1 はじめに2 そもそもなぜ基本ルールなどを作成しようとしたのか?3 Rspec編3.1 describe、context、itの階層で使用する3.2 10個以上のテストレコードを作成したい場合は、ト ...

aws

Amazon ECSのタスク定義について

1 はじめに1.1 Amazon ECSのタスク定義についておさらい2 タスク定義3 アプリケーションのアーキテクチャ3.1 Fargate起動タイプ3.2 EC2起動タイプ4 タスク定義パラメータ4 ...

Go言語

GoでStructのAccessorを自動生成する

1 はじめに2 Accessorを自動生成する2.1 基本的な使い方2.2 receiver変数を変更する場合2.3 生成するファイル名を変える場合2.4 排他制御を行い場合3 どのように生成している ...

フォロー

blog-page_side_responsive

2023年5月
 123456
78910111213
14151617181920
21222324252627
28293031  

アプリ情報

私たちは無料アプリもリリースしています、ぜひご覧ください。 下記のアイコンから無料でダウンロードできます。