C言語なら俺に聞け 158

■ このスレッドは過去ログ倉庫に格納されています
2021/12/25(土) 12:11:46.61ID:xxeaCAplM
!extend:checked:vvvvv:1000:512
(新スレ立ての際上記コマンドを2行書き込んでください)
C言語の話題のみ取り扱います C++の話題はC++スレへ
質問には最低限の情報(ソース/コンパイラ/OS)を付ける
数行で収まらないソースは以下を適当に使ってURLを晒す
https://paiza.io/
https://ideone.com/
http://codepad.org/

C17
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4713.pdf

C11
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1570.pdf

C99
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1256.pdf
http://kikakurui.com/x3/X3010-2003-01.html

C FAQ 日本語訳
http://www.kouno.jp/home/c_faq/

JPCERT C コーディングスタンダード
https://www.jpcert.or.jp/sc-rules/

※前スレ
C言語なら俺に聞け 157
https://mevius.5ch.net/test/read.cgi/tech/1624846971/
VIPQ2_EXTDAT: checked:vvvvv:1000:512:: EXT was configured
2022/02/22(火) 13:44:24.82ID:4nLtmRUA0
変数を定数と比較するなら変数を右辺にもってこいとかの
文法外のコーディングルールは郷に従え　としか
2022/02/22(火) 14:17:27.30ID:KAmBmnWqd
>>184
とりあえずHello world
これがなにか分からない場合は
カーニハン&リッチー著のプログラミング言語C
という本を何とかして手に入れろ
文庫本サイズの小さな本だが
Cの発明者が書いている本で
基本はこれでOK
189デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 15:24:23.33ID:9avL3EWo0
>>186
まあ、そうする
190デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 15:29:17.78ID:9avL3EWo0
C言語の構造体ってメモリーの割当って全てで保証されているのだろうか？
ビッグエンディアン、リトリエンディアンで異なるのは分かるのだが
全てリトル、Windowsで動くとして同じなのだろうか？

昔、アプリケーションの保存データを一つの構造体に収納し、それをそのままバイナリーとして
ディスクに出力していたのだが当時から気持ち悪く思っていた。
公式ドキュメントで保証でもされていれば良いのだが。
2022/02/22(火) 16:43:25.69ID:4nLtmRUA0
実行ファイルがそのままで、実行環境のOSのを行き来するならまず変わらんだろう
ソースをコンパイルしなおした結果として同じ配置になるかどうかは使ってるコンパイラ次第
ソースを別のコンパイラでコンパイルした時も同じ配置になるかどうかは使ってるコンパイラ次第

どんな場合においてもなんとかポータビリティを維持しようとするとテキスト化する羽目になる
2022/02/22(火) 17:47:31.50ID:HCzuhowO0
まあ
{
　char ch0;
　int int0;
}
みたいになるときは
{
　char ch0;
　char dummy[3];
　int int0;
}
って入れてるよ俺は
2022/02/22(火) 17:53:48.17ID:FDkOG5bL0
[3]というマジックナンバーがイヤ
詰め物の不定がイヤならmemsetでゼロクリアすれば済むこと
2022/02/22(火) 17:57:32.88ID:FDkOG5bL0
エンディアンを合わせて読み書きなんて朝飯前だし
構造体を渡された関数は中でfread/fwriteを１回じゃなきゃいけないなんて縛りはナンセンス
構造体の中に構造体があるときは、その構造体の読み書きも関数化しておけば何も問題はない
2022/02/22(火) 18:33:22.53ID:XFNPZHqh0
パディングの距離、何バイトでアライメントされるかを制御したいとなると
コンパイラ依存の #pragma に頼るわ
196デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 18:40:08.78ID:9avL3EWo0
>>191
10人規模のプロジェクトだったが、構造体のデータをそのままファイル出力してた。
特にパフォーマンスを求められる部分でも無かったので、自分でマッピングして出力したかったのだが、現状できているからと言うことで却下。
ただ、気持ち悪さは残る。案の定といってもよいが、Sun Sparkが混在したときは当然問題が出たらしい。

関係ないが、そのソフトハウスって、OracleにInsertした順序でselect出来るって信じているところもあった。
実際、そうなるが気持ち悪い。
197デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 18:52:09.49ID:9avL3EWo0
C言語で冗長化と称して同じ内容を複数の変数に書き込みバックアップをするってプロジェクトが有ったが、意味有ったのだろうか？
今でも、変数ってプログラマが意図して変更しない限り値が変わることは無いし、仮に変わったとしたらもうプログラマレベルでは対処できない問題だと思う。
あと、そんな可能性があったらループ変数だってループ中に意図せずに変わると思うが。

