C言語なら俺に聞け 153

2019/08/17(土) 23:02:42.00

C言語の話題のみ取り扱います C++の話題はC++スレへ
質問には最低限の情報(ソース/コンパイラ/OS)を付ける
数行で収まらないソースは以下を適当に使ってURLを晒す
https://paiza.io/
https://ideone.com/
http://codepad.org/

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/
-
VIPQ2_EXTDAT: checked:vvvvv:1000:512:----: EXT was configured
※前スレ
C言語なら俺に聞け 152
https://mevius.5ch.net/test/read.cgi/tech/1560763630/

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

2019/12/25(水) 08:32:20.25

それもこれもマジックナンバーにコメント書かなかったおまいらが悪いんやで

2019/12/25(水) 08:34:25.12

マジックナンバーの何がいけない、どういう場合にどんな問題があるかを理解しないまま、杓子定規にルールだけ覚えるとそんな奴が出来上がるな。

2019/12/25(水) 08:51:06.27

>>721
> プロジェクトリーダー「数字直接記入禁止！全部#define で置き換えろ！」

良いと思うよ!!

2019/12/25(水) 09:53:45.40

値まで書いたアホっぽい定数はわりと使うかな・・・

#define EGGCOUNT30 30
みたいに書いちゃうやつ

コード中に即値書きたいけど書くとリファクタリングで死ぬから
リファクタリングのためだけに定数書いてる感じ

2019/12/25(水) 10:17:23.56

当たり前だがリファクタリング以前に定数調整だけで死ぬぞ
#define EGGCOUNT 30
なら
#define EGGCOUNT 40
で済むのに

#define EGGCOUNT30 30
だと
#define EGGCOUNT40 40
で全置換する気か

2019/12/25(水) 10:24:47.96

s/30/40/g
は基地外沙汰だが
s/EGGCOUNT30/EGGCOUNT40/g
ならイケそうかも!!

2019/12/25(水) 13:00:30.03

フォーマット文字列中のも駄目なんかな
少数以下 3桁に整えるのに　"%.3f" → "%.*f" にして引数で渡す

2019/12/25(水) 13:08:29.51

ああフォーマット文字列を define しろということか
#define FORMAT "%.3f"
　：
sprintf(buf, FROMAT, double_value);
みたいな

2019/12/25(水) 13:12:39.59

>>727
数値一通りdefineして
NUM_56
みたいに数値のかわりに使う

糞コーディング規約の典型

そういう環境だと
大抵defineの数値を変えるだけじゃまともに動かない

2019/12/25(水) 13:18:43.41

>>730
文字列リテラルをコード中に記述禁止
その為itoaみたいなのを組み合わせたコードが出来る

2019/12/25(水) 13:45:41.90

>>727
そのとおり、全置換をする前提なんよ

置換するのはIDEのお仕事だから漏れは無いと信頼してるし、なにより
ソース改変による影響範囲の割り出しとテストしなおしの強制を兼ねてる

2019/12/25(水) 13:50:36.68

エディタの正規表現は使わないのか？
複数パターンでも一回で出来ると思うが

2019/12/25(水) 14:28:39.98

>>720
MISRA-C の違反！

if(条件式) には、実質的なbool 値のみを書く！

ただし、if( x ) で、x がbool変数なら、OK

2019/12/25(水) 14:58:33.15

x != 0 も bool ではないんだが

**735** (ﾜｯﾁｮｲ 9f2c-1ZZR) · 2019/12/25(水) 15:17:44.07

x != 0
は、yes/no の2値しかないでしょ？

実質的には、bool 値として使っている

2019/12/25(水) 15:25:44.58

それはおまえの思い込み

ISO/IEC 9899:2011
6.5.9 Equality operators
3
Each of the operators yields 1 if the specified relation is true and 0 if it is false.
The result has type int.

これが事実だ

2019/12/25(水) 16:13:24.55

直接コードを書くことを禁止する。スクリプトを使って書け。

2019/12/25(水) 16:42:27.57

