プログラミング言語 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/09/23(土) 13:46:38.85

変数名にしたかったのを予約しやがって！でもある

**デフォルトの名無しさん** · 2017/09/23(土) 14:49:56.77

Contextual keywordって書いてある

**デフォルトの名無しさん** · 2017/09/23(土) 15:11:25.15

let str = "Hello";
let str: &str = str;

これで普通にコンパイル通るしな。
変数名に出来ないのは>>872の中じゃ mut だけだろう。

**デフォルトの名無しさん** · 2017/09/23(土) 19:15:33.07

str, len, rev
あたりは変数名として結構使うかな。
str , vec あたりは s, v くらい短くすることもある。

**デフォルトの名無しさん** · 2017/09/24(日) 17:44:10.64

比較演算子 ==, <, > 等って、同じ型同士でしか定義できないのか

**デフォルトの名無しさん** · 2017/09/24(日) 20:16:16.24

それはEqとOrdの話でしょ
PartialEqとPartialOrdは別の型同士でも定義できる

**デフォルトの名無しさん** · 2017/09/24(日) 20:38:52.59

あ、ホントだ。出来たわありがとう。

use std::cmp::PartialEq;

struct Foo(i32);

impl PartialEq<i32> for Foo {
fn eq(&self, other: &i32) -> bool {
self.0 == *other
}
}

**デフォルトの名無しさん** · 2017/09/27(水) 15:23:55.91

Firefox Quantumリリースだってよ

**デフォルトの名無しさん** · 2017/09/27(水) 23:11:15.94

Rust 1.20、関連定数などを追加
https://www.infoq.com/jp/news/2017/09/rust-1-20-released

**デフォルトの名無しさん** · 2017/09/28(木) 00:21:45.83

時報が壊れたと思ってたら、常時一ヶ月遅れの情報サイトをソースに時刻通知がきたよ
本人じゃなく模倣者だろうけど次回からは一次ソースのサイトをトリガーにしような！

**デフォルトの名無しさん** · 2017/09/28(木) 00:30:16.29

何でこの人こんなに怒ってるんだろ？

**デフォルトの名無しさん** · 2017/09/28(木) 00:53:16.99

1. 時報が壊れたことに怒っている
2. 一ヶ月遅れのinfoqをソースにしたことを怒っている
3. 模倣者であることに怒っている
4. その他

どれだと思う？

**デフォルトの名無しさん** · 2017/09/28(木) 02:25:57.30

一ヶ月入院でもしてたんだろ
許してやれ

**デフォルトの名無しさん** · 2017/09/29(金) 10:21:58.71

CもObjCもここ数年は仕様変更がないから、コンパイルはそのまま通る。
変なコード書いてなければ動作確認も問題なくパスする。
メンテナンスフリーって言われれば確かにそうかもな。

あとはフレームワークで非推奨にになったメソッド書き換える程度だけど、
これはSwiftと共通の作業だし、そもそもやらなくても動く。
とにかくSwift移行していない俺は毎年高みの見物してる。

**デフォルトの名無しさん** · 2017/09/29(金) 10:22:21.88

すまん誤爆した

**デフォルトの名無しさん** · 2017/09/29(金) 11:26:40.22

これが小学生のおっぱいかよ・・・
12歳の乳とは思えんな・・・

**デフォルトの名無しさん** · 2017/09/29(金) 11:51:24.12

誤爆しすぎだろ。

**デフォルトの名無しさん** · 2017/09/29(金) 22:06:45.55

rustの前にc++とhaskellぐらいはやっておくべき？

**デフォルトの名無しさん** · 2017/09/29(金) 23:43:36.68

C++なんてやらんでいい。haskellよりOCaml寄りじゃね？

C++よりメモリ周りが「javaからgcとロック付きオブジェクトとモニタと
並列ライブラリがなくなった」代わりに低レベルなマルチスレッドコード書けば
型システムが守ってくれるモノが近い。

**デフォルトの名無しさん** · 2017/09/30(土) 00:20:49.42

