X
プログラミング言語 Rust 4【ﾜｯﾁｮｲ】
0001デフォルトの名無しさん (ﾜｯﾁｮｲ 83b3-KDL3)
垢版 |
2017/12/24(日) 18:27:01.98ID:EGydBhQv0
Mozilla発のプログラミング言語「Rust」のスレです

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

■ワッチョイ
スレ建て時、一行目に
!extend:on:vvvvv:1000:512
を入れること

■派生元スレ
プログラミング言語 Rust 4
https://mevius.5ch.net/test/read.cgi/tech/1507970294/
VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured
0005デフォルトの名無しさん (ﾜｯﾁｮｲ 337f-G8t+)
垢版 |
2017/12/27(水) 10:23:26.96ID:TP7XdM/O0
製本？したものを上げてるサーバーが結構長いこと落ちてるね
1. cargo install mdbookでmdbookをインストール
2. git cloneで>>3のリポジトリを取ってくる
3. 取ってきたディレクトリでmdbookを実行
4. book/ にhtmlで製本されたものが出力される
ので、是非読んで欲しい。may not live longとかcannot moveとかで怒られまくってる人なら共感しながら読めるはず
0008デフォルトの名無しさん (ﾜｯﾁｮｲ 392d-FSib)
垢版 |
2018/01/12(金) 20:30:43.24ID:r1exnGKH0
教えてください

VecのDisplay::fmtをカスタマイズしたくて
type MyType<T> = (Vec<T>);

impl std::fmt::Display for MyType {

}
0009デフォルトの名無しさん (ﾜｯﾁｮｲ 392d-FSib)
垢版 |
2018/01/12(金) 20:43:39.15ID:r1exnGKH0
申し訳ありません　途中送信してしまいました
コードをplaygroundに移しました

https://play.rust-lang.org/?gist=10bd65d0bfaf8b5117399b18bd8eb0d2

VecのDisplay::fmtをカスタマイズしたくて上の様にMyTypeを作成したのですが
Vecのメソッド委譲するためのコードを手書きする作業が煩雑になって困っています

何か上手い回避策は無いでしょうか?
00119 (ﾜｯﾁｮｲ 392d-FSib)
垢版 |
2018/01/12(金) 21:44:35.31ID:r1exnGKH0
>>10
レスどうもです
Vec（他標準 struct）のDisplay::fmt出力をカスタマイズしたいんです　例えば
・要素数が多い場合、最初の数個を出力して残りを省略するとか
・要素の出力が長くなる場合、適当なところで改行するとか
・インデントを受け付けてネストしてる場合は改行とインデントで整形するとか

その上でVecのインターフェースをそのまま使いたいんですが
>>9のように新規の構造体を作る場合　手書きで委譲せねばならず
どうにか上手く出来ないもんかな……と
0013デフォルトの名無しさん (ｱｰｸｾｰ Sxbd-YNmt)
垢版 |
2018/01/12(金) 23:39:08.93ID:XT/5sCZ8x
>>9 https://play.rust-lang.org/?gist=eec6671ba201493eb61891447824b92f&;version=stable

DerefとDerefMutを実装するといい。
↓にあるDeref Coarcionっていうコンパイラの機能で、x: MyType<T>に対し、&xが&MyType<T>とも&Vec<T>ともみなしてくれるようになる
https://doc.rust-lang.org/book/second-edition/ch15-02-deref.html#implicit-deref-coercions-with-functions-and-methods

更に追加でIntoとFromも簡単に実装できるから不自由は無くなるはず
00149 (ﾜｯﾁｮｲ 392d-FSib)
垢版 |
2018/01/12(金) 23:49:12.53ID:r1exnGKH0
>>12
ごもっともです
self.0に委譲するマクロが上手く書けなかった経験があり
それに引きずられて本質を見失ってました
コードを整理していったらいけそうな感じになりました
https://play.rust-lang.org/?gist=960819f1fb1b5f9988a1c58cab2b1b9e&;version=stable
ありがとうございます

