C++相談室 part165

[1 デフォルトの名無しさん (ﾜｯﾁｮｲ efda-9b8G) 2023/10/31(火) 07:37:38.52 ID:+ZyYyqMO0]

!extend:checked:vvvvv:1000:512
!extend:checked:vvvvv:1000:512
↑同じ内容を3行貼り付けること

次スレは>>980が立てること
無理なら細かく安価指定

※前スレ
C++相談室 part164
https://mevius.5ch.net/test/read.cgi/tech/1683600652/

---

VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured

[987 デフォルトの名無しさん (ｱｳｱｳｳｰ Sa21-NXaD) 2025/04/26(土) 15:54:33.92 ID:IX/fzv3ga]

boostの方のは使ってた

[988 デフォルトの名無しさん (ﾜｯﾁｮｲ 66a1-0INX) 2025/04/26(土) 17:25:44.72 ID:DKbZdqM30]

>>961
breakもcontinueもgotoの一種なのだから仕方が無い
行先がスコープの始まりか終わりに限定される、というのが良心的なだけで
実行フローをぐちゃぐちゃにできうる能力のはgotoとほとんど変わらないし、、、
for (i=0; i < 100; i++) {
　　if (i == a) { continue; }
　　if (i == b) { break; }
　　if (i == c) { continue; } // i== aとi==cをまとめるとしたら、if (i == a && i != b && i == c) { continue; }としないとバグ
　　if (i == d) { break; }
}

また例外はスローする関数と条件を把握していない限り、
いつ炸裂するかわからないステルスgoto文がコード中にばらまかれているのとだいたい同じ……
従って構造化プログラミングで議論に結論がﾃﾞﾀと考えるのは早計で、goto問題は永遠に古くて新しい問題……

[989 デフォルトの名無しさん (ﾜｯﾁｮｲ 5ee3-M5IX) 2025/04/26(土) 21:55:33.90 ID:P90TCdD80]

一生やってろよw

[990 デフォルトの名無しさん (ﾜｯﾁｮｲ 66cf-jhy/) 2025/04/26(土) 23:03:17.16 ID:KeLpsr3P0]

大量のコードが不可分にもつれあった状態を作れるgotoと
連接・分岐・反復という構造を崩さないcontinue/breakの
違いがわからないようならどうしようもない。

[991 デフォルトの名無しさん (ﾜｯﾁｮｲ b501-N74K) 2025/04/26(土) 23:12:16.46 ID:qC2gIsX80]

古いXLISPのソース見たら発狂するのかしら？

[992 デフォルトの名無しさん (ﾜｯﾁｮｲ b77c-ko3M) 2025/04/27(日) 00:35:43.45 ID:J2DPm7Xn0]

そんなに構造化が嫌なら最初から機械語で書けばいい
gotoしかないから楽しいかもよ
私は嫌です

[993 デフォルトの名無しさん (ﾜｯﾁｮｲ ff39-VpId) 2025/04/27(日) 05:06:56.76 ID:sqtCgEt90]

いや普通の機械語・アセンブラでも、いまどきキレイに書くからｗ

AIがコード生成しだしたらもうしらん あいつら疲れ知らずの限界なしだから

[994 デフォルトの名無しさん (ｱｳｱｳｳｰ Sa1b-Dl8r) 2025/04/27(日) 14:53:44.65 ID:rRExk4WBa]

「機械語はgotoしかない」は明らかに嘘だな

[995 デフォルトの名無しさん (ﾜｯﾁｮｲ 1701-7NrX) 2025/04/27(日) 15:18:04.41 ID:5TUg21k+0]

せやば

[996 はちみつ餃子 ◆8X2XSCHEME (ﾜｯﾁｮｲ b732-jewZ) 2025/04/27(日) 17:44:14.12 ID:0aN/b0Iq0]

ダイクストラが言う構造化プログラミングはモジュールとか抽象データ型とかも含む広範で抽象的な概念として説明されている。
連接・分岐・反復で構成しようという話はそれより前に発表されたものだが、この時代は構造化もクソもないプログラムがまかり通っていたという前提がある。
まずはその三要素を基礎に据えて構成したらわかりやすくね？ という提案 (というか感想？) に過ぎず、それで全て事足りるみたいな主張ではない。
(理論上は連接・分岐・反復で全て表現可能であるという証明はされている。)

構造化プログラミングの考え方のキモは構造は人間の認知の中にあるということ。
人間が思考しているときの構造を書き表すためにどんな言語機能 (またはデザインパターン) があればよいの？ ってのが構造化プログラミングの議論なんだよ。
書いた人が思ってる構造が表現されているなら構造化プログラミングだし、構造化プログラミングのために用意された機能を使っていても構造が表れていなければ構造化プログラミングではない。
まあついでに言えば書き表されたものについて (コンパイラも人間も) 検証しやすいことも大事だ。

機械的に goto を除去したらむしろ構造が失われるという例をクヌースが出したりもしていて、結局のところはどんな機能も正しく使えば正しいし、悪い使い方をすれば駄目になるというシンプルな話。
そんなわけで break が構造化を崩すか崩さないかは使い方による。
ただ、常識的に考えて break は goto より構造を破綻させにくいだろうってだけ。

[997 デフォルトの名無しさん (ﾜｯﾁｮｲ 9f35-3+vo) 2025/04/27(日) 18:16:26.55 ID:yHO53gwR0]

ダイクストラがじゃなくてもうちょい場を学ぼう
便所でいきなり大声で演説垂れ始める人がいたらみんな引くもんなんだよw

[998 デフォルトの名無しさん (ﾜｯﾁｮｲ ff39-VpId) 2025/04/27(日) 19:25:43.76 ID:sqtCgEt90]

>>997 >>997

[999 デフォルトの名無しさん (ｽﾌｯ Sdbf-Nh+M) 2025/04/28(月) 10:15:47.67 ID:3WBgyNGdd]

連接と分岐があれば反復は要らない説

[1000 デフォルトの名無しさん (ﾜｯﾁｮｲ 7732-Dl8r) 2025/04/28(月) 10:19:08.06 ID:AuNLagCl0]

C++相談室 part166
https://mevius.5ch.net/test/read.cgi/tech/1745631298/
仲良く使ってね