- 1 名前：デフォルトの名無しさん mailto:sage [2021/04/02(金) 21:38:04.11 ID:L7IeSfpL.net]
- Mozilla発のRust言語のスレ
公式
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 part9
https://mevius.5ch.net/test/read.cgi/tech/1598112455/
- 199 名前：デフォルトの名無しさん mailto:sage [2021/04/20(火) 11:46:33.55 ID:UmXg6L/G.net]
- 5chに若い人なんかいないよ
- 200 名前：デフォルトの名無しさん mailto:sage [2021/04/20(火) 19:43:34.07 ID:jXnHABO7.net]
- なるほどそれで皆C++の話ばかりするのか
- 201 名前：デフォルトの名無しさん mailto:sage [2021/04/20(火) 21:08:17.70 ID:i+94ZV2W.net]
- C++もそれだけ枯れたか
- 202 名前：デフォルトの名無しさん [2021/04/21(水) 11:52:12.19 ID:/JxRHm/B.net]
- C++ニワカのLinusはpanicは認めないと言う話をしてるのにアロケーターだけの問題だ
「それだけでしょ、分かってるやつ居なすぎ」とまとめる
範囲外のインデックスアクセスでもpanicするし、Debugなら整数のオーバーフローでも
panicする（なぜかReleaseだとpanicしない）とんでもないアホの勘違いはJavaを持って
きて検査例外と非検査例外の話をし出す。せっかくResult/OptionがあるのにRustの文化と
なっているpanicを通常は捕捉しないと言うものをKernelに持ち込むなと言う話。
範囲外アクセスで即座に既存のC/Kernelならレジスタを保存してダンプするような
Segment fault例外トラップなどが働くのに、panicでスタック巻き戻し実行が起こるのは
絶対的に受け入れられない言うとる
Cの悪名高きsetjmpや、C++のRTL/動的例外テーブルの議論を見てるようだ
検査例外と非検査例外の話をし出すアホはもう来るな
- 203 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 12:24:14.02 ID:dj6DJThv.net]
- ++うんこ華麗にスルーして、やっぱリーナス見る目有るわ神だろ
- 204 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 12:54:12.00 ID:KSNXGwT5.net]
- 別にそこまで褒めることでもないんだけどね。。
ttps://lkml.org/
の他の議論に比べて明らかに議論のレベルが低いわけで。。
- 205 名前：デフォルトの名無しさん [2021/04/21(水) 13:38:37.86 ID:T0Zi2n6U.net]
- >>199
なんか何言ってるのか分からない部分が有るな。
- 206 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 17:38:16.65 ID:l2lL4TPp.net]
- js-sys見てたらJavaScript側の型の継承関係をDerefで表現しててびびった
こういうの普通なん？
- 207 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 17:58:04.79 ID:tLndpRqR.net]
- >>201
歴史があってどう実装すべきかという指針ができあがっているCと
手探りで指針を作りつつあるRustで議論のレベルが同じにならないのは自然なのでは
- 208 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 18:42:16.83 ID:KSNXGwT5.net]
- >>204
問題はそういう言語の問題まで行かず、カーネルが備えるべきところってな議論で止まってるって部分だけどね。
歴史という意味ではそもそもカーネルに対する歴史観が不足してる連中しかrustにはいないということになる。
- 209 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 22:06:45.67 ID:2oKQsBoE.net]
- プロセスがスローし、誰も補足しなかった例外を
最終的に捕捉してそのプロセスを終了させるのはOS（ことによったらカーネル）の仕事である
一方、カーネルが仮に例外をスローしてしまったら誰が最終的な捕捉の任を負うのか
について今今のOS論には目下定説が無い
Linux（リーナス）は「カーネルは何があっても例外をスローすんなﾊｹﾞ、」という
古典的な立場
のやつ、
- 210 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 23:10:54.58 ID:/dktUqXg.net]
- 機械語に例外なんてねーよ
いい加減なこと言ってんじゃねーや
- 211 名前：デフォルトの名無しさん mailto:sage [2021/04/21(水) 23:43:21.15 ID:NQ0xHQya.net]
- >>206 CPUの例外と言語上の例外との区別が付いてないみたいね。
- 212 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 00:18:18.68 ID:41g4gqqa.net]
- >>203
javascriptでメソッドとか探すときにプロトタイプを遡っていく動きがあるけど
それをRustのドット演算子（.）がメソッド使える型になるまで自動で参照解決する仕様で
模倣したんだと思う
演算子の特殊な拡張は正規表現とか構文解析のライブラリでたまに見かけるけど
どちらかと言えばトリッキーな手法
- 213 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 02:40:36.34 ID:hZdbeIl+.net]
- panic上等のredox！
セキュリティホール開けるよりマシという理由だった。
>>203
アンチパターンだから通常のコードでは使うな。
トレイトメソッド呼べないからクソって所まではすでに
githubのissuesやrust internalsで合意が有る。
js-sysはffi（バインダ）だから仕方ない。
- 214 名前：はちみつ餃子 mailto:sage [2021/04/22(木) 02:53:02.19 ID:3zTCC3Br.net]
- >>203
ガイドライン的には Deref はスマートポインタだけにしとけってことになってる。
https://rust-lang.github.io/api-guidelines/predictability.html#only-smart-pointers-implement-deref-and-derefmut-c-deref
- 215 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 05:58:54.39 ID:WQGVMWvQ.net]
- 例外の最終的な捕捉をOSの仕事、と書いたのは語弊があったｽﾏﾝｶｯﾀ、
正確に言えば言語のランタイムが最終的に捕捉してプロセスを自発的に終了する
（スタックのアンワインドは言語依存性が強いのでそうなっている
しかしプロセスが自発的にexit()したら誰がそれを処理するのかというとOSやんけ；；；
カーネルの中で例外を生じられたら誰が終了を担保するのかについて
OS論的に定説が無いのは真
>>208
いじょ
- 216 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 06:34:32.34 ID:WQGVMWvQ.net]
- で、別の観点の話をする、
OSがpanic上等というのはそれはそれでも良いが、
とにかくスタックのアンワインド処理は言語依存性が強いので
例外が通過する関数（ゼロコストの奴も含む）の巻き戻しのためには
関数のアドレスとスタックのアンワインド方法の対応表をランタイムが把握せねばならない
というわけでカーネル内の例外を認めると、その例外を最終的に捕捉する奴より
上の関数を全部同一言語・同一コンパイラで書かねばならないという縛りが生じる
現実にはそれで問題など生じないかしらんが、とにかくレイヤー分けに縛りが生じる
Redoxの一部をC++（等）で書くことは事実上不可能に、
- 217 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 13:01:11.46 ID:hZdbeIl+.net]
- >>212,213
なんでカーネルの話してるのに言語ランタイムとプラットフォーム依存の話してるんだ？
>>213
Linusがカーネル書くのに信用してないだけで
C++でもフリースタンディング書けるだろ。
C++のフリースタンディングは最低限の標準ライブラリは持つからrustのcoreクレートと同じ。
C++ならexception、abort,exitがある。
>>213がホストとベアメタルの区別がついてないだけじゃないか？
あと、redoxのpanicはスタックトレース吐いてx86のhltループするだけだから。
そもそもカーネルで標準のexitなんか呼ぶか。
- 218 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 13:21:02.53 ID:EDkBlaoV.net]
- Linux界隈といえばちょうど｢マージしたパッチが研究目的にわざと脆弱性を含んだものだったことが発覚して激おこで送ってきた奴らの大学出禁にする｣みたいな面白いことが起こってる模様
- 219 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 13:49:41.54 ID:I9diyMZ1.net]
- どうせお前らはOS書かないんだからどっちでもいいじゃん
- 220 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 15:39:04.46 ID:VwSZJGdV.net]
- linuxの騒動の話はさすがにスレチ
- 221 名前：デフォルトの名無しさん [2021/04/22(木) 21:04:10.86 ID:ndVhN6HU.net]
- Cコンパイラゼミ消失問題を思い出した
https://twitter.com/rui314/status/1384422532363657221
(deleted an unsolicited ad)
- 222 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 23:08:37.40 ID:y/lG5X/l.net]
- 研究目的だろうがそうでなかろうがわざと脆弱性を含むパッチを簡単にマージできている、という状況が問題なんであって
腹たつから大学出禁にしたった、とやったところで根本的な問題は何も解決しないんだけどlinuxのメンテナンスしてる連中とか
linusを筆頭にとか老害頭ばっかりだから自分がスッとすれはそれでいいんだろうな
- 223 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 23:21:38.67 ID:5b2Tg2Qr.net]
- 1) 善意でやってくれてる連中にケチつけんな
2) じゃあお前が根本的な解決とやらをやれ
3) もしくはその根本的な解決方法を彼らに教えてやれ
- 224 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 23:33:32.83 ID:Bg0clzlT.net]
- しーぷらぷらあきらめてどろっぷあうとした
ちんちんぶらぶらまるはだかなひとたちが
らすとすぱぁとをきめるスレ
- 225 名前：デフォルトの名無しさん mailto:sage [2021/04/22(木) 23:52:38.76 ID:KHhdvM96.net]
- rust厨八つ当たりw
- 226 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 08:31:32.27 ID:yuX3+THA.net]
- その脆弱性もUAFとかぬるぽデリファレンスとか未初期化領域の使用とか2重開放とか最近の言語じゃ明らかに
- 227 名前：意図してやらなきゃ起きないようなもんばっかだもんなぁ
そりゃC/C++にしがみついてる大先輩方にとっちゃ逆鱗だわな [] - [ここ壊れてます]
- 228 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 08:34:12.76 ID:Lj3XxxY0.net]
- そんなもんunsafeしまくれば同じだろ。。
そういう問題じゃないことくらいわかるだろうに、本当の馬鹿だな。
- 229 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 08:36:52.46 ID:+YpcBxgU.net]
- C++とlinuxの話禁止な
- 230 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 08:52:11.81 ID:Lj3XxxY0.net]
- rustでOSかける->linus、panicある限り載せねーよ->rust信者発狂
- 231 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 09:00:00.40 ID:5QBVXmI/.net]
- 発狂？むしろ歓迎
個人で使うようなアプリは好きなだけパニくれ
使われるアプリはパニくんなカス、これ常識だろ
- 232 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 10:42:10.47 ID:Lj3XxxY0.net]
- 言語実装的にもそうなってないよねって話なんだけど、なんだか通じてなさげ。
- 233 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 11:59:33.30 ID:bX8BaI1F.net]
- rustにもgoのマスコットキャラみたいなのいないんですか？
- 234 名前：あめ mailto:sage [2021/04/23(金) 12:13:46.74 ID:hS4CVJbd.net]
- かにさん
- 235 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 12:17:43.73 ID:E6ocica9.net]
- >>214
>なんでカーネルの話してるのに言語ランタイムとプラットフォーム依存の話してるんだ？
カーネル内での例外を許すみたいな立場で話す人が居るから
例外メカニズムが言語ランタイムと不可分な理由は
>スタックのアンワインドは言語依存性が強いのでそうなっている (>>212
C言語みたいにそもそも例外メカニズムを持たない言語を使った場合のみ
言語ランタイムと切り離したカーネル設計ができてｽｷｰﾘ
- 236 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 12:23:39.46 ID:Xbep6LJc.net]
- >>219
だから、脆弱性を簡単に盛り込めないように危険な団体を排除しただけだろ。
普通の対応だと思うけど？
- 237 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 12:31:21.77 ID:+YpcBxgU.net]
- >>231
> >なんでカーネルの話してるのに言語ランタイムとプラットフォーム依存の話してるんだ？
> カーネル内での例外を許すみたいな立場で話す人が居るから
いません
この話はおわり
- 238 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 12:56:09.67 ID:1/JMNo8Q.net]
- 「注意すればC/C++でも問題ない」って意見は日本的だよな
人間はミスしないことが前提になっている
Rust Foundationのメンバーに言わせればそういう問題ではない
人間はミスするものだってなるんだろうけど
- 239 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 13:00:34.48 ID:Lj3XxxY0.net]
- そのミスの取り除き方のアプローチの違いだっていうことにさえ気づかない馬鹿。
- 240 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 13:33:15.21 ID:AZKiGQoD.net]
- c++でミスするような無能はrustでも使ってろと怒鳴り散らす
これが正しいアプローチ
- 241 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 13:43:27.45 ID:M88Kc634.net]
- >>229-230
なんで蟹なんだろうな。
PythonユーザーのことPythonistaって言うみたいに
RustユーザーのことRustaceanって言うけど、
これCrustacean（甲殻類）からCを取り除いたものなんだな。
- 242 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 14:28:40.04 ID:9+zMAQDa.net]
- エビにしろよな
カニだとRealtekと被るじゃん
- 243 名前：デフォルトの名無しさん [2021/04/23(金) 14:58:40.99 ID:ntrIv3TW.net]
- 大半の人は、C/C++の文法がわかる程度でプログラムを書いているのが現状だろう
何がミスなのかそもそもわかっておらず、Rustを勉強している人と話も噛み合わない
- 244 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:01:12.26 ID:Lj3XxxY0.net]
- c++とrustの部分入れ替えてもなんの違和感もない文章だね
- 245 名前：デフォルトの名無しさん [2021/04/23(金) 15:03:21.83 ID:ntrIv3TW.net]
- 君にはそう見えるだろうね
- 246 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:05:01.62 ID:Lj3XxxY0.net]
- 君にはそう見えないんだろうね
- 247 名前：デフォルトの名無しさん [2021/04/23(金) 15:05:59.83 ID:ntrIv3TW.net]
- とりあえず、話が噛み合わないのはわかったでしょ
- 248 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:07:53.22 ID:9+zMAQDa.net]
- C++ドロップアウターが希望を求めてやって来るスレ
- 249 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:13:29.93 ID:ECpnCXVF.net]
- スレでグチグチ言うよりプログラム書いた方がよっぽど理解できるよ
- 250 名前：デフォルトの名無しさん [2021/04/23(金) 15:20:14.54 ID:ntrIv3TW.net]
- C/C++で穴のあるコードを書いてもしょうがないし、それも難しいんじゃないのかな
逆にC/C++の人らがRustコンパイラをすり抜けるヤバいコードを提示してくれたら、一発で口だけじゃなく出来る人だったと示せるだろうが
- 251 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:28:23.22 ID:mq69qBnk.net]
- >>155
> Rustに比べたC++の良さは雑に書けるところだって気付いた
> やっぱ雑が許されない巨大プロジェクトはRustで、小規模な自分用ツールの類はC++で書いてくことになりそうだ
これが何気に的を得てるでしょ
コンパイラが安全な方に導いてくれるのはもちろん良いとして、それよりも雑に (あるいは短く親しんだ方法で) 書きたい思惑が優先されるときは C/C++ でやれば良い話で
- 252 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:38:53.83 ID:CjhKTAAP.net]
- いや、Rustでラクに書けない時点で勉強が不足してる
そのことに自分で気付けるような人だけRust使えばいい
「当を得る」か「的を射る」ことが出来るような人になってほしい
- 253 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:56:22.07 ID:mq69qBnk.net]
- いや、単にコード長が C/C++ の方が短く書ける可能性高いでしょ
どんなイディオムを駆使しても
- 254 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 15:59:55.49 ID:mq69qBnk.net]
- あと近年では「的を得る」は必ずしも誤用じゃないという見方が主流でしょ
- 255 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 19:45:46.49 ID:ECpnCXVF.net]
- Rustの方が雑に書ける局面多いと思うけどなぁ
- 256 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 20:51:53.23 ID:+YpcBxgU.net]
- C++ vs Rustスレでも作ってそっちでやってくれマジで
不毛すぎる
- 257 名前：デフォルトの名無しさん [2021/04/23(金) 21:04:58.31 ID:g6tU54WL.net]
- >>249
そうだね、記述量の多い言語だと思う
- 258 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 22:37:03.61 ID:E6ocica9.net]
- Rustのコンパイラと戦って勝ったコードは
シンプルでエレガントで簡潔なことが多い
らしい
mjk、
- 259 名前：デフォルトの名無しさん mailto:sage [2021/04/23(金) 23:34:43.49 ID:KS/Kkucz.net]
- linusはやっぱすげーな
洞察力が違うわ
もちろんその道の神的な存在とはいえ
たいして知らない言語の弱点を一瞬にして暴いて
論破できるのは凄い
- 260 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 01:08:35.83 ID:h5KFlu4v.net]
- >>251
例えばどんなとき？
- 261 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 01:20:53.45 ID:vtdgUVMq.net]
- どんなときもどんなときもRustがRustらしくある〜ために〜
- 262 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 08:06:24.96 ID:nPKzA798.net]
- C++ vs Rust
https://mevius.5ch.net/test/read.cgi/tech/1619219089/
立てましたので以降そういうのはこっちでお願いします
- 263 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 08:33:43.03 ID:AUtfiExa.net]
- >>258
お前ずっと一人で「他所でやれ」連呼してる奴だろ
C++との対立構造はRustにとって無視できないテーマでしょ
正直C++とどう住み分けたら良いのかわかってない奴がほとんどなんだから
- 264 名前：デフォルトの名無しさん [2021/04/24(土) 08:39:09.80 ID:/opj2hnT.net]
- C++とRustは対立なんてしてない
Rustが怖いC++お爺ちゃんがRustに噛みつているだけでしょ
- 265 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 08:48:20.99 ID:MAG7Rri7.net]
- カーネルの件で完全に拗らせとるな
- 266 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 08:54:35.43 ID:8O98k7om.net]
- > C++との対立構造はRustにとって無視できないテーマでしょ
お前のテーマなんてどうでもいいんだよ
よそでやってくれ
- 267 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 08:59:24.96 ID:MAG7Rri7.net]
- 一般的なテーマだってこともわからんのか。馬鹿だな。
- 268 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 09:02:59.11 ID:CqGuC/ho.net]
- リナス「やっぱCが至高、C++もRustもクソ！」
- 269 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 09:13:04.98 ID:IM8zU0Pj.net]
- rustもpanicをコアから外せればいけると思うのだが
もろ言語のコアなんだよな
痛いところ突かれた
- 270 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:06:12.73 ID:yJd/gJxx.net]
- 言語の問題じゃなくてライブラリの問題では
- 271 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:11:32.69 ID:vtdgUVMq.net]
- へーpanicってライブラリなんだ
- 272 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:29:13.61 ID:nPKzA798.net]
- >>259
仮にその対立構造を認めるにしても
「雑に書くならC++のほうが楽」なんて、曖昧で基準も何も示されない話に真面目に付き合う奴はいないよ
そういう奴らのための隔離スレとして用意したから好き放題書き散らせばいい
- 273 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 10:42:59.04 ID:2MdujosH.net]
- コード長の話でしょ？
どー考えてもC++の方が短いよ
んなとこで張り合ってもしゃーない
- 274 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 11:44:33.91 ID:8fCyRscb.net]
- 3割ぐらいは長いな
https://benchmarksgame-team.pages.debian.net/benchmarksgame/how-programs-are-measured.html
median source code gzip (July 2018)
Ruby 568
Python 672
C++ 1044
C 1115
Rust 1319
- 275 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:07:10.57 ID:RPGHdVOi.net]
- >>258
乙。次からテンプレ入りで
>>980
スレ立てよろ
==========
公式
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/
==========
- 276 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:17:31.75 ID:HBFF7y2e.net]
- Rustしかまじめに勉強したことないけどいい言語だと思うよ
- 277 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:21:15.48 ID:8fCyRscb.net]
- >>272
C/C++で一度ひどい目にあわないとRustの良さは分からんよ
今はまだ分かった気になってるだけ
- 278 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:39:27.31 ID:aNHhbYgZ.net]
- Rustはコンパイルでひどい目にあうから問題無い
同じことだ
- 279 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:56:02.52 ID:1Wwd5OE1.net]
- Rustのコンパイラに怒られまくる奴は三流プログラマ
- 280 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 12:59:06.14 ID:hc4SaSPr.net]
- Rustの文字列変数って、
str1 = str2;
のように書いた時、copyではなくmoveでしたっけ？
- 281 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:03:33.00 ID:kYV5ExS+.net]
- String型ならmove、&str型ならcopy
文字列リテラルなら後者
- 282 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:09:43.73 ID:hc4SaSPr.net]
- >>276
調べてみたら、やっぱり、
let s1 = String::from("hello");
let s2 = s1;
とすると、以後、s1は使用できなくなり、使用しようとするとコンパイルエラー
になるんだね。こうなるのは珍しいと言えば珍しい言語。
1. Javaだと、参照を入れるだけで同じ実体を指しているため、s2経由で変更してもs1が
指しているものも変更される。
2. JS の 文字列は primitive 型なので「コピー動作」となり、s2とs1は別の実体を
指すことになり、一方を変更しても他方には変更の影響は及ばない。
3. MFCのCStringも意味的にはコピー動作なのでJSと似ているが、高速化のため、
代入後に一度も書き換えなければ、文字列を入れているメモリブロックは複製
されないし、コピーもされない。
4. STL(C++) の std::striingもMFCと意味的には似た動作。
5. BASIC言語でも、文字列はコピー動作。
6. Rubyの場合、Javaと同じで同じ実体を参照しているだけなので、一方を書き換えると
他方も全く同じように書き換わる。コピーするためには、s2 = s1.dup; と書く。
つまり、
a. BASIC、JS、MFC、STL(C++)は似た動作。
b. JavaとRubyも似た動作。
c. Rustは、b の系統に似ているが、s1 が使えなくなるのでちょっと違う。
- 283 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:13:27.35 ID:vtdgUVMq.net]
- >>278
無駄なことに時間使ってないでthe bookくらい読みなよ
- 284 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:20:12.76 ID:hc4SaSPr.net]
- >>
C# は、「b.」の系統で、JavaとRubyと似た動作だね。
- 285 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:23:38.54 ID:hc4SaSPr.net]
- >>279
いろんな言語をかじってしまうと、どれがどれだか分からなくなってしまうんだよ。
文字列の s2 = s1 の動作は：
a. BASIC、JS、MFC、STL(C++)は似た動作。中身をコピーする。
b. Java、Ruby、C# が似た動作。参照を代入するだけ。コピーしたければ明示する。
c. Rustは、b の系統に似ているが、s1 が使えなくなる。
- 286 名前：デフォルトの名無しさん [2021/04/24(土) 13:27:17.48 ID:hc4SaSPr.net]
- >>281
Javaの場合、Stringは参照しか出来ないが、Rustの場合は、「String型」だけでなく、
「Stringへの参照型」も使えるんだっけ (let s3:&String ??) ？
- 287 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:36:44.63 ID:hc4SaSPr.net]
- >>281
C++11以降は、x = y と書いた時、y が捨ててよいと判断した場合は、
moveで、それ以外の時は copy。
一方、Rustだと、「デフォルト move」なので、基本的には move 動作。
cooy したければ、x = y.clone; と書くのかな。
色々ややこしい。
- 288 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:39:26.22 ID:glcm53ed.net]
- >>283
> C++11以降は、x = y と書いた時、y が捨ててよいと判断した場合は、moveで、それ以外の時は copy。
そんな親切け？？？
左辺値同士だと明示しないとmoveしてくれないだろ
最適化次第ではしてくれるの？
- 289 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:43:36.80 ID:hc4SaSPr.net]
- >>284
えっと、関数の戻り値が構造体型(or クラス型)の場合、右辺値と解釈されるので、
s2 = func(xxx);
見たいにした場合は自動的に move代入されたと思う。
それ以外だと、たいていは、s2 = std::move(s1); のように書かなければ
copy代入になるんじゃないかな。
s2 = func(xxx).s;
のようにした場合も move代入になるはず。
自信は無い。
- 290 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:47:10.36 ID:Kvw1J2lw.net]
- >>285
RVOは全然違うぞ
s2の構築にコピーコンストラクタを使わなくなって早くなるというだけ
ムーヴコンストラクタはそもそも出てこない
- 291 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 13:47:25.73 ID:hc4SaSPr.net]
- >>285
自分の記憶だと、一時オブジェクトも右辺値だから、
s2 = std::string("xxx");
ともし書いたとしたら、右辺は右辺値になるのでmove代入になるはず。
s2 = s3 + s4;
みたいにしても、右辺は関数の戻り地と解釈されるので右辺値になるので
move代入になるはず。
- 292 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 15:48:01.23 ID:QvmQEBVA.net]
- Rustってコードをフォーマットしてくれる機能があるからいいね
これこそモダンな言語だと思う
- 293 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 16:01:24.29 ID:93XQhLV9.net]
- C++と比べりゃ大抵の言語はモダンだろうよ
- 294 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 16:18:04.79 ID:rGfKetgv.net]
- しーぷらぷらあきらめてどろっぷあうとした
ちんちんぶらぶらまるはだかなひとたちが
rustすぱぁとをきめるスレ
- 295 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 16:38:27.41 ID:MAG7Rri7.net]
- lintツールも満足に使えない人が喜んでるのかね
- 296 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 17:14:02.73 ID:yJd/gJxx.net]
- 非Syncなデータに複数スレッドからアクセスするコードに警告だしてくれるlintある？
- 297 名前：デフォルトの名無しさん mailto:sage [2021/04/24(土) 18:12:05.46 ID:6780eEd1.net]
- へーそれコードをフォーマットしてくれる機能なんだ
- 298 名前：デフォルトの名無しさん [2021/04/24(土) 22:25:57.79 ID:EY30SvcB.net]
- >>293
君は、松永の論文を読んだのかい？
- 299 名前：デフォルトの名無しさん mailto:sage [2021/04/25(日) 11:06:21.68 ID:M4WxeD2J.net]
- 質問です
let a = 10;
let b = &a;
let &c = b;
としたときに変数cは数値の10になるのですが
cの前にある&は参照外しの効果があるということなのでしょうか？
|
 |
