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

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