>>13
ああ、なるほど
Derefは思い至ってませんでした メソッド委譲の解決になりそうで助かります
こちらもありがとうございます
0017デフォルトの名無しさん (ｱｰｸｾｰ Sxbd-YNmt)
垢版 |
2018/01/13(土) 19:09:49.17ID:zJNsIIn8x
>>16の論旨は「MyType<T>は常にVec<T>として扱われても問題ないか？あるならDerefはおすすめしない」だと思うけど、
今回の場合はむしろMyType<T>は特別なことが無い限りVec<T>として使いたいんじゃないの？
00189 (ﾜｯﾁｮｲ 392d-FSib)
垢版 |
2018/01/13(土) 20:15:02.44ID:5hbvxbkG0
>>16 読みました
見覚えのあるピンク玉はrust playgroundの中の人でした

「smart_ptrぐらいの同一性がある場合にはDerefが必要だけど
strにDeref<Taget = [u8]>が無いように
Derefだとやりすぎな場合もあるからdelegate構文欲しいよね」
ってなとこでしょうか
strの例は「替わりにas_bytesがあるよ」ということかなと

strとsliceとか他のライブラリを眺めた個人的な結論としては
has_aならAsRef、is_aならBorrowをimplして受ける関数で使い易くしておくのが
Rust的な落とし所なのかなーといった印象です
AsRef, Borrow, Derefの使い分けは宣言的にプログラマの裁量に任されてる感じ

よくよく考えれば自分のコードにもas_xxx, as_xxx_mutが散見されている現状なので
Mytypeにもas_vecを書けばそれでも良かったような気がします

>>17
自分のケースの場合はそもそもMyTypeがいらなくなってしまったもので
Derefはオーバーパワーかなと思ってます
とはいえ　smart_ptrのように扱うならDerefが有用ということが
知見として学べたので　大変ありがたかったです
0025デフォルトの名無しさん (ｱｳｱｳｶｰ Sa33-jWYD)
垢版 |
2018/01/29(月) 17:48:02.51ID:gyvOdhISa
使うケース減るのもそうだけどepochで機能削除する場合はソースコードの変換ツールが提供されるらしい
あと古いepochのソースはそのままコンパイルできるらしいから特に対応不要らしい
だから新しいepochにしか入っていない機能を使いたいcrateとかでなければ何もしなくても困らないはずだし
その場合でも変換ツール通せば簡単に対応できるはず
0029デフォルトの名無しさん (ﾜｯﾁｮｲ 57b3-skLA)
垢版 |
2018/02/04(日) 00:05:25.67ID:VmMujkXk0
map: BTreeMap<K,V>で、keyが無かったら挿入、あったら格納されてる値vに応じて新しい値new_vに更新するか決めるってやりたいんだけど、
let v = map.entry(key).or_insert(new_v);
if ... {
*v = new_v;
}
よりもっと綺麗な書き方ある？
0040デフォルトの名無しさん (ﾜｯﾁｮｲ 99b3-bLbK)
垢版 |
2018/02/12(月) 21:38:29.65ID:tHO1NU6P0
アルゴリズムが変わらないならそう変わらんのじゃないか
他人のひどいコードならともかく、同じ人が小規模なプログラムを書き直す程度だと特に