所有権の概念はC++のmove semantics回りが近いと思うけどな
まあゲーム作るとかじゃなければわざわざC++やらなくてもいいと思うけど

**デフォルトの名無しさん** · 2017/09/30(土) 22:05:33.32

Rust言語による第一プロダクトのFirefox Quantumですが
ベータ版リリースの時点でアドオンがお亡くなりになったとか、不安定でどうしようもないとか、メモリ食い潰して落ちるとか
様々なお声が聞こえてきますね

これがRustという安全な言語で作ったプロダクトなんですってね
おめでとうございますモジラ信者と工作員の皆様

**デフォルトの名無しさん** · 2017/09/30(土) 22:25:31.06

アドオンが不安定ってのはRust関係なくね？

**デフォルトの名無しさん** · 2017/09/30(土) 22:38:45.63

ベータ版の意味も知らないガイジやんけ
ガガイのガイｗ

**デフォルトの名無しさん** · 2017/09/30(土) 22:39:37.33

あそれあそれガイジが出た出たよよいのよいｗ

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

>>894
API鞍替えのせいだから全く関係ない。
メモリも関係ないし、むしろ最近はバージョン上がるたびに消費メモリ減ってる。
というかパフォーマンス良くなったのは設計が変わったからで言語は関係ない。
言語関係する部分はC++よりマシだから書きやすくなったこと。

**デフォルトの名無しさん** · 2017/10/01(日) 00:42:35.99

>>897
設計の変更って具体的に何を変えたの？マルチスレッドに強いとか？gpuぜんていとか？

**デフォルトの名無しさん** · 2017/10/01(日) 23:58:38.97

>>898
HTMLの描画周りがマルチスレッド前提になっただけよ。
シングル前提でやるとHTML/CSSパース、DOM構築で同期取りまくりが減っただけ。
うちのmem 4g, 2core環境だとハードが足引っ張ってたから多分mem 8g, 4coreくらい要ると思う。
ここ数年のロースペックマシン以上が恩恵受けるんじゃ？
gpu前提はwebrenderだからまだ入ってないんじゃない。

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

あ、悪い。webrenderもう入ってるわ。
webrenderとstyloが入ってるからもうマルチスレッドにgpu前提。

**デフォルトの名無しさん** · 2017/10/02(月) 11:21:20.04

Firefox爆速化件だけど、あのタイミングでRust化してればRustにも一気に注目集まったのにな。
もったいないな。

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

w3mの代替になるコンソールブラウザがほしいところ

**デフォルトの名無しさん** · 2017/10/04(水) 00:06:33.86

lynks、links、EWW(Emacs)ではいかんかった？

**デフォルトの名無しさん** · 2017/10/04(水) 01:21:42.46

それよりAmayaの後継をwhatwgに作って欲しい

**デフォルトの名無しさん** · 2017/10/04(水) 09:33:38.58

>>901
cssはrustになったんだよね？

**デフォルトの名無しさん** · 2017/10/04(水) 17:45:04.59

FizzBuzz を無駄にベンチマークしてみた By Nim、golang、Rust、Crystal、その他
http://wolfbash.hateblo.jp/entry/2017/07/25/232027

**デフォルトの名無しさん** · 2017/10/04(水) 19:54:27.21

なんというか、、参考にならないベンチマークだな。

**デフォルトの名無しさん** · 2017/10/04(水) 23:17:46.14

参考になるベンチマーク教えてくれ

**デフォルトの名無しさん** · 2017/10/05(木) 00:04:55.49

http://benchmarksgame.alioth.debian.org/u64q/performance.php?test=knucleotide
ここの諸々

久しぶりに見たらC gccがついに抜き返しててワロタ
C言語、頑張ったじゃん

**デフォルトの名無しさん** · 2017/10/05(木) 01:11:32.12

>>909
6パターンだった頃は全部実行出来てたけど速度はバラバラでたしか#5が最速でC言語より速かった
きっと最適化を人間が制御するのは難しくて頑張らないとJavaやC#にも勝てない
現在7パターンあるけど4つがmake errorになるくらい言語仕様が不安定

