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(水) 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 も出せるようになったし

**798** (ﾜｯﾁｮｲ ae2c-fJ/L) · 2019/12/27(金) 22:09:21.87

はじめてのOSコードリーディング UNIX V6で学ぶカーネルのしくみ、青柳隆宏、2013

そう言えば昔、こういう本も読んだ

2019/12/28(土) 01:02:34.32

ジャンケンのコードを書いてみました
よろしければ、ご指摘等をお願いします
https://pastebin.com/HCLJ5m7p

2019/12/28(土) 02:00:59.65

>>825
少しは取り繕えよ
何かのコピペだろ

2019/12/28(土) 06:31:05.78

>>823
> それに最近のコンパイラは lint に似た warning も出せるようになったし
初期のlint使ったことないだろw

2019/12/28(土) 07:57:54.17

>>817
そんな可能性は絶対の絶対にゼロだ

2019/12/28(土) 08:04:30.24

>>815
俺に言わせれば、おまえ文系くせえんだよ
俺はハード設計もやるから負論理だのド・モルガンだのは息をするくらい当たり前なことで
待遇だの裏だのという用語で得意がるやつは専門分野は何だろうと思ってしまうのさ

それから突っ込まれてるのはおまえだぞ、741本人よ

2019/12/28(土) 08:18:01.34

待遇で得意がるvsドモルガンで得意がる
小学生同士かよ

2019/12/28(土) 08:39:28.74

>>829
対偶の話に負論理とかド・モルガン？
恥の上塗りか？
あと741に突っ込んでるのは頓珍漢なお前だけだぞw

2019/12/28(土) 09:32:59.76

やっぱり通じねえなｗ

2019/12/28(土) 09:45:41.04

C言語の話しようぜ

2019/12/28(土) 10:06:23.41

printf("やっぱり通じねえなｗ\n");

**798** (ﾜｯﾁｮｲ ae2c-fJ/L) · 2019/12/28(土) 11:10:17.46

電子回路・HDL などの組み込みでは、
AND, OR, NOT, NAND,NOR などの回路、
負論理、ド・モルガン、カルノー図とか、初歩だぞw

まず、情報処理の組み込みの教科書を読め！

2019/12/28(土) 11:11:43.15

>>831
負論理とかドモルガン知ってる人が対偶の意味知らないと思ってるの？

2019/12/28(土) 11:18:29.36

双対は知らないだろう？

2019/12/28(土) 11:34:08.50

このスレっていつも下らない喧嘩を延々と続けてる奴らがいるけど、何なんだろう。どっちが正しいとか以前に言ってる中身(議論の仕方)が下らなくて他人からはどっちもバカにしか見えないから消えてくれないか。

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/28(土) 11:34:44.58

>>827
Sun OS 4.1 のはやったことがありますが、初期の頃とは変わっていたのかも

2019/12/28(土) 11:54:34.25

>>836
彼は分かってない
2回も指摘されてるのに論理が破綻していることに気付いてない
>>747,750,751,752
>>782,784,786

2019/12/28(土) 12:53:03.04

>>836
さあどうだろうね、「ド・モルガンの定理知ってる」なら「待遇を理解してる」という命題が証明されたとか聞いたことないし
そもそもド・モルガン知ってるとか言うのも>>829が言ってるだけだし、>>747が対偶でない事を知ってるのかすら怪しいしなw

2019/12/28(土) 13:01:09.99

読んでないから知らんけどこんな雑談に対偶ガーとか論理ガーとか証明ガーってのは馬鹿馬鹿しいね。

2019/12/28(土) 13:08:05.93

似て非なるもの
ド・モルガン
A ∩ B = ¬(¬A ∪ ¬B)
A ∪ B = ¬(¬A ∩ ¬B)
対偶
A ⇒ B = ¬(¬B ⇒ ¬A)