Rust part8

**デフォルトの名無しさん** · 2020/01/24(金) 11:47:52.41

Mozilla発のRust言語のスレ

公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust

Web上の実行環境
https://play.rust-lang.org

前スレ
Rust Part7
http://mevius.5ch.net/test/read.cgi/tech/1563114707/

**デフォルトの名無しさん** · 2020/01/26(日) 21:41:08.18

Vec<String> を拡張すると定義外ってエラー出るんですけどなんでかわかる人います？
他のライブラリでVec拡張してるソース見ると特殊なことせずにimplできてるんですけどどうすればこのエラー取り除けますか？
impl From<Vec<&str>> for Vec<String> {
fn from(v: Vec<&str>) -> Self {
v.into_iter().map(String::from).collect()
}
}
error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
|
88 | impl From<Vec<&str>> for Vec<String> {
| ^^^^^---------------^^^^^-----------
| | | |
| | | `std::vec::Vec` is not defined in the current crate
| | `std::vec::Vec` is not defined in the current crate
| impl doesn't use only types from inside the current crate
|

**デフォルトの名無しさん** · 2020/01/26(日) 22:08:40.96

>>18
ざっくりいうと
外部crateで定義された型 + 外部crateで定義されたtrait
の組み合わせでインプリするのは無理
どっちか片方が自crateで定義されたものなら問題ない

coherence ruleとかorphan ruleとかいうやつ
https://doc.rust-lang.org/error-index.html#E0117

**デフォルトの名無しさん** · 2020/01/26(日) 23:22:19.61

>>19
おお、ありがとう
impl Vec<&str>　の単体でも駄目だったから自trait作って実装した！
結構制約厳しいな
外部トレイトに実装するならめんどくさいけどマーカーつけとけよって意味かな

**デフォルトの名無しさん** · 2020/01/27(月) 17:44:19.37

こんな関数は書けますか？
① イテレータを受け取る
② 受け取る引数は ① のただひとつのみ
③ 条件を満たす範囲を「スライスで」返す

スライスを作る記法は &s[1..10] みたいな感じなのでスライスの元になるオブジェクト s が必要なように見えますが、
スライスを返したいというのはいかにもありそうなことなので出来ないはずはないだろうという思いもあります。

イテレータは実際にはなんらかのシーケンスをたどるものではなく値の生成器である場合もありますが、
それらを区別するような制約を表現できますか？

**デフォルトの名無しさん** · 2020/01/27(月) 18:55:02.93

>>21
無理じゃね？
スライスじゃなくtakeやskip使ってイテレータを返すべきケースだと思うけど

**デフォルトの名無しさん** · 2020/01/27(月) 22:07:00.22

スライスは連続したメモリ領域である必要があって
任意のイテレータがその条件を満たすのは不可能。
たまたま連続した場合だけスライスを返すのはunsafe使えば書ける。
ただ普通はイテレータ返してランダムアクセス必要なタイミングでcollectすると思う。

**デフォルトの名無しさん** · 2020/01/27(月) 22:21:05.46

あと標準のイテレータは特に値の生成方法に関する型制約はないので
区別したいなら独自のイテレータ型を作って
標準イテレータへの変換を実装する感じかな。

**デフォルトの名無しさん** · 2020/01/27(月) 22:29:13.49

入力が連続したメモリ領域だってんなら引数をイテレータじゃなくてスライスにすればいい
当たり前だけどスライスを作れるもの以外からはスライスは作れないからな

**デフォルトの名無しさん** · 2020/01/27(月) 22:46:49.78

ごめん、なんか変なこと言ってるわ・・・スルーして

**デフォルトの名無しさん** · 2020/01/27(月) 23:06:14.69

>>23
>たまたま連続した場合だけスライスを返すのはunsafe使えば書ける。

イテレータを受け取ってスライスを返すとした場合
スライスの元になってるシーケンスのlifetimeが関数内に閉じるから
unsafe使ったとしてもborrow checkerにひっかからない？

**デフォルトの名無しさん** · 2020/01/27(月) 23:19:10.77

>>27
from_raw_partsでスライスを作った場合は元のポインタ由来のライフタイムは関係なくなるので
ボローチェッカは通るんじゃないかな？
もちろんそのスライスの実体が生きているかどうかは
自己責任になるけど。

**デフォルトの名無しさん** · 2020/01/28(火) 00:18:00.02

>>28
なるほど
イテレータからイテレータの元のシーケンスが取得できればそれでいけるってことか
ちょっと見てみたらslice::Iterのas_sliceとかも内部でfrom_raw_parts使ってた

自分では使わないと思うけど勉強になった

**デフォルトの名無しさん** · 2020/01/28(火) 10:36:24.22

RustでOSのkernel描いてる例ある？

21 · 2020/01/28(火) 10:56:11.58

>>22-29
ありがとうございます。
スライスの役目や Rust の習慣について誤解していたみたいです。

【誤解】
　スライスは範囲を表現する高級なオブジェクト
　Vec にも配列にも使えるのでコンテナ全般に使えると思った

【正解】
　スライスは「メモリの」範囲を表現するオブジェクト
　実体としてはいわゆる fat pointer

【背景】
　Vec は内部的に連続したメモリ領域で管理しているので普通の配列のようにスライスを作れる
　C++ でいえば vector の data や string の c_str みたいなもの

【見落とし】
　配列でも Vec でもスライスの型表記は同じなのでどうしてだろうと気にかかってはいたが掘り下げて調べなかった
　型が同じなのは実際に同じだからなわけですね

**デフォルトの名無しさん** · 2020/01/28(火) 12:14:44.10

質問あると自分の理解が怪しいのが分かって助かるわ。

**デフォルトの名無しさん** · 2020/01/28(火) 19:57:36.65

let template = if spaces { "{1}{0}{1}" } else { "{1}{0}" };
format!(template, 1, 2);
これだとリテラルかけってエラー出るだけど、解決方法ないかな？

**デフォルトの名無しさん** · 2020/01/28(火) 20:03:41.33

iter[1..4]とか書けた方がiter.skil(1).take(4).collect()よりシンプルでええやん！
とは思ったが、そういう使い方したらそもそも駄目よ、という意思が表れているのかもしれん

**デフォルトの名無しさん** · 2020/01/28(火) 20:21:31.82

>>33
標準のformatでは無理だね。templateのパースエラーを返す手段がないので。
dynfmtクレートとかならいけると思う。

**デフォルトの名無しさん** · 2020/01/28(火) 22:00:20.47

>>34
range(&self, from: usize, to: usize) -> Option
があればいいのにね

>> 35
ありがとう、リテラルのみは統一感出るけどかなり不便だね。
デバッグ用じゃなくともDisplayとかもあるからResult返すマクロも入れといてくれたらいいのにね

**デフォルトの名無しさん** · 2020/01/28(火) 22:12:59.36

>>36
いえいえ

**デフォルトの名無しさん** · 2020/01/28(火) 22:31:23.29

>>34
Rust的にはcollectによるメモリコピーみたいな
重い操作は見た目上も重くしたいんだと思ってる。

**デフォルトの名無しさん** · 2020/01/29(水) 00:56:46.27

collectを二度書くと罪悪感で一度にならないか一生懸命考える

**デフォルトの名無しさん** · 2020/01/29(水) 02:14:46.64

>>33
単純な用途ならリテラル返すマクロを書くといいかも
複雑な用途ならテンプレートエンジンかな

macro_rules! my_format {
(true) => ("{1}{0}{1}");
(false) => ("{1}{0}");
}

println!(my_format!(true), 1, 2);

**デフォルトの名無しさん** · 2020/02/01(土) 18:37:08.80

https://tech-blog.optim.co.jp/entry/2019/07/18/173000#%E3%83%87%E3%83%90%E3%83%83%E3%82%B0%E6%A9%9F%E8%83%BD%E3%81%AE%E6%B4%BB%E7%94%A8

のデバッグ機能の追加のところを読んで一通り導入してみたんだが、ブレークポイントで止まったところがなぜかバイナリ表示になってしまう

解決策を教えてください

**デフォルトの名無しさん** · 2020/02/02(日) 05:59:15.53

Slackで聞け

**デフォルトの名無しさん** · 2020/02/02(日) 19:09:35.21

>>41
CodeLLDB初めて使ってみたがオレ環では特に問題なく使える
ソースマップ定義してないから標準ライブラリとかにstep inすればバイナリで表示されるけど
自分のソースのブレークポイントでバイナリ表示はされない

単純にdebug symbolが有効になってないとか？
launch.jsonのcargoのコマンド確認してそれでbuildしたバイナリを
rust-lldbでデバッグできるかどうかで切り分けてみたら？

**デフォルトの名無しさん** · 2020/02/02(日) 21:47:21.49

解決しました
上記はMac用のデバッグのやり方のようです

**デフォルトの名無しさん** · 2020/02/04(火) 01:45:10.19

vscodeでrust始めたんだけどオートコンプリートがまともに働いてくれてない気がする
メソッド内の変数だと候補を出したり出さなかったりする

**デフォルトの名無しさん** · 2020/02/04(火) 02:12:55.41

>>45
vscodeやめてインテリなんとか使えば？

**デフォルトの名無しさん** · 2020/02/04(火) 02:38:52.83

vscode での Rust の補完って LSP を使うんでないの？
処理系と連携するって最強じゃんと思ってたんだが。

**デフォルトの名無しさん** · 2020/02/04(火) 20:47:39.21

コンパイラから出てくる補完情報が成熟してないんで、まだ完璧には遠い
独自の解析はracerとintellij rustがやってて、精度はintellijの方が高い

あんまIDE使いたくないからrlsには頑張って欲しい

**デフォルトの名無しさん** · 2020/02/04(火) 21:22:29.69

本体のソース見たいけど/* compiler built-in */ってなってて読めない。
どうやったら見れる？

**デフォルトの名無しさん** · 2020/02/05(水) 23:43:19.76

Rust の char::is_ascii とかは pub const fn is_ascii(&self) -> bool なのに is_whitespace とかは pub fn is_whitespace(self) -> bool みたいになってるのなんでだろ？
&self でも self でもどっちかに統一してよさそうな気がするんだけど。

**デフォルトの名無しさん** · 2020/02/05(水) 23:45:58.49

なんかツイッターで以下２つについてコンパイルできねーっていうつぶやきがあったんですが、
試してみたらコンパイルできちゃったんですがどういうことなのでしょう
Rust2015/2018どっちでもコンパイルできちゃいました

//その1
let y: &i32;
let x = 5;
y = &x;
println!("{}", y);

参照元yの変数宣言が参照先のxより先に変数宣言されたからエラー。

//その2
let mut x = 5;
let y = &mut x;
*y += 1;
println!("{}", x); //これがエラー

**デフォルトの名無しさん** · 2020/02/05(水) 23:58:35.71

>>50
is_asciiはstrやsliceにもあるからそれに揃えたんじゃないかな

**デフォルトの名無しさん** · 2020/02/06(木) 00:18:39.33

>>51
NLLで救えるようになったケースだね。
Rust1.30くらいまで戻せばエラーになるけど
今は2015でも2018でもNLLがデフォルトなのでエラーにはならない。

**デフォルトの名無しさん** · 2020/02/06(木) 00:30:48.24

drop順でエラーになってたやつだね

**デフォルトの名無しさん** · 2020/02/06(木) 00:59:10.03

>>52
なるほど、全部を &self に揃えなかったのは、やっぱ self の方が効率的って判断なのかな？

ワイはまだ初心者で Rust 脳になりきれてないんだけど、参照渡しってのは実質的に (C/C++ で言うところの) ポインタをやりとりしてる感じでしょ？
(単純な場合は最適化で消えると思うけど。)
char 程度の大きさならポインタを渡すのでもコピーして渡すのでも差はないし、ポインタだと間接参照になる分だけ無駄っぽい。

という理解をしてて、 char のメソッドは全部 self でいいくらいじゃないかと思ってた。

**デフォルトの名無しさん** · 2020/02/06(木) 01:31:54.89

>>55
ascii系は昔はAsciiExtってトレイトに別れてたから
その名残だと思う。

**デフォルトの名無しさん** · 2020/02/06(木) 01:51:52.29

>>56
歴史的経緯ってやつか。
比較的新しい言語なのに、やっぱりそういうこともあるのね。

**デフォルトの名無しさん** · 2020/02/06(木) 11:48:46.94

The Rust Programming Language 第2版で勉強中なんだけど
この内容に連動した練習問題か使用例みたいなのどこかにないだろうか？英語でいい

**デフォルトの名無しさん** · 2020/02/06(木) 14:10:02.33

https://www.rust-lang.org/learn
このページの上のほうにある3つのボタンがそれそれ
1. The Bookの最新版
2. Rustlings course(練習問題的なやつ)
3. Rust by Example(使用例)

英語で問題ないなら2018対応してる最新のThe Book読んだほうがいいかも

**デフォルトの名無しさん** · 2020/02/06(木) 14:27:06.44

英語がしんどい人 (日本語しかわからん人) にオススメなのはありますか？

**デフォルトの名無しさん** · 2020/02/06(木) 15:54:58.65

The Bookの日本語版かオライリーの訳本
https://doc.rust-jp.rs/book-ja-pdf/book.pdf
https://www.oreilly.co.jp/books/9784873118550/

原著で読んだから訳の良し悪しはわからないけど
The Book含めて数冊読んだ中ではオライリー本が圧倒的にわかりやすかった

58 · 2020/02/06(木) 17:27:24.00

>>59
ありがと
こんな感じの欲しかった
って言うかPDFだけ読んでたから思い付かなかったけど本家にあったのか

**デフォルトの名無しさん** · 2020/02/06(木) 20:07:27.95

手を動かしたいなら自転車本もあり
オライリーはちょっと古くなってるからなー

**デフォルトの名無しさん** · 2020/02/06(木) 22:23:34.76

オライリー本の古くなってる箇所はEdition Guide読めば問題ないよ

多少古くてもOwnershipやLifetimeあたりの重要コンセプトをわかりやすく書いてるものがおすすめ

**デフォルトの名無しさん** · 2020/02/06(木) 22:57:58.42

>>58みたいに英語でいいならrustupでインストールしたら付いてくるdocとそのリンク先にあるやつ読んだほうが良いぞ。

// ランタイム持ってないからasync/awaitがゼロコスト理論斬新すぎる

**デフォルトの名無しさん** · 2020/02/07(金) 16:10:10.85

自クレートの名前やバージョンを取得するマクロって無かったっけ？

**デフォルトの名無しさん** · 2020/02/07(金) 16:23:48.41

Rust のライブラリって検索できるようになってるじゃん？
あれって名前だけじゃなくて引数の型とかで検索できたりしないのかなぁ。
Haskell (GHC) の Hoogle みたいに

**デフォルトの名無しさん** · 2020/02/07(金) 16:25:17.48

>>67
あ、 Inparameters ってやつをクリックすれば出てくるのか。

**デフォルトの名無しさん** · 2020/02/07(金) 16:30:12.12

>>66
これ？
https://doc.rust-lang.org/cargo/reference/environment-variables.html#environment-variables-cargo-sets-for-crates

**デフォルトの名無しさん** · 2020/02/07(金) 16:36:53.27

>>69
それだ！ありがとう

**デフォルトの名無しさん** · 2020/02/07(金) 16:54:52.66

>>69
へー。
そのための専用のマクロってわけじゃなくて cargo が環境変数を設定してくれるって話なのね。
Cargo.toml を見ないとわかるはずもないからなんらかの連携があるのは当たり前といえば当たり前だけど。

**デフォルトの名無しさん** · 2020/02/10(月) 11:00:28.83

io::Errorとかってprintln!("{:?}", err )とかしても
Os { code: 13, kind: PermissionDenied, message: "Permission denied" }
みたいに出るだけで｢どのファイル｣かが分からないんですが、外部のクレートの関数から上のようなエラーが帰ってきた場合それが｢どのファイル｣によって起きてるのかというのはどうやって知れば良いんでしょうか？

**デフォルトの名無しさん** · 2020/02/10(月) 18:06:05.22

>>72
自分が明示的にパスを渡してるケースじゃなければ
クレートの作者にファイルパスも入れてクレメンスするしかないかも

**デフォルトの名無しさん** · 2020/02/10(月) 20:19:23.72

バイナリサイズはまだCの方が全然小さいけどRustはC以上になにが含まれてるの？
もちろん標準ライブラリとかは使ってないやつはバイナリに含まれないよね？

**デフォルトの名無しさん** · 2020/02/10(月) 21:25:29.97

>>74
明らかに大きいのはbacktrace用のデバッグシンボル。
これはstripすれば縮む。
それ以外はC側が共有ライブラリとしてどれだけ外に出してるかによるかと。

**デフォルトの名無しさん** · 2020/02/10(月) 22:55:31.36

メモリ管理がランタイムにあるしdrop checkerもあるからランタイムはデカイよ。

**デフォルトの名無しさん** · 2020/02/10(月) 23:49:02.35

>>75
backtrace用のデバッグシンボルってreleaseでもついてくるの？

>>76
drop checkerってborrow checkerの書き間違え？borrow checkerってcompile-time以外でも走るのって一部の実装だけって認識だけど
ARCとか使うとランタイムとか増えるの分かるけど使ってないハロワだけのやつでもCより多いのが疑問

**デフォルトの名無しさん** · 2020/02/11(火) 00:10:31.83

https://www.reddit.com/r/rust/comments/bzdwru/hello_world_executable_size_268k_in_rustrelease/

**テトリス** ◆SYKnw8OJpw · 2020/02/11(火) 00:36:46.52

Windows10のキャラクターがゴミ過ぎて無駄に苦労する
やっぱLinux使うしか無いんか？
でもゲームしたいからWindows環境が良いんだよな…

**デフォルトの名無しさん** · 2020/02/11(火) 01:09:07.15

>>77
releaseでもデバッグシンボルはついてくる。
取って欲しいってIssueは立ってるけど
stripすればいいって感じなのか、あまり動きはない。
あとCのHelloWorldが小さいのはコードの大半が
libcにあるせいなのでは。

**デフォルトの名無しさん** · 2020/02/11(火) 01:18:02.99

バイナリサイズを小さくしたいならここを読む
https://github.com/johnthagen/min-sized-rust

**デフォルトの名無しさん** · 2020/02/11(火) 18:54:33.07

組み込みで使おうなんて本気で考えてる奴はこんなところで聞いたりせんだろ。

**デフォルトの名無しさん** · 2020/02/12(水) 12:54:11.29

>>70
いえいえ

**デフォルトの名無しさん** · 2020/02/17(月) 17:53:09.28

cargo install mdbook

としたとき、依存するライブラリクレートも一斉にインストール (というかキャッシュみたいな扱い？) されたようです。
ローカルに入ったライブラリクレートのドキュメントから一斉に、網羅的に検索する仕組みはありますか？
標準ライブラリのドキュメントは名前や引数で検索できますが、それを手元に入っているライブラリ全てに拡大したようなものが欲しいです。

**デフォルトの名無しさん** · 2020/02/17(月) 18:00:40.10

>>84
ビルド用の一時ディレクトリ以下に展開されただけで他から使えるようにはなってないよ

**デフォルトの名無しさん** · 2020/02/17(月) 18:17:09.06

>>85
そうなんですか。 Windows でやってるんですけど、
C:\Users\<ユーザー名>\.cargo\registry\src
に入っているのはビルド時の一時ファイル扱いという理解でいいんですかね？

他のプログラムをビルドしたときに必要になるライブラリクレートに共通するものが (このフォルダに) あったときでも
使いまわしはされないんでしょうか？
見かけ上は独立してるけど cargo が裏でうまいことやってくれるって感じなんでしょうか？

本当は Cargo book を読めばいいんでしょうけど、英語がわからなすぎて基本的な理念がよくわかってないです。

**デフォルトの名無しさん** · 2020/02/17(月) 20:49:03.97

$ cargo doc --open
doc生成すればプロジェクトの依存クレートすべてWeb形式で検索できるけど
そういうことではない？

**デフォルトの名無しさん** · 2020/02/17(月) 22:42:46.96

>>84
cargo installはバイナリクレートをインストールするためのワンライナーなんで
ライブラリクレートをどうこうする為のものではないよ。
バイナリのビルドに成功したら.cargo\binにコピーしてゴミは削除する。
バイナリクレートのドキュメントを読みたいならそれ自身を読みに行くんだよ。
rustdocは開発者向けでユーザー向けじゃない。

mdbookのrustdocが読みたいなら単にソースコードをクローンして自分でcargo doc叩けばビルドしてくれるけど。

**デフォルトの名無しさん** · 2020/02/18(火) 00:10:35.64

構造体のメソッドでメンバ変数の値ひっぺがすのにstd::mem::take使うの面倒だな

84 · 2020/02/18(火) 10:09:42.44

>>87
「そのプロジェクト (に依存する全ての)」ではなく「ローカルに残っている全ての」というつもりでした。

>>88
> cargo installはバイナリクレートをインストールするためのワンライナーなんで
> ライブラリクレートをどうこうする為のものではないよ。

「為のものではない」ということは察していたんですが、
ライブラリのソースコードは残っているので裏で Cargo が動くために情報を残してもいるのだろう
と考えて特定のプロジェクトに限定せず横断的な処理をする方法があるのかどうかということを考えていました。

バイナリクレートをアップデートするときのために残してあるだけなんですかね……？
とりあえず、プロジェクトごとに独立していると考えておきます。

**デフォルトの名無しさん** · 2020/02/18(火) 10:18:22.88

>>90
.cargoは全プロジェクト共通のキャッシュなので
プロジェクトまたいでも再利用はされる。
ただcargoコマンド自体はプロジェクト毎の操作しか提供しない、という感じ。
そういうツールを作ること自体は可能と思うけど。

84 · 2020/02/18(火) 10:59:25.45

>>91
なるほど。
見かけ上はプロジェクトの独立性があるように抽象化されているという感じですね。

なるべくなら過去に使ったことのあるライブラリクレートから使えそうなものを
探した方がキャッシュ (?) の増大を抑えられるし、
よく使われるライブラリの方が信頼性が高いだろうというのが元々の動機でした。

ツールの使い方もおぼつかないので定番と言えるのがどのあたりなのかとかいった肌感覚もなくて、
実際のコードを色々と見て回るのにどういうやり方が良いのか模索しています。

**デフォルトの名無しさん** · 2020/02/20(木) 05:16:24.39

https://ideone.com/6mGYO9

これの14行目15行目のところを10行目のところのように１つの文で書ける方法ってありますか？

**デフォルトの名無しさん** · 2020/02/20(木) 19:48:24.79

Haskell の default 宣言みたいなのは Rust にありますか？

たとえば関数 foo が返す値の型が a もしくは b の可能性があり、
関数 bar が受け取る値の型が a もしくは b のときに bar(foo()) という式で型が定まりません。
このときに a と b の間での優先度を決める方法があるかという質問です。

具体的な状況があるわけではなくて、言語機能を学ぶ中で生じた疑問です。

**デフォルトの名無しさん** · 2020/02/20(木) 20:19:05.71

>>93
こんな感じかな。

buf = buf.replace(ch, &<String as std::iter::FromIterator<&char>>::from_iter(&[' ', ch, ' ']));

**デフォルトの名無しさん** · 2020/02/20(木) 20:57:27.42

>>95
thanks!

**デフォルトの名無しさん** · 2020/02/20(木) 21:07:18.17

俺だったらformat!(" {} ", ch)にするかforを[" ( ", " ) ", ...]で回すかな

**デフォルトの名無しさん** · 2020/02/20(木) 21:09:56.45

>>94
>たとえば関数 foo が返す値の型が a もしくは b の可能性があり

Rustで戻り値の型が1つに決まらない関数書ける？

**デフォルトの名無しさん** · 2020/02/20(木) 21:27:49.34

型が曖昧な時はだいたいターボフィッシュでなんとかなるやろ

**デフォルトの名無しさん** · 2020/02/20(木) 21:55:52.56

>>94
型が定まらない関数は定義不能。
aまたはbを返したいならenum c {a, b}にしてcで返すしかないかと。

**デフォルトの名無しさん** · 2020/02/20(木) 22:48:30.93

>>94
rustはsum typeしかない。それだと実行時に型を評価する方法とunion typeがいる。

**デフォルトの名無しさん** · 2020/02/21(金) 01:30:08.71

正直TypeScriptの1 | 2 の型記法欲しい

**デフォルトの名無しさん** · 2020/02/21(金) 08:48:56.60

>>94 って多分こういう事では?

trait X { ... }
impl a for X { ... }
impl b for X { ... }

fn foo<T: X>() -> T { ... }
fn bar<T: X>(_: T) { ... }

bar(foo())

Rust の文法詳しくないんで間違ってたらすまん

**デフォルトの名無しさん** · 2020/02/21(金) 09:15:56.88

>>103
もしそうならdyn Xで返せばいいね。
その場合は型がAかBかの評価は実行時になるけど
どちらにしてもAとBのどっちを優先する、みたいなのはないな。

94 · 2020/02/21(金) 10:40:19.65

>>103-104
近いですが a と b との関係がもっと無関係なもの (仮想関数を使えない) を考えていました。
コードにするならこんな感じです。

struct Foo {}
struct Bar {}
trait X<T> { fn foo(&self) -> T; }
trait Y<T> { fn bar(&self, T); }
impl X<Foo> for Foo { fn foo(&self) -> Foo {Foo{}} }
impl X<Bar> for Foo { fn foo(&self) -> Bar {Bar{}} }
impl Y<Foo> for Bar { fn bar(&self, _x: Foo){} }
impl Y<Bar> for Bar { fn bar(&self, _x: Bar){} }
fn main() { Bar{}.bar(Foo{}.foo()); }

いずれにせよ方法はなさそうですね。
型を明記すればよい話ではあるのですが、ふと疑問に思ってしまったもので。

**デフォルトの名無しさん** · 2020/02/21(金) 13:18:50.41

いや、こちらも勉強になるよ。

**デフォルトの名無しさん** · 2020/02/21(金) 15:11:57.88

型推論でどの型のメソッドを呼び出せばいいか決まらないときに
特定の型のメソッドを優先させるような記述方法があるかってことだったのか
>>99のエスパー力すごいな

**デフォルトの名無しさん** · 2020/02/21(金) 15:21:44.11

ターボフィッシュで指定するか型指定した変数で一旦受けるかだね
https://play.rust-lang.org/?gist=3d288900b3f655687d0ba22cc37cbb23

逆にこのケースでdefaultの型が決まっちゃうのってちょっと怖い

94 · 2020/02/21(金) 18:02:02.28

Rust の型システム (Hindley-Milner) は ML 系言語で実績があるやつなので、
(型に関して) ML 系で出来ることはおおよそ出来るのではないかと思いつつ、
Rust 的には明記させたい場面かもな……みたいな気持ちでした。

やはり勝手に決まって欲しくないというのが Rust ユーザの感覚なんですね。

※ Haskell が ML 系と言えるかどうかは諸説あります

**デフォルトの名無しさん** · 2020/02/22(土) 01:53:24.77

これ出来たらかっこいい見たいな型推論の活用ってある？

**デフォルトの名無しさん** · 2020/02/22(土) 12:47:45.08

ファントムタイプは（名前が）かっこいい

**デフォルトの名無しさん** · 2020/02/22(土) 16:08:52.19

C++ をやってた感覚から言うと Rust の str::parse っていいよね。

C++ は返却値の側からの推論が無いから普通の関数 (メンバ関数) として parse みたいなものを書けない。
いや、書けるけど型が推論されないからいちいち型を明記しなけりゃならない。
昔は演算子でやる C++ のスタイルを上手い案だと思ってたけど、
普通に関数 (メソッド) でやれるもんならその方がいいわ。

**デフォルトの名無しさん** · 2020/02/25(火) 12:01:50.32

異なる関連型を持つ複数のトレイトオブジェクトを1つのVecに入れるのはAnyとかを使わないと無理でしょうか？

**デフォルトの名無しさん** · 2020/02/26(水) 07:52:56.79

IntelliJのRustプラグイン、ここのところぶっ壊れてないですか？

**デフォルトの名無しさん** · 2020/02/28(金) 06:03:14.29

1.41.1

**デフォルトの名無しさん** · 2020/02/28(金) 12:10:25.14

これは大失態だな

**デフォルトの名無しさん** · 2020/03/03(火) 21:00:42.72

static TEST = &'static str = "test";

このTESTの文字列の最後の一文字だけを参照として&'static charで作ることってできる？
型レベルで一文字ってことを保証したいのとメモリ節約したい