質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.48%
Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

Q&A

解決済

1回答

1409閲覧

【Rust】数字をTにキャストして計算しようとすると、primitiveじゃないのでキャストできないといわれます...

KOTTON

総合スコア47

Rust

Rustは、MoFoが支援するプログラミング言語。高速性を維持しつつも、メモリ管理を安全に行うことが可能な言語です。同じコンパイル言語であるC言語やC++では困難だったマルチスレッドを実装しやすく、並行性という点においても優れています。

0グッド

2クリップ

投稿2022/04/27 17:26

以下のように引数にT型の数字をとるジェネリックの関数some_operationがあり、この中でusizeをTにキャストして計算したいです。
where節をつけてもエラーが出ます。

トレイトバウンドの問題なのですかね....?どうしたらよいでしょうか...

Tはu32かu64の二択になると考えていただいてokです。少なくとも何らかのnumericな型になる想定です。

rust

1fn main() { 2 let t = some_operation::<u32>(323); 3 println!("{}", t); 4} 5 6fn some_operation<T>(num: T) -> T 7where T: std::ops::Add<Output = T> 8{ 9 let num2: usize = 32; 10 num + num2 as T 11}
an `as` expression can only be used to convert between primitive types or to coerce to a specific trait object

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

guest

回答1

0

ベストアンサー

as を適用可能かどうかわからないからです。 制約からは std::ops::Add が定義されている独自の型も受け入れる可能性があり、それが as を使える場面とは限りません。

TryInto で制約し、 try_into で変換するのがよいでしょう。

rust

1fn main() { 2 let t = some_operation::<u32>(323); 3 println!("{}", t); 4} 5 6fn some_operation<T>(num: T) -> T 7where 8 T: std::ops::Add<Output = T>, 9 usize: std::convert::TryInto<T>, 10 <usize as std::convert::TryInto<T>>::Error: std::fmt::Debug, 11{ 12 let num2: usize = 32; 13 num + num2.try_into().unwrap() 14}

この制約では Tusize よりも小さい可能性があり、大きい型から小さい型へと安全に変換できるとは限りません。 (なので Into が定義されておらず TryInto を使う必要がある。) この例では 32 という値が固定なので必要な状況に対して安全であることがわかっていますから unwrap で潰していますけども、状況によっては適切にエラー処理もしてください。


型を性質で制約するのではなく特定の型に限るのであれば独自のトレイトで必要な型にだけ impl するという手法もあります。 固定値 (定数) もこの段階で型を決めてしまえば関数の中で変換処理を入れる必要もありません。 考慮するのを忘れた予想外の型で使われることがないので場合によってはこういう方法を使った方がよいこともあるでしょう。

rust

1fn main() { 2 let t = some_operation::<u32>(323); 3 println!("{}", t); 4} 5 6trait Operatable: std::ops::Add<Output = Self> + std::marker::Sized { 7 const DATA: Self; 8} 9 10impl Operatable for u32 { 11 const DATA: Self = 32u32; 12} 13 14impl Operatable for u64 { 15 const DATA: Self = 32u64; 16} 17 18fn some_operation<T: Operatable>(num: T) -> T { 19 num + T::DATA 20}

投稿2022/04/28 01:29

SaitoAtsushi

総合スコア5444

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

KOTTON

2022/04/28 13:34

回答していただきありがとうございます! 疑問が二つあります trait boundでusize: TryInto<T>としてらっしゃるのですが、これは「関数内のusiseをエラー覚悟でT型にキャストする」という意味ですよね?trait boundってジェネリクスのみではなくこういう、関数内の型に対しての取り決めもできるんですね?? また、 <usize as std::convert::TryInto<T>>::Error: std::fmt::Debug この<型>::Traitのような構文はなんと呼ばれるものなんでしょうか。。意味は、「usizeをTryInto<T>に変換した結果の型にError traitが実装されている前提で、それにDebugも実装されていなければならない」という制約ですかね...?
KOTTON

2022/04/28 13:36

追記: 今気づいたんですが、usize: TryInto<T> はusizeへの制約と見せかけてTの制約っぽいですね。推測するに、usizeからTryIntoで変換できる型でないといけないという意味でしょうか。 T: TryFrom<usize>でもよかったりしますかね
SaitoAtsushi

2022/04/28 14:37 編集

TryInto の詳細はドキュメントを見てください。 https://doc.rust-lang.org/std/convert/trait.TryInto.html TryInto は TryFrom が定義されていれば自動で定義されるようになっていて、 impl TryFrom<u32> for usize が定義されているのでこの場合は使える形になっているというわけです。 https://doc.rust-lang.org/std/convert/trait.TryFrom.html#impl-TryFrom%3Cu32%3E-7 where 節は型パラメータだけでなく任意の型に適用可能である (where clauses can apply bounds to arbitrary types, rather than just to type parameters) とドキュメントに明記されています。 https://doc.rust-lang.org/rust-by-example/generics/where.html usize as std::convert::TryInto<T> という記法の as は変換するわけではなく「~~として見る」ということです。 usize は変換によって TryInto<T> になるのではなく TryInto<T> であるのです。 しかし TryInto<T> 以外のトレイトも多数実装しており、その中には Error を実装したものもありますし、 usize のどのトレイトにおける Error のことなのかというのを明記する必要があります。 unwrap はエラー (を表す型) が Debug を実装していることを期待するので制約として書いておく必要があります。 演算子・シンボル一覧によれば :: で表すのは名前空間パス (Namespace path) という名前が付いていますね。 https://doc.rust-lang.org/book/appendix-02-operators.html
SaitoAtsushi

2022/04/29 03:03 編集

T: TryFrom<usize> という形で制約を付けても問題ありません。 ただ、実際に使っているメソッドは try_into なのでなるべく直接的な制約として表現したほうが読む人 (特に将来の自分!) に対して親切な習慣です。
KOTTON

2022/05/04 15:11

二回も本当に丁寧に回答していただきありがとうございます!!! 感謝感激です!!
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.48%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問