C言語なら俺に聞け 157

2021/06/28(月) 11:22:51.50

!extend:checked:vvvvv:1000:512
(新スレ立ての際上記コマンドを2行書き込んでください)
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/

※前スレ
C言語なら俺に聞け 156
https://mevius.5ch.net/test/read.cgi/tech/1601271690/

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

2021/06/28(月) 11:26:33.76

前スレ末期の流れを再掲
> 996 自分：デフォルトの名無しさん (ﾜｯﾁｮｲ 0f45-Sffs)[sage] 投稿日：2021/06/28(月) 09:33:23.09 ID:so+vl3vs0 [1/2]
> printf("%d", sizeof (char)123); とやろうとしたら
> キャストのカッコがsizeofのカッコと解釈されてエラーになるのな
> printf("%d", sizeof((char)123)); ならおｋなんだけど
> なんだか気持ち悪い
>
> 997 返信：デフォルトの名無しさん (ﾜｯﾁｮｲ cf05-Ibo0)[sage] 投稿日：2021/06/28(月) 10:13:18.97 ID:x/UkG1ge0
> >>996
> sizeofって括弧なしで使えるの？知らなかった
>
> 998 返信：デフォルトの名無しさん (ﾜｯﾁｮｲ 0fda-qjGA)[sage] 投稿日：2021/06/28(月) 10:20:43.69 ID:WejOUFlX0
> >>996
> sizeof演算子の優先順位はcast演算子の優先順位より高いので、括弧がないと
> まず最初にsizeofと数値リテラルが評価されてその後でその結果をcastで評価するという
> おかしな状態になるのでエラーになったのでは？
>
> 999 自分：デフォルトの名無しさん (ﾜｯﾁｮｲ 0f45-Sffs)[sage] 投稿日：2021/06/28(月) 10:38:03.51 ID:so+vl3vs0 [2/2]
> sizeofとキャストはどちらも単項式なので右から結合するはず
> にも関わらずキャストが先に読まれないので気持ち悪いと言ったんだ
> 字句解析と意味解析ってことかな
>
> 1000 名前：デフォルトの名無しさん (ﾜｯﾁｮｲ 0fd2-kMi9)[] 投稿日：2021/06/28(月) 11:05:48.75 ID:HW6dR9O/0
> そもそも
> sizeof (char)
> paだけでいいものをそう記述してるのが気持ち悪い。

2021/06/28(月) 11:28:49.59

>>前スレ1000

いやcharのサイズが知りたいのではなく
キャスト式(char)123のサイズを調べようとしたんだ

Cはchar変数の値を使おうとするとintに拡張するし文字定数もint型なので
char型の値を持つ式なんてあるのかって

2021/06/28(月) 11:37:03.08

cppreferenceのc operator precedenceの項の注釈によるとオペアンドはtype castにはできないって書いてあるね。ただ仕様書の該当箇所は探せなかった

2021/06/28(月) 11:58:43.53

脚注２は俺が気持ち悪いと言ったことと似てるけどsizeof(int)*pが
(sizeof(int)) * pという算術乗算になるという話なら単項式のsizeofより優先順位が低いからまだわかる

2021/06/28(月) 12:57:31.08

A.2.1が引用元みたいなんで読んでみるとsizeof (int)123はダメだね。
sizeof +(int)123なら動くようだ。sizeof (int){1}も動きそう。

2021/06/28(月) 15:54:14.85

あーそうか
A.2.1. (6.5.3)では
unary-expressionに該当するものの１つに
unary-operator cast-expressionがあるけど
unary-operatorにキーワードsizeofが含まれず、
カッコなしのキャスト式は
sizeof unary-expressionとなっていて
sizeof cast-expressionではないってことか

2021/06/29(火) 00:32:13.44

ところで sizeof((char) 123) と sizeof(char) って同じことだよな?

2021/06/29(火) 01:01:59.00

ポインタキャストは敷居線さえ跨がなきゃ思い通りの値出てくるけど
数値キャストは難しいんだよな

2021/06/29(火) 01:04:11.67

>>8
GCC 9.3.0 では両方とも 1 でした

2021/06/29(火) 01:05:05.10

printf さんの独自性もあるし

2021/06/29(火) 02:00:52.74

>>10
ていうかやるまでもなく結果が同じにならないとおかしいよね。
一方は値を char 型にキャストしているんだから sizeof の結果は char 型のサイズになる。
もう一方は char 型のサイズを求めているから char 型のサイズになる。

2021/06/29(火) 04:29:15.93

二項演算子のいくつかでは汎整数拡張が適用されることになっているが
sizeof に渡す分には char のオブジェクトは char のオブジェクトだよ。

2021/06/29(火) 08:37:44.49

char型 + char型の式でもint型に拡張されるんだっけ？

2021/06/29(火) 13:20:32.79

もち
単項プラスでさえ拡張する

2021/06/29(火) 13:41:07.94