（ハイレベルな一般的なアプリで、OS保護下で動くもの、DMAとか他ハードウェアとメモリを共有するような低レベルな話ではない）
2022/02/22(火) 19:02:11.86ID:pG+m+rIk0
昔、組込みやってた時は全部ではないけど特に動作中に変化すると致命的な箇所は同内容を複数の変数に保存していたことはある
製品評価でノイズ試験やサージ試験おこなっていると意外にマイコン内のメモリのデータはよく化ける
2022/02/22(火) 19:03:01.04ID:6JePgkF30
疑うことを知らずに一生を終える人は幸せである
2022/02/22(火) 19:21:24.62ID:IWqq52SNa
>>197,198
素朴な疑問なんたが、それ不一致起こしてた場合どっちが正しいと判断してたんだ？
2022/02/22(火) 19:32:40.86ID:xH13yj0x0
>>190
言語仕様としての保証はあんまりないよ。
ABI (Application Binary Interface) と呼ばれる規格を作って同じアーキテクチャでは同じレイアウトにする通例はあるし、
既存のライブラリと組み合わせられないと不都合だからだいたいのコンパイラはそれに従ってる。

x86 (64ビットも含む) については歴史的事情で Windows はマイクロソフトが決めた ABI があって、
Windows 意外 (Linux とか BSD とか) はおおよそ System V ABI を採用してる。

で、自分が作るプログラムがターゲットにする範囲 (開発環境・実行環境) で ABI が共通ならそれでいいし、
違うなら適当に切り分けて対処するとかでも問題ない。
まあ結果的に問題なかったとしても検証せずにやってたんだとしたら良くはないけどな。
2022/02/22(火) 19:47:53.56ID:pG+m+rIk0
>>200
不一致が起きた場合はとにかく最優先でシステムを安全に停止させる
制御不能で暴走させることだけは何としても回避する
その後はソフトリセット処理を実行して再起動させていた
2022/02/22(火) 19:51:42.70ID:xH13yj0x0
PC でもデータが化けることは思ったよりも頻繁に起きているらしい。
データ破損を検出して補正する ECC と呼ばれる機構を持ったメモリもあるんだが、
コンピュータの値下げの圧力と信頼性の高い現代のメモリでは ECC は必要ないという論から ECC を付けてない機種が増えてきてる。
でもリーナスは ECC は要るにきまってんだろという感じの発言をしてる。

https://linux.srad.jp/story/21/01/05/0240202/

実際問題として化けるんだよ、化けたことを検出したり補正したりする機構がいたるところに入ってるから
アプリケーションからは気にせずに済んでるだけで……。
2022/02/22(火) 20:27:20.57ID:x7wwxQmEK
>>192
よく見かける手法だな。ただ、後からメンバー追加したのか以下のようなアホな事になっている件もたまにあるｗ

{
　char ch0;
　char ch1;
　char dummy[3];
　int int0;
}
2022/02/22(火) 20:27:50.66ID:affn0mKeM
「メルキオール (MELCHIOR)」「バルタザール (BALTHASAR)」
「カスパー (CASPER)」 という3つの独立したシステムによる
合議制をとっていた。
2022/02/22(火) 20:56:32.44ID:IWqq52SNa
>>202
チェッサムやパリティビット的な用途なんか
なぜチェックサムを使わないのか……って聞くのは野暮？

>>192>>204
パックや共用体にしとこうぜ
2022/02/22(火) 21:00:04.31ID:mN73zrRIM
>>204
コンパイラによるけど警告レベル上げれば検出できるぞ
208デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 21:02:51.52ID:9avL3EWo0
>>200
３箇所の変数で多数決だった。３つ違う場合はアプリ終了。
ちなみにOSのメモリ保護された普通なプログラムです。
組み込みマイコンでも、DMAアクセスされるメモリーでも有りません。
209デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 21:10:15.11ID:9avL3EWo0
>>203
＞＞アプリケーションからは気にせずに済んでるだけで……
なのでOSで保護された上で動くアプリケーションはデータの冗長化は必要ないのでは？

というか、データを冗長化するという方針で作られたシステムもいわゆる神経質という
設計思想があり。　データ認定？された物は３重化されて変数に保管されるが
ループのi,j,kや一時的にデータを取得するaと言った変数は多重化されていなかった。