C/C++からRustへ書き直して速度が上がったって話はあんま聞いたことが無い
速いネイティブライブラリを言語に組み込んでるJuliaとかなら、書き直すだけで速度上がったって話はちらほら
pythonだったらnumpy使った方が楽でいいとかも
0046デフォルトの名無しさん (ﾜｯﾁｮｲ 2e98-BYkA)
垢版 |
2018/02/14(水) 16:35:43.73ID:wToAct7f0
>>45
どういうこと？じゃあどうすればいいの？
0049デフォルトの名無しさん (ﾜｯﾁｮｲ ff98-znvk)
垢版 |
2018/02/15(木) 02:06:38.25ID:mcN0VL7z0
>>48
やっぱりちょっと分からないな。
RustやC++のどの辺がコンパイラに機能を詰め込んでると思うの？
ライブラリorツールに任せるってのもどの辺を任せたいのかな？
話がザックリし過ぎて言いたいことがよく分からないんだが。
0051デフォルトの名無しさん (ｽｯﾌﾟ Sd3f-swnP)
垢版 |
2018/02/15(木) 17:01:00.96ID:OS8rqPvzd
C++はコンパイラの方もだけど標準ライブラリでの機能実現も相応に多くて結果ソースの記述が煩雑になっているのは既知の事実でしょう
ライブラリや実装に任せた結果APIの統一が取れなくなって結局細かな仕様策定を余儀なくされたSchemeを見ても銀の弾丸でない事は明らかだよね
それに出来る事を増やすという点においてライブラリは有用だけど変数の不変性や型システムのような制限をする事に関してはコンパイラによしなにしてもらうより他ないよ
0052デフォルトの名無しさん (ﾜｯﾁｮｲ f7e0-T3WU)
垢版 |
2018/02/16(金) 01:22:14.41ID:W1XJdyx10
☆ 日本の、改憲を行いましょう。現在、衆議員と参議院の
両院で、改憲議員が３分の２を超えております。
『憲法改正国民投票法』、でググってみてください。国会の発議は
すでに可能です。平和は勝ち取るものです。お願い致します。☆☆
0056デフォルトの名無しさん (ﾜｯﾁｮｲ 17eb-moIH)
垢版 |
2018/02/16(金) 15:41:33.96ID:xYOe+Cvi0
>>45は言語仕様の追加、更新が気に入らないんじゃないかな
try!の代わりに?なんて以ての外だ、みたいな？それ以外に思い付かなかったけど
1.0以前に@や~を削除してライブラリにぶん投げた辺りは希望通りな気がする

基本的に電池入りじゃないRustはライブラリやマクロの代わりの言語仕様の追加じゃなく
より効率的なバイナリを吐くための言語仕様の追加が多いイメージだけどなぁ、impl Traitとか
0057デフォルトの名無しさん (ﾜｯﾁｮｲ ff98-znvk)
垢版 |
2018/02/16(金) 17:59:54.40ID:ItA0QsEV0
>>56
あー、そういうこと。?記法は確かに若干違和感あったかもな。
でも実際、あれは便利なんだよなぁ。
File::open(path)?.read_to_string(&mut buf)?みたいに繋げられるから。
try!(try!(File::open(path)).read_to_string(&mut buf))は読みづらい。
かといって、
let mut file = try!(File::open(path));
try!(file.read_to_string(&mut buf))
みたいに2行に分けるのも面倒だし、無駄なローカル変数も出来れば避けたい。
結局、あれが妥当な判断だったと思うけど。
まぁ、stableにする必要あったのか？ってところで賛否両論あるかもね。
0061デフォルトの名無しさん (ﾜｯﾁｮｲ ffeb-moIH)
垢版 |
2018/02/17(土) 13:27:59.06ID:Nh87YVhF0
俺も違和感はあるけど、多くの人が賛意を出して採用されたんだから
>>60や俺の感覚が狂ってるんじゃね？自身の感覚の狂いって当然ながら無自覚過ぎんよ

boxは在り様の総意を取るの面倒だし、目下はBoxで運用できてるしで、いつまでもstableに来なさそう
ヒープを多用したい人には文法にあればありがたいんだろうけど、そもそもヒープが好まれんしのう
0069デフォルトの名無しさん (ﾌﾞｰｲﾓ MMcf-jtfM)
垢版 |
2018/02/20(火) 18:44:44.84ID:QamN8HfjM
tokio-coreなくなるんか
一通り組み上がった後の悲しいニュース
0072デフォルトの名無しさん (ﾜｯﾁｮｲ ff98-e/1Q)
垢版 |
2018/02/21(水) 00:56:09.93ID:kjg0KAFU0
tokio系列のやつってtokioとかtokio-coreとかtokio-ioとかtokio-protoとか複数あってよく分からんのよね
tokio-ioのリポジトリにはtokioに移動したからもう使うなって書いてあるし
tokio-coreは移動じゃなくて廃止予定って書いてある…
tokio-protoはそのまま？tokio-timerとかtokio-serviceとかよく知らんリポジトリもあるし…
誰か各クレートの特徴(役割)と関係性を教えてくれ
0074デフォルトの名無しさん (ﾌﾞｰｲﾓ MMcf-jtfM)
垢版 |
2018/02/21(水) 19:11:26.04ID:2b1o4F67M
コミットを追うとtokio-coreはtokioに変わったように見える
tokio-core=tokioでtokioの本体

tokio-ioはtokio-coreを使って非同期ioを実装したものだったがしゃらくせえのでtokio-coreに取り込んだのかな

