「この位置にｐｒｉｎｔｆが無いとなぜか動かないんだ。」 - Qiita

はじめに 先日ツイッターで見かけた呟き pic.twitter.com/33Yk02hu1U — TOMO (@tomozh) October 14, 2020 そういうこともあるのか的な反応もあるようなので具体例を挙げてみることにする。 例1 所謂FizzBuzz問題。 #include <stdio.h> void fizzbuzz(int n) { int next; int i = 1; do { printf(i % 15 ? i % 5 ? i % 3 ? "%d\n" : "Fizz\n" : "Buzz\n" : "FizzBuzz\n", i); if (i++ >= n) next = 0; } while (next); } int main(void) { printf((char[]){""}); // この位置にprintfが無いとなぜか動かない fizzbuz

[fukken]

× printfが無いとなぜか動かない ○printfがあるとなぜか動く

[muuuminsan]

再現させられる例を狙って出せるのは凄い

[k2wanko]

なんでprintfがあると動くのか気になって夜も６時間くらいしか寝れない

[rryu]

オーバーランしてるけどたまたま直後にいた奴を犠牲にして動いているのあるある。

[theatrical]

"/*十分な大きさ*/と白々しいコメントがあるにも関わらず領域が足りておらずバッファオーバーランを起こしている" 最高

[ysync]

「自分の書いたコードを信じてはいけない。」はい。

[tockri]

printfで使われなくなると最適化で変数の宣言部が消えてスタック領域が切り詰められてたまたま参照できてた場所が領域外になるのか。読めばなるほどってなるけど、長いコードの中からこういうの見つけるの無理そー。

[poponponpon]

“おわりに おわりです。 ”

[PEEE]

こういうメモリ領域上たまたま動くやつもあるけど、デバイスドライバとかハードウェアが絡むやつだとprintfの処理でタイミングが変わって動いたりすることがある。デバッグログ入れたら再現しなくなったとかね…

[ardarim]

偶々動く、なんてことはふつうあり得ないわけで（0とは言わない）、突き詰めれば必ず原因がある。ただこの手の問題は正攻法では原因にたどり着かないのが難しい所以。原因の特定、理解には一段上の知識が必要。

[ytRino]

大学の課題でC書いてるときに1・2度経験がある😇

[tanakh]

C++書いてた時よくこういうのに悩まされたなあ。今だと-fsanitizeでいけるんかなって試してみたら、例2のほうはエラーになってくれたけど、例1のほうはaddressでもundefinedでも出なかった。これを拾ってくれないのか…。

[versatile]

こういうのよくあったなぁ昔

[raahii]

“自分の書いたコードを信じてはいけない。”

[konishika]

へー。おもしろい

[shiju_kago]

原因はわからないけどなぜか入れたら動く部分を『おまじない』って名付けた人秀逸すぎる

[mashori]

素晴らしき解説。

[terazzo]

狙って鼻から悪魔を出せる人すごい

[bell_chime_ring238]

これぞプログラム言語って感じがする（古老感） あまりにもこういう事例が起きすぎるんで、最近の言語やスクリプトでは気にしなくても済むような仕様になってきてるが、それがまた「？」になる人を増やすという…

[nyokkori]

わぁ、卒業研究で作ったプログラム思い出して来たぞ、、、。

[OkadaHiroshi]

これらの例とは関係ないけど、昔の処理系でprintfの内容で別なライブラリをリンク(単純なprintfなら機能が限定されたフットプリントの小さい物)するので、そのライブラリの関係で動作したりしなかったりする事があった

[nicht-sein]

マルチスレッドが絡むと「偶々動く」が頻発するので、人類にはまだマルチスレッドは早すぎる

[sharaku3eyes]

もしかしたら動かなくなってから誰かがprintf入れてfixした可能性…

[t-tanaka]

未定義動作はコンパイラが警告出してくれるけど，バッファーオーバーランは，ほんと機械的には防げないから大変。

[kiyo_hiko]

Cこわ…手を出さんとこ

[yamadar]

例を出して解説できるの凄い

[modoroso]

面白い

[natu3kan]

変数をしっかり定義し、メモリの使う場所や初期化もしっかりしておかないと、初期化されてない前提じゃないと動かないみたいな状況になったりとかはある。

[otihateten3510]

C言語って、恐いよね

[xxix29]

たまたま動いている状態にすぎないからこそのおまじない。

[NOV1975]

こういうのって、コケてくれれば調べられるんだけど、動くと気づきを得るしかなくて辛いデバッグになりがち

[havanap]

セキュリティ的にもよろしくない

[knok]

コンパイラのお気持ちを把握されている

[bigchu]

自分の書いたコードを信じてはいけない。

[satomi_hanten]

組み込みだと年がら年中よくある話なんだが、結局「ハードの仕様とあってない」か「ハードの仕様が間違ってる」ためタイミングがズレるとかいう話なので別枠すかね。（ROMの初期化が間に合わないとか色々）

[z1h4784]

最近の言語はこれくらいコンパイラ側で何とかしてくれるから、こういう不具合に当たることは少なくなったな

[ginpei]

未初期化変数とバッファオーバーランの周囲でprintf()を利用して意図的に「たまたま動く」状態を用意した例。前者は関数呼び出しで未初期化領域が非0で埋まることを期待、後者は壊れても影響のないバッファを配置。

[richard_raw]

“自分の書いたコードを信じてはいけない。” せやな……。

[deep_one]

未定義変数を参照できてしまう言語実装が恐ろしい。

[neo_Neutral]

このパターンで怖いのがデバッグ用のログを消すと不具合が出るパターン