公式
https://www.rust-lang.org/
https://blog.rust-lang.org/
https://github.com/rust-lang/rust
Web上の実行環境
https://play.rust-lang.org
日本語の情報
https://rust-jp.rs/
※Rustを学びたい人はまず最初に公式のThe Bookを読むこと
https://doc.rust-lang.org/book/
※C++との比較は専用スレへ
C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/
前スレ
Rust part10
https://mevius.5ch.net/test/read.cgi/tech/1617367084/
Rust part11
■ このスレッドは過去ログ倉庫に格納されています
2021/06/17(木) 00:24:12.56ID:NvYoNP9C
762デフォルトの名無しさん
2021/08/20(金) 01:44:35.28ID:qcewwL/9 >>754
消費(ムーブ)せずに参照で済ませるためにiter()を使うと当然 &1 が出てくる
let vec0 = vec![1, 2, 3, 4, 5, 6];
assert_eq!(Some(&1), vec0.iter().next());
assert_eq!(Some(1), vec0.into_iter().next());
これはVecだから消費するinto_iter()が使えば 1 に出来るけど
スライスだと消費という概念がないから必ず &1 が出てきてしまう
消費(ムーブ)せずに参照で済ませるためにiter()を使うと当然 &1 が出てくる
let vec0 = vec![1, 2, 3, 4, 5, 6];
assert_eq!(Some(&1), vec0.iter().next());
assert_eq!(Some(1), vec0.into_iter().next());
これはVecだから消費するinto_iter()が使えば 1 に出来るけど
スライスだと消費という概念がないから必ず &1 が出てきてしまう
763デフォルトの名無しさん
2021/08/20(金) 01:55:55.02ID:jENR+46K764デフォルトの名無しさん
2021/08/20(金) 02:30:09.57ID:qcewwL/9 こういうことかな
複数の参照もmut参照も生ポインタも当然すべて同じアドレスを指している
let mut i = 123;
let pi1 = &i;
let pi2 = &i;
println!("{:p}", pi1); // 0x7fffebf915a4
println!("{:p}", pi2); // 0x7fffebf915a4
let pi3 = &mut i;
println!("{:p}", pi3); // 0x7fffebf915a4
let rpi3r = pi3 as *mut i32; // 生ポインタ
println!("{:p}", rpi3); // 0x7fffebf915a4
生ポインタを使って書き換えると元の変数が書き換わるので確かにこれは変数の格納アドレス
unsafe {
println!("{}", *rpi3); // 123
*rpi3 = 456;
}
println!("{}", i); // 456
複数の参照もmut参照も生ポインタも当然すべて同じアドレスを指している
let mut i = 123;
let pi1 = &i;
let pi2 = &i;
println!("{:p}", pi1); // 0x7fffebf915a4
println!("{:p}", pi2); // 0x7fffebf915a4
let pi3 = &mut i;
println!("{:p}", pi3); // 0x7fffebf915a4
let rpi3r = pi3 as *mut i32; // 生ポインタ
println!("{:p}", rpi3); // 0x7fffebf915a4
生ポインタを使って書き換えると元の変数が書き換わるので確かにこれは変数の格納アドレス
unsafe {
println!("{}", *rpi3); // 123
*rpi3 = 456;
}
println!("{}", i); // 456
765デフォルトの名無しさん
2021/08/20(金) 02:32:13.12ID:0J8On0UY ptr::eqで
766デフォルトの名無しさん
2021/08/20(金) 10:16:46.67ID:Z3M3k8Ob メンテナンス性最悪の自己満足オナニー言語
767デフォルトの名無しさん
2021/08/20(金) 11:41:07.99ID:0Iuc7w1s768デフォルトの名無しさん
2021/08/20(金) 13:42:55.60ID:ZqTwz4dI ポインタ関連の問題が所有権と参照で絶対に発生しないってのはデカイよね
769デフォルトの名無しさん
2021/08/20(金) 13:59:09.33ID:lR6AxyIv 将来の苦痛を先に解消できるのが良いのにな、不具合も絞り込みやすい
メンテナンス性悪いってどの辺言ってんのか聞いてみたい
メンテナンス性悪いってどの辺言ってんのか聞いてみたい
770デフォルトの名無しさん
2021/08/20(金) 14:18:54.33ID:nkJxp5PO 一年ぶりに触るソースを大規模改修しても、コンパイル通せばほぼ動く安心感ある
他言語(特に動的型言語)だと相当テストを作り込まない限り、このメンテナンス性は得られない印象
他言語(特に動的型言語)だと相当テストを作り込まない限り、このメンテナンス性は得られない印象
771デフォルトの名無しさん
2021/08/20(金) 14:28:37.40ID:y1HLeTwS データ設計を少し考えさせられることによって
メモリ安全性を得ただけでなく見通しも良くなったw
メモリ安全性を得ただけでなく見通しも良くなったw
772デフォルトの名無しさん
2021/08/20(金) 15:07:52.58ID:No4kn/Ah 潜在的にバグの原因となる変数の扱いすると
コンパイラが怒るのは安心できる
コンパイラが怒るのは安心できる
773デフォルトの名無しさん
2021/08/20(金) 15:24:51.42ID:W7hoDzmL >>768
絶対に発生しないは言い過ぎ
絶対に発生しないは言い過ぎ
774デフォルトの名無しさん
2021/08/20(金) 15:31:54.88ID:sJeXN42B 繰り返しでiter()を使ったりinto_iter()を使ったり、ループを使ったり、高階を使ったり。。
そして文字列が複数あったり、更にそれをマクロにされると、それで書き直しが必要だったり
多くの言語でも初心者と上級者で当然、コードの美麗さに違いが出るが余りにも差があり過ぎ
たった「一年ぶり」でコンパイルが通らない言語なんてあるだろうけど、そんな話じゃない
そして文字列が複数あったり、更にそれをマクロにされると、それで書き直しが必要だったり
多くの言語でも初心者と上級者で当然、コードの美麗さに違いが出るが余りにも差があり過ぎ
たった「一年ぶり」でコンパイルが通らない言語なんてあるだろうけど、そんな話じゃない
775デフォルトの名無しさん
2021/08/20(金) 16:06:16.17ID:c/gVhnyt イテレータなんてどの言語にもあるし困るようなことか?
無理やり導入で汚い言語よりもRustは綺麗に洗練されていて書きやすい
無理やり導入で汚い言語よりもRustは綺麗に洗練されていて書きやすい
776デフォルトの名無しさん
2021/08/20(金) 16:12:21.41ID:BL1Grv4c 同じようなことなのに人によって書き方が全然違うからクソって言いたいんじゃないの?
777デフォルトの名無しさん
2021/08/20(金) 17:10:02.79ID:H8grjHSU 何が何故問題なのか説明できないイチャモンなんかほっとけ
778デフォルトの名無しさん
2021/08/20(金) 20:06:41.30ID:W7hoDzmL 文字列が複数種類あることが嬉しい人のための言語
嬉しくない人は別の言語を使うべき
嬉しくない人は別の言語を使うべき
779デフォルトの名無しさん
2021/08/20(金) 20:28:27.92ID:TearUC8B >>778
例えばいわゆるスクリプト言語などはいずれもRustのString型相当のものしかないため非効率でメモリ食い散らかす状態になっていますね
Rustはそれに加えて部分を指し示すだけの文字列スライス&str型を持っているので無駄なアロケーションを防いで効率の良いコードを書けるようになっていますね
例えばいわゆるスクリプト言語などはいずれもRustのString型相当のものしかないため非効率でメモリ食い散らかす状態になっていますね
Rustはそれに加えて部分を指し示すだけの文字列スライス&str型を持っているので無駄なアロケーションを防いで効率の良いコードを書けるようになっていますね
780デフォルトの名無しさん
2021/08/20(金) 21:05:31.52ID:ma1oO0u7 >>774
> 繰り返しでiter()を使ったりinto_iter()を使ったり、ループを使ったり、高階を使ったり。
あなたはちょっと無知すぎます。
まず高階関数とも言われるmap()やfilter()等を用いるにはイテレータが必須ですから同じことを指しています。
どちらかを選ぶようなものではありません。
次にRustのforループもイテレータ必須で内部でイテレータを作ってforループを回していますから同じことです。
forループ方式と高階関数方式の2種類で書けてしまうじゃないか!と言いたいのでしょうが、これは他のプログラミング言語でも同じで2種類あります。
> 繰り返しでiter()を使ったりinto_iter()を使ったり、ループを使ったり、高階を使ったり。
あなたはちょっと無知すぎます。
まず高階関数とも言われるmap()やfilter()等を用いるにはイテレータが必須ですから同じことを指しています。
どちらかを選ぶようなものではありません。
次にRustのforループもイテレータ必須で内部でイテレータを作ってforループを回していますから同じことです。
forループ方式と高階関数方式の2種類で書けてしまうじゃないか!と言いたいのでしょうが、これは他のプログラミング言語でも同じで2種類あります。
781デフォルトの名無しさん
2021/08/20(金) 21:07:42.14ID:EDzGRqES 内包表記なる書き方がある言語もあるらしいねw
782デフォルトの名無しさん
2021/08/20(金) 21:38:29.08ID:6XnQ3Oqv 繰り返しでiter()を使ったりinto_iter()を使ったりと複数のやり方があるのはおかしいとの御指摘だが
into_iter()は値のイテレータ
iter()は参照のイテレータ
同じものに対して適用しても別のイテレータが得られる
into_iter()は値のイテレータ
iter()は参照のイテレータ
同じものに対して適用しても別のイテレータが得られる
783デフォルトの名無しさん
2021/08/20(金) 21:47:24.73ID:pKmgqbo7 少し前までは荒らし以外は結構いいスレだったが
近頃はC++スレでダベってた暇人たちが引っ越して来ちゃってゴミスレ化しつつあるね
近頃はC++スレでダベってた暇人たちが引っ越して来ちゃってゴミスレ化しつつあるね
784デフォルトの名無しさん
2021/08/20(金) 22:24:24.81ID:ZqTwz4dI >>782
これ、同じメソッドにするのではなくて、イテレータにするのはiter()で共通にして、
参照する場合には、別のメソッドにしたほうがいいんじゃないのかなと思う
例えば
iter() ← 値
iter().ref() ← 参照
とか
これ、同じメソッドにするのではなくて、イテレータにするのはiter()で共通にして、
参照する場合には、別のメソッドにしたほうがいいんじゃないのかなと思う
例えば
iter() ← 値
iter().ref() ← 参照
とか
785デフォルトの名無しさん
2021/08/20(金) 22:50:20.88ID:hEbF/PXF なんで配列にイテレータないんや!
配列を使うな! vecを使えということなのか
そういえばC++でもvector使えとか言われてたな
もっと配列にも愛を!
ところでvecより配列の方がうれしいことってある?
実は配列いらない子なんじゃないかと思い始めた
配列を使うな! vecを使えということなのか
そういえばC++でもvector使えとか言われてたな
もっと配列にも愛を!
ところでvecより配列の方がうれしいことってある?
実は配列いらない子なんじゃないかと思い始めた
786デフォルトの名無しさん
2021/08/20(金) 23:02:42.83ID:Dd/EBaxX >>784
それはiterのシグネチャがメソッドチェーンするかどうかで変わってしまうから
今のRustの型システムでは表現不能だと思う
プログラマ視点でも、後続する関数呼び出しがその手前に影響するってのはかなりわかりにくいのでは?
それはiterのシグネチャがメソッドチェーンするかどうかで変わってしまうから
今のRustの型システムでは表現不能だと思う
プログラマ視点でも、後続する関数呼び出しがその手前に影響するってのはかなりわかりにくいのでは?
787デフォルトの名無しさん
2021/08/20(金) 23:22:41.88ID:tipMusVW >>785
スタックとかヒープとかアロケーションとか気にならない用途ならRust使わなくてもいいと思うの
スタックとかヒープとかアロケーションとか気にならない用途ならRust使わなくてもいいと思うの
788デフォルトの名無しさん
2021/08/20(金) 23:47:01.90ID:Omw4vOgK789デフォルトの名無しさん
2021/08/20(金) 23:47:19.51ID:iQK+FWFq >>785
> Rust 1.53からは配列型に対して直接IntoIteratorトレイトが実装されるようになり、配列をそのままループに使うことが出来るようになりました。
https://tech-blog.optim.co.jp/entry/2021/06/18/080000
> Rust 1.53からは配列型に対して直接IntoIteratorトレイトが実装されるようになり、配列をそのままループに使うことが出来るようになりました。
https://tech-blog.optim.co.jp/entry/2021/06/18/080000
790デフォルトの名無しさん
2021/08/20(金) 23:54:51.56ID:hEbF/PXF >>787
いやいや、もちろん配列との比較なんだから、アロケーションの発生しない処理の話だよ
スタックを気にするなら、むしろヒープに置いた方がいいし
(キャッシュミスヒットの話じゃなくて、スタックオーバーフローの話ね)
いやいや、もちろん配列との比較なんだから、アロケーションの発生しない処理の話だよ
スタックを気にするなら、むしろヒープに置いた方がいいし
(キャッシュミスヒットの話じゃなくて、スタックオーバーフローの話ね)
791デフォルトの名無しさん
2021/08/20(金) 23:55:03.84ID:Dd/EBaxX >>788
それだとinto_iterとは意味変わっちゃってるのでは
intoで元のコレクションのコピーが作られて、それをイテレートするってことでしょ?
コピーを作らず所有権を奪って値をイテレートする方法がなくなってしまう
それだとinto_iterとは意味変わっちゃってるのでは
intoで元のコレクションのコピーが作られて、それをイテレートするってことでしょ?
コピーを作らず所有権を奪って値をイテレートする方法がなくなってしまう
792デフォルトの名無しさん
2021/08/20(金) 23:56:59.11ID:hEbF/PXF793デフォルトの名無しさん
2021/08/21(土) 01:58:33.16ID:kcBD0DB/ >>784
iter().cloned() とか使えば良いのでは
iter().cloned() とか使えば良いのでは
794デフォルトの名無しさん
2021/08/21(土) 05:48:08.14ID:lXSuJ2vU hoge.iter()だと参照でhoge.iter().fuga()だとhogeの所有権ぶんどる、みたいなのは無理な気がする
795デフォルトの名無しさん
2021/08/21(土) 06:24:06.23ID:kvS3AY0X796デフォルトの名無しさん
2021/08/21(土) 09:34:58.66ID:v7gED8U+ >>791
Cow使えばできるという話じゃないよ
lazyに所有権を取得するような機能を持った型を追加すれば
今の型システムでも表現できないってことはないんじゃないかって話
そういう型を追加することを型システムの変更と言うのであれば
今の型システムでは表現できないてのに同意するよ
Cow使えばできるという話じゃないよ
lazyに所有権を取得するような機能を持った型を追加すれば
今の型システムでも表現できないってことはないんじゃないかって話
そういう型を追加することを型システムの変更と言うのであれば
今の型システムでは表現できないてのに同意するよ
797デフォルトの名無しさん
2021/08/21(土) 09:43:26.29ID:KTz5aeQ/ >>795
アロケーションが発生するのは伸長するときだけでしょ
伸長するような用途だったら、そもそも配列使えないし
>一方で配列は必ず固定長でスタックに置かれます
だめじゃん。スタックオーバーフロー考慮するならvecの方がいいじゃん
まあ、自分も組み込み以外でスタックフレームのサイズなんて考慮したことないけど
アロケーションが発生するのは伸長するときだけでしょ
伸長するような用途だったら、そもそも配列使えないし
>一方で配列は必ず固定長でスタックに置かれます
だめじゃん。スタックオーバーフロー考慮するならvecの方がいいじゃん
まあ、自分も組み込み以外でスタックフレームのサイズなんて考慮したことないけど
798デフォルトの名無しさん
2021/08/21(土) 09:50:40.59ID:KTz5aeQ/799デフォルトの名無しさん
2021/08/21(土) 10:08:08.47ID:/0ZvMIRv >>797
> アロケーションが発生するのは伸長するときだけでしょ
いいえ。
Vecの実体は必ずヒープにアロケーションされます。
Vec自体は(指定しなければ)スタック上で、ヒープへのポインタや長さなどで構成されて固定長です。
Stringも内部はVec<u8>なので同様です。
> アロケーションが発生するのは伸長するときだけでしょ
いいえ。
Vecの実体は必ずヒープにアロケーションされます。
Vec自体は(指定しなければ)スタック上で、ヒープへのポインタや長さなどで構成されて固定長です。
Stringも内部はVec<u8>なので同様です。
800デフォルトの名無しさん
2021/08/21(土) 10:12:53.88ID:KTz5aeQ/801デフォルトの名無しさん
2021/08/21(土) 10:22:22.66ID:HwKH2mPW802デフォルトの名無しさん
2021/08/21(土) 10:31:43.28ID:KTz5aeQ/ >>801
>Rustではガベージコレクションは起きない
ヒープを使ってるんだから起きないわけないだろ
>スタック上のデータはその関数を終える時に消滅する
Vecの中身だって関数を終えるときに解放されるでしょ
されないんだっけ?
そもそもの話は配列を使ってるところをVecにしても問題なくね?ってことなんだけど
どこが問題になるかの例を示してもらえたら、わかりやすい
>Rustではガベージコレクションは起きない
ヒープを使ってるんだから起きないわけないだろ
>スタック上のデータはその関数を終える時に消滅する
Vecの中身だって関数を終えるときに解放されるでしょ
されないんだっけ?
そもそもの話は配列を使ってるところをVecにしても問題なくね?ってことなんだけど
どこが問題になるかの例を示してもらえたら、わかりやすい
803デフォルトの名無しさん
2021/08/21(土) 10:58:14.92ID:Hi//C77Q rustにはガベージコレクションがないんだぜ・・・
804デフォルトの名無しさん
2021/08/21(土) 11:04:35.75ID:eqU3IJp1 デストラクタ的な機構で後始末するのはガベージコレクションとは普通言わない
805デフォルトの名無しさん
2021/08/21(土) 11:09:11.24ID:JLDZmydZ Cでもひーぷをつかうとがべーじこれくしょんがおきるの?
806デフォルトの名無しさん
2021/08/21(土) 11:11:34.22ID:6mCMrQuL ヒープへのメモリアロケーションはコストが高いから避けたいんでしょ
807デフォルトの名無しさん
2021/08/21(土) 11:25:28.41ID:ozkLLafu >>802
RustにGCはない
Vecの中身(配列相当部分)はスタック上ではなくヒープ上なので関数を終えるときに解放されない
Vec自体が消える時に解放される
Vec自体(ポインタと長さなど)はスタック上にあれば関数を終える時に消える
もちろんVec自体を関数の返り値として返すことは出来る
受け取った上位の関数でVecの中身を使える
例えば
fn main() {
let mut v: Vec<i32> = make_i32_vec_from_args();
v.push(999);
println!("{:?}", v);
}
fn make_i32_vec_from_args() -> Vec<i32> {
let mut v = Vec::new();
std::env::args().skip(1).map(|s| s.parse::<i32>().unwrap()).for_each(|n| v.push(n));
v
}
$ cargo run 111 222 333
[111, 222, 333, 999]
RustにGCはない
Vecの中身(配列相当部分)はスタック上ではなくヒープ上なので関数を終えるときに解放されない
Vec自体が消える時に解放される
Vec自体(ポインタと長さなど)はスタック上にあれば関数を終える時に消える
もちろんVec自体を関数の返り値として返すことは出来る
受け取った上位の関数でVecの中身を使える
例えば
fn main() {
let mut v: Vec<i32> = make_i32_vec_from_args();
v.push(999);
println!("{:?}", v);
}
fn make_i32_vec_from_args() -> Vec<i32> {
let mut v = Vec::new();
std::env::args().skip(1).map(|s| s.parse::<i32>().unwrap()).for_each(|n| v.push(n));
v
}
$ cargo run 111 222 333
[111, 222, 333, 999]
808デフォルトの名無しさん
2021/08/21(土) 11:42:53.96ID:3jqa2oM2 そういや何でalloca()無いの?
809デフォルトの名無しさん
2021/08/21(土) 12:23:12.36ID:kcBD0DB/ >>795
Box<[T; N]> のように配列がヒープに置かれる場合もある
Box<[T; N]> のように配列がヒープに置かれる場合もある
810デフォルトの名無しさん
2021/08/21(土) 12:35:23.13ID:5zDPvhJy >>809
それはBoxだからであって、そんなこと言い出したら整数だってヒープに置かれうる
しかし普通に「整数型はスタックに置かれる」と言われる時は、Boxを使わない場合を意味している
Boxを使えばヒープに置かれるのは自明だからだ
したがって、整数や配列やVecの管理データ部分はそのままだとスタックに置かれるがVecのデータ実体は常にヒープに置かれる、で良い
それはBoxだからであって、そんなこと言い出したら整数だってヒープに置かれうる
しかし普通に「整数型はスタックに置かれる」と言われる時は、Boxを使わない場合を意味している
Boxを使えばヒープに置かれるのは自明だからだ
したがって、整数や配列やVecの管理データ部分はそのままだとスタックに置かれるがVecのデータ実体は常にヒープに置かれる、で良い
811デフォルトの名無しさん
2021/08/21(土) 13:25:00.39ID:KTz5aeQ/ うーん、なんだかなー
みんなヒープのことを無限にバイトを吐き出す魔法の箱かなんかだと思ってない?
>>805
>Cでもひーぷをつかうとがべーじこれくしょんがおきるの?
当然
Cのmalloc/freeやC++のnew/deleteでもガベージコレクションは発生する
wikipediaの「ヒープ領域」がよくまとってるよ
いくつかの理由からfree/deleteのガベージコレクションはJavaやC#のガベージコレクションよりも超高速だ
それでも、組み込みの世界ではガベージコレクションのせいでリアルタイム性が失われることを嫌がって、
ヒープを使わなかったりする
じゃあ、組み込みでは動的なメモリをどうするかっていうと、リンクドリストのノードをメモリブロックに
見立てて、メモリ管理システムにしたりする
これだと取得も解放も定数時間のコストだからね
>>807
すまん、例をみてますます配列なくても困らない気がしてきた
配列でできて、Vecにできないことはないの?
みんなヒープのことを無限にバイトを吐き出す魔法の箱かなんかだと思ってない?
>>805
>Cでもひーぷをつかうとがべーじこれくしょんがおきるの?
当然
Cのmalloc/freeやC++のnew/deleteでもガベージコレクションは発生する
wikipediaの「ヒープ領域」がよくまとってるよ
いくつかの理由からfree/deleteのガベージコレクションはJavaやC#のガベージコレクションよりも超高速だ
それでも、組み込みの世界ではガベージコレクションのせいでリアルタイム性が失われることを嫌がって、
ヒープを使わなかったりする
じゃあ、組み込みでは動的なメモリをどうするかっていうと、リンクドリストのノードをメモリブロックに
見立てて、メモリ管理システムにしたりする
これだと取得も解放も定数時間のコストだからね
>>807
すまん、例をみてますます配列なくても困らない気がしてきた
配列でできて、Vecにできないことはないの?
812デフォルトの名無しさん
2021/08/21(土) 13:35:03.05ID:+9L1DmAB >>811
Rustにはガベージコレクションはありません
おっしゃる通りヒープからの取得も解放も定数時間のコストで行なわれ更にガベージが溜まることはありません
Rustでは生存期間や所有権に貸し借りが明白になっているため、使用中のものが解放されたり、解放済みが使われたり、使用済みが解放されなかったりは起きません
Rustにはガベージコレクションはありません
おっしゃる通りヒープからの取得も解放も定数時間のコストで行なわれ更にガベージが溜まることはありません
Rustでは生存期間や所有権に貸し借りが明白になっているため、使用中のものが解放されたり、解放済みが使われたり、使用済みが解放されなかったりは起きません
813デフォルトの名無しさん
2021/08/21(土) 13:50:09.86ID:KTz5aeQ/ >>812
>ヒープからの取得も解放も定数時間のコストで行なわれ
これってどういう原理? 本当に定数ならそれもうヒープじゃないんじゃ
ヒープツリーを辿る処理も未使用ノードを結合する処理も定数時間って
ありえないと思うんだけど
>ヒープからの取得も解放も定数時間のコストで行なわれ
これってどういう原理? 本当に定数ならそれもうヒープじゃないんじゃ
ヒープツリーを辿る処理も未使用ノードを結合する処理も定数時間って
ありえないと思うんだけど
814デフォルトの名無しさん
2021/08/21(土) 14:16:15.10ID:G8x/1s0B もしかしてmalloc/freeのヒープメモリ管理のことをこの人はガベージコレクションと呼んでいるのかも
そのためRustにガベージコレクションがないことを理解できていないような感じ?
そのためRustにガベージコレクションがないことを理解できていないような感じ?
815デフォルトの名無しさん
2021/08/21(土) 14:22:08.01ID:KTz5aeQ/ 調べた
・rustのヒープはフリーリストアロケータじゃない
(サイズごとのメモリスラブをさらに分割して使う)
・取得・解放は定数時間じゃない
(メモリスラブ全体が未使用になったときに、デフラグして別サイズのスラブとして利用可能になる)
→これ実質ガベージコレクション処理じゃん
・当然デフラグは発生するが、大して問題にならない
→そうだろうね。C++でさえアロケータ書いたことない
・問題になるならアロケータを自作することも可能(デフォルトはjemalloc)
だそうだ。
ヒープはヒープ構造じゃないのか……
・rustのヒープはフリーリストアロケータじゃない
(サイズごとのメモリスラブをさらに分割して使う)
・取得・解放は定数時間じゃない
(メモリスラブ全体が未使用になったときに、デフラグして別サイズのスラブとして利用可能になる)
→これ実質ガベージコレクション処理じゃん
・当然デフラグは発生するが、大して問題にならない
→そうだろうね。C++でさえアロケータ書いたことない
・問題になるならアロケータを自作することも可能(デフォルトはjemalloc)
だそうだ。
ヒープはヒープ構造じゃないのか……
816デフォルトの名無しさん
2021/08/21(土) 14:36:21.13ID:KTz5aeQ/ >>814
>もしかしてmalloc/freeのヒープメモリ管理のことをこの人はガベージコレクションと呼んでいるのかも
freeの中にもガベージコレクション処理があるんだよという話
javaと違ってマーク&スイープ処理いらないから早いけどね
>そのためRustにガベージコレクションがないことを理解できていないような感じ?
そんなことはわかってる
今は処理コストの話をしてる
サイズが変わらないVecと配列(配列なのでもちろん固定長)でそこまで優位の差があるのかと訊いた
そこでVecはヒープを使う(からダメだ)という答えが返ってきたので、
ヒープを使うとなぜダメなんだ? ガベージコレクションのオーバーヘッドを気にしてるのか?と
そうするとrustはガベージコレクションありませんと言われた
じゃあ、結局のところヒープを使うとなぜダメなんだ?
>もしかしてmalloc/freeのヒープメモリ管理のことをこの人はガベージコレクションと呼んでいるのかも
freeの中にもガベージコレクション処理があるんだよという話
javaと違ってマーク&スイープ処理いらないから早いけどね
>そのためRustにガベージコレクションがないことを理解できていないような感じ?
そんなことはわかってる
今は処理コストの話をしてる
サイズが変わらないVecと配列(配列なのでもちろん固定長)でそこまで優位の差があるのかと訊いた
そこでVecはヒープを使う(からダメだ)という答えが返ってきたので、
ヒープを使うとなぜダメなんだ? ガベージコレクションのオーバーヘッドを気にしてるのか?と
そうするとrustはガベージコレクションありませんと言われた
じゃあ、結局のところヒープを使うとなぜダメなんだ?
817デフォルトの名無しさん
2021/08/21(土) 14:43:58.08ID:3jqa2oM2 勝手に定義した「ガベージコレクション」なんか議論するだけ時間の無駄
818デフォルトの名無しさん
2021/08/21(土) 14:48:02.99ID:HlQuVij0819デフォルトの名無しさん
2021/08/21(土) 14:50:34.09ID:KTz5aeQ/ >>818
辞書が絶対とは言いたくないがwikipediaの「ヒープ領域」見て
辞書が絶対とは言いたくないがwikipediaの「ヒープ領域」見て
820デフォルトの名無しさん
2021/08/21(土) 14:52:48.65ID:Hi//C77Q 自分でfreeしたものをGCと呼ぶとは強者が現れたな
821デフォルトの名無しさん
2021/08/21(土) 14:53:06.41ID:O7+p4qIy それこそwikipediaの「ガベージコレクション」見てもらった方がいいのでは。
822デフォルトの名無しさん
2021/08/21(土) 14:53:37.02ID:6mCMrQuL もうジェマロクはデフォルトじゃないよ
823デフォルトの名無しさん
2021/08/21(土) 14:58:27.12ID:Hi//C77Q そういやこんな記事があったよ
実装言語を「Go」から「Rust」に変更、ゲーマー向けチャットアプリ「Discord」の課題とは
ttps://atmarkit.itmedia.co.jp/ait/articles/2002/10/news038.html
> 平均すれば高速に動作していたものの、数分ごとに平均応答時間が急に大きくなり、
> ユーザーエクスペリエンスを損なっていた。調査したところ、
> これはGoの中核機能であるメモリモデルとガベージコレクタ(GC)に起因することが分かった。
> Rustではガベージコレクションが不要だ。
> 同社がRead StatesサービスをRustで実装しようと考えたのはこれが理由だ。
> Rustを使えば、Goで実装した場合に生じた平均応答時間の急増は見られないだろう。
実装言語を「Go」から「Rust」に変更、ゲーマー向けチャットアプリ「Discord」の課題とは
ttps://atmarkit.itmedia.co.jp/ait/articles/2002/10/news038.html
> 平均すれば高速に動作していたものの、数分ごとに平均応答時間が急に大きくなり、
> ユーザーエクスペリエンスを損なっていた。調査したところ、
> これはGoの中核機能であるメモリモデルとガベージコレクタ(GC)に起因することが分かった。
> Rustではガベージコレクションが不要だ。
> 同社がRead StatesサービスをRustで実装しようと考えたのはこれが理由だ。
> Rustを使えば、Goで実装した場合に生じた平均応答時間の急増は見られないだろう。
824デフォルトの名無しさん
2021/08/21(土) 15:02:21.85ID:KTz5aeQ/825デフォルトの名無しさん
2021/08/21(土) 15:02:56.01ID:watXYiN6 >>819
https://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%BC%E3%83%88:%E3%83%92%E3%83%BC%E3%83%97%E9%A0%98%E5%9F%9F
> 7月15日(土)12:22の版で記述いただいた内容のうち、「ガベージコレクション」という部分だけ誤りと思われるので、7月19日(水)02:32の版で消させていただきました
せやな。
https://ja.wikipedia.org/wiki/%E3%83%8E%E3%83%BC%E3%83%88:%E3%83%92%E3%83%BC%E3%83%97%E9%A0%98%E5%9F%9F
> 7月15日(土)12:22の版で記述いただいた内容のうち、「ガベージコレクション」という部分だけ誤りと思われるので、7月19日(水)02:32の版で消させていただきました
せやな。
826デフォルトの名無しさん
2021/08/21(土) 15:10:24.32ID:hSZ/tOwO >>824
まずはプログラミング言語におけるガベージコレクションとは何かを理解して
次にRustではそのガベージコレクションがないことを理解して
その上で何を質問したいのかを整理してはいかがでしょうか?
それを終えてからでないとあなただけ用語の定義が異なったままでは話が進みません
まずはプログラミング言語におけるガベージコレクションとは何かを理解して
次にRustではそのガベージコレクションがないことを理解して
その上で何を質問したいのかを整理してはいかがでしょうか?
それを終えてからでないとあなただけ用語の定義が異なったままでは話が進みません
827デフォルトの名無しさん
2021/08/21(土) 15:10:57.04ID:IZ1Oj5x4 ガベコレは普通javaとかpyのコンパイラやらインタプリタがreference counterをオブジェクトに勝手に付随させる事を想定するけどな
Vec arr処理コストの違いに関してはbuffer使わないんだからarrayの方が基本的には糞みたいに早いと思うがな
そこらosとかによって最適化図られるからオブジェクト生成のとき以外は決定的な違いあんまなさそうだが
要素数をコンパイルタイムに決定(これのアルゴにもよるが)出来るなら普通はシンプル配列の方が速いよね
goはparallel threadingみたいな部分で変なgc実装してて大量に独立の計算量ハード問題導入するからねそこらへんがドイヒーなんだろうな
俺は好きだけど(´・ω・`)
Vec arr処理コストの違いに関してはbuffer使わないんだからarrayの方が基本的には糞みたいに早いと思うがな
そこらosとかによって最適化図られるからオブジェクト生成のとき以外は決定的な違いあんまなさそうだが
要素数をコンパイルタイムに決定(これのアルゴにもよるが)出来るなら普通はシンプル配列の方が速いよね
goはparallel threadingみたいな部分で変なgc実装してて大量に独立の計算量ハード問題導入するからねそこらへんがドイヒーなんだろうな
俺は好きだけど(´・ω・`)
828デフォルトの名無しさん
2021/08/21(土) 16:18:04.16ID:iwjgeVKb829デフォルトの名無しさん
2021/08/21(土) 16:29:59.01ID:0b1Dm8dh コンパクションとガベージコレクションの区別がついてない
世の中のガベージコレクターがコンパクションもやってるからといって
コンパクションのみを指してガベージコレクションとは呼ばない
世の中のガベージコレクターがコンパクションもやってるからといって
コンパクションのみを指してガベージコレクションとは呼ばない
830デフォルトの名無しさん
2021/08/21(土) 16:33:27.85ID:Ay6lvOn8 ふりだしに戻る >>787
831デフォルトの名無しさん
2021/08/21(土) 16:37:39.49ID:KTz5aeQ/ >>828
それの何が問題?
stringの実装はヒープだけど問題ないよね?
こういう使い方をすると配列より100倍くらい遅いとか、メモリリークするからVec止めて配列使えとか
そういう注意点ある?
もちろんループの中でVec::newするとオーバーヘッドでかいとか、
そういうわざとらしいのはなしにして
あえていうなら初期化の記述量がちょっと増える、とか?
それの何が問題?
stringの実装はヒープだけど問題ないよね?
こういう使い方をすると配列より100倍くらい遅いとか、メモリリークするからVec止めて配列使えとか
そういう注意点ある?
もちろんループの中でVec::newするとオーバーヘッドでかいとか、
そういうわざとらしいのはなしにして
あえていうなら初期化の記述量がちょっと増える、とか?
832デフォルトの名無しさん
2021/08/21(土) 16:59:15.86ID:dJkGQ7Qm833デフォルトの名無しさん
2021/08/21(土) 17:06:03.36ID:Hi//C77Q >>829
HDDの頃はよく使ってたHDD最適化と容量を増やすみたいなソフトを思い出した
HDDのデフラグ → メモリコンパクション
HDDにある不要なキャッシュの削除 → ガベージコレクション
こんな感じに似てるな
HDDの頃はよく使ってたHDD最適化と容量を増やすみたいなソフトを思い出した
HDDのデフラグ → メモリコンパクション
HDDにある不要なキャッシュの削除 → ガベージコレクション
こんな感じに似てるな
834デフォルトの名無しさん
2021/08/21(土) 17:16:16.64ID:eqU3IJp1 ヒープがヒープ構造じゃないのかとか言ってるから本当に何も知らなかったのだろう
オレオレ用語使われると混乱するからとりあえずmalloc動画くらいみて勉強してきてほしい
オレオレ用語使われると混乱するからとりあえずmalloc動画くらいみて勉強してきてほしい
835デフォルトの名無しさん
2021/08/21(土) 17:26:30.08ID:KTz5aeQ/836デフォルトの名無しさん
2021/08/21(土) 17:30:07.73ID:pF+sRbnf837デフォルトの名無しさん
2021/08/21(土) 17:31:33.62ID:KTz5aeQ/ >>836
そうなの? じゃあ結論として配列はVecに置き換えても問題ないってこと?
そうなの? じゃあ結論として配列はVecに置き換えても問題ないってこと?
838デフォルトの名無しさん
2021/08/21(土) 17:52:04.92ID:eqU3IJp1 Vecは固定長配列(型[u8; 32]とかで表されるやつ)を置き換える用途としては使えないが, 逆に言えばそれだけ
839デフォルトの名無しさん
2021/08/21(土) 18:26:53.45ID:Hi//C77Q むしろ配列なんてクレート使わないとコンパイル時点で数値が決まってないと使えないから
ほとんど出番がないんだから、どこに悩む必要があるというのか
ほとんど出番がないんだから、どこに悩む必要があるというのか
840デフォルトの名無しさん
2021/08/21(土) 18:30:22.30ID:AgJApIsV >>835
>Vecはヒープ使ってるからダメって言われて、何がダメか説明してくれって言ってるだけなんだけどなー
あなたの妄想ではないですか?
スレを読みましたが、
Vecはヒープ使ってるからダメと言われた書き込みが見当たりません。
>Vecはヒープ使ってるからダメって言われて、何がダメか説明してくれって言ってるだけなんだけどなー
あなたの妄想ではないですか?
スレを読みましたが、
Vecはヒープ使ってるからダメと言われた書き込みが見当たりません。
841デフォルトの名無しさん
2021/08/21(土) 18:31:04.95ID:3jqa2oM2 ヒープは悪であるということをハッキリと言う
842デフォルトの名無しさん
2021/08/21(土) 18:41:19.82ID:tswurJ+7 Linux のデフォルトではスタックの大きさは 8 メガが上限じゃなかったっけ?
(Windows だともっと小さかったはず)
大きさが固定 (コンパイル時に確定する) でかつ十分に小さく寿命が短いなら配列をスタックにおく
のは性能的に有利 (確保と解放のコストが小さい) だが、大きさを見積もれないときにスタックに置くと
スタックが足りないときにどうにもできないで即死するしかない。
大きさのわからない配列はスタックに置くべきではないというのが世の常識というもの。
少なくとも高レイヤのアプリケーションでは。
(Windows だともっと小さかったはず)
大きさが固定 (コンパイル時に確定する) でかつ十分に小さく寿命が短いなら配列をスタックにおく
のは性能的に有利 (確保と解放のコストが小さい) だが、大きさを見積もれないときにスタックに置くと
スタックが足りないときにどうにもできないで即死するしかない。
大きさのわからない配列はスタックに置くべきではないというのが世の常識というもの。
少なくとも高レイヤのアプリケーションでは。
843デフォルトの名無しさん
2021/08/21(土) 20:16:15.20ID:3jqa2oM2 仮想メモリなんだからスタック8GBに設定すればいいんじゃないの?
844デフォルトの名無しさん
2021/08/21(土) 20:43:23.20ID:7GAoG1Iq Rustのメモリ安全性はボローチェッカーによって担保されているが、
Nimと比較してRustはタイプ量が多い事により限りなく低い生産性と
C++のような高い難読性、超巨大なバイナリ生成性能を兼ね備えています
Nimはバージョン1.5.1でRustのボローチェッカーに似た「View types」が実装されれば、
GC無しでView types参照の有効性を検証することによってメモリ安全性を保証しつつ
限りなく抑え込まれたタイプ量で高速化したCのソースコードを吐き出せます
Nimソースコード ==nimコンパイラ==> Cソースコード ==Cコンパイラ==> バイナリ
なので、nimコンパイラが通った時点でメモリ安全性が担保されませんか?
Nimの実験的特徴
著者: アンドレアス・ルンプ
バージョン: 1.5.1
http://nim-lang.github.io/Nim/manual_experimental.html
Nimは限りなく抑え込まれたタイプ量で高い生産性とPythonのような高い可読性を実現し
ているにもかかわらず、Cのソースコードを吐き出せるのでC言語でリモートワークされ
ている方は割り振られた仕事が早く終わっても終わってないふりをして怠けることができる
「怠け者とはこうあるべきだ!」と言うとても大事な事を Nim は我々に教えてくれます
Nimと比較してRustはタイプ量が多い事により限りなく低い生産性と
C++のような高い難読性、超巨大なバイナリ生成性能を兼ね備えています
Nimはバージョン1.5.1でRustのボローチェッカーに似た「View types」が実装されれば、
GC無しでView types参照の有効性を検証することによってメモリ安全性を保証しつつ
限りなく抑え込まれたタイプ量で高速化したCのソースコードを吐き出せます
Nimソースコード ==nimコンパイラ==> Cソースコード ==Cコンパイラ==> バイナリ
なので、nimコンパイラが通った時点でメモリ安全性が担保されませんか?
Nimの実験的特徴
著者: アンドレアス・ルンプ
バージョン: 1.5.1
http://nim-lang.github.io/Nim/manual_experimental.html
Nimは限りなく抑え込まれたタイプ量で高い生産性とPythonのような高い可読性を実現し
ているにもかかわらず、Cのソースコードを吐き出せるのでC言語でリモートワークされ
ている方は割り振られた仕事が早く終わっても終わってないふりをして怠けることができる
「怠け者とはこうあるべきだ!」と言うとても大事な事を Nim は我々に教えてくれます
845デフォルトの名無しさん
2021/08/21(土) 20:47:51.35ID:6mCMrQuL Nimは知らんがパイソンが読みやすいなんて
846デフォルトの名無しさん
2021/08/21(土) 20:53:42.26ID:Z4f8T8IW pythonが特別読みやすいとは思わんが、pythonで読みづらいコード書くやつが
何で実装しても読みやすいものを書くことはないだろう。
何で実装しても読みやすいものを書くことはないだろう。
847デフォルトの名無しさん
2021/08/21(土) 20:55:25.62ID:6DBrqemS >>844
Pythonはたまたま外部ライブラリ充実などで普及していますが、あまりよろしくない言語です。
そのためPythonで開発したいという人はいないです。
なので「Pythonのような高い可読性を実現している」と宣伝されても逆効果。
Pythonはたまたま外部ライブラリ充実などで普及していますが、あまりよろしくない言語です。
そのためPythonで開発したいという人はいないです。
なので「Pythonのような高い可読性を実現している」と宣伝されても逆効果。
848デフォルトの名無しさん
2021/08/21(土) 20:58:33.68ID:O7+p4qIy >>844の人は関係ないスレに迷惑かけて、nimユーザーのイメージダウンが目的なんだろうか。
849デフォルトの名無しさん
2021/08/21(土) 21:35:33.43ID:PyG7lKVy 積極的にPython使おうとは思わんなぁ。インタプリタ系はRuby使っているわ
Luaも結構良い感じだと思う
Luaも結構良い感じだと思う
850デフォルトの名無しさん
2021/08/21(土) 21:54:02.20ID:tswurJ+7 うん。 プログラマは Python をそんなに気に入ってない場合は多いと思う。
ただ現代ではプログラミングするのはプログラマとは限らない。
Python は元々はコンポーネントを組み合わせる、いわゆるグルー言語として設計されていて、
エンドユーザ向けの性質を持っている。 BASIC 系と似た立場かな。
このくらいに制限されていたほうがかえって使いやすいという場合は確かにある。
必要なコンポーネントが出そろっている状況で上位のロジックを組み立てる分には
Python も便利なこともあるにせよ、言語としての出来はそんなに良くない。
ただ現代ではプログラミングするのはプログラマとは限らない。
Python は元々はコンポーネントを組み合わせる、いわゆるグルー言語として設計されていて、
エンドユーザ向けの性質を持っている。 BASIC 系と似た立場かな。
このくらいに制限されていたほうがかえって使いやすいという場合は確かにある。
必要なコンポーネントが出そろっている状況で上位のロジックを組み立てる分には
Python も便利なこともあるにせよ、言語としての出来はそんなに良くない。
851デフォルトの名無しさん
2021/08/21(土) 21:59:07.63ID:7GAoG1Iq >>845
>Nimは知らんがパイソンが読みやすいなんて
Pythonは構文にインデントを組み込むことによってざっと眺めた時に人間が読みやすい
一般的には上記の事をPythonは高い可読性があると表現されています
この事は「Pythonは可読性の高い言語」ググれば約 265,000 件出てきます
他の言語と可読性は同じだろって意見の人もいますが少数派ですね
>Nimは知らんがパイソンが読みやすいなんて
Pythonは構文にインデントを組み込むことによってざっと眺めた時に人間が読みやすい
一般的には上記の事をPythonは高い可読性があると表現されています
この事は「Pythonは可読性の高い言語」ググれば約 265,000 件出てきます
他の言語と可読性は同じだろって意見の人もいますが少数派ですね
852ハノン ◆QZaw55cn4c
2021/08/21(土) 22:21:31.89 >>851
https://mevius.5ch.net/test/read.cgi/tech/1587276362/963
「javascriptは可読性の高い言語」で検索すると約 334,000 件
https://mevius.5ch.net/test/read.cgi/tech/1587276362/963
「javascriptは可読性の高い言語」で検索すると約 334,000 件
853デフォルトの名無しさん
2021/08/21(土) 22:31:37.65ID:7PPLxZL+ 元の文脈的に
nimも構文にインデントを組み込んでるからpythonが出てきただけでそういう議論がしたいんじゃないと思う
nimも構文にインデントを組み込んでるからpythonが出てきただけでそういう議論がしたいんじゃないと思う
854デフォルトの名無しさん
2021/08/21(土) 22:36:10.82ID:7GAoG1Iq >>852
>「javascriptは可読性の高い言語」で検索すると約 334,000 件
単に検索件数が多いだけで、上位10件の表示内容を読んでも
「javascriptは可読性の高い言語」と言う内容のページは1つも見つかりません
対して「Pythonは可読性の高い言語」は上位10件の内5件見つかりました
>「javascriptは可読性の高い言語」で検索すると約 334,000 件
単に検索件数が多いだけで、上位10件の表示内容を読んでも
「javascriptは可読性の高い言語」と言う内容のページは1つも見つかりません
対して「Pythonは可読性の高い言語」は上位10件の内5件見つかりました
855デフォルトの名無しさん
2021/08/21(土) 22:41:14.03ID:7GAoG1Iq >>853
おっしゃる通りです(/ω\)
おっしゃる通りです(/ω\)
856デフォルトの名無しさん
2021/08/21(土) 22:56:47.50ID:lXSuJ2vU ただのコピペ荒らし
まったくRustもNimも関係ないスレでも見るし
まったくRustもNimも関係ないスレでも見るし
857デフォルトの名無しさん
2021/08/21(土) 23:00:47.35ID:YSvCkW+D Rust Tourだけやっていても作業の流れが身につかなさそうなので、写経を始めました
そこでまず出くわしたのがTokioのバージョンの壁で、バージョンによって動いたり動かなかったり差がありました
クレートの無難なバージョンがどれか、クレート同士の無難な食い合わせはどれか、など、どうやって知れば良いのですか?
そこでまず出くわしたのがTokioのバージョンの壁で、バージョンによって動いたり動かなかったり差がありました
クレートの無難なバージョンがどれか、クレート同士の無難な食い合わせはどれか、など、どうやって知れば良いのですか?
858デフォルトの名無しさん
2021/08/21(土) 23:07:06.11ID:7GAoG1Iq >>857
Nimの写経を始めましょう
Nimの写経を始めましょう
859デフォルトの名無しさん
2021/08/21(土) 23:07:52.34ID:kcBD0DB/ 写経なら写し元と同じバージョンにそろえるのがよいのでは
860デフォルトの名無しさん
2021/08/21(土) 23:24:51.23ID:7GAoG1Iq >>859
>写経なら写し元と同じバージョンにそろえるのがよいのでは
Nimのバージョン 1.5.1を写経しましょう
Nimの実験的特徴
著者: アンドレアス・ルンプ
バージョン: 1.5.1
http://nim-lang.github.io/Nim/manual_experimental.html
>写経なら写し元と同じバージョンにそろえるのがよいのでは
Nimのバージョン 1.5.1を写経しましょう
Nimの実験的特徴
著者: アンドレアス・ルンプ
バージョン: 1.5.1
http://nim-lang.github.io/Nim/manual_experimental.html
861デフォルトの名無しさん
2021/08/21(土) 23:48:46.37ID:PyG7lKVy 組み込み系ではMicroPythonが流行っているらしいが全く魅力を感じないw
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【🐼】パンダ、日本で会えなくなる? 中国との関係悪化で不安の声 [ぐれ★]
- 台湾有事での集団的自衛権行使に「賛成」が48.8%、「反対」が44.2% ★6 [♪♪♪★]
- 高市早苗首相、独自貫いた1カ月 会食ゼロ、議員宿舎で勉強漬け「飲んでる暇があれば、政策を練り、資料を読みたい」 [Hitzeschleier★]
- 竹中平蔵氏、万博は大成功だったと持論 批判していた人々にチクリ「反省の弁の一つも聞きたい」 [muffin★]
- 【立憲民主党】「質問レベルの低さが立憲の存立危機事態」台湾有事発言を引き出した立憲“執拗追及”が波紋… ★2 [尺アジ★]
- 中国、G20外交利用し高市政権に圧力 「台湾問題」巡り [ぐれ★]
- 【実況】博衣こよりのえちえちKoZMy4D晩酌🧪❄🫘
- 【実況】博衣こよりのえちえちKoZMy5D晩酌🧪❄🫘
- 【ござ専🏡】風間隊🥷集合でござる🏯【風間いろは🍃】
- 【んな専🏡】もっと守護ってルーナイト(・o・🍬)【ホロライブ▶】
- 【速報】高市早苗、G20マウントファッションショー開催 [115996789]
- 【速報】高市首相「国際社会は危機に直面している」 [256556981]