BOOL
YESNO
OKCANCEL
ONEBIT

実質的にboolなら中身はdoubleでもenumでもint64_tでもifに入れて良い
っていうコーディング規約

**735** (ﾜｯﾁｮｲ 9f2c-1ZZR) · 2019/12/25(水) 16:42:38.50

文法は関係ない。
あくまでも、コードの品質・可読性を上げるための、MISRA-C のルール！

if, while などの条件式には、実質的なbool 値しか書けない

条件式に、単なる整数などを書けない。
整数の0 を偽とみなした、条件判断を書けない

MISRA-Cを守っていないと、低品質で、審査に通りませんよと言うことw

2019/12/25(水) 17:03:05.94

>>741
よそのスレでRuby基地外っぷりを発揮してさんざん迷惑を掛けているお前がルール遵守を説くなんて、羞恥心はないのか？

2019/12/25(水) 17:09:20.32

if (x) → if (!!x) かにゃ？

2019/12/25(水) 18:22:33.85

>>735
if(!!x)

2019/12/25(水) 19:13:54.17

まともなルールと仮定した場合

>>735 がダメなら
>>743 >>744 もダメだろうな

◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-lwDA) · 2019/12/25(水) 19:56:23.47

>>741
また MISRA ですか…
MISRA 適合かどうかを診断してくれるプログラムでも配布してくれているんだと思っていましたが、そうではなく、ただ人を縛る規則を決めるのが好きな人間の集団なんですね…

2019/12/25(水) 21:01:12.18

> MISRA-Cを守っていないと、低品質で、審査に通りませんよと言うことw

MISRA-Cを守っていれば、高品質で、審査に通ると言いたいのか？
もう罵倒語が喉まで出かかっているんだが

2019/12/25(水) 22:01:38.68

違うナァ
MISRA語ルールを守っているとMISRA語のコンパイラが書けないんだよｗ
大いなる自己矛盾に陥ってMISRAは沈没する

2019/12/25(水) 22:15:36.92

>>726みたいなのはいくつか特定の値しかとれない引数のために使われることはあるね。
まぁenumでもいいんだけど。

2019/12/25(水) 22:31:21.33

>>747
>> MISRA-Cを守っていないと、低品質で、審査に通りませんよと言うことw
これを読んで
> MISRA-Cを守っていれば、高品質で、審査に通ると言いたいのか？
と解釈する奴はもれなくバカ

2019/12/25(水) 22:35:19.52

>>750
違うんなら弁明しろよ
それができないだろうという予想で、罵倒語が喉まで出かかっている

2019/12/25(水) 22:55:02.25

>>751
マジでバカなのか？w
AならBである
から
AでないならBでない
（当たり前だが真ではない）
って書けばお前のアホさが理解できるかな？
これでわからないなら中学の数学からやり直せ

2019/12/25(水) 23:19:28.12

0(ゼロ)はマジックナンバーじゃないような気が

2019/12/25(水) 23:20:28.23

8進数は使用禁止なので0は使えません

2019/12/26(木) 00:09:17.82

0x0と書けばいい

2019/12/26(木) 01:10:46.52

main関数の{ }についてお聞きしたいんですが、
int main(void) {
____/* コード */
}
という表記ではいけないですか？
スッキリCや各種サイトを見ると、
int main(void)
{
____/* コード */
}
となっていることがほとんどなのですが

2019/12/26(木) 01:13:45.64

間を取って
int main(void) { /* コード */ }
でも動くぞ

2019/12/26(木) 01:16:16.88

>>756
コンパイラは改行を無視するんやで

**756** (ﾜｯﾁｮｲ 5e1d-fJ/L) · 2019/12/26(木) 01:20:09.70

ありがとうございます。
後者にしないといけないという決まりとかあるんですか？

2019/12/26(木) 01:22:32.15

文法じゃなくてコーディングスタイルのこと聞いてるんでしょ。
チーム内で決まったスタイルがあるならそれに従えばいいし、
そうでなければ自分の好みで決めればいい。
俺の好みは1行減るし統一感のある前者。

