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/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)

2019/12/28(土) 13:09:43.37

正直、アスペ馬鹿が下らないことを追求したがってるだけにしか見えない

2019/12/28(土) 13:14:14.77

コピペ改変してから何か変だと思い直してみれば正解はこうだったすまん
対偶
A ⇒ B = ¬B ⇒ ¬A

**825** (ﾜｯﾁｮｲ 5e1d-fJ/L) · 2019/12/28(土) 13:19:13.30

>>826
いえ、typedefの文はスッキリCを参考にしましたが、
あとのアルゴリズムはオリジナルです

こんなところで意見を求めるのは図々しいと分かってはいますが、
何とかお願いします

2019/12/28(土) 14:01:27.13

後出しで負けを実装するとよりじゃんけんぽくなるぞ

2019/12/28(土) 15:05:05.31

C言語のBNFって何種類あるの？
知ってるだけ全部教えて

2019/12/28(土) 15:51:37.71

>>842
うん、俺もそう思うよ
>>747が裏も正しいと思い込んでるバカってだけの話だしw

>>844
何を追求してると思うの？
追求すべき事柄なんて特にないと思うけど

2019/12/28(土) 15:54:09.64

>>848
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm

2019/12/28(土) 15:54:25.66

>>848
ググれ

2019/12/28(土) 17:33:03.88

OKグーグル、CのBNFを教えて

2019/12/28(土) 17:41:03.87

K&Rの付録ページになかったかなかな？

2019/12/28(土) 17:45:59.25

BNFで思い出したが

enum { a } func(void) { return a; }

この文法使い道ないよな

2019/12/29(日) 03:22:40.86

>>714
エイリアスの否定とはいただけない
直値だけの糞コードはゴメンだわ
意味によって0とNULLは書き分けるよ

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/29(日) 10:41:38.70

>>855
その書き分けに意味はあるのでしょうか？

2019/12/29(日) 10:49:06.87

>>856
お前にとっては意味がない。
俺や俺以外の書き分けたい人には意味がある。
それだけだから気にしなくていいぞ。

2019/12/29(日) 11:39:04.46

やたら長いコードの中で
it = &a;
*a = 0;
it = 0;
a = 0;
とか書かれたら混乱するだろ。
あ、でも屑はハンガリー人なんだっけ？

◆QZaw55cn4c (ﾜｯﾁｮｲ ea47-7AkR) · 2019/12/29(日) 11:58:28.30

>>858
ハンガリアンはやらないです

2019/12/29(日) 22:32:49.20

>>858
混乱するから数値のゼロもdefineしなさい

2019/12/29(日) 23:06:45.98

ハンガリー人は宇宙人だから仕方ないね

2019/12/30(月) 06:33:44.11

>>825,846
自分ならこんな感じで書く、程度のものですが思うけど良かったらどうぞ
https://pastebin.com/idm94WiU

別の機能を追加する必要とか出てきたとき、
ジャンケン自体を関数化してあげたほうがmain()関数内がゴチャゴチャしなくて良いかなと思って書きました。

2019/12/30(月) 08:17:18.73

ゴチャゴチャがjankenに移るだけ

2019/12/30(月) 09:11:36.36

typedef char String[1024];

とtypedefしてるのはたしかどこかの教科書の流儀だったはずだ
最近その話題を見かけた

2019/12/30(月) 12:24:04.93

あいこでの再戦と、もう一回じゃんけんするのは、
目的が違うんだから別ロジックにすべき。

2019/12/30(月) 12:31:51.34

同じ処理を共通化する
今後異なる可能性のある処理をあらかじめ分けておく

いろんな設計思想がある

2019/12/30(月) 17:54:24.59

#define O 0

2019/12/30(月) 23:34:38.97

>>864
配列のtypedefって代入で問題にならんのかな
今のCの仕様追ってないけど昔は構文エラーになるから構造体に入れる必要があった

2019/12/31(火) 00:15:56.34

>>825
これは危険なので普通はやらない。

scanf("%s", nextStr);

2019/12/31(火) 00:24:22.42

1文字入力ならgetc使うかな。

2019/12/31(火) 07:44:51.11

>>868
jmp_bufは配列のtypedefだよ