Hello hackers !
Qiitaは、エンジニアリングに関する知識を記録・共有するためのサービスです。
コードを書いていて気づいたことや、自分がハマったあの仕様について、
他のエンジニアと知見を共有しましょう ;)
https://qiita.com/
Qiita(キータ)は、Incrementsが運営するプログラミング情報のナレッジコミュニティ。
2016年現在で日本最大のプログラマーコミュニティとされている[1]。
https://internet.watch.impress.co.jp/docs/news/1025972.html
前スレ Qiita
https://mevius.5ch.net/test/read.cgi/tech/1542357242/
Qiita 2 - キータぞ、来たぞ、キータだぞー
https://mevius.5ch.net/test/read.cgi/tech/1658762410/
Qiita 3 - キータぞ、来たぞ、キータだぞー
https://mevius.5ch.net/test/read.cgi/tech/1685235361/
Qiita 4 - キータぞ、来たぞ、キータだぞー
https://mevius.5ch.net/test/read.cgi/tech/1705486836/
Qiita 5 - キータぞ、来たぞ、キータだぞー
https://mevius.5ch.net/test/read.cgi/tech/1717651046/
Qiita 6 - キータぞ、来たぞ、キータだぞー
https://mevius.5ch.net/test/read.cgi/tech/1739527246/
Qiita 7 - キータぞ、来たぞ、キータだぞー
2025/09/13(土) 12:24:07.83ID:mucntwOq
321デフォルトの名無しさん
2025/10/14(火) 20:36:41.72ID:2xWEVdNj322デフォルトの名無しさん
2025/10/14(火) 21:04:55.21ID:ZulSE3F6 >>321
違いは簡単
静的メモリ配置 ←アドレス固定
動的メモリ配置 ←アドレス変動
static宣言すると静的にメモリ領域が確保されてアドレスが固定になる
実例コード
void foo() {
static int a1[] = {1, 2, 3};
int a2[] = {1, 2, 3};
printf("アドレス固定 a1: %p\n", &a1);
printf("アドレス変動 a2: %p\n", &a2);
}
void sub() {
foo();
}
int main() {
foo();
sub();
return 0;
}
違いは簡単
静的メモリ配置 ←アドレス固定
動的メモリ配置 ←アドレス変動
static宣言すると静的にメモリ領域が確保されてアドレスが固定になる
実例コード
void foo() {
static int a1[] = {1, 2, 3};
int a2[] = {1, 2, 3};
printf("アドレス固定 a1: %p\n", &a1);
printf("アドレス変動 a2: %p\n", &a2);
}
void sub() {
foo();
}
int main() {
foo();
sub();
return 0;
}
323デフォルトの名無しさん
2025/10/15(水) 01:32:24.83ID:F/Bk7x58324デフォルトの名無しさん
2025/10/15(水) 02:42:55.78ID:tBMKGpTr なんてことだstatic宣言した変数が共有ライブラリの中だとアドレスが変わることがあるゾ!
325デフォルトの名無しさん
2025/10/15(水) 02:49:12.17ID:LnEbzNuN326デフォルトの名無しさん
2025/10/15(水) 18:27:52.24ID:V1g0382z cの静的動的はサイズが実行時に定まるか否かってことじゃないん?
staticかどうかはcプログラマにとっては別の感心事で
メモリの動静を語るときはそうだったと思うけど
俺の知ってる限り
staticつけてないローカルな配列のことを動的な確保って言ってる人見たこと無いわ
staticかどうかはcプログラマにとっては別の感心事で
メモリの動静を語るときはそうだったと思うけど
俺の知ってる限り
staticつけてないローカルな配列のことを動的な確保って言ってる人見たこと無いわ
327デフォルトの名無しさん
2025/10/15(水) 19:23:40.95ID:MHowvYgL Grokに訊いたら非標準のallocaやC99のVLAは動的確保に含まれる場合があるそうだ。
328デフォルトの名無しさん
2025/10/15(水) 19:43:01.58ID:zk4Ust74 配列やベクタやリストやスライスなど、言語によって様々な呼び方や実装が異なるもの、全てに共通の必須な仕組みとして、
総称としての配列の範囲チェックの話をしていて、そのまま特定の言語に関係なくこの話の流れでいいんだよな
>>316
>>配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
静的と動的は様々な対象に用いられるが、今回は静的メモリ確保
これをアドレスが変わらないという解釈でも、いわゆるセグメントのうち静的領域に確保するという意味でも同じ
特定の言語の話ではないが、例えばC言語なら静的宣言(static宣言)をする変数がこれに該当する
動的メモリ領域は毎回アドレスが変わるという意味でも、何かをするたびにメモリ空間から領域を確保する意味でも同じ
ただし二つに分かれて、関数呼び出しのたびに領域が確保されて関数から去ると無効になるものと、関数呼び出しのタイミングと関係なく確保することで関数を去っても有効になるもの、それら二つの異なる性質のものに分かれる
いわゆるセグメント領域としては、前者はスタック領域に確保されて後者はヒープ領域に確保される
前述の静的領域の変数とは異なり、スタック領域やヒープ領域に動的に確保することが共通の特徴であり、タイミングによってアドレスも変化する
総称としての配列の範囲チェックの話をしていて、そのまま特定の言語に関係なくこの話の流れでいいんだよな
>>316
>>配列は静的メモリ確保なのに動的メモリ確保とごっちゃになっている素人w
静的と動的は様々な対象に用いられるが、今回は静的メモリ確保
これをアドレスが変わらないという解釈でも、いわゆるセグメントのうち静的領域に確保するという意味でも同じ
特定の言語の話ではないが、例えばC言語なら静的宣言(static宣言)をする変数がこれに該当する
動的メモリ領域は毎回アドレスが変わるという意味でも、何かをするたびにメモリ空間から領域を確保する意味でも同じ
ただし二つに分かれて、関数呼び出しのたびに領域が確保されて関数から去ると無効になるものと、関数呼び出しのタイミングと関係なく確保することで関数を去っても有効になるもの、それら二つの異なる性質のものに分かれる
いわゆるセグメント領域としては、前者はスタック領域に確保されて後者はヒープ領域に確保される
前述の静的領域の変数とは異なり、スタック領域やヒープ領域に動的に確保することが共通の特徴であり、タイミングによってアドレスも変化する
329デフォルトの名無しさん
2025/10/15(水) 22:57:25.39ID:dwkfuJij330デフォルトの名無しさん
2025/10/15(水) 23:01:05.50ID:dwkfuJij331デフォルトの名無しさん
2025/10/15(水) 23:03:30.96ID:dwkfuJij332デフォルトの名無しさん
2025/10/15(水) 23:14:46.54ID:1UpfUBnV333デフォルトの名無しさん
2025/10/15(水) 23:26:49.61ID:dwkfuJij334デフォルトの名無しさん
2025/10/15(水) 23:27:17.68ID:dwkfuJij このスレはキータだったなw
変なやつしかいない
変なやつしかいない
335デフォルトの名無しさん
2025/10/15(水) 23:37:23.88ID:1UpfUBnV >>333
コレクションの話なんかどこにも出てきていないのに妄想で幻で見えてるのか?
コレクションの話なんかどこにも出てきていないのに妄想で幻で見えてるのか?
336デフォルトの名無しさん
2025/10/15(水) 23:46:08.93ID:NrKjLOWm337デフォルトの名無しさん
2025/10/18(土) 11:07:29.35ID:bVsQMdfb 『浮動小数点数に非常に小さい値を加えるとどうなるか?float型の精度限界を調べた』
知識がないところでFLT_EPSILONに近い概念を独自に発見しようとしてるのは偉いのだが、deltafの初期値を0.1fで始めてるのが惜しい。1.0fにしてればFLT_EPSILONの1/2が求まる筈。
知識がないところでFLT_EPSILONに近い概念を独自に発見しようとしてるのは偉いのだが、deltafの初期値を0.1fで始めてるのが惜しい。1.0fにしてればFLT_EPSILONの1/2が求まる筈。
338デフォルトの名無しさん
2025/10/18(土) 12:49:36.77ID:bVsQMdfb >>279
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
簡単なコードで確認してみた。
https://wandbox.org/permlink/L8hZILgJIhDYqDkB
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
簡単なコードで確認してみた。
https://wandbox.org/permlink/L8hZILgJIhDYqDkB
339デフォルトの名無しさん
2025/10/18(土) 13:32:11.38ID:qBI4ZXTO340デフォルトの名無しさん
2025/10/18(土) 13:44:09.89ID:NqvbaKoR >32bitと大き目で更にoverflowしたらループを抜けるだけで代わりの値を代入したりしてない
1から4を1億回足してるだけだからオーバーフローは発生しない。>>279が問題にしてるのはオーバーフローチェックのコストでありオーバーフローするかどうかは関係がない。
1から4を1億回足してるだけだからオーバーフローは発生しない。>>279が問題にしてるのはオーバーフローチェックのコストでありオーバーフローするかどうかは関係がない。
341デフォルトの名無しさん
2025/10/18(土) 19:06:57.05ID:ETv7F4p1 実際のプログラムには足し算など無数にあるから分岐が無数に増えて分岐予測テーブルが溢れそう
342デフォルトの名無しさん
2025/10/18(土) 19:11:50.98ID:usFOY54p Qiitaの話を全くしてないのは草
343デフォルトの名無しさん
2025/10/18(土) 20:38:26.02ID:wTbxZHCN 現実的には関数呼出になるから遅い…が、使いどころなんてたかが知れてるよな
344デフォルトの名無しさん
2025/10/18(土) 20:49:39.50ID:rM2qmS8P 結局こういうことだろね
現実と対応
303 デフォルトの名無しさん sage 2025/10/13(月) 02:39:47.42 ID:5mcGe2/B
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
現実と対応
303 デフォルトの名無しさん sage 2025/10/13(月) 02:39:47.42 ID:5mcGe2/B
オーバーフローのチェックのコストの重さ問題は特定の言語に関係なく全ての言語で生じる話だよ
そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
そして必要に応じてオーバーフローのチェックをする関数を呼び出すなどして対応するよ
345デフォルトの名無しさん
2025/10/18(土) 22:24:24.75ID:bVsQMdfb > そのためC/C++ Java Go Rustなど多くの言語では標準状態でオーバーフローのチェックは行われずラップアラウンドされた結果となるよ
危険を承知で`-Ounchecked`を指定しない限りオーバーフローチェックを行うSwiftが安全性については唯一まともな判断してるってことだよなあ。
https://godbolt.org/z/fMc6KdPb1
危険を承知で`-Ounchecked`を指定しない限りオーバーフローチェックを行うSwiftが安全性については唯一まともな判断してるってことだよなあ。
https://godbolt.org/z/fMc6KdPb1
346デフォルトの名無しさん
2025/10/18(土) 22:43:53.65ID:eyj6w4mM 半開区間を長い左右非対称な記号で表わす話もSwiftが異端だったな
そこまでの行き過ぎた過剰を他の言語は求めていないのだと思われる
そこまでの行き過ぎた過剰を他の言語は求めていないのだと思われる
347デフォルトの名無しさん
2025/10/18(土) 23:17:36.52ID:63qoaJUs 最適化指示でオーバーフロー検出が働くなるRustの仕様が適当かはRustの開発コミュでもたびたび議論になってることなのに「現行がこうなってる」で納得してるのは思考停止なんだよなあ。
348デフォルトの名無しさん
2025/10/18(土) 23:33:52.89ID:3aakVM9g Rustはプロジェクトを作る時にオーバーフローのチェックを強制したい方針ならばこの指定機能が何年も前に入ったため今は大丈夫だよ
overflow-checks = true
overflow-checks = true
349デフォルトの名無しさん
2025/10/18(土) 23:42:20.50ID:63qoaJUs >>348
そういうの気にしない馬鹿のためにデフォルトの挙動はどうであるべきかって話が理解できない奴は安全性について語らない方が良いよ。
そういうの気にしない馬鹿のためにデフォルトの挙動はどうであるべきかって話が理解できない奴は安全性について語らない方が良いよ。
350デフォルトの名無しさん
2025/10/18(土) 23:49:49.42ID:7LIpXt77 RustがIT各社に次々と採用されていってる理由は企業から見ても安全性が最も良い言語であると支持されたため
351デフォルトの名無しさん
2025/10/19(日) 20:21:17.40ID:+RR12fUB 『🏆最小自由数で競う!C++, Lisp, Rust, Mojoによる速度対決🔥 / Competing on the Minimum Free Number! Speed Battle with C++, Lisp, Rust, and Mojo 🔥』
https://qiita.com/tj9999/items/4131016df5f1c5730584
「そのコードは良くない。こう書くべき」みたいな具体的なコメントができない辺りがRust信者の限界なのかな
https://qiita.com/tj9999/items/4131016df5f1c5730584
「そのコードは良くない。こう書くべき」みたいな具体的なコメントができない辺りがRust信者の限界なのかな
352デフォルトの名無しさん
2025/10/20(月) 22:42:27.76ID:RnZTjdTH このスレ見る限りRust信者はコード書けないみたいだしなあ
353デフォルトの名無しさん
2025/10/21(火) 15:24:12.70ID:2uplBhQe > オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
安全性よりパフォーマンスが重要と思ってる人は根本的なところから分かってない。
> 劇的に遅くなることが判っているよ。
安全性よりパフォーマンスが重要と思ってる人は根本的なところから分かってない。
354デフォルトの名無しさん
2025/10/21(火) 16:11:44.43ID:PAfcSIKV 安全重視のJavaもオーバーフローチェックしないよ
355デフォルトの名無しさん
2025/10/21(火) 16:42:19.08ID:bG0rJrvl もはや誰もQiitaの話をしていないのである
356デフォルトの名無しさん
2025/10/21(火) 17:18:52.11ID:2uplBhQe 30年前の設計のJavaを安全重視と信じてる人がいるとはたまげたなあ
357デフォルトの名無しさん
2025/10/21(火) 17:46:00.64ID:d/sWvnzZ 最近の言語Go Nim RustなどもCやJavaと同様にデフォルトではオーバーフロー時にラップアラウンド
358デフォルトの名無しさん
2025/10/21(火) 18:39:21.79ID:2uplBhQe > 最近の言語Go Nim RustなどもCやJavaと同様にデフォルトではオーバーフロー時にラップアラウンド
C言語では符号付き整数のオーバーフローは未定義動作なんだがそんなことも知らない輩がなんか言ってなんだなあ。
C言語では符号付き整数のオーバーフローは未定義動作なんだがそんなことも知らない輩がなんか言ってなんだなあ。
359デフォルトの名無しさん
2025/10/21(火) 19:12:50.27ID:CCxWu0hF デフォルトでオーバーフローチェックしなくて問題になった話を聞いたことがないな
世の中のシステムは問題なく動いているもんな
チェックしたければオーバーフローチェックできるから何が問題なのかわからん
世の中のシステムは問題なく動いているもんな
チェックしたければオーバーフローチェックできるから何が問題なのかわからん
360デフォルトの名無しさん
2025/10/21(火) 19:36:04.80ID:2uplBhQe 255からエクステンドでゲームオーバーなんてザラにあるのにな
361デフォルトの名無しさん
2025/10/21(火) 23:13:46.96ID:Xc9g4ZCw >>43
『VRでもリアル空間でもスマホでも!「sonoXR」での音楽体験を実現する先端技術・FPGA独自チップ』
https://note.com/mimylovesmusic/n/n0982c3323b50
↑の記事で当日の様子が紹介されてる。
> そのElixirChipですが、2025年9月17日、Elixir関連コミュニティのオンラインLT会で初お披露目されました!
> LT会のデモンストレーションでは、macの画面共有でElixirChipがターミナルから実行されている処理が映し出されて、その解説がメインのお話だったのですよね。
> それもそのはず。
> FPGA(Field Programmable Gate Array)とは「内部の論理回路をソフトウェアのように後から自由に組み替えられるチップ」のことだというのを、このLT会で今更ながら理解しました。(お恥ずかしい・・・)
> 私はElixirChipの開発を行う株式会社Digidock Consultingにてセールスエグゼクティブも担当しています。
FPGAがどういうもんだか知らなかった人がセールス担当で「先端技術・FPGA独自チップ」とか言ってんのスゲエな。
『VRでもリアル空間でもスマホでも!「sonoXR」での音楽体験を実現する先端技術・FPGA独自チップ』
https://note.com/mimylovesmusic/n/n0982c3323b50
↑の記事で当日の様子が紹介されてる。
> そのElixirChipですが、2025年9月17日、Elixir関連コミュニティのオンラインLT会で初お披露目されました!
> LT会のデモンストレーションでは、macの画面共有でElixirChipがターミナルから実行されている処理が映し出されて、その解説がメインのお話だったのですよね。
> それもそのはず。
> FPGA(Field Programmable Gate Array)とは「内部の論理回路をソフトウェアのように後から自由に組み替えられるチップ」のことだというのを、このLT会で今更ながら理解しました。(お恥ずかしい・・・)
> 私はElixirChipの開発を行う株式会社Digidock Consultingにてセールスエグゼクティブも担当しています。
FPGAがどういうもんだか知らなかった人がセールス担当で「先端技術・FPGA独自チップ」とか言ってんのスゲエな。
362デフォルトの名無しさん
2025/10/21(火) 23:25:43.96ID:Kzm3UPI2 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
363デフォルトの名無しさん
2025/10/21(火) 23:37:30.32ID:Xc9g4ZCw > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
2**64/(365.25*24*3600*10000000000) = 58.4542046091 だから59年目でオーバーフローするだろ。
2**64/(365.25*24*3600*10000000000) = 58.4542046091 だから59年目でオーバーフローするだろ。
364デフォルトの名無しさん
2025/10/22(水) 00:52:52.35ID:36Oigqe9 8bit時代は一瞬で溢れたのに
64bit時代は凄いな
64bit時代は凄いな
365デフォルトの名無しさん
2025/10/22(水) 02:05:57.52ID:1Zu7PCWv 59年に1回だけ出現するバグがすごい
毎年再起動で対応すべき
毎年再起動で対応すべき
366デフォルトの名無しさん
2025/10/22(水) 02:24:22.73ID:W6apSoTE 最新のCPUでも10GHz行かないので1秒間に100億回のカウントが無理だよな
オーバーフローするまでもっとかかる
オーバーフローするまでもっとかかる
367デフォルトの名無しさん
2025/10/22(水) 02:29:12.26ID:kkMCRZ3c フィボナッチはオーバーフローする
368デフォルトの名無しさん
2025/10/22(水) 02:49:06.07ID:DMZH9rqW オーバーフローチェック関数を呼び出せばいい
369デフォルトの名無しさん
2025/10/22(水) 07:42:15.54ID:pPjVNDwq > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こういうマヌケが今後もいなくなることはないからオーバーフローチェックは常に行うのが安全。
こういうマヌケが今後もいなくなることはないからオーバーフローチェックは常に行うのが安全。
370デフォルトの名無しさん
2025/10/22(水) 08:11:36.58ID:UieYLCLo 溢れないんだからチェックは無駄じゃん
だから昔からチェックしない言語が使われてるんだろ
文句があるならここで暴れずに各言語に公式に言えばいい
だから昔からチェックしない言語が使われてるんだろ
文句があるならここで暴れずに各言語に公式に言えばいい
371デフォルトの名無しさん
2025/10/22(水) 09:13:09.53ID:hPyx8jr0 Rustは多段階に対応しているよ
デフォルトはデバックモードになりオーバーフロー含めた様々なチェックが充実
プロジェクト毎に常にオーバーフローチェックをする指定が可能
オーバーフローを扱う関数も多数あり
デフォルトはデバックモードになりオーバーフロー含めた様々なチェックが充実
プロジェクト毎に常にオーバーフローチェックをする指定が可能
オーバーフローを扱う関数も多数あり
372デフォルトの名無しさん
2025/10/22(水) 09:20:59.95ID:pPjVNDwq > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こういうマヌケはプロジェクトにオーバーフローチェックを行う指定なんてしないしオーバーフローを扱う関数を呼ぶこともないんだよなあ。
こういうマヌケはプロジェクトにオーバーフローチェックを行う指定なんてしないしオーバーフローを扱う関数を呼ぶこともないんだよなあ。
373デフォルトの名無しさん
2025/10/22(水) 09:30:10.17ID:hPyx8jr0 安全性の対策ができるかどうかが重視されている
安全性の対策のためにRustは次々と採用されている
対抗できるプログラミング言語が他にないからね
安全性の対策のためにRustは次々と採用されている
対抗できるプログラミング言語が他にないからね
374デフォルトの名無しさん
2025/10/22(水) 09:37:57.80ID:pPjVNDwq Rustを使えば安全という勘違い
375デフォルトの名無しさん
2025/10/22(水) 09:41:04.98ID:hPyx8jr0 Rustに勝てるプログラミング言語がないんだよ
だからこそIT大手がこぞってRustを採用した
だからこそIT大手がこぞってRustを採用した
376デフォルトの名無しさん
2025/10/22(水) 16:35:15.27ID:h019lk2V ○bitまで演算できるから大丈夫
だったのが、整数型をオーバーする●年問題とか起きたんだよ
そして今度は◯bitまで使えるから安心と結局は同じ事を繰り返してるだけ
なのに「ずっと使い続けても大丈夫」とか言えるものなんだな
だったのが、整数型をオーバーする●年問題とか起きたんだよ
そして今度は◯bitまで使えるから安心と結局は同じ事を繰り返してるだけ
なのに「ずっと使い続けても大丈夫」とか言えるものなんだな
377デフォルトの名無しさん
2025/10/22(水) 16:36:38.79ID:h019lk2V それプログラム言語で勝ちとか
何が言いたいのだか
何が言いたいのだか
378デフォルトの名無しさん
2025/10/22(水) 18:57:59.20ID:Hv/mNdUH >>279
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
このスレのRust信者はコードが書けない馬鹿しかいないのでオーバーフローチェックのコストとやらがとんでもなく高いことの例示すらできないんだよなあ。俺が代わりに確認してやったぞ。
最適化レベル3 オーバーフローチェックなし(-Copt-level=3)
https://wandbox.org/permlink/Lqo6PEO1lj23qeVx
最適化レベル3 オーバーフローチェックあり(-Copt-level=3 -Coverflow-checks=yes)
https://wandbox.org/permlink/U5IYMurSn4jMq9rP
> オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
このスレのRust信者はコードが書けない馬鹿しかいないのでオーバーフローチェックのコストとやらがとんでもなく高いことの例示すらできないんだよなあ。俺が代わりに確認してやったぞ。
最適化レベル3 オーバーフローチェックなし(-Copt-level=3)
https://wandbox.org/permlink/Lqo6PEO1lj23qeVx
最適化レベル3 オーバーフローチェックあり(-Copt-level=3 -Coverflow-checks=yes)
https://wandbox.org/permlink/U5IYMurSn4jMq9rP
379デフォルトの名無しさん
2025/10/22(水) 20:39:07.74ID:TnWf0U/l380デフォルトの名無しさん
2025/10/22(水) 21:14:42.57ID:Hv/mNdUH > コードを書けないのはおまえだろ
> その出力結果を見ろよ
何が起こってるか分からんとこういう反応w
> その出力結果を見ろよ
何が起こってるか分からんとこういう反応w
381デフォルトの名無しさん
2025/10/22(水) 21:44:59.81ID:5MvhTmyF 実行時間0秒ということはコンパイル時の定数化だろうね
コードを正しく書けない人が定数データをそのまま使って正しくベンチマーク計測できていない典型的な失敗例
コードを正しく書けない人が定数データをそのまま使って正しくベンチマーク計測できていない典型的な失敗例
382デフォルトの名無しさん
2025/10/22(水) 22:01:20.17ID:Hv/mNdUH383デフォルトの名無しさん
2025/10/22(水) 22:11:40.81ID:wCiIvwD8 比較ベンチを測るプログラムでコンパイル時に定数になってしまってるのは初心者あるあるでちよっと恥ずかしい
さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
384デフォルトの名無しさん
2025/10/22(水) 22:25:59.29ID:Hv/mNdUH > さらに定数になったことでオーバーフローチェックは軽いと主張している人は恥ずかしいを通り越してキチガイ
コスト0でできるオーバーフローチェックの例を挙げただけだけど馬鹿だとこういう理解になんのなw
コスト0でできるオーバーフローチェックの例を挙げただけだけど馬鹿だとこういう理解になんのなw
385デフォルトの名無しさん
2025/10/22(水) 22:40:18.18ID:aaZcXuwG 連投クンは3つの過ちを犯している
①実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
②その結果をもってコスト0だと主張
③その事例をもってオーバーフローチェックは重くないと主張
①実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
②その結果をもってコスト0だと主張
③その事例をもってオーバーフローチェックは重くないと主張
386デフォルトの名無しさん
2025/10/22(水) 22:53:43.71ID:Hv/mNdUH > @実行時間の比較をすべきところでコンパイル時に定数となるコードを書いてしまった
オーバーフローチェックのコストの話だからコンパイル時にできるんなら御の字なんだよなあ。
> Aその結果をもってコスト0だと主張
俺が挙げた例ではその通り。
> Bその事例をもってオーバーフローチェックは重くないと主張
オーバーフローチェックの重い例はIDコロコロ君が挙げりゃ良いのにw
馬鹿って本気で馬鹿なんだなあという感想しかないわw
オーバーフローチェックのコストの話だからコンパイル時にできるんなら御の字なんだよなあ。
> Aその結果をもってコスト0だと主張
俺が挙げた例ではその通り。
> Bその事例をもってオーバーフローチェックは重くないと主張
オーバーフローチェックの重い例はIDコロコロ君が挙げりゃ良いのにw
馬鹿って本気で馬鹿なんだなあという感想しかないわw
387デフォルトの名無しさん
2025/10/22(水) 23:22:33.57ID:MJsEo9z/ 定数の同士の計算をコンパイル時にできるだけでしょ
普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
388デフォルトの名無しさん
2025/10/23(木) 00:01:19.28ID:F7QtUS8E > 定数の同士の計算をコンパイル時にできるだけでしょ
同じコードで「最適化レベル3 オーバーフローチェックなし」では定数の同士の計算をコンパイル時にできていないので場合による。rustcは最適化が控えめなのでオーバーフローチェックを行ったほうがデータフロー解析を深いレベルで行なって効率良いコードを吐いてくれる可能性まである。
> 普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
できる場合もあればできない場合もある。
安全性を蔑ろにして良いわけはないのでコンパイル時にできないのであれば実行時のオーバーフローチェックは行うべき。そのコストが問題になるのであればプログラマがオーバーフローしないことを保証してやれば良い。
同じコードで「最適化レベル3 オーバーフローチェックなし」では定数の同士の計算をコンパイル時にできていないので場合による。rustcは最適化が控えめなのでオーバーフローチェックを行ったほうがデータフロー解析を深いレベルで行なって効率良いコードを吐いてくれる可能性まである。
> 普通は定数同士ではないためオーバーフローのチェックをコンパイル時にできるわけではないよ
できる場合もあればできない場合もある。
安全性を蔑ろにして良いわけはないのでコンパイル時にできないのであれば実行時のオーバーフローチェックは行うべき。そのコストが問題になるのであればプログラマがオーバーフローしないことを保証してやれば良い。
389デフォルトの名無しさん
2025/10/23(木) 00:05:35.18ID:OBXMa/ZD 言い訳ばかりだな
オーバーヘッドを比較するための実行時間ベンチマークで
まともなプログラマーならばコンパイル時定数になるコードを書かない
オーバーヘッドを比較するための実行時間ベンチマークで
まともなプログラマーならばコンパイル時定数になるコードを書かない
390デフォルトの名無しさん
2025/10/23(木) 00:08:38.47ID:F7QtUS8E コンパイル時にオーバーフローチェックされた例が余程悔しかったと見えるw
391デフォルトの名無しさん
2025/10/23(木) 00:10:30.87ID:F7QtUS8E つか何で
> オーバーフローチェックのコストはとんでもなく高いんだよ。
という具体的を提示しないんだろうか?
> オーバーフローチェックのコストはとんでもなく高いんだよ。
という具体的を提示しないんだろうか?
392デフォルトの名無しさん
2025/10/23(木) 01:00:14.89ID:eRkhgGUb393デフォルトの名無しさん
2025/10/23(木) 22:48:26.28ID:qJPQXYyn 最適化レベル3 オーバーフローチェックなし
https://wandbox.org/permlink/LOcWoipF2aESW8HO
> 999999999 0.000000 sec.
最適化レベル3 オーバーフローチェックなし
https://wandbox.org/permlink/BcHSm4UljxoF26fp
> 999999999 0.192019 sec.
なるほど、確かに最適化控えめだなw
https://wandbox.org/permlink/LOcWoipF2aESW8HO
> 999999999 0.000000 sec.
最適化レベル3 オーバーフローチェックなし
https://wandbox.org/permlink/BcHSm4UljxoF26fp
> 999999999 0.192019 sec.
なるほど、確かに最適化控えめだなw
394デフォルトの名無しさん
2025/10/24(金) 10:56:06.36ID:1/8UQp8U > オーバーフローチェックのコストはとんでもなく高いんだよ。
clangより遅いRustがますます遅くなっちゃうってことか。
でもそれで安全性と天秤に掛けて安全性捨てて良いって理屈にはならんと思うが。
clangより遅いRustがますます遅くなっちゃうってことか。
でもそれで安全性と天秤に掛けて安全性捨てて良いって理屈にはならんと思うが。
395デフォルトの名無しさん
2025/10/24(金) 11:39:42.14ID:pf7VrHln Rustはオーバーフローに関しても最も充実している言語
まずデフォルトではデバッグモードとなりオーバーフローを含めた様々な問題をチェックして指摘してくれる
次にオーバーフローを取り扱う関数が30個以上と充実しておりオーバーフロー時に様々な対処ができるようになっている
さらにオーバーフローチェック強制モードを指定することもできる
まずデフォルトではデバッグモードとなりオーバーフローを含めた様々な問題をチェックして指摘してくれる
次にオーバーフローを取り扱う関数が30個以上と充実しておりオーバーフロー時に様々な対処ができるようになっている
さらにオーバーフローチェック強制モードを指定することもできる
396デフォルトの名無しさん
2025/10/24(金) 12:33:51.25ID:1/8UQp8U 肝心のユーザーが
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こんなこと言ってるようじゃせっかくの機能も台無し。
こういうユーザーはオーバーフローを軽視しているので、それを扱う関数を呼んだりオーバーフローチェック強制モードを指定することもしない。
> 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
こんなこと言ってるようじゃせっかくの機能も台無し。
こういうユーザーはオーバーフローを軽視しているので、それを扱う関数を呼んだりオーバーフローチェック強制モードを指定することもしない。
397デフォルトの名無しさん
2025/10/24(金) 12:54:38.21ID:yjIuofsm Rustより優れているプログラミング言語がなく出現しそうにない
IT大手をはじめとして各社が次々とRust採用に踏み切った理由
IT大手をはじめとして各社が次々とRust採用に踏み切った理由
398デフォルトの名無しさん
2025/10/24(金) 21:32:19.69ID:Rjl1Yp+F 何をもって優れてるというのか知らんけど
採用される率だったら圧倒的に Python や JavaScript じゃないの?
採用される率だったら圧倒的に Python や JavaScript じゃないの?
399デフォルトの名無しさん
2025/10/24(金) 22:24:54.90ID:sOhxBEuL 普及している言語を採用するのは当たり前
普及してない言語をわざわざ採用するのは他の言語では代わりにならないほどメリットがある時
普及してない言語をわざわざ採用するのは他の言語では代わりにならないほどメリットがある時
400デフォルトの名無しさん
2025/10/24(金) 23:11:41.06ID:dp05dd3l > 64bitを使うと1秒間に100億カウントを100年間ずっと続けてもオーバーフローしない
この程度の実行時検出もできなくて「メリットがある」と言い張ってて草w
この程度の実行時検出もできなくて「メリットがある」と言い張ってて草w
401デフォルトの名無しさん
2025/10/25(土) 00:27:47.26ID:dZEZZMvJ 見ていてなんとなくわかってきた
プログラミング言語として敵わないからよくわからない言いがかりをつけてずっと粘着しているだけのような
プログラミング言語として敵わないからよくわからない言いがかりをつけてずっと粘着しているだけのような
402デフォルトの名無しさん
2025/10/25(土) 08:20:17.15ID:7tgM5Cd8 言語の優劣(笑)にこだわってる子が一人だけおるっていう状況かな
自己のアイデンティティを借り物で満たそうとしちゃってるね
自分がRustの作者ってんならともかく、単なるユーザでしかないのにね
自己のアイデンティティを借り物で満たそうとしちゃってるね
自分がRustの作者ってんならともかく、単なるユーザでしかないのにね
403デフォルトの名無しさん
2025/10/25(土) 08:45:36.74ID:0A7PnaiQ >>395
オーバーフローに関してそこまで充実していない言語も多いけど、なぜか充実している言語の方をしつこく叩いてるコンプレックス持ちがおるから面白い。
オーバーフローに関してそこまで充実していない言語も多いけど、なぜか充実している言語の方をしつこく叩いてるコンプレックス持ちがおるから面白い。
404デフォルトの名無しさん
2025/10/25(土) 11:38:38.14ID:APUPz67M 安全性分かってない奴がRust盲信してて笑われてるだけw
405デフォルトの名無しさん
2025/10/25(土) 11:52:03.54ID:HsDC01zZ >>52
> Rustが広まってる理由はC並みの高速実行をゼロコスト抽象化によるコードの可読性・保守性・開発効率の高さで実現したことにあるからね
> 安全性などはついでのオマケ
IDコロコロ君安全性は屁のように考えてるみたいだけど、だったら配列アクセスのたびに範囲チェックで無駄なコスト払ってるRustは良い言語ではないんじゃね? それかunsafeでポインタアクセスするのが正義?
> Rustが広まってる理由はC並みの高速実行をゼロコスト抽象化によるコードの可読性・保守性・開発効率の高さで実現したことにあるからね
> 安全性などはついでのオマケ
IDコロコロ君安全性は屁のように考えてるみたいだけど、だったら配列アクセスのたびに範囲チェックで無駄なコスト払ってるRustは良い言語ではないんじゃね? それかunsafeでポインタアクセスするのが正義?
406デフォルトの名無しさん
2025/10/25(土) 11:53:06.73ID:H3w3YKY0 安全性のためにRustを採用するところが世界的にどんどん増えているのはなぜだろう?
407デフォルトの名無しさん
2025/10/25(土) 11:59:12.87ID:APUPz67M Rustの普及と
> 安全性などはついでのオマケ
とか言っちゃう馬鹿が笑われてるのは別の話だゾw
> 安全性などはついでのオマケ
とか言っちゃう馬鹿が笑われてるのは別の話だゾw
408デフォルトの名無しさん
2025/10/25(土) 12:07:43.62ID:LnBfHi83 >>405
Rustは配列などのアクセスもゼロコスト抽象化で速さと安全性を両立してるよん
Rustは配列などのアクセスもゼロコスト抽象化で速さと安全性を両立してるよん
409デフォルトの名無しさん
2025/10/25(土) 12:58:15.22ID:APUPz67M >>408はrustcの出力見たことない人かな?
配列の範囲チェックって
https://godbolt.org/z/6johWYEce
> cmpq %rsi, %rdx
> jae .LBB0_7
↑がそれ。
ちなみにCだとこんなだ。
https://godbolt.org/z/3q4rv8P3M
配列の範囲チェックって
https://godbolt.org/z/6johWYEce
> cmpq %rsi, %rdx
> jae .LBB0_7
↑がそれ。
ちなみにCだとこんなだ。
https://godbolt.org/z/3q4rv8P3M
410デフォルトの名無しさん
2025/10/25(土) 13:03:29.33ID:APUPz67M411デフォルトの名無しさん
2025/10/25(土) 17:01:14.86ID:L+Kq+g5v C言語は、ポインタが、ヤバイくて、危ないよね。
RUST言語は、ポインタが、無いのなら、安全ぢゃねえ?
RUST言語は、ポインタが、無いのなら、安全ぢゃねえ?
412デフォルトの名無しさん
2025/10/25(土) 17:40:57.11ID:zF/r+ywr413デフォルトの名無しさん
2025/10/25(土) 18:04:23.93ID:zF/r+ywr 個人開発ならともかく、仕事で使う言語は自分の好みじゃなくて組織によって決まるものだよね
Rustが好きでも、Goのプロジェクトに入ったらGoを書く、Javaのプロジェクトに入ったらJavaを書くのがプロ
宣言的なコードが好きだからといって、OOPの言語や、for文 と if文 をひたすら書かされる言語では仕事したくないです、なんてのは社会人としてだめでしょ
(Rustを使える企業に転職する、という選択ができる人は別だけど)
Rustが好きでも、Goのプロジェクトに入ったらGoを書く、Javaのプロジェクトに入ったらJavaを書くのがプロ
宣言的なコードが好きだからといって、OOPの言語や、for文 と if文 をひたすら書かされる言語では仕事したくないです、なんてのは社会人としてだめでしょ
(Rustを使える企業に転職する、という選択ができる人は別だけど)
414デフォルトの名無しさん
2025/10/25(土) 19:23:29.07ID:KXTmWn4e 企業や立場によってピンキリだよ
そういう歯車として使われる人もいればそうでない人もいる
そういう歯車として使われる人もいればそうでない人もいる
415デフォルトの名無しさん
2025/10/25(土) 19:50:23.21ID:SFAxzZT/ どの分野でもAとBの比較の話をしている時に同じことが起きてるな
純粋にそれぞれの特徴やメリットで優劣を比較すればいい
ところが不利になった側はどの話でもこう言い出す
Aを使うやつはXXXだ!Aの価値よりおまえの価値はどうなんだ!
AとBの比較から逃避して人間の攻撃を始める
純粋にそれぞれの特徴やメリットで優劣を比較すればいい
ところが不利になった側はどの話でもこう言い出す
Aを使うやつはXXXだ!Aの価値よりおまえの価値はどうなんだ!
AとBの比較から逃避して人間の攻撃を始める
416デフォルトの名無しさん
2025/10/25(土) 19:55:57.53ID:waw5U/cg なんか話がズレまくってるなここ
417デフォルトの名無しさん
2025/10/25(土) 19:56:03.79ID:N83OYtmK > オーバーフローチェックのコストはとんでもなく高いんだよ。
> 劇的に遅くなることが判っているよ。
とか
> 安全性などはついでのオマケ
とか言ってる人は根本的なところがわかってないので言語を選定したりプロジェクトを先導する立場に立たせてはダメ。
> 劇的に遅くなることが判っているよ。
とか
> 安全性などはついでのオマケ
とか言ってる人は根本的なところがわかってないので言語を選定したりプロジェクトを先導する立場に立たせてはダメ。
418デフォルトの名無しさん
2025/10/25(土) 20:04:36.75ID:nC0XVvFS 安全性と速さの両立が最重要だもんな
利害対立し合うIT大手企業が珍しく揃ってそのために選択したRustを用いるのが正しい
利害対立し合うIT大手企業が珍しく揃ってそのために選択したRustを用いるのが正しい
419デフォルトの名無しさん
2025/10/25(土) 20:25:04.83ID:N83OYtmK > 安全性と速さの両立が最重要だもんな
↑馬鹿発見w
↑馬鹿発見w
420デフォルトの名無しさん
2025/10/25(土) 20:33:41.34ID:TVzQqIlO 安全性と速さだけではダメ
高い抽象度で読み書きしやすいことが大切
Rustはそこを満たしたからこそ新たな移行先になった
高い抽象度で読み書きしやすいことが大切
Rustはそこを満たしたからこそ新たな移行先になった
レスを投稿する
ニュース
- 【速報】習主席とトランプ大統領が電話会談 台湾問題について★3 [ニョキニョキ★]
- 【速報】トランプ大統領、中国の習近平国家主席を「国賓」として招待することに [ニョキニョキ★]
- 人生初黒星の神童、那須川天心がリング上で土下座 [牛丼★]
- 米中電話会談、トランプ氏は「米国側は中国にとっての台湾問題の重要性を理解する」 [1ゲットロボ★]
- 【音楽】「なんでこんなバカが国のトップなの?」 若者に人気のバンド「GEZAN」のマヒトゥ・ザ・ピーポーが高市総理に苦言 [シャチ★]
- 中国人「『日本は危ないから行かないように』と言われたが、日本に来たらとても安全だった」 [お断り★]
- 【高市悲報】来年、習近平主席がアメリカに「国賓」として訪米。どうするんだよ高市・・・アメリカも敵に回すのか? [483862913]
- トランプおやびん「米中関係は極めて強固」高市早苗「」 [834922174]
- 【号外】習近平、米大統領のトランプと首脳会談を行う!日本のの武力による台湾脅しついて共有の追及をする意思統一でおこなう [339712612]
- 【悲報】八田與一容疑者、海に入って大陸へ逃げた可能性😲wwwwwwwwwww [232136196]
- 【高市悲報】トランプおやびん「偉大な指導者である習近平首席、米国は中国にとっての台湾問題の重要性を理解しています」 [115996789]
- 【速報】高市「アタシぜっったい謝らないからッ!!」→中国焦る [308389511]