仮に変数の冗長化が重要だと言うことになった場合。なぜデータ認定されたものだけ冗長化され
ループ変数は冗長化せずに単体で使うのかって部分に気持ち悪さを感じる。

どの変数も「平等に」食らう可能性はあると思うから。
210デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 21:17:01.78ID:9avL3EWo0
>>201
「変数をバイナリーでファイルに出力する」と聞いてリーダーに求めたのは
メモリーマップ。当然、準備しているものだと思っていた。

ただ、メモリーマップなど知らないし意味も分からない、サンプルを見てくれ？
という指示だった。

バイナリーでのデータ交換をするのにメモリーマップを定めないことに関しては今でも気持ち悪さを感じている。
2022/02/22(火) 21:27:02.48ID:xH13yj0x0
>>209
> OSで保護された上で動くアプリケーションは

OS では解決できない。 だからリーナスはインテルにマジムカという話。

変数を何か所にも増やすのが意味ないというのは、それはそう。
どうやったってどうにもならんので考えるだけ無駄。
職人技でどうにかできるような規模の小さな組み込み分野ならともかく、
複雑高度なコンピュータで低レイヤが信頼できないなら信頼できない箇所にコストをかけて改善すべき。
2022/02/22(火) 21:56:15.32ID:ntDF8W1ma
>>208
それなら気持ちは分かる
意味は解せぬが
2022/02/22(火) 21:59:25.84ID:fFHtSmjBd
>>209
ハードウェアエラーが原因ならプログラムの実行バイナリも平等に化ける可能性あるよね
2022/02/22(火) 22:00:17.02ID:FDkOG5bL0
>>204
そんなんテスト通るんか？
テストもせずに放置？
2022/02/22(火) 22:07:46.87ID:6JePgkF30
アポロ計画だったか、3台のコンピュータに計算させて多数決で決めてたな
2022/02/22(火) 22:18:57.41ID:6JePgkF30
それとCのようにロジックが追え、時間さえあれば
人でも答えが出せる場合ではなく、
AIシステムのようにブラックボックス化していると、
複数台による合議制もあるかも知れない
2022/02/22(火) 22:31:59.79ID:xH13yj0x0
深層学習ってニューラルネットワークを多層構造にしたモデルなんだよね。
AI の仕組みの中に (重みづけされた) 多数決が既に組み込まれていると言えなくもない。
218デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 23:00:22.43ID:9avL3EWo0
>>215
それなら分かる。計算結果を多数決専用のワイヤロジックで決め
また、３台の入力に戻して計算していれば。
219デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/22(火) 23:05:44.26ID:9avL3EWo0
>>213
そう思う。本当に冗長化するなら、ストアされているプログラムも
カウンタ変数も信頼性は平等だと思う。

レジスタに収納されてればより信頼性が上がると言われそうだが、
ループ変数だってメモリに退避されていることが多いから信頼性は同じだと思う。
2022/02/22(火) 23:14:07.01ID:AiPUeoxY0
>>211
> OS では解決できない。 だからリーナスはインテルにマジムカという話。
Xeon 使えばいいだけだろ
サーバーによってはECCだけじゃなくてミラーリングも使えたりするし
https://jp.fujitsu.com/platform/server/primergy/technical/pcserver-description/memory.html
2022/02/22(火) 23:21:36.39ID:xH13yj0x0
>>220
この場合は出来るハードウェアもあるってのは反論にならないんだよ。
出来ないハードウェアが世の中に溢れてるってのが問題なんだから。
2022/02/22(火) 23:34:31.66ID:AiPUeoxY0
>>221
溢れてて何が問題なんだ？
リーナスは金持ってるかもしれんが世の中ECCマシンを買える奴ばかりじゃないんだし
2022/02/23(水) 00:08:53.35ID:o4j3GXmb0
>>222
安ければデメリットもあるのもしょうがないといえばしょうがない話ではあるけどね。
デメリットはない (あるいは十分に小さい) と言い張ってインテルは ECC なし製品を推し進めたけど、
実際にはそうじゃないことがわかったとなれば文句を言いたくもなるだろう。
2022/02/23(水) 07:03:47.68ID:6oKgGQho0
>>223
> 実際にはそうじゃないことがわかったとなれば文句を言いたくもなるだろう。
そうじゃないと言ってるけど実際どれくらいあるんだ？
仕事で上に書いたようなサーバーでシステム構築してたけどメモリーエラーなんて見たことないし
2022/02/23(水) 08:03:17.13ID:FxZT1eeTd
>>210
WindowsでのBITMAPFILEHEADERとか主要なファイルヘッダの構造は全部構造体で定義されてるから気にしたことないなあ
ダミーパディング込みで
気になるなら定義部分を見てみるといい
余計なパディング入れないプラグマとかも使われているはず
2022/02/23(水) 08:27:04.99ID:JOM9/OKLa
https://www.itmedia.co.jp/news/articles/0602/13/news037.html