tokio-protoはtokio-coreを使ってネットワークプロトコルを実装したものだったがしゃらくせえからtokio-coreに取り込んだのかな

つまり tokio = tokio-core + tokio-io + tokio-proto

か？
0075デフォルトの名無しさん (ﾜｯﾁｮｲ 97b3-T3WU)
垢版 |
2018/02/21(水) 23:28:42.27ID:J5LO2Gvl0
[] [[[ [[ [] ][ [] [ ] [] ][]] [[[ [] }
0076デフォルトの名無しさん (ﾜｯﾁｮｲ fc23-Yogk)
垢版 |
2018/02/22(木) 13:48:53.41ID:H839Tp+80
tokio-protoとtokio-serviceってtrait宣言が主体のインターフェース定義クレートだったような？
前者はクライアント、後者はサーバに適したインターフェースが定義されてた覚えがある
io, timer, cpupoolなんかはユーティリティ機能が実装されてたよな

統合の基準はどこかで議論されたんだろうけど、どこでやってたのかな
0078デフォルトの名無しさん (ﾜｯﾁｮｲ 67b3-C/rw)
垢版 |
2018/03/07(水) 19:47:20.60ID:LRCrToXv0
https://play.rust-lang.org/?gist=cb511b34bc3ffbb43b8589a24156337a&;version=stable
let mut foo = Foo{ a:0, b:0, c:0 };
let aaa = ["5", "432", "3"].iter().flat_map(|i| i.parse::<u32>()).collect::<Vec<_>>();
foo.a = aaa[0];
foo.b = aaa[1];
foo.c = aaa[2];

Rustってこれ以外に書き方ありませんか？
tupleでやってみるとleft-hand of expression not validと出ました
0083デフォルトの名無しさん (ﾜｯﾁｮｲ 7e95-gb/e)
垢版 |
2018/03/08(木) 01:34:04.75ID:4NfI3sqt0
1.24.1は何のリリース？
0086デフォルトの名無しさん (ﾜｯﾁｮｲ 2f97-6XBc)
垢版 |
2018/03/11(日) 17:59:47.19ID:9uw0Jco60
serdeでシリアライズだけするぶんにはjavaの1.4倍くらい早かったんだけどなあ(俺調べ)
0089デフォルトの名無しさん (ﾌﾞｰｲﾓ MM5b-FuQQ)
垢版 |
2018/03/18(日) 07:04:56.79ID:esGNO3D8M
1.24.1てなんなんだろ
0091デフォルトの名無しさん (ﾜｯﾁｮｲ 2bb3-ogOK)
垢版 |
2018/03/18(日) 21:36:06.49ID:kfSBwJmk0
Iterator::mapに渡すクロージャ内で、クロージャ内の変数への参照を持つstructを返したい時ってどう対処するのが正解ですか？
https://play.rust-lang.org/?gist=a15e0dfa10339570fef5b9225761a9f0&;version=stable
0092デフォルトの名無しさん (ﾜｯﾁｮｲ bdb3-kj1m)
垢版 |
2018/03/18(日) 23:09:22.36ID:UNqGf23T0
does not live longエラー関係は自分が思ってるより広い視点で見た方が解決するんじゃないかなあ
Hito.konomi_no_mochiは参照なんだから、参照元としてVec<Mochi<'a>>を保持しないと駄目なんじゃね？
=>mochiがMapになってて分かりにくい
=>とりあえずcollectさせてVec<Mochi>持ったら動いた
みたいな。
https://play.rust-lang.org/?gist=6c9947e3584f1feb5bb14f07d27aa9c7&;version=stable
多分、頭の良い人ならもっと綺麗な説明と解法があるんだろうけど
0093デフォルトの名無しさん (ﾜｯﾁｮｲ 2bb3-yeMC)
垢版 |
2018/03/19(月) 07:39:54.89ID:bmK7HIBH0
>>92
ありがとうございます
仮引数mのライフタイムはmain関数が抜けるまでだから通るということで合っていますか
またVecではなくIterator::Mapだと駄目な理由は、Iterator::Mapはcollectされるまでクロージャが実行されないから…とかでしょうか
0094デフォルトの名無しさん (ﾜｯﾁｮｲ bdb3-kj1m)
垢版 |
2018/03/19(月) 13:44:00.51ID:aUxUFBJe0
>>93
仮引数mのライフタイムはクロージャ内なのは変わらないよ。>>92は仮引数を参照じゃなく消費してるから通る（>>92の&mじゃなくてmで良い）
クロージャが実行されないから、ではなく、mochiの値が消費されてるのにその参照を持たせようとしてるから駄目
試しに>>91のコードでmochi.map(|m| { 0 })とか書いて、mochiをprintln!に渡してみようとすると怒られるよ。もう使ってるって。

そこらへんの細かいルールを覚えるの大変だし、コンパイラもまだ分かりやすいエラーメッセージ吐いてくれないから、
・参照を使うときは、参照元をちゃんと生かしておくこと
・参照を使った構造体は、元の値を修飾（見方を変える、新しい機能を持たせる等）するようなパターンに限定すること
を守るようにした方がいいよ
0095デフォルトの名無しさん (ﾜｯﾁｮｲ 2bb3-yeMC)
垢版 |
2018/03/19(月) 21:04:17.46ID:bmK7HIBH0
>>94
「消費したものの参照を持たせるのは駄目」と「消費しているから通る」はそれぞれはわかる気がするのですが、両方となると…
前者の「消費したもの」と後者(main関数中生き続けるMochiのベクトル)は別物だと思うのですが、
前者で駄目な理由は関数中生き続けるMochiがない(mapを呼び出しただけでは駄目)ということですか？
0096デフォルトの名無しさん (ﾜｯﾁｮｲ bdb3-kj1m)
垢版 |
2018/03/19(月) 23:26:36.74ID:aUxUFBJe0
「消費されるので通る」じゃ言葉足らずでした。「参照じゃなくmoveして延命している」の方が通じるかも

>>91のコードを整理すると
1. HitoはMochiの参照を持ってるから、Hitoが有効なスコープ中はMochiも有効じゃないといけない
2. mochiはinto_iterで作られてるからMochi型を吐き出す、けど所有はしない
3. なのにmochizukiはmochi.map()で各要素への参照しか持たない
4. mochiから吐き出されたMochiの受け皿が無いんでエラーになる

これを解決するには
1を変えてHitoがMochiを所有するようにデータ構造を変える
2で作られたMochi型の値をしっかり保持する変数を用意する
の2種類くらいしか思いつかん。
Does Not Live Longエラーはライフタイムがどうのこうのと小手先で弄るより、
値の所有者を明快にしたり、データ構造を見直してみると案外素直に直せるのが経験則。
0097デフォルトの名無しさん (ﾜｯﾁｮｲ abb6-ogOK)
垢版 |
2018/03/20(火) 13:21:28.84ID:RDB2KieC0
>>96
loop{
let (a, cond): (&str, bool) = get_too_many_str();
let m = Mochi{aji: a};
let h = Hito {m : &m};
if(cond){ break; }
}
// ここでhのvecが欲しい

この場合は、ムーブする(ループより長いライフライムの)変数がないので1の手法しかないということになりますか？
そこそこでかい文字列を扱っているので気を使っていたのですが、この場合Stringにすべきでしょうか
0098デフォルトの名無しさん (ﾜｯﾁｮｲ bdb3-kj1m)
垢版 |
2018/03/20(火) 14:30:32.82ID:UUyTwokV0
大きい文字列を扱うから参照にしたいってのは普通にあるし分かるけど
Hitoが&MochiでなくMochiをメンバに持つようになっても文字列のコピーは行われないよ

自分なら>>97のget_too_many_str()が返す&strの元を誰が保持するのかをまず気にする
そこをしっかり把握してれば文字列のコピーは最低限になるはずだから
0100デフォルトの名無しさん (ﾜｯﾁｮｲ 2bb3-yeMC)
垢版 |
2018/03/21(水) 11:43:51.64ID:cBTkQiaM0
&strの元もloop内の変数が持っています
hのvecを作るにはコピーは避けられないようですね…
&strからStringに変えたところhvec.push(h)してもエラーにはなりませんでしたが、
スコープを抜けたはずの変数が使える理由ってどこかに書いていますか？
新着レスの表示
レスを投稿する

ニューススポーツなんでも実況