typedefによる新しい型の定義って、コンパイラの工程的にはどの工程で定義されるの？
字句解析？構文解析？プリプロセスじゃないよね

2021/06/29(火) 14:16:01.66

質問が間違ってる気がするけどね。
コンパイルレベルで処理されるのか、リンクするまで処理されないのか、でしょ。
で、typedefは前者

2021/06/29(火) 20:18:28.43

翻訳段階の何番目でやってんのかって質問だろ

2021/06/29(火) 20:52:30.02

構文解析の後 typedef と認知したうえで、シンボルのテーブルに追加してかないと
置換？読み替え？はできないよねぇ…

C言語は、その構造上１回の通読では解決できないんだっけ？

2021/06/29(火) 21:06:15.61

5.1.1.2 Translation phasesくらい読んでから来いよ

2021/06/29(火) 22:00:49.44

だからぁｗ
構文解析ってのはパーサね？ｗ←これは例えばbisonで作るやつね？ｗ
字句解析ってのはレキシカルアナライザね？ｗ←これは例えばflexで作るやつね？ｗ
レキシカルアナライザかパーサかって、そもそもレキシカルアナライザってのは
字句区切るだけだよｗそれをどんな命令であるかを解釈を決めるのが構文解析ねｗ

コンパイルの1pass,2passって話なら、まあそれでもいいけどさｗ
用語がでたらめすぎんでしょ。
だいたいそんなこと知ってどうするんだよ？ｗ

2021/06/29(火) 22:05:17.86

セキュリティホール探し？

2021/06/29(火) 23:35:14.00

Cの構文解析器実装してるんだけどBNFのtypedefの扱いがイミフなんだよねー

2021/06/29(火) 23:57:55.23

>>23
またぁｗ
BNF関係ないでしょうｗ

つか、typedefなんて意味不明なんてことはないと思うけど。
特定の記法のことを指してるの？BNFで書かれた
typedefの規則が読みとれないって言ってるの？ｗ

typedef struct {...};
と
struct {...} xxx;
を区別できないとかそんな話？
よくわかんないけど、変に切り出すんじゃなくて、
ストレートにこれがやりたいけど、これどうしたらいいか
わかんない、って聞く方がいいと思うんだが。
なにいってんだか、知ってる人ほど却ってわかんねーと思うんだが。

2021/06/30(水) 00:35:54.93

typedefがstorage-class specifierに属してることを言ってるなら
構文上の便宜のためだけ（for syntactic convenience only）って6.7.1(5)に書いてあるけど
Annexのsyntax summaryだけ見てる感じかな

かなりエスパーしてるから的外れだったらすまぬ

2021/06/30(水) 01:02:59.78

みなさんレスありがとう
「C BNF」でググって一番上に出るBNFを参考に実装しているんだけど、BNFが古いせいかtypedefの構文が欠落してるような気がして（気のせいでした。↓のレス参照）
でも<typedef-name>という要素はあるからtypedef機能自体はあるらしい
BNFに書いてないってことは構文解析以前の処理になるのかもしれないと思ってここで聞いてみたんだけど
混乱した人もいるみたいですまない

>>25
あー！そういうことですか
なるほど疑問が解けました
typedefをspecifierで扱ってるわけですね
ありがとうございます

2021/06/30(水) 06:48:58.92

typedefがないってことはK&R Cか

規格票でもドラフトでもいいから拾って読んでみ
http://www.open-std.org/jtc1/sc22/wg14/

2021/06/30(水) 09:43:56.46

>>27
参照してるBNFはおそらくK&R Cですね
関数の宣言が古いスタイルになっているので
ありがとうございます、参照してみます

2021/07/17(土) 09:12:05.75

リスト型構造体配列って他の言語でもあるのでしょうか？
現在職業訓練で勉強中なのですが、独学でやらないといけない範囲のようでして、
時間的余裕があまりない状態です。

他言語でも似たような考えが出てきて、Cで覚えておくと役立つなど
ございましたら、頑張って挑戦してみようと思っています。

2021/07/17(土) 12:16:52.25

リスト型構造体配列ってのは講師の人の自作用語？
それなら定義を示してもらわんと。

2021/07/17(土) 12:38:05.00

リンクリストなら他の言語にもある
普通は配列とは言わないからその言葉は謎だけど……

2021/07/17(土) 13:34:21.36

ポインタの代わりに配列のインデックスを保持してるような感じなのかね？
リスト型構造体配列

2021/07/17(土) 16:17:40.91

C99かそれ以降の標準的な環境において

(bool)someval

と

!!someval

って（例外なしに）全くおなじ効果を生むと思っていいですか。

前者はJISX3010の6.3.1.2などで「値が0になるなら0，それ以外なら1」と書かれている一方，
後者は（初学者なので経験がなく，正しい認識ではないかもしれませんが）慣用的な書き方なので
規格票にも書かれておらず，正確に同じ意味なのかどうかを確かめられませんでした。