2019/12/26(木) 01:23:11.55

私も前者

2019/12/26(木) 01:28:27.58

K&R2は後者

**756** (ﾜｯﾁｮｲ 5e1d-fJ/L) · 2019/12/26(木) 01:40:40.30

もう少し考えてみようと思います
深夜にありがとうございました

2019/12/26(木) 07:31:20.36

>>752
では、741は何を主張したかったんだ？

> MISRA-Cを守っていないと、低品質で、審査に通りませんよと言うことw

わざわざ、こんな戯れ言をぬかした意図を説明しろ

2019/12/26(木) 07:33:50.37

>>764
それは741に聞けや
俺はお前のバカさを指摘しただけ

2019/12/26(木) 07:36:01.30

>>756
if (...) {
while (...) {
do {
なのに、
main()
{
という矛盾はよく見かけるが
そうなっている案件で秩序を乱すことはしない

2019/12/26(木) 07:49:13.97

>>765
741本人のくせに自分の言葉から逃げてんなよ
まあ、あれじゃ逃げたくなるのはわかるがｗ

2019/12/26(木) 08:06:43.81

>>756
int func(int arg)
{
...
}
という具合に「関数本体を開始する波括弧を次の行に書く」方式だと
ヘッダファイルにプロトタイプ宣言として書き写す際に
1行コピーして行末に ; 追加で完了、楽チンという利点があるわね。

main() の場合は当てはまらないのがやや弱いけど。

2019/12/26(木) 08:18:02.10

>>767
自分のバカさを認められずに自演認定でごまかすのに必死かよw
哀れな奴

2019/12/26(木) 08:31:13.53

>>769
MISRAの話しなくなってやんのｗ
技術板で技術的な話ができないやつはゴミ以下だぜ

2019/12/26(木) 08:47:26.74

>>770
> 技術板で技術的な話ができないやつはゴミ以下だぜ
中学校の数学すら理解してない奴が何言ってるんだかw

2019/12/26(木) 10:44:30.71

>>771
いや理解してるよ
そうでなきゃ年収８桁はできねえ

2019/12/26(木) 11:06:55.96

こんなところで年収自慢なんかしても虚しいだけじゃないか？
対偶を勘違いしてるなんてみんな気付いてるのに無理につっかかんなって

2019/12/26(木) 11:13:36.42

>>766
power(x, n)
int x, n;
{
....
}

2019/12/26(木) 11:15:24.50

MISRAで if(x)がまずい理由を教えてくだされ

2019/12/26(木) 11:17:42.33

>>731
一般的に特定の非正規形は特定の分析用途には使いやすくても
違う観点で分析しようとすると正規形からデータ変形するよりも多くの手間がかかる
参照オンリーの場合でもデータの利用方法が定型化していない場合は正規形から考えるメリットは大きい

特にRDBで分析用途のDBを用意する場合は参照オンリーでも正規形から考えとかないと手間が異常に増える

2019/12/26(木) 11:21:50.00

>>752
高品質で、審査に通っていれば、MISRA-Cを守っている

やっぱり違うなω
元の命題からして可笑しいωωω

2019/12/26(木) 11:31:06.38

元の命題の真偽ではなく元の命題を真と仮定した場合、対偶は真か？という話
本来、対偶は真であるが747は対偶ではない命題を挙げてそれが真であるかのようにレスしているので突っ込まれた
対偶の挙げ方の間違いを指摘したのになぜか元の命題の真偽についてギャーギャー言うから話が噛み合わない

2019/12/26(木) 11:36:01.57

>>773
みんな気付いているのは、わざと言っていることだよ
鬼の首でも取ったように得意がってるのがおまえだけ
中学の数学がやっとわかるのか、すごいなあｗ

2019/12/26(木) 12:24:56.24

いきなり年収自慢とか笑える
まあ低能にありがちな行動だけどなw

2019/12/26(木) 12:27:00.84

中卒でも中には総理大臣になった人もいるけどね
そういうことにしといてやろうか？

2019/12/26(木) 12:48:48.88

そもそも集合関係と因果関係を混同しているのが間違いの原因
「事象Aが真ならば事象Bは真」の対偶「事象Bが真でないならば事象Aは真ではない」は常に正しい
一方「原因Aが真ならば結果Bは真」に対して「結果Bが真でないならば原因Aは真ではない」は正しいとは限らない

**デフォルトの名無しさん** (JP 0H99-La8A) · 2019/12/26(木) 13:05:49.36

>>774
K&R1の時代には改行後に { を書くしかないが、
いまどき持ち出して混乱させるのはやめろ

2019/12/26(木) 13:06:48.52

>>782
おまえ747の時点で俺がそう言っているのが読めてないもんな
そうやって教科書を朗読するのもいいことだから頑張んなｗ

お勉強はまず憶えることが初手だが
現実問題に応用できるようになって始めて完成するんだよ

2019/12/26(木) 13:08:29.47

>>783
774は制御文と関数は違うということが766の言う「矛盾」のルーツだと言いたいんだと思うぜ

2019/12/26(木) 16:43:01.33

>>747は「事象Aが真でないならば事象Bは真ではない」
集合論で言えば「対偶」ではなくて「裏」の関係

2019/12/26(木) 16:53:45.31

「裏」の「逆」または「逆」の「裏」が「対偶」
ある命題とその待遇が等しいのはそれぞれの事象に因果関係が存在しない場合に限る

2019/12/26(木) 16:55:11.16

訂正
対偶 ← 待遇

2019/12/26(木) 16:58:23.55

ダッサ。

2019/12/26(木) 17:06:16.94

やっぱり、憶えたてなんだな

2019/12/26(木) 17:08:28.53

間違った応用が>>747

2019/12/26(木) 17:49:48.63

MISRAの肩を持とうとしてしくじったトンマなやつに
どんな気持ちか聞いてみたのさ

2019/12/26(木) 17:53:02.71

741本人以外がこんなに激怒するわけねえしな
なあトンマ、今どんな気持ち？

2019/12/26(木) 19:16:56.42

対偶と裏の区別もつかずに年収8桁とか学歴とか低能にありがちなレス連発やんw
こんなわかりやすい奴久々に見たわ

2019/12/26(木) 19:33:59.80

この場合は対偶ではなく必要条件だろう

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/26(木) 20:35:37.78

>>794
あなたのほうが滑っていますよ…
そもそも MISRA 推しな時点でこのスレの住人から疑問の声が挙がっているのに、まだそれに気づかないの？

末期ですね

2019/12/26(木) 22:41:57.32

いくらMISRA推しガーとか言っても>>747がバカなのは変わらないんだがw

2019/12/26(木) 22:55:46.00

トヨタの車が暴走した問題で、米国議会でも言ってただろ

トヨタは、MISRA-C で、10点ぐらいしか取れてないってw
100ルール中、90に違反してる

守ってない企業があるから、人命を預かる、ロケット・医療系組み込みなどでは、
特に厳しい資格が必要だと議論になってる

組み込みでは、バグで簡単に、人が死ぬから

だから、何十年も研究してる、Elixir みたいな関数型を使う

2019/12/26(木) 23:26:05.24

プログラムを書くのに●●は駄目だとか使いにくくなるほど制限かけてもさぁ
書きたい事に必要な関数とか書き方とか知らないようなのに投げてるだけなので脆弱性になるようなバグは出てくるし意味がない
むしろ知ってるような人にとっては制限になって害でしかない

**798** (ﾜｯﾁｮｲ ae2c-fJ/L) · 2019/12/26(木) 23:35:54.81

JavaScript で言えば、TypeScript, ESLint とか

違反を警告してくれる、lint ツール

2019/12/27(金) 04:25:18.37

>>740
> 実質的にboolなら中身はdoubleでもenumでもint64_tでもifに入れて良い
っていうコーディング規約
-0.0は ?

2019/12/27(金) 08:36:35.25

>>799
御意

無能のために無能に合わせろと無能がわめく
自己虫以外の何ものでもない

2019/12/27(金) 10:25:45.84

MISRAってむしろ>>799, >>802みたいな自称上級者がやらかすのを防止するためのものなんだけどなw

2019/12/27(金) 11:19:30.64

もうめんどくさいからMISRA押しのRuby君が害悪ということでいいのではなかろうか？

2019/12/27(金) 11:33:33.48

>>798
トヨタなんて下請け丸投げでソース読めなくてレビューもしてくれなくてテスト仕様書も丸投げで無駄なエビデンスばかり要求してる
10点ぐらいしか取れてないのは下請けなんだけどそれを指摘もできない

2019/12/27(金) 12:23:31.65

>>803
上級者なんて称号は俺はもちろん客先の誰も使ってねえぜ
仕事がもらえる、それだけだ

わかるかい？　無職君ｗ

2019/12/27(金) 12:25:05.61

ちょっと年収の話したらあんなに発狂すると思わなかった
よっぽどコンプレックスらしいな、おーこわ

2019/12/27(金) 13:04:42.76

作業は指示するが仕事は教えないクソ野郎が増えたから
この先の見通しが暗い。

2019/12/27(金) 13:14:05.49

「自称」上級者の意味すら理解できない>>806
だめなのは数学だけかと思ったら国語も壊滅的だなw

2019/12/27(金) 14:16:27.64

見てやってよ、このファビョり方ｗ

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/27(金) 18:59:31.88

>>800
そういうものを MISRA 対応として lint ツールとして無償公開するのが筋というものでしょうね

2019/12/27(金) 19:05:46.68

例外項目を設けてスコアで評価するにしても、事前に自動評価できるツールがあるといいですわね

2019/12/27(金) 19:07:00.34

すぐに愚痴こぼしスレになってしまう

2019/12/27(金) 19:30:32.05

スコアとか意味ねえ
違反箇所は違反箇所で数の問題じゃねえ
違反プログラムは遠さねえとぬかすなら絶対に通すな
その結果に責任を持て

2019/12/27(金) 20:14:59.62

対偶すら理解できてない奴が責任を持てとかw

2019/12/27(金) 20:32:09.24

MISRA対応テストツール高そう

2019/12/27(金) 20:33:12.08

>>803が仕事を出している側である可能性を考慮できない>>806

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/27(金) 20:59:59.10

>>815
そこにしか突っ込むことが出来ないのですか？みじめですね…

**798** (ﾜｯﾁｮｲ ae2c-fJ/L) · 2019/12/27(金) 21:01:30.94

組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド、MISRA‐C研究会、2006

この研究会は、トヨタなど大企業から、数十人のベテが集まって、
欧州人に聞きながら、作った本。
未だに、コーディングルールのバイブルだろ

元々は、Andrew Koenig の本

C Traps and Pitfalls, 1988, c1989
Cプログラミングの落とし穴

この本から、Lint が始まったのじゃないか？

2019/12/27(金) 21:11:55.30

>>818
別に他のところに興味ないし
まあこんな初歩的なところに突っ込まれるとそりゃ困るわなw
だからROMってりゃいいと思うんだけどな

2019/12/27(金) 21:13:58.37

>>819
> この本から、Lint が始まったのじゃないか？
流石にもう少し時代を見てからレスした方がいいぞ…

2019/12/27(金) 21:29:02.92

そっかー組み込み屋さんはUNIXの歴史とか知らなかったりするのか

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/27(金) 21:33:22.44

>>819
＞この本から、Lint が始まったのじゃないか？

違います
初期の lint はベル研の V7 と同時、1979 にはリリースされています
K&R1 は特に引数まわりはスキのある仕様でしたので細かくチェックをいれる lint は必要であったのも理解できます、これは K&R2 になってかなり改善されました
それに最近のコンパイラは lint に似た warning も出せるようになったし