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

[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/
仲良く使ってね