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」と書かれている一方，
後者は（初学者なので経験がなく，正しい認識ではないかもしれませんが）慣用的な書き方なので
規格票にも書かれておらず，正確に同じ意味なのかどうかを確かめられませんでした。

2021/07/18(日) 00:36:46.74

>>33
「意味するところは全く違うが、結果だけ見れば全く同じ」です。

2021/07/18(日) 01:19:32.77

bool型が導入されたことで得られるメリットはは何かあるでしょうか
またデメリットはあるでしょうか

2021/07/18(日) 07:53:07.50

メリットは、必ず真偽値になること

デメリットは、必ず真偽値になってしまうこと
例えばエラーコードのようにいい加減な経緯で拡張していくことはできない

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ aee9-6rOL) · 2021/07/18(日) 09:54:45.66

>>35
ctypes.h の isalpha() とか islower() とかその他大勢は、偽のときは 0 を必ず返しますが、真のときは 1 とは限らない 0 でない別の数を返したりするんですよ
そういうのは紛らわしいので、そういう紛らわしさが減る bool の存在はありがたいですね

2021/07/18(日) 16:58:13.77

関数の () は演算子
キャストの () は演算子
だそうですが
数学の数式で優先度上げるのに相当する () は演算子ですか？

2021/07/18(日) 17:14:40.88

いいえ

2021/07/18(日) 20:03:28.13

>>34
ありがとうございます！

33 (ｱｳｱｳｷｰ Sa4d-vUbb) · 2021/07/18(日) 20:08:43.08

>>34
すんません
入力欄間違えました。

2021/07/18(日) 21:49:36.58

>>33
真偽値型にキャストした結果の型は _Bool で、 !! を通した型は int という違いはある。

https://wandbox.org/permlink/zlxhRTGr5Sj8IsiH

整数を扱う多くの場合では整数拡張が入ったりして違いが吸収
されてしまうからどちらでもいい場合がほとんどだと思うけど、
あらゆる状況で完全に同じとは言い切れない。

ちなみに C++ では整数に ! を適用した結果は bool なので、
もちろん !! の結果も bool になる。

2021/07/18(日) 21:52:36.39

>>38
違う
一次式を囲む()は
後置式に属する関数呼び出しの()でも
単項式に属するキャスト記法のキャストの()でもない

2021/07/18(日) 22:42:35.27

>>42
_Generic 便利ですね……。C11から追加されたんだ。

2021/07/18(日) 22:44:22.95

>>38
ほとんど関係ないけど，Haskelだと優先度を上げる()記法を
$演算子で代用できるから，
「優先度を上げる()を演算子としてみる」というのはそう不自然ではないかも。

でも（たぶん）C言語だとそういうことはない。

2021/07/19(月) 17:37:03.07

こういう認定試験用にC言語勉強するときって
https://www.sikaku.gr.jp/js/cpjv/
32bit版のコンパイラの方が良いんでしょうか？
64bit版でintとかsize_tとかサイズ変わると困りませんか？

2021/07/19(月) 17:41:05.09

逆にsizeof(size_t)が返す値が処理系定義であることを考え落とす癖がつくと
そこを弱点として狙われるぞ

2021/07/20(火) 15:47:40.82

変わって困ることならむしろ困ってみたほうが勉強になるんじゃね。

2021/07/20(火) 17:03:23.21

> 1級で使用する環境について（公開試験）
コンパイラ Borland C++ Compiler 5.5
JIS X 3010-1993に対応
エディタ TeraPadまたはメモ帳
文字コード：SHIFT-JIS、改行コード：CR+LF

※当コンパイラの操作にはコマンドプロンプトの知識が必要です。
※解答用のソースプログラムは、SHIFT-JISで保存してください。
※指定した保存形式で保存されていない場合は、採点の対象となりません。

・・・なんだかなぁ

2021/07/20(火) 18:27:33.17

せめてC99対応コンパイラにしようよ

2021/07/20(火) 18:37:29.47

JISX 3010 1993で使えない構文や関数を回避して回答する能力を受験者に課すなんてなかなか高度な試験だね

2021/07/20(火) 20:03:33.02

BCCってまだVSの無料版が無かった頃に無料で使えるコンパイラとして粂井氏のHPで紹介されてて使ってたなあ
その時代から何も進化してない資格なんだろうな……

2021/07/21(水) 00:20:28.07

bccとかLSI-C(試食版)とか、Cマガの付録で

2021/07/21(水) 07:39:41.26

BCCは知っててもそれだけじゃ困ります

2021/07/21(水) 09:12:39.48

> JIS X 3010-1993に対応

つーことは
int main(void)
{
printf("");
int x; /* これがダメ */
//このコメントもダメ
for(int y = 0; y < 1; y++) ; //これもダメ
}
今どきのコンパイラはみんなＯＫなのに
うっかり使うと減点されるという陰険な罠だな

2021/07/21(水) 09:45:21.46

検定する側が時代遅れで
しかもこんなレベルじゃ
最早コボちゃん世代を嗤えませんね？

2021/07/21(水) 10:08:36.90

まあそういう時代もあったというのは知識として有るに越したことは無いが、
前提とされるとだいぶんしんどいな。

2021/07/21(水) 11:16:37.45

じじい度検定になっとる

2021/07/21(水) 20:55:54.33

Cの範囲内なのにえらいストレスフルやな
//コメントや for 内の変数宣言が禁じられると辛い

2021/07/21(水) 21:11:33.77

だんだんいじくり回されてワケわからん言語になるんだろうな

2021/07/21(水) 22:43:38.51

>>60
あまり変更するのもどうかと思うけど
昔のままで良しというわけにもいかん部分もあるし、
現実的な妥協点をさぐりながら改定していくしか仕方がないだろ。

2021/07/22(木) 00:04:04.57

今日，O'rellyの『Lex & Yacc』で「自己参照型構造体」という概念を知ったんだけど，
これが動作する理屈とかこういう書き方をする利点がマジでわからなくて苦戦してる。

でもこれを理解できるようになればメモリ確保やポインタ参照の話がわかるようになる……
と期待してがんばる。

2021/07/22(木) 00:13:03.51

基本的なメモリ管理をわからない段階で yacc の本を読んでるのか。
実用を通して理解するのもひとつの道ではあるだろうけど、
最初はもっと単純な事例集みたいなのを見るほうがいいと思う。

**蟻人間** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdfa-rTLR) · 2021/07/22(木) 00:14:52.69

>>62
言わば再帰的定義の産物だよ。
論理的に入れ子の構造にする訳。
ヌルポインタで終わり。

2021/07/22(木) 09:38:36.05

自分が興味あることから掘り下げて行くのはいいと思うよ
とりあえず C言語リスト構造とかでググってみて

2021/07/22(木) 10:14:39.29

struct A { A a; }; ではないからな
struct A { A *p; }; ならただのポインタ

2021/07/22(木) 10:53:20.02

Ruby は、Bison, flex だったか？

2021/07/22(木) 12:38:58.69

>>63
「勉強不足」といわれればそれはその通りなんだけど
寧ろC言語のやっかいな部分にできるだけ触らないですむように
という動機でlexとyaccを学んでるんですよね……。
↑まあこういう考え方が間違ってるかもということに
『Lex & Yacc』を読んでいて気付きはじめていますが……

>>65
こういう↓ことですよね。
https://dev.grapecity.co.jp/support/powernews/column/clang/031/page02.htm
実は『Lex & Yacc』内ではそのコード概念の名前はでてこなくて
コード断片でggったりしてました。