プログラミング言語 Rust 3 [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2017/05/21(日) 14:04:29.55

Mozillaがリリースした、プログラミング言語「Rust」について語るスレです。

http://www.rust-lang.org/
https://github.com/rust-lang/rust

Servo
https://servo.org/
https://github.com/servo/servo

◆前スレ
プログラミング言語 Rust 2
http://echo.2ch.net/test/read.cgi/tech/1478023960

**デフォルトの名無しさん** · 2017/10/06(金) 00:32:27.39

>>923
>連続してることが保証されないから

それはもはやデータ構造として「配列」と呼ばれるものではないのでは……

**デフォルトの名無しさん** · 2017/10/06(金) 00:59:19.34

Dは仕様変更が多すぎた

**デフォルトの名無しさん** · 2017/10/06(金) 01:12:44.86

>>923
javaの配列って連続領域の保証されてないの？

**デフォルトの名無しさん** · 2017/10/06(金) 11:58:56.15

スレチだけど、JVMの実装仕様なんてベンダー依存でしょ, OracleとGoogleでも当然違うわ

**デフォルトの名無しさん** · 2017/10/06(金) 22:14:03.16

だから言語として仕様化されてないの？ってことだろ。
c++だって実装バラバラだけど連続領域な仕様だろ。

**デフォルトの名無しさん** · 2017/10/06(金) 22:51:58.93

Cはポインタ I/F仕様に引きづられて配列仕様も必然として明確にせざる得ないからでしょ
JVMはbyte codeの解釈さえあってれば良くて、データ操作の実装仕様は知るかよって話だよ
VM上では連続領域に見せかけても、実態は数チャンクに分けた配列の持ち方だってあろうよ

**デフォルトの名無しさん** · 2017/10/07(土) 00:56:21.68

いやだから、データ構造としての「配列」のデータ操作の時間空間コストと
実装がズレてたらそれはもう「配列」じゃないから

**デフォルトの名無しさん** · 2017/10/07(土) 02:30:16.92

一般的に配列と呼ばれるオブジェクトがメモリアドレス上でも断片化しないことを保証される処理系ってほとんど無いのでは？
ミュータブルオブジェクトへ要素を継ぎ足していったらコードからは連続的に見えてもメモリ配置は断片化するだろう

**デフォルトの名無しさん** · 2017/10/07(土) 04:32:31.86

「要素を継ぎ足していったら」がそもそもオカシイ
要素継ぎ足せるのはそもそも配列じゃなくてロープかなんかだから

**デフォルトの名無しさん** · 2017/10/07(土) 08:20:38.57

配列の要件ってインデックスで要素にアクセスすることくらいじゃないの？
要素のポインタをとって操作できる言語以外は実際の記憶領域が連続かそうでないか
判断する術はないと思うが。

**デフォルトの名無しさん** · 2017/10/07(土) 08:39:14.98

ポインタ操作だって処理系依存でどんな変態実装も理論上はあり得ると思うけど
C/C++の仕様を調べる気力がない

**デフォルトの名無しさん** · 2017/10/07(土) 09:54:16.89

>>933
> 配列の要件ってインデックスで要素にアクセスすることくらいじゃないの？

じゃリンクリストでもいいってわけ？
インデックス操作は内部でポインタたどってさ。

**デフォルトの名無しさん** · 2017/10/07(土) 12:18:14.74

配列だとインデックスのアクセスにO(1)を期待してるが
それが保証できるのかという話じゃないの

**デフォルトの名無しさん** · 2017/10/07(土) 12:27:49.68

>>936
お前は話の最初から読みなおせw
オーダーのことなんか誰も気にしてないよ

**デフォルトの名無しさん** · 2017/10/07(土) 12:40:30.10

チューニングで気にするのはメモリ配置よりCPUキャッシュに乗るかどうかでは
そのとき配列のサイズが気にされるというだけで

**デフォルトの名無しさん** · 2017/10/07(土) 12:44:02.10

>>937
>>930
これの解釈は？

**デフォルトの名無しさん** · 2017/10/07(土) 12:59:08.16

データ構造としての「配列」と言語機能としての配列は別の話だから。

**デフォルトの名無しさん** · 2017/10/07(土) 14:30:31.33

O(1)でもO(n)でも a[i]と書けるなら配列だって感覚？
そう考えるのは自由だがまともな話はできなさそうだな。

**デフォルトの名無しさん** · 2017/10/07(土) 15:00:19.40

Rustの話はないんでしょうか

**デフォルトの名無しさん** · 2017/10/07(土) 16:04:55.47

そんなの処理系によるわ
動作は変わらないからどうでもいい

**デフォルトの名無しさん** · 2017/10/07(土) 17:48:20.09

JavaScriptのArrayを配列と呼ぶのは間違いだ！
と吠えている人がいますね

**デフォルトの名無しさん** · 2017/10/07(土) 19:34:14.94

そんなに気になるならソース見に行けで終わり

**デフォルトの名無しさん** · 2017/10/07(土) 20:58:38.51

>>941
逆にちゃんとした定義ってあるの？

**デフォルトの名無しさん** · 2017/10/08(日) 00:52:44.13

>>943
>そんなの処理系によるわ
>動作は変わらないからどうでもいい

オーダーの違いはまさに動作の違い

> JavaScriptのArrayを配列と呼ぶのは間違いだ！
> と吠えている人がいますね

データ構造としての配列じゃないのはそうだろ
配列じゃなくてハッシュマップですよねー
というのがマトモなCS出身者の反応

**デフォルトの名無しさん** · 2017/10/08(日) 07:38:16.10

引き続きオーダー厨がフィーバーしてんなw

>>946
>>926, >>928曰く、C言語には仕様として配列は連続領域であることが決まってるらしいよ
んで、Javaでは特に連続領域で実装することを仕様と定めてないよねーって話をしてんだろ

**デフォルトの名無しさん** · 2017/10/08(日) 08:29:08.64

>データ構造としての配列じゃないのはそうだろ
>配列じゃなくてハッシュマップですよねー

結局、それまで展開していたオーダー云々の論理はどっかにやって
「配列じゃないものは配列じゃない」ってかｗ

**デフォルトの名無しさん** · 2017/10/08(日) 09:02:22.19

ポインタの値が連続でも実メモリ空間のアドレスは連続とは限らないし
そのあたりのアドレスの連続性の抽象化をOSでやるか言語の処理系でやるかの違いと思えば
配列の要素の仮想メモリ空間でのアドレスが必ずしも連続ではない言語処理系があっても良いと思う

**デフォルトの名無しさん** · 2017/10/08(日) 09:38:42.04

>>949
配列とは、連続領域で確保されO(1)でアクセス可能なものと(俺の中で)定義する
それ以外の仕様、実装による配列は配列とは認めない

という論理で一応オーダー云々も彼の中では含まれてるんじゃないかな
ポインタのポインタで配列を設計したら、それはもうハッシュであり配列ではない的なことも言ってるし
多数の言語仕様, 言語処理系で配列ではないものが配列として扱われてて大変そうだなって思うね:D

**デフォルトの名無しさん** · 2017/10/08(日) 10:03:07.61

JSのArrayは配列じゃなくてリスト
TypedArrayが配列

メモリが連続化を気にするとかどれだけ低レベルな言語使ってるんだ
インターフェイスが同じなら実装とかどうでもいい
老害かよ

**デフォルトの名無しさん** · 2017/10/08(日) 10:54:24.49

データ構造の読み書きのオーダーも仕様の内だけど、メモリ上のレイアウトまで仕様という考えはマイナーじゃない？
アドレスを当然のように明示的に扱う言語だと当然の範疇かもしれんし情報として提供して欲しいけど、そうでない言語ならn番目の要素へのアクセスがO(1)であれば配列でいい
で、Rustはアドレス直触りは可能だけど普通はやらない。Cみたいに構造体のメモリ上の表現がはっきり決まってるわけでもないし

**デフォルトの名無しさん** · 2017/10/08(日) 15:41:19.83

>>951
> 配列とは、連続領域で確保されO(1)でアクセス可能なものと(俺の中で)定義する

そう思うのは勝手だけどそれに基づいて他人を批判するってどんだけ独善的なんだ

**デフォルトの名無しさん** · 2017/10/08(日) 18:42:51.40

そろそろRustの話に戻してくれ

**デフォルトの名無しさん** · 2017/10/08(日) 18:57:23.11

array data structure でググるさま

**デフォルトの名無しさん** · 2017/10/08(日) 20:18:32.63

>>952
(配列の定義を)お前がそう思うんならそうなんだろうお前ん中ではな
ちなみに、Rustスレ住民はRust言語を使ってるゾ

>>953
Rustのstructメンバは連続を保証してるんでなかったかいな
repr((C)で宣言した時に限ってるんだっけ、unsafe多用してる変態がいたら教えてくれ

**デフォルトの名無しさん** · 2017/10/09(月) 00:25:52.32

>>933
それって、(一次元)コンテナでは。
で、コンテナの実装方法として配列やらリンクドリストやらが存在する。

**デフォルトの名無しさん** · 2017/10/09(月) 00:29:02.79

>>952
> インターフェイスが同じなら実装とかどうでもいい
そういう目的にはrust使う必要なくね？

**デフォルトの名無しさん** · 2017/10/09(月) 00:30:54.57

>>953
Rustがそういう態度だと言うのなら、C/C++の代わりには使えないなぁ

**デフォルトの名無しさん** · 2017/10/09(月) 01:24:12.13

>>953
システムレベル言語でそれは無い

**デフォルトの名無しさん** · 2017/10/09(月) 07:09:58.47

https://play.rust-lang.org/?gist=9e8a69e064b98d48c48e237d87d005a1&;version=nightly

これ、少し前の nightly-2017-09-15-x86_64-apple-darwin だと通るのに、
最新の nightly だと conflicting implementations を起こすな。
rustup update したら急にビルドに失敗して驚いた。

**デフォルトの名無しさん** · 2017/10/09(月) 08:32:46.93

nightlyが仕様変更したりバグったりするのを逐一驚いてたら大変じゃない？

**デフォルトの名無しさん** · 2017/10/09(月) 09:00:12.81

>>958
もともと配列やその他のデータ構造からインターフェースのみ抽出したものがコンテナなんで、
それを言語仕様の側からは単に配列と称していることはあるだろう。
仮にそれを認めないとしても、元の質問の「JVMの配列は連続しているか」が「JVMのコンテナ(?)は
連続しているか」になるだけ。

**デフォルトの名無しさん** · 2017/10/09(月) 10:26:26.16

いるなぁC++のプロジェクトでarrayで十分なところに無駄にmap使いまくるやつ
おっさんプログラマとしては看過できないんだが(少なくとも仕事では)
これが時代なんだろうか

**デフォルトの名無しさん** · 2017/10/09(月) 11:43:46.40

なにか問題でも？

**デフォルトの名無しさん** · 2017/10/09(月) 14:35:43.67

メモリコスト、CPUコストについて定量的に説明できるかな

**デフォルトの名無しさん** · 2017/10/09(月) 14:47:42.14

自分もどちらかと言えば効率厨のつもりだけど
実行コストと可読性が大差ないなら好きな方を使えばいいと思う

**デフォルトの名無しさん** · 2017/10/09(月) 15:19:06.41

コンテナ使うとコストが見えにくくてよく分からん

**デフォルトの名無しさん** · 2017/10/09(月) 17:24:05.08

さすがに array と map ではアルゴリズム自体違うわけだしそれはなしだろ。

**デフォルトの名無しさん** · 2017/10/09(月) 18:49:17.20

Vec<f32> を Vec<f64>に変換したいのですがどうしたらいいでしょうか？
やりたいのは
&[f64]を引数として受け取る関数にVec<f32>の内容を渡したいのですが。

**デフォルトの名無しさん** · 2017/10/09(月) 20:31:04.63

https://play.rust-lang.org/?gist=0cd6e0b3f8c028d720b6936505df6c9b&;version=undefined

受け取る関数がTraitでf32, f64を受けろと思うけど、外部ライブラリで作ってるなら仕方ないんだろうよ

**デフォルトの名無しさん** · 2017/10/09(月) 20:46:44.09

>>972
ありがとうございます

今回は外部ライブラリだからしょうがないかな

普通はなんのtraitで受けとるんでしょうか？

**デフォルトの名無しさん** · 2017/10/11(水) 16:41:05.41

色々あるんだろうけど、こんな一例
https://play.rust-lang.org/?gist=d00fb7f7041fce1649767ecf95bb936a&;version=stable

AsRefとかIntoとかFromとか、なんかその辺調べたらいいんじゃないかなぁ
他人に公開する目的のpub fn以外で使うのはバイナリ容量増やす一因になるからいたずらには使いたくは無い(他人がする分には気にしない
ただまぁ、枯れたおっさんプログラマの感想であって、map, arrayの使い分けに口出すおっさんは同様に口出してくると思うので注意されたし

**デフォルトの名無しさん** · 2017/10/11(水) 17:46:13.24

>>974
基本的に↓を使ってるんで、
https://docs.rs/alga/0.4.0/alga/general/trait.Real.html

これの
https://docs.rs/alga/0.4.0/alga/general/trait.SupersetOf.html
あたりを使えばいいんすかねぇ

**デフォルトの名無しさん** · 2017/10/11(水) 20:18:32.35

rustって難しいって聞くけどどうなの？

数百行程度のcliツールとか作るのにも適してる？

**デフォルトの名無しさん** · 2017/10/11(水) 20:36:37.19

借用やライフタイムを理解できない内は難しいかもね。

**デフォルトの名無しさん** · 2017/10/11(水) 20:58:57.23

%%%%4NEL%%%%
000-SAV-&1.0888214%ML<\47MBL%0.2\MSSSS4.213>
1.8882/%B/%SB/<\2/7BL\%\%B!B%47L%Si72B>%10.2%\
002%\B%===>>>52.B<\rbc/2.8>>\7B<<\7LB>>\72S\<%\42%><\br>001BYON$\%7L2%3.33GHz>>>2.3GHz<\br>
41.B%LB%"<<%11.6$%><<\86.1B>>2LB>"B???S3>>71$-?>6%<\br>
082@<\7L@@<\br>
\LOOP>0<1Entra

**デフォルトの名無しさん** · 2017/10/12(木) 09:41:32.32

>>975
RealがSupersetOf<f64>を継承してるから受け取る関数がf64を扱うならTrait Realを受ける形でも良さそう
Alga使ったことなくてどっちを使う方がスマートなのか分からんから、自分が取り回しやすいと思う形でどうぞ

**デフォルトの名無しさん** · 2017/10/13(金) 09:07:46.54

Announcing Rust 1.21 - The Rust Programming Language Blog
https://blog.rust-lang.org/2017/10/12/Rust-1.21.html

めぼしい変更無し。

**デフォルトの名無しさん** · 2017/10/13(金) 15:11:36.11

Rustの話をしないRust板の住人
言語として形になってないから言語のことを話せないんだろうなぁ
直近もまともな更新ないし、世間の話題も下火だし
工作員さんもっと頑張らないといけませんよ（ハナホジ）

**デフォルトの名無しさん** · 2017/10/13(金) 17:39:13.20

tanakhのrustベタ褒めツイートでも列挙しようか

**デフォルトの名無しさん** · 2017/10/13(金) 17:40:12.67

>>976
性能だすために生ポ触るとかしなければボローイングなんかも
そんな難しく考えずにコード書けるとは思う。
一部の馬鹿が言語機能をドヤしたいってのが一番流行るのを妨げてる。

**デフォルトの名無しさん** · 2017/10/13(金) 17:44:57.66

じゃんじゃんクローンすればいいんだよ
性能に困ったときだけ再考すればいい

**デフォルトの名無しさん** · 2017/10/13(金) 18:36:57.97

>>980
何代目の時報か知らんけど次スレよろ
あと、2年近くかかって取り込まれたrvalue static promotionをスルーするとかどうかしてんぜ

**デフォルトの名無しさん** · 2017/10/13(金) 18:45:29.22

ムーブセマンティクスをきちんと意識すれば借用はそこまで難しかないよね
まあそこでCの経験が却って邪魔になるところがあるわけだけど

**デフォルトの名無しさん** · 2017/10/13(金) 20:29:09.18

QtをやったあとでもRustの有り難みって実感出来る？

**デフォルトの名無しさん** · 2017/10/13(金) 22:43:54.95

borrowing というか mutable aliasing だけはやっぱり辛いなあ。
多くの場合 struct メンバの false sharing なんだよね…。

**デフォルトの名無しさん** · 2017/10/14(土) 14:12:57.17

>>980
「Rust 1.21」リリース
2017年10月13日16:15 末岡洋子
https://mag.osdn.jp/17/10/13/161500

**デフォルトの名無しさん** · 2017/10/14(土) 17:39:51.15

次スレ

プログラミング言語 Rust 4
https://mevius.5ch.net/test/read.cgi/tech/1507970294/

**デフォルトの名無しさん** · 2017/10/15(日) 14:37:51.04

>>986
moveや借用は簡単なんだけど、その結果引き起こされる制限を回避していくのが面倒。

**デフォルトの名無しさん** · 2017/10/15(日) 17:36:12.11

>>991
その「面倒」って感じるのがまさしくCの経験の負の遺産なわけよ

**デフォルトの名無しさん** · 2017/10/16(月) 10:08:35.93

脱出しようとして墜落してるのか

**デフォルトの名無しさん** · 2017/10/20(金) 00:44:35.87

994

**デフォルトの名無しさん** · 2017/10/20(金) 00:45:47.02

995

**デフォルトの名無しさん** · 2017/10/20(金) 00:46:13.27

996

**デフォルトの名無しさん** · 2017/10/20(金) 00:46:56.38

997

**デフォルトの名無しさん** · 2017/10/20(金) 00:48:00.58

998

**デフォルトの名無しさん** · 2017/10/20(金) 00:48:41.67

999

**デフォルトの名無しさん** · 2017/10/20(金) 00:49:08.90

1000

**1001** · Over 1000

このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 151日 10時間 44分 40秒