[過去ﾛｸﾞ]
Rust part16 (1002ﾚｽ)
Rust part16 http://mevius.5ch.net/test/read.cgi/tech/1656285423/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
676: デフォルトの名無しさん [sage] 2022/09/10(土) 01:19:16.36 ID:BhJh8aSd acronymを全部大文字にするか先頭だけ大文字にするかってそんなに大きな問題かな 一貫性のあるルールに従っていれば書き手や読み手として混乱することもないと思うんだが http://mevius.5ch.net/test/read.cgi/tech/1656285423/676
677: デフォルトの名無しさん [] 2022/09/10(土) 03:00:06.93 ID:Rsh0NV07 Ipv4なんて一瞬なんのことか分からんかったな 結局慣れで、一貫性以上に価値のある好みなんてのはない http://mevius.5ch.net/test/read.cgi/tech/1656285423/677
678: デフォルトの名無しさん [] 2022/09/10(土) 07:09:44.43 ID:2MfL7Eat >>676 その一貫性が崩れるのがいやなんだろ。 ドキュメント・コメントでは全部大文字なのにコードでは先頭だけ大文字とか。 慣れの問題だが、今まで/一般的 に全部大文字で慣れてるものをこの時だけ先頭大文字に慣らせというのは抵抗感あって当たり前。 http://mevius.5ch.net/test/read.cgi/tech/1656285423/678
679: デフォルトの名無しさん [] 2022/09/10(土) 07:12:21.94 ID:2MfL7Eat >>676 問題の大小なんて誰も言ってない。 今までの慣れ/一般的な表記 を置き換えるのは抵抗感あるって話。 http://mevius.5ch.net/test/read.cgi/tech/1656285423/679
680: デフォルトの名無しさん [sage] 2022/09/10(土) 12:37:11.73 ID:GXRB1/O5 命名規則を利用する目的は可読性や開発効率の向上などのはず 一般的な表記から外れるのであればそれなりの理由が必要であろう 「命名規則に従ったから」では「目的より手段を優先している、合理性がない」などと 突っ込まれてもしょうがない http://mevius.5ch.net/test/read.cgi/tech/1656285423/680
681: デフォルトの名無しさん [sage] 2022/09/10(土) 13:03:13.98 ID:jQKLnU5m JavaScriptのアイツは XmlHttpRequestと命名されるべきだったのか？ XMLHTTPRequestと命名されるべきだったのか？ http://mevius.5ch.net/test/read.cgi/tech/1656285423/681
682: デフォルトの名無しさん [] 2022/09/10(土) 13:20:38.77 ID:AMhmGX9g eXtend Markup Language Hyper Text Transfer Protocol Request http://mevius.5ch.net/test/read.cgi/tech/1656285423/682
683: デフォルトの名無しさん [sage] 2022/09/10(土) 13:38:53.61 ID:D1Nb21qC 完全に好みの問題と思うから何らかのルールで統一されてればどっちでも良いと思うけど、 LCD TV、nVidia、iOS IoT Hubなんかをどう表記するかとか変数名ならどうしようとか考えるのめんどいから 表記の慣例とか無視して全部キャメルケースにしちゃうな http://mevius.5ch.net/test/read.cgi/tech/1656285423/683
684: デフォルトの名無しさん [sage] 2022/09/10(土) 13:50:29.86 ID:TnGNUz3W ルールから逸脱させるかどうか悩むならルールに合わせておくおじさんになった http://mevius.5ch.net/test/read.cgi/tech/1656285423/684
685: デフォルトの名無しさん [] 2022/09/10(土) 14:31:16.93 ID:/uHulLcW Rustすれのレベルの低さにガッカリ Python質問すれとかみたいに和気あいあいとしてない殺伐にドッキリ http://mevius.5ch.net/test/read.cgi/tech/1656285423/685
686: デフォルトの名無しさん [sage] 2022/09/10(土) 14:56:40.59 ID:qBfKxAEz >>675みたいに書いた場合 >let mut bitmap:[u32; LEN] = [0; LEN]; のmutが余計だと警告が出る。この場合実際に確保されるメモリ領域は書き込みも出来るスタックフレームだろうし mutを取っても動作上は問題ないと思うけど、mutがない領域に書き込むことになりプログラムの意味としては誤っている 参照先を強制的に書き換えるようなコードを書くと、とコードと警告と動作のミスマッチが起きる気がするけど なんか上手い書き方はないのだろうか この辺の低レイ
ヤーの用途で参照先を書き換える話ってBookのReferenceやUnsafeあたりにもそれっぽい事書いてないし どこを見たらいいのか判らない http://mevius.5ch.net/test/read.cgi/tech/1656285423/686
687: デフォルトの名無しさん [sage] 2022/09/10(土) 15:47:06.47 ID:BhJh8aSd >>675 ARGB32にDefault実装して let mut bitmap : [ARGB32; LEN] = Default::default(); とするのが良いかと repr(C)がついてない構造体のメモリ上での表現がどうなるかは保証されてないから元のコードが意図通り動作する保証はないと思う http://mevius.5ch.net/test/read.cgi/tech/1656285423/687
688: デフォルトの名無しさん [sage] 2022/09/10(土) 15:48:16.32 ID:vDnMZIxl >>675 初期化難しいかな。こうとか https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=49327f78412221161809733ee34bf013 http://mevius.5ch.net/test/read.cgi/tech/1656285423/688
689: デフォルトの名無しさん [sage] 2022/09/10(土) 15:54:53.07 ID:BhJh8aSd >>687 [T; N] は N <= 27 までしかDefault実装されてなかったからこのコードじゃダメだった こっちならOK let mut bitmap: [ARGB32; LEN] = std::array::from_fn(|_i| Default::default()); http://mevius.5ch.net/test/read.cgi/tech/1656285423/689
690: デフォルトの名無しさん [sage] 2022/09/10(土) 16:11:30.59 ID:sOVkY8n5 最後の手段のtransmuteは安易に使うものじゃないと思う http://mevius.5ch.net/test/read.cgi/tech/1656285423/690
691: デフォルトの名無しさん [sage] 2022/09/10(土) 16:39:14.44 ID:qBfKxAEz >>687 すみません。構造体にはrepr(packed)を付けています。u8がパディング無し4つ並ぶはず repr(C)だとCと同様にパディングされる可能性が出てくると思うのですが >>688 CloneとCopyを付ける方法に関してはどのような動作になるのか確信を持てていないです 原則コピーになるという情報は出てきますが、画像のバッファだし原則参照で必要なときだけ コピーしたいです(すでに初期化とは別のところで問題になっています。参照とコピーの 切り替え方法が判らな
い) http://mevius.5ch.net/test/read.cgi/tech/1656285423/691
692: デフォルトの名無しさん [sage] 2022/09/10(土) 18:12:40.24 ID:n3Y/KVD/ >>686 最初に定義した変数bitmapはmoveしてるだけだからmutは余計でいいと思うけど？ http://mevius.5ch.net/test/read.cgi/tech/1656285423/692
693: デフォルトの名無しさん [sage] 2022/09/10(土) 19:24:52.82 ID:qBfKxAEz >>692 自分の理解があっているか不安なんですが、mutを付けずにletで宣言すると書き換わらない値として 書き込めないメモリ領域(例えば.textセクション)に配置されたりしないのか？というのが心配な点です 言語仕様上mutを付けない宣言でも必ず読み書き可能な領域に配置されるというのであればそれでかまわないと思いますが とりあえず手元のx64向けのコンパイラではmutを付けずともスタックフレームに配置されるようですが 組み込み向けなど他のコンパイラでも同
様の動作を前提として問題ないのか判りません 古いバージョンのBookにはスタックやヒープの解説があったようですが ttp://web.mit.edu/rust-lang_v1.25/arch/amd64_ubuntu1404/share/doc/rust/html/book/first-edition/the-stack-and-the-heap.html#:~:text=Memory%20management&text=The%20stack%20is%20very%20fast,explicitly%20allocated%20by%20your%20program 最新版にこのページはないような・・・しかも >Rust ‘stack allocates’ by default, which means that basic values ‘go on the stack’. だとRAMを節約したいからROMに配置する
実装もあり得ると読めなくもない http://mevius.5ch.net/test/read.cgi/tech/1656285423/693
694: デフォルトの名無しさん [sage] 2022/09/10(土) 20:06:33.59 ID:xD3pa07u let bitmap:[u32; LEN] = [0; LEN]; let mut bitmap:[ARGB32; LEN] = unsafe {core::intrinsics::transmute::<_, [ARGB32; LEN]>(bitmap)}; これでいいってことじゃない？ 一個目のbitmapは実際書き込んでないからmut不要 二個目のbitmapは変数名同じだけど一個目とは別の変数で、こっちは次の行で書いてるからmut必要 http://mevius.5ch.net/test/read.cgi/tech/1656285423/694
695: デフォルトの名無しさん [sage] 2022/09/10(土) 20:13:43.96 ID:xD3pa07u あぁ言いたいことは分かった 確かにtransmuteしてるからバックエンドの挙動によっては変なことになりうるかもね ただそれは別にmutをつけても保証はされない気がする http://mevius.5ch.net/test/read.cgi/tech/1656285423/695
696: デフォルトの名無しさん [sage] 2022/09/10(土) 20:24:18.78 ID:BhJh8aSd >>691 repr(packed)を指定した構造体のフィールドへのアクセスは未定義動作を引き起こす可能性があるからrepr(packed)は基本的には使わない方が良いよ https://doc.rust-lang.org/nomicon/other-reprs.html#reprpacked 確かにrepr(C)やrepr(Rust)はパディングされる可能性があるけど、フィールドのアラインメントを適切にするために必要なものなので パディングが問題になるならフィールドのメンバーの順序やサイズを見直すか、フィールドの値を読むのに std::ptr
::read_unaligned を使う必要があるよ https://doc.rust-lang.org/std/ptr/fn.read_unaligned.html read_unalignedのドキュメントにも書いてあるけど、アライメントが不適切なフィールドへの参照を作るのすら未定義動作になるという落とし穴もあったり、 repr(packed)な構造体の取り扱いにはいろいろと注意が必要になるので、本当に必要なとき以外は使わない方が良いよ あと、repr(packed)はrepr(packed, Rust)と同じ意味になるので、構造体のフィールドがメモリ上でどのような配置になるかの保証はないよ フィールドの定義順とメモリ上での順序を同
じにしたいのであれば repr(C) または repr(C, packed) と指定する必要があるよ いずれにせよ今回は全てのフィールドがu8だからrepr(C)でパディングが挿入されることはなく 無駄にメモリを消費することもないよ どうしてもパディング挿入が心配なら mem::size_ofやmem::align_ofを使って構造体のサイズとアライメントに関するアサーションを加えるのが良いと思う http://mevius.5ch.net/test/read.cgi/tech/1656285423/696
697: デフォルトの名無しさん [sage] 2022/09/10(土) 20:36:28.31 ID:BhJh8aSd >>693 let a = ...; let mut a = a; みたいに書いた場合、一個目のaと二個目のaは別の変数扱いでそれぞれ個別に領域が割り当てられるよ 二個目のaに格納されるのはaの値で、ポインタじゃないから一個目のaが書き込み不可な領域に格納されていたとしても 二個目のaのために割り当てられた読み書き可能な領域に一個目のaの値がコピーされるような動作になるはず 最適化によって一個目のaと二個目のaが同じ領域を使い回すようになるかもしれないけど、二個目のa定義後
はその領域に対する書き込みは可能なことが保証されてるはず transmuteを呼び出した場合も同じで、 transmute(a) という呼び出しをした場合transmuteに渡されるのはaの値なので、二個目のaの定義後は問題なくaに書き込めるはず ただし、transmuteに&aを渡して&mutに変換するみたいなことをすると未定義動作になるから注意は必要 https://doc.rust-lang.org/reference/behavior-considered-undefined.html > Mutating immutable data. All data inside a const item is immutable. Moreover, all data reached through a shared reference or data
owned by an immutable binding is immutable, unless that data is contained within an UnsafeCell<U>. http://mevius.5ch.net/test/read.cgi/tech/1656285423/697
698: デフォルトの名無しさん [] 2022/09/11(日) 12:51:18.94 ID:6axTKkj4 >>693 ＞mutを付けずにletで宣言すると書き換わらない値として ＞書き込めないメモリ領域(例えば.textセクション)に配置されたりしないのか？というのが心配な点です しねーよ。 組み込みだろーがそれは変わらない。 letついて束縛変数といわれようが変数は変数。 http://mevius.5ch.net/test/read.cgi/tech/1656285423/698
699: デフォルトの名無しさん [sage] 2022/09/11(日) 13:08:43.20 ID:3JeGkSLy 今はしないけどそうなるような最適化は禁止されてないのでは http://mevius.5ch.net/test/read.cgi/tech/1656285423/699
700: デフォルトの名無しさん [sage] 2022/09/11(日) 13:49:03.04 ID:7UmicIsS コンパイル時に値が確定してないとtextセクションに書けないでしょ http://mevius.5ch.net/test/read.cgi/tech/1656285423/700
701: デフォルトの名無しさん [sage] 2022/09/11(日) 13:55:35.90 ID:VMVpvyTB そっちは定数でconstだしそうなる letはあくまでもimmutableな変数であり定数ではない http://mevius.5ch.net/test/read.cgi/tech/1656285423/701
702: デフォルトの名無しさん [sage] 2022/09/11(日) 13:57:25.52 ID:kEOVMHNm コンパイル時に確定するような式なら最適化でありえるんじゃないの？ http://mevius.5ch.net/test/read.cgi/tech/1656285423/702
703: デフォルトの名無しさん [sage] 2022/09/11(日) 14:07:54.90 ID:VMVpvyTB どのように最適化されようが constではなくlet x = ...ならば let mut x = x; とムーブして書き換え可能 これは言語のレベルで保証される そしてそのように使うならば最適化も無駄なことせずにtext segmentでなくdata segmentに置くだろう http://mevius.5ch.net/test/read.cgi/tech/1656285423/703
704: デフォルトの名無しさん [sage] 2022/09/11(日) 14:40:44.81 ID:ujBIW69o CloneとCopyについて let mut bitmap:[u32; LEN] = [0; LEN]; let mut bitmap:[ARGB32; LEN] = unsafe {core::intrinsics::transmute::<[u32; LEN], [ARGB32; LEN]>(bitmap)}; と #[derive(Clone, Copy, Default)] ＆ let mut bitmap:[ARGB32; 16] = [ARGB32::default(); LEN]; で読み書きを bitmap[0].red = 0x80; let x = bitmap[0].red; bitmap[0].green = x; としてみたけど出力された読み書き部分のコードは同じでした。もっとでかい構造体じゃないとムーブか
コピーかの区別は出来ないのかな >>696 マジか。Rustでもパディングの問題がつきまとうのか。でも >Accessing unaligned fields directly with e.g. packed.unaligned is safe however. って事は.redとかでアクセスする場合はコンパイラが良きに計らってくれるのでアクセス境界の問題は起きないって事かな？ 画像データのバイトやビットの並びなんてすでに決まっていてプログラムはそれに合わせるしかないのが普通でしょうし 勝手にパディングされても困ります 実は並行してCでも書いているんだけど構造体のパディングの制御は処理系依存ら
しくて移植性を優先すると データは整数の配列で持って論理演算とシフトで分解、構築するコードになってしまってます http://mevius.5ch.net/test/read.cgi/tech/1656285423/704
705: デフォルトの名無しさん [sage] 2022/09/11(日) 14:49:25.24 ID:FOB38Q8d そのような実装はしたくないわけですか http://mevius.5ch.net/test/read.cgi/tech/1656285423/705
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 297 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.023s