実に参考になる

**デフォルトの名無しさん** · 2017/10/05(木) 02:42:46.62

>>909
mem順にしてもgz順にしてもcpu順にしてもD言語出てこないの悲しいな

**デフォルトの名無しさん** · 2017/10/05(木) 04:56:45.53

d言語のメリットって何？

**デフォルトの名無しさん** · 2017/10/05(木) 06:07:45.62

C++ではないこと

**デフォルトの名無しさん** · 2017/10/05(木) 09:06:46.27

>>910
人間が頑張って最適化した結果、C gccが上回ったんじゃないのかね

D言語はプログラミング人口少ないから・・・
2000年代の流行った頃ならもうちょっとスコアが出てたんじゃないかな

**デフォルトの名無しさん** · 2017/10/05(木) 10:18:07.23

RustもJavaも血反吐吐くほど最適化してるんじゃないの？
ポインタ扱いにくい言語でそれやると逆にコードが汚くなるから、
C言語よりも酷いコードになってるかもしれんよ。

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

unsafe使ったらRustは更に早くなるのか・・・胸熱
取り敢えず、各コードを読んでから批評してはどうか

本家Rust Teamが改修して今のスコアだけど
彼らが直したのはI/Oにバッファ使おうぜってだけでそこまで変態的じゃないのよね
matchやmap, iterでクロージャー多用してるけど最適化コンパイルしたらif, forで書くのと同じ処理になるし

Option.mapは関数コールがあるから重たいかなと以前調べたら
LLVM中間コードの時点でインラインのif分岐(goto文)に展開されてベタコードと同じになるのかよと考えるのやめた

**デフォルトの名無しさん** · 2017/10/05(木) 11:26:31.98

>>909
C gcc 5.38
Rust #7 5.56
C++ g++ #3 7.18
Java 8.38

↑この並びでみると、Rustの速さよりもむしろJavaの意外な速さに驚く

**デフォルトの名無しさん** · 2017/10/05(木) 12:31:31.21

ぼくも同じこと思った…

**デフォルトの名無しさん** · 2017/10/05(木) 12:49:03.43

Javaは実行時最適化がはまれば速い感じ
でも、カリカリにチューニングされたJavaコードは、クラスをあまり使わずArrayだらけだっりしてつらい

**デフォルトの名無しさん** · 2017/10/05(木) 17:58:39.05

rlsもっと頑張って
replも提供して😭

**デフォルトの名無しさん** · 2017/10/05(木) 18:51:45.79

C言語の __func__ みたいなの無いのかよ～

**デフォルトの名無しさん** · 2017/10/05(木) 23:04:07.77

Javaやら.NET等のJIT系言語は速い速い言われるけど実際のアプリケーションでその速さを体感できたことは一度もないや・・・

**デフォルトの名無しさん** · 2017/10/05(木) 23:35:19.66

>>909
rust#7はrayon使ってるから中身はcocoとfutureか。
ライブラリが頑張ってzero cost抽象化が効いてる感じかね。

javaはもうちょっと早くなるんだけどなぁ。
これ以上やるとjitとライブラリに丸投げして素直なコード書くことに
専念できなくなるからやりたくない感じ。
将来的にはconst arrayと、勝手にSIMD使ってもうちょっとマシになるかな。

>>919
連続してることが保証されないからカリカリにチューニングする時は配列には頼らないよ。
nio buffer使うことはあるけど。unsafe使わずに配列確保すると0クリアされて無駄に遅いし。
仮想関数テーブルなくしたほうが速いからメソッド検索>invokestaticのコストの時staticに変えるとか、
動的ディスパッチ自分で実装するときにconstant specific class bodyとtable switch組み合わせるとか。

>>921
ないけどrpすればすぐに入りそう。

**デフォルトの名無しさん** · 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を受けろと思うけど、外部ライブラリで作ってるなら仕方ないんだろうよ