MS「ECCメモリを標準搭載にしろ」
インテル「やだ」
2022/02/23(水) 08:44:18.35ID:FxZT1eeTd
>>226
＞　それは、Microsoftは今調べているドライバの問題から、Windows XPのシステム・アプリケーションのクラッシュの主な原因がメモリの欠陥にあることを知ったからだ。

えっ？ｗ
2022/02/23(水) 09:11:50.93ID:pngadACwM
リーナスもMSもECCメモリーがーって騒ぐ前にやることがあるだろw
229デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/23(水) 09:34:02.54ID:vebGIGPQ0
>>224
２０年間プログラマをやってたが、勝手に値が変わっていたことは一度もない。
（全てOSで保護されたアプリケーションレベルの経験）
230デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/23(水) 09:37:11.21ID:vebGIGPQ0
>>225
https://docs.microsoft.com/ja-jp/windows/win32/api/wingdi/ns-wingdi-bitmapfileheader
これでファイルの読み書きしても良いんだ。
MS公式文書で書かれているということで、今まで引っかかっているところが解消した感じ。
2022/02/23(水) 09:42:44.82ID:hrDKDc9G0
昔宇宙線だかなんだかがメモリデータを破壊するとかそんな記事を読んだ気がそこはかとなく(ry
2022/02/23(水) 10:39:13.43ID:6oKgGQho0
>>229
万が一書き換わってても気付かない事の方が多いだろ
2022/02/23(水) 10:44:14.42ID:6oKgGQho0
>>231
アルファ線とか宇宙線中性子とか
https://www.hitachi.co.jp/rd/glossary/jp_so/sofutoeraa.html

メモリーを心配するならFPGAも心配しろよ
https://www.hitachi.co.jp/rd/sc/story/softerr/index.html
2022/02/23(水) 11:25:09.62ID:o4j3GXmb0
>>229
勝手に書き換わっているかどうかどうやって検証したんだ？
ICE とかでわかるもんなの？
2022/02/23(水) 12:31:11.32ID:v1sPphh80
Windowsならメモリーエラーでブルースクリーンになるよな
2022/02/23(水) 12:39:56.12ID:stefKGxD0
ならねえよ
「何となく調子悪い」PCがmemtest86で問題発覚はあるけどな
2022/02/23(水) 12:54:35.71ID:FxZT1eeTd
再現性がまったくないから
端子の接触不良か熱暴走で片付けられると思う
238デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/23(水) 13:35:22.91ID:vebGIGPQ0
Cで変数を分散するって話は人生で一回だけ。
それ以降は、どの言語でも意図して変更していなければ絶対に変数は変わらないという事を前提にコーディングしている。
でも、問題は無い。
2022/02/23(水) 13:42:56.07ID:n4QLtIZ70
eccメモリ積んだサーバー使えばいいじゃん
240デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/23(水) 13:44:37.23ID:vebGIGPQ0
>>231
ケースをシールドしたり、信号ラインを絶縁して対応していると思われる。
241デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/23(水) 16:46:51.15ID:vebGIGPQ0
while(1){

a(&x);
if(x==1) break;
b();
}

ってコーディングを禁止している案件もあった。break文じゃなく、しっかりと条件式がfalseになるように書けとのことだった。
ただ、このやり方って入門書にも書いてある普通な方法だと思うけど。ループの中間くらいで抜けたいときはその後の処理をifで実行できないようにしていたので可読性は悪かった。
もちろん continue も封印されていた。

while(x!=1){
a(&x);
if(x!=1) b();
}

みたいに
2022/02/23(水) 16:49:25.49ID:n4QLtIZ70
whileの中で関数呼べばいいじゃん
2022/02/23(水) 17:07:12.12ID:FxZT1eeTd
inline関数ならオーバーヘッドもないはずだしな
それで何が聞きたいんじゃ？
2022/02/23(水) 17:08:55.71ID:6oKgGQho0
俺なら
a(&x);
while(x == 1){
b();
a(&x);
}
って書くかな
2022/02/23(水) 19:16:45.48ID:Q2o1N4Td0
理不尽だと思われるコーディングルールも歴史があってそうなってたりするから
長いものに巻かれるしかない
2022/02/23(水) 22:15:21.75ID:PssNo99E0
俺なら嫌味のように
{
bool need_break=false;
while(... && !need_break){
//前半処理
if(!(need_break=...)){
//後半処理
}
}
}
とでも書くかな
2022/02/23(水) 22:33:27.74ID:ek+gncWLM
for (;;)

なんでみんなこれ使わないの？
2022/02/23(水) 22:36:06.79ID:v1sPphh80
泣いてるみたいで悲しい
2022/02/23(水) 23:22:31.05ID:lJym8p+qM
あと制御文の括弧前にスペース入れるのは少数派なんだろうか…
2022/02/23(水) 23:26:41.88ID:o4j3GXmb0
個々の場面で不適切でもチーム全員が適切に判断できないようなら
比較的マシそうな側に統一するルールにも合理性はある。

それとか「わからんかったらこうしとけ」みたいな口伝が
拡大解釈されていったりするのもありそうな話だ。
2022/02/24(木) 00:03:57.70ID:KIw+63Ii0
>>249
Google のガイドでは if や for の後に空白を入れる方針になってる。
私は入れないけど。
2022/02/24(木) 00:21:21.22ID:KIw+63Ii0
>>247
それが無限ループになるというのが読み取り難いからではないかな。
初期化やインクリメントの部分を省略したら単に何もしないのだろうと類推できるけど、
省略された条件式が真に判定されるのか偽に判定されるのかというのは例外規則として知ってなきゃわからない。

慣用句 (イディオム) と化してるので慣れてしまうと普通に読めるけど、
while(1) のほうが明示的な分だけわかりやすいのかもしれない。
2022/02/24(木) 00:27:00.80ID:DLFV0+Dqa
関数っぽさをなくすためにスペース空ける方がいいと思う
2022/02/24(木) 02:22:52.59ID:9O+r6lMKM
>>252
while文で無限ループを作れるにも関わらず
Rustではloop式を導入してる点が興味深いよね
loop文ではなくloop式なのでbreak 値; で値を返せて凄く便利
2022/02/24(木) 02:31:22.55ID:KIw+63Ii0
>>254
ループとしては無限ループにしておいて break で抜けるような構造は良くないといえばあんまり良くないんだけど、
そうは言っても存在する以上はその場合を明示的に表せるような構文があると便利ってのも確かで、
そのあたりは設計思想の違いとしか言いようがないよな……。
2022/02/24(木) 02:44:45.66ID:9O+r6lMKM
>>255
その構造が良くないというのは自分も昔はそうだったが単なる思い込みだと気付いたw
さらにwhileは先頭でif break、do whileは最後でif breakしているだけであるし
ある程度計算を進めてから途中でようやくif breakできないとwhileだと困ることもloop式で解決された
さらにループを抜けてbreakしたい時は値を返したい時が多いからloop文ではなくloop式が非常に便利
2022/02/24(木) 05:13:17.42ID:SpBJKMB7H
>>251,249
K&R2 では if や for, switch の後にはスペースを入れますね
私は基本的に K&R2 に沿って書きますが、関数の始まりを示す { は例外的に宣言に続けて書きます

int main() {
return 0;
}
2022/02/24(木) 06:47:25.50ID:iDpw9I/70
>>247
俺は使うよ
while(1) だと警告出るから
2022/02/24(木) 06:53:42.23ID:MBzpszCI0
俺もマジックナンバーがないほうが好き
2022/02/24(木) 08:03:43.62ID:PbuedMT9d
#define FOREVER for(;;)
2022/02/24(木) 08:20:28.13ID:MBzpszCI0
>>260
こう書くとbreakやgotoが嘘つきに見えるな
262デフォルトの名無しさん (ﾜｯﾁｮｲ 8310-iDSx)
垢版 |
2022/02/24(木) 11:30:55.34ID:XK2EQ9NF0
#define DEATH_MARCH for(;;)
2022/02/24(木) 12:02:15.07ID:7WoYZRJzd
#define DISALLOW_BREAK for(;;)
#define FOREVER for(;;)

DISALLOW_BREAK FOREVER{
...
if(...)break;
}
264デフォルトの名無しさん (ﾜｯﾁｮｲ 83b1-hSEA)
垢版 |
2022/02/24(木) 17:23:09.91ID:bIfpVEhP0
>>261
正規表現ライブラリとか使って、複雑な制御を見えなくするのも一つの手かも？
自分のところのbreak continueは嫌がられるが、他所なら見えないので。

結局機械語になれば、中でGoto（jmp）しまくっているわけなので。
2022/02/24(木) 17:32:25.81ID:MBzpszCI0
jmp命令は構造化プログラミングで問題視されるgotoとは違うぞ
2022/02/24(木) 17:36:24.61ID:KIw+63Ii0
抽象度が違う話だからなぁ。
2022/02/24(木) 17:36:30.96ID:MBzpszCI0
ダイクストラは「高級言語では」という限定をつけてgotoを問題視していたのであって
アセンブラや機械語に出てくる分岐命令はあの議論の対象外だ
2022/02/24(木) 17:38:56.51ID:KIw+63Ii0
>>267
だから >>264 は見えないところでやってる分には知らんって言ってるんだろ。
2022/02/24(木) 17:43:46.24ID:MBzpszCI0
>>268
てことは結局何も言ってないのと同じだな
Cを使えばjmpが見えなくなるなんてくだらん話は
break continueを禁止する理由とは無関係だ
2022/02/24(木) 17:44:23.55ID:5fQRd2wi0
SQL埋め込みのC言語goto使いまくってた
2022/02/24(木) 17:50:29.88ID:PbuedMT9d
K&Rでもgotoは醜いが使わないと余計な変数や不自然な構造が必要になるからねーとクギをさしてる
2022/02/24(木) 17:53:57.59ID:8VCxJpwXa
コードが80x120に収まれば俺はgotoなんて気にしない
2022/02/24(木) 17:55:30.50ID:9O+r6lMKM
>>271
そういうのもloop式導入で解決するから導入しよう
2022/02/24(木) 21:02:28.06ID:Qe3Dm4uv0
抜け出しgotoは分かる
飛び込みgotoはつらい
2022/02/25(金) 13:00:32.72ID:2Pynziee0
構造化プログラミングを盲信する気は毛頭ないが
それは違うぞ

抜けだしであろうが飛び込みであろうが
ループの端に設定された条件に従わない分岐は
ダイクストラが問題視する対象だ
2022/02/25(金) 13:19:00.10ID:Eg3DloqN0
MISRA-C でも、制御パスを変える、
goto, 複数return, (多重脱出からの？)break/continue などは禁止。
だから、ループ内で、やたらとフラグを持ち回る

でも、Linux では、
早期return, goto でエラー処理をまとめたりするから、フラグを持ち回らない
2022/02/25(金) 13:35:54.50ID:aDhOSI3tM
>>275
そんな無意味な制約を課しているとダメなプログラマーになってしまうね

>>276
MISRA-Cは本末転倒としか言いようがないね
結局その無意味な制約によって目的としたメモリ安全性などの成果を得られなかった
その長年の未解決だった課題はRustが全く別方向からようやく解決した
2022/02/25(金) 16:58:20.86ID:2Pynziee0
>>277
おまえさんもダイクストラみたいに学会誌に投稿したら？
2022/03/01(火) 11:42:38.47ID:iGO9Qf02a
break;とかcontinue;はいいの？
2022/03/01(火) 12:15:17.30ID:qblu1Z+O0
switch以外のbreakは制御式にない条件での脱出
continueは違う
2022/03/01(火) 12:24:02.66ID:QP0iZO8FM
どこでもexit
282デフォルトの名無しさん (ﾜｯﾁｮｲ 03b1-65e0)
垢版 |
2022/03/03(木) 13:53:35.02ID:2Y1y5HDI0
グローバル変数禁止プロジェクトがあって、固定値が全てリテラルでばらまかれていたので、仕様変更でチーム員は苦労してた。
自分の担当箇所は謎関数を一つ作り、そこから値を得ていた。
2022/03/03(木) 14:05:48.79ID:o7MH0vY5M
グローバル変数禁止なのになんで定数まで禁止なんだ
2022/03/03(木) 14:16:38.79ID:bgg8zGG60
>>282
グローバル「変数」と「固定」値がリテラルでばら撒かれてるのは全然違う話だが？
苦労してるのはお前さんの能力に問題があるんじゃ…
2022/03/03(木) 14:18:42.95ID:iO+E/Lewd
マクロは使わんのか？
ただの素人のスパゲッティだな
2022/03/03(木) 15:16:49.50ID:dDnSjvDO0
センス悪いやつがいるせいで
必要なものまで制限されるんだよな

ロクに精査もせずに横暴な制限を作るやつらも
センス悪いやつの一員
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況