C言語なら俺に聞け 159

2022/08/04(木) 23:32:27.83

!extend:checked:vvvvv:1000:512
(新スレ立ての際上記コマンドを2行書き込んでください)
C言語の話題のみ取り扱います C++の話題はC++スレへ
質問には最低限の情報(ソース/コンパイラ/OS)を付ける
数行で収まらないソースは以下を適当に使ってURLを晒す
https://paiza.io/
https://ideone.com/
http://codepad.org/

C17
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4713.pdf

C11
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1570.pdf

C2x ドラフト
http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2731.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言語なら俺に聞け 158
https://mevius.5ch.net/test/read.cgi/tech/1640401906/

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

2022/08/04(木) 23:46:06.88

現時点んでの C2x 最新ドラフトはこっち
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2912.pdf

2022/08/04(木) 23:50:16.33

訂正ありがとう

2022/08/08(月) 01:13:34.41

n3047がC23の投票に掛けられる模様

2022/08/08(月) 01:16:49.11

おっ、こないだの会議の結果が反映されたドラフトが出てたのか。

2022/08/13(土) 08:01:13.53

配列の初期化に変数使えるのはGCC拡張ってマジか・・・
これ↓

int arr[3] = { a, b, c };

知らなかった・・・

2022/08/13(土) 08:05:10.38

>>6
あれ？
-std=c11 つけてコンパイルしてもエラーにならないな
>>6は一応C標準てことでいいのかな？

2022/08/13(土) 09:53:55.13

>>6-7
言語仕様を確認してみたら、変数が静的記憶域期間を持つときは
初期化子に現れる全ての式が定数式でなければならない (変数を含められない) という制限はある。
自動記憶域期間なら初期化子に変数を使っても問題ない。
GCC でもそのような挙動になる。

2022/08/13(土) 09:54:36.52

>>6
staticやグローバルにすると・・・

2022/08/13(土) 10:02:52.43

関連する挙動を色々と試してたんだけど、
GCC では const 付きの変数の挙動が少し C++ 寄りに拡張されているっぽい。

C++ では const 付き変数の初期化子が定数式である場合にはその変数も定数式になるが、
C では単に代入できない変数という扱いのはずなんだけど、
GCC では定数式っぽい振る舞いをする場合がある (全面的に定数式扱いというわけではない) ように見える。

2022/08/13(土) 17:52:01.55

>>9
それが静的記憶域っちゅうこっちゃがなーー

2022/08/13(土) 20:18:21.81

>>11
だからそれを言ってる

2022/08/14(日) 00:23:10.64

もう>>8に書いてあるじゃん

2022/08/14(日) 00:37:06.28

あーなるほどstaticかぁ
お前らありがとん

2022/08/14(日) 08:08:18.99

K&R Cでは配列の初期化子にも同様の制限があって
その理由は合理的だった
その後ある事情で無理が通って道理が引っ込んだ

2022/08/14(日) 11:44:40.04

staticには意味が複数あるのがC言語の挫折ポイントのひとつ

2022/08/14(日) 12:08:31.19

予約語を増やさないという方針自体は互換性を損なわないために真っ当なものだと思うけど、
名前がかぶったら単に一括置換で対処できる程度のことでもあるしなぁ……。

2022/08/14(日) 12:20:02.25

>>16
そんなので挫折するならもっと前に挫折するだろw

2022/08/14(日) 12:34:09.99

挫折自慢大会が開催されました

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 41e6-U0U7) · 2022/08/14(日) 13:14:34.32

Scheme 手習い、を挫折しました、いつ再トライしようかしら？

2022/08/14(日) 15:10:21.65

自分の性分に合ったものは気合いを入れなくても割とスルっと出来ちゃったりするし、
そういうところから周りに広げていく形でやってけばいいんでないかな。
業務で必要とかならそうも言っておれんだろうけど。

2022/08/14(日) 16:55:08.09

Kotlinもよろしく

2022/08/14(日) 17:14:45.00

完全な文脈自由文法で設計されていれば、コンパイラも簡単に作れるけどな。
しかし、Javaのその特性は完全に無視され、誰にも気づかれなかった。
お前らも気づいていない。

2022/08/14(日) 21:52:34.16

構文解析だけ簡単でもコンパイラが簡単なわけではないが……。
部分的にでも簡単であるに越したことは無いけどさ。

2022/08/15(月) 06:53:02.58

いや宣言文→実行部のように決まっている文脈ガチガチのほうがコンパイラは作りやすい

2022/08/15(月) 08:31:44.94

今時字句解析とか構文解析で難しいとかないでしょ
それなりのツールもあるからBNF書ければ自動生成できたりするし

2022/08/15(月) 09:21:08.58

>>26
言語仕様のほうも処理しやすいように寄せてきてるからだよ。
パーサジェネレータを前提として設計された言語仕様ならパーサジェネレータで処理しやすいのは当たり前の話。

2022/08/15(月) 09:27:22.60

>>27
難しいって一体どんな言語仕様を想定してるんだ？w

2022/08/15(月) 09:47:41.49

>>28
FORTRAN 77

2022/08/15(月) 10:35:55.74

>>29
字句解析と構文解析を一体でやらないといけないから面倒ではあるけど難しいという程じゃなくね？
そもそも人間にとっても分かりにくい言語仕様を採用するのもどうかと思うが

2022/08/15(月) 11:11:29.28

>>30
今の主要なプログラミング言語はそう (処理段階の分離が極端に難しい仕様には) ならなかったという話をしてる。

だから昔のものから例になりそうなものを抽出しただけで、この頃の知見のまま設計された大きな言語があったら
現代的なツールでも扱いにくいだろうということ。

2022/08/15(月) 11:28:00.05

>>31
だから多少面倒なだけだろ
そもそもスペース無視するとか予約語を識別子に使えるとか人間側にも優しくない仕様ででかい言語仕様とか頭おかしい

2022/08/15(月) 11:39:32.94

>>32
漠然と変だとは思ってたとしても、知見の確立がなかったとしたらそのまま進むしかしょうがないだろう。
まあ、そうなっていない世界でのもしもの話、実際に無かった以上は想像でしかないけどな。

2022/08/15(月) 12:01:53.74

>>33
そもそもFORTRAN77以前でも
DO 100 I = 1. 5
なんて言う「代入文」を書く奴なんてほとんどいなかったわけで知見が確立しないまま言語仕様だけでかくなるとかまずありえんわ
まあ妄想に浸りたいだけなら勝手にやっててくださいな

2022/08/15(月) 12:48:46.30

ほとんどいない笑
たまにはいたんですね？

2022/08/15(月) 13:28:30.95

>>35
タイプミスとか、難読大会とか
想像力ないの？

2022/08/16(火) 10:07:24.32

割り込みルーチン内で速度を稼ぐためにグローバル変数をローカル変数にコピーして
それを元に色々処理しようとするとうまくいかない
グローバル変数を直接使って処理するとうまくいく
こういうことはありえるのかな？

2022/08/16(火) 10:11:26.14

・・・グローバル変数の書き戻し忘れとか？

2022/08/16(火) 11:20:38.26

ポインタ便利ですね

2022/08/16(火) 11:58:39.88

すっごく抽象的でさっぱりわからんｗ
なんの割り込み？
どううまくいかない？

2022/08/16(火) 14:05:35.67

>>37
書いたプログラムのロジックは誤ってないと仮定して、
コンパイラによる最適化が割り込みに配慮しないなら思ったような動作にならないということはあり得る。

ある変数が途中で変更されることはないと確信できる状況なら
レジスタにロード済みの値を使いまわしたりするのはごく普通の動作。
場合によっては定数にまで畳み込まれることもある。
だけど、割り込みはそうしたメインの流れと関係なく問答無用でどこにでも割り込むから齟齬が生じる。

C99 までは割り込みや平行については言語仕様ではあまり取り決めず、
動作の詳細な部分は処理系まかせなものの volatile キーワードを付けた変数は最適化が抑制されるとか、
処理系の拡張で属性指定を付けれるとかいった機能を利用してどうにかしてきた。
(たぶん POSIX にはもうちょっと詳しい規定がありそうだと思うけど私はよく知らない。)

C11 以降はスレッドまわりの整備が進んだので割り込みでも活用できる部分は多いと思うんだけど、
オプショナルな仕様なので C11 の処理系として必須なわけではないんよ。

おそらくは使っている処理系・実行環境で使っているお決まりのパターンがあると思うからそういうのを探して
真似するのが手っ取り早いと思う。

2022/08/16(火) 19:21:50.20

そういやそんな問題に悩んでた奴でvolatileの存在知らない奴がいたな
…大丈夫だよね？

2022/08/17(水) 12:06:24.22

volatile で全ての問題が解決する訳じゃないけどな
知らないのはまずいな

2022/08/17(水) 15:44:25.95

switch文がポンコツ過ぎて二分探索のif文で記述したくなります
case設定がへたくそなのでしょうか？

2022/08/17(水) 16:18:24.97

C++にすらないoperator switch caseでも欲しいのかな

2022/08/17(水) 16:34:24.35

またも抽象化し過ぎの質問…
switchが上手くはまらなかったらelse if地獄でいいんだよ

2022/08/17(水) 18:48:10.50

>>44
具体的に何が不満なの？

2022/08/17(水) 19:06:06.04

スキルを磨く以外に、王道はありません

2022/08/17(水) 19:37:59.93

具体的にどうポンコツなのかわからんけど
例えばaが1だったら処理1、2だったら処理2、3-15だったら処理3、16なら処理４
それ以外は処理default

if( a == 1 ){
　　処理1
}else if( a == 2 ){
　　処理２
}else if( a <= 15 ){
　　処理３
}else if( a == 16 ){
　　処理４
}else{
　　処理default
}

こんなんで充分だよ

2022/08/17(水) 21:42:31.43

流れを綺麗にしたいなら
enumやマクロでシンボリックな定数を定義、ロジックはビット演算に埋め込め

**デフォルトの名無しさん** (US 0H11-U0U7) · 2022/08/17(水) 22:05:39.48

>>42
volatile で保証された気分になっている方が問題、ちゃんと pthread を使えよ

2022/08/17(水) 22:10:35.67

割り込みは並行 (または並列) とは違うので pthread ほどの保証は過剰だと思う。

2022/08/17(水) 22:19:02.41

フォールスルーしないなら　if else if else if .... って重ねてってもたいして変わらんしね

2022/08/17(水) 22:23:36.57

パーサとか書くなら抽象化のコストに見合うけど、もしそれほど複雑でないなら
caseラベルは各分枝に付き一つにしてしまい、分類は外部委託してしまうが楽
switch(var)→switch(CLASSFY(var))
case 'A': actionA;...

パターン: アクション
…
の並びに落とし込むのが難しいなら、多分switchを使うべき問題ではない

2022/08/17(水) 22:32:08.07

swich case は条件に応じて分岐するジャンプテーブルなのでどの条件に対しても同じ重さ
if else if は書かれた順に評価し、実行するので、起こりそうな条件を前に持ってくると効率化できる、かも

2022/08/17(水) 23:03:29.34

>>55
switchも連続比較する事が基本で、caseラベルの値の最小値と最大値が一定の範囲内だったら最適化でジャンプテーブルになるかもってだけでしょ
絶体にテーブルジャンプさせたければ、自前でやるしかない

2022/08/17(水) 23:06:32.99

リッチな処理系なら switch も常にただのテーブルということはない。状況に応じて最適化は入る。
ただ、頻出する分岐がどれなのか予測してくれるほど十分に賢くは無いので
条件があり得る頻度によってチューニングが必要なら if に置き換えるしかしょうがないな。

GCC だとプロファイルを取ってその成果をもとに最適化することも出来る。
頻出する条件を __builtin_expect で指定するとその分岐を優先的に検査する (ようなコードを生成する) という便利機能もある。
手作業で微調整するのは不毛な感じがするから使えるものならコンパイラの賢い機能に頼るのもアリだと思う。
(試したことがないから細かいことは知らない。たいした効果は無いかもしれない。)

2022/08/18(木) 04:30:48.90

まあ確かに>>49を
switch(a){
case 1:
　処理1; break;
case 2:
　処理２; break;
case 3..15:
　処理３; break;
case 16:
　処理４; break;
default:
　処理default
}
みたいに書ければなぁって思わなくもない

2022/08/18(木) 11:21:05.54

>>58
GCCの拡張だけどあるよ
Clangでも使える
https://wandbox.org/permlink/XQ2uCo7afhhQRyzH

2022/08/18(木) 11:23:58.91

たまーに、いちいちbreak文を書かなきゃいけないのがダルいなって思うことはあるな
ちょっと自分が作業中断すべきときかなって

**デフォルトの名無しさん** (ｽﾌｯ Sd62-Khd/) · 2022/08/18(木) 11:41:19.30

>>59
コンパイル時定数なら利益なくね?
case:3 case:4...case:15に展開するRANGE(3, 15)マクロで十分

2022/08/18(木) 11:44:02.06

>>59
なるほどさすが GCC やね、標準に取り込んで欲しいわ

**デフォルトの名無しさん** (ｽﾌｯ Sd62-Khd/) · 2022/08/18(木) 11:49:28.51

caseラベルの値を数値(範囲)として扱うという発想が無かった
もう素直に比較しろよ

2022/08/18(木) 11:52:35.74

Ruby厨登場
↓

2022/08/18(木) 13:33:09.96

caseは単なるラベル

2022/08/18(木) 14:47:46.14

for文の中でswitch使うと、forを抜けるbreakを書けないのがクソ
気付かず使うとデバッグ困難なバグになる落とし穴
switchをifにするか、forの外にgotoで飛ばすしかない
switch文はC言語最大の設計ミス

2022/08/18(木) 15:55:41.52

gotoは悪って前提だな
gotoレス原理主義者？

2022/08/18(木) 15:58:47.22

そもそも多重ループからの脱出もできないし、ややこしい奴は素直にgoto使えってことだろ

2022/08/18(木) 20:24:47.46

switchからの脱出がbreakなのがおかしい

**デフォルトの名無しさん** (US 0H11-U0U7) · 2022/08/18(木) 20:48:40.52

>>69
for からの脱出が break
while/do while からの脱出が break

で、あれば、

switch からの脱出も break であっても不適当とはいえないのではないですか？

2022/08/18(木) 23:03:17.54

行儀良くまじめなんてできやしなかった
夜の校舎窓ガラス壊してまわった
逆らい続けあがき続けた早く自由になりたかった

ひとつだけわかっていたこと
この支配からの～break♪

2022/08/18(木) 23:06:15.16

Javaのswitch式を逆輸入して欲しい
評判が良いのかどうか分からんけど

2022/08/19(金) 00:43:51.91

endfor とか endwhile とか endcase とか悪夢でしかない

2022/08/19(金) 01:50:19.99

>>70
switchはループ制御文ではないのになんでwhileやforと同じなのか

2022/08/19(金) 05:12:37.71

break は今いるブロック (波括弧といてもいい) から一つ外のブロックに出る
という意味を持つ

2022/08/19(金) 09:19:24.91

>>75
そんなわけないだろ。

2022/08/19(金) 10:12:45.49

それならif文からも脱出できるはずだができない
あくまでswitchが特例でループ文扱いされてるので脱出できる

2022/08/19(金) 10:34:49.15

switch やループ構文はブロックとは独立した構文で、
これらを使うときにブロックを作らないことも出来るし、
逆に関係ないところでブロックを作ることも出来るので
break をブロックと対応付けさせると変なことになるんだよな。

たとえば以下のコードでの break は実際には switch を抜けるだけなので printf は実行されるが、
ブロックを抜けるほうが自然だと思うか？

#include <stdio.h>

int main(void) {
{
switch(1) case 1: break;
printf("hello\n");
}
}

2022/08/19(金) 12:00:39.57

そんな極端な例でなくても…

case 1:
if( x < 4 ){
………
break;
}
………
break;

普通によく書くと思うが
このif文の中のbreakでもちゃんと一番内側のswitch文の外に飛んでいく

switch(k){

case 1:
{
int tmp_x; //この中だけで使う一時変数
………
break;
}
case 2:
………
}

こんな書き方でも(あまりよくないけど)ブロックは無視してswitch文の外に飛んでいく

2022/08/19(金) 18:10:20.82

for の中の if の中の break で単に if から脱出されても
おまえなにしとんねん
開いた口が塞がらない状態になる罠

2022/08/19(金) 18:16:48.08

do{
やりたいこと
}while(0);
っていう構造に変換するマクロは良く使われるが
switch(0) default: {
やりたいこと
}
なんかもアリなんだな

2022/08/20(土) 00:31:59.15

>>81
switchの方は初めて見た！
知らずに見たらちょっと考えちゃうよw

2022/08/20(土) 13:41:46.51

考えるな
感じるんだ

2022/08/20(土) 13:47:51.88

俺は（）で囲むな

2022/08/21(日) 07:14:13.14

エロい人「割り込みの中で関数呼ぶな
なぜ？？

2022/08/21(日) 07:26:44.64

バカな会社で働いてるから

2022/08/21(日) 07:46:27.87

>>85
環境によるけど割り込みに専用のスタック使ってるシステムとかだとそのスタックサイズはそれほど大きくなかったりするからかもね
てかそのエロい人に聞けよ

2022/08/21(日) 08:14:56.03

再入可能でない関数ならわかるな

2022/08/21(日) 09:42:18.04

stack8段しか無いcpuか

2022/08/21(日) 10:25:51.63

割込はなるべく速く返さないといけないので
関数呼び出しのオーバーヘッドを嫌うというのもある

2022/08/21(日) 16:28:21.98

だとすると>>86でFAだな

2022/08/22(月) 09:18:01.26

微妙なタイミング調整の_nop()マクロをオプティマイザが勝手に除去するのだがｗｗｗｗｗｗｗｗｗｗ
どうすりゃいいのよ

2022/08/22(月) 09:32:56.89

>>92
インラインアセンブラ
そもそも今時命令実行タイミングに依存する構成にするなよ...

2022/08/22(月) 10:11:25.02

Z80や6800でそんなことしてたけど
今時のCPUはnopでさえ速度が変動するからな

2022/08/22(月) 10:15:31.51

インラインアセンブラも最適化の対象になることがある。
現代的な開発環境なら intrinsic 関数が提供されてないか？

2022/08/22(月) 11:43:22.34

最適化するなよｗ
そういうのを消すための最適化だろｗ

2022/08/22(月) 13:53:48.03

最適化したら >>96 が消えました

2022/08/25(木) 11:33:41.80

インライン記述じゃなく別個にアセンブラソースファイルに書いてアセンブルしろってことだな。

2022/08/25(木) 11:49:07.60

スカイネット　「環境の最適化のため、人類を消去しました」

2022/08/25(木) 13:23:55.27

環境の最適化のためにスカイネット自身の消去が最適だとなったら実行するのかね。

2022/08/25(木) 16:20:32.32

組み込みでは下みたいに使った
__asm__ __volatile__()

2022/08/25(木) 20:06:49.61

>>99
スカイネット「あれっ、誰に報告してんだろ…私ったら(テヘ)

2022/08/26(金) 06:44:51.10

>>100
i cannot self-terminate.て言ってたね

2022/09/04(日) 05:09:23.47

Learn C Programming with Dr. Chuck (feat. classic book by Kernighan and Ritchie)
freeCodeCamp.org
チャンネル登録者数 619万

2022/09/04(日) 10:23:39.44

>>104
1本で9時間超えてるのかすげー

2022/09/04(日) 19:10:32.17

C言語のサンプルコードで関数内で関数プロトタイプ宣言するコードに出くわしました。
コンパイル通らないだろうと思って、clangで下記のような関数内に関数プロトタイプ宣言する
コードをコンパイルするとエラーなく通りました。

C言語において関数内でプロトタイプ宣言をする利点というか理由というのはどういうものがあるのでしょうか。

#include<stdio.h>

void hello(void)
{
printf("%s\n","hello world");
}
int main(void)
{
void hello(void);
hello();
return 0;
}

2022/09/04(日) 21:54:56.70

>>106
私見だけど、その関数内でのみ呼び出すことを強調しているのかもしれない。

あと余計なこと。お遊びのネタ。本番で使うなキケン。
GCC拡張には関数の中で関数を定義できる機能がある。clangはこの先もおそらくサポートしない。
詳細が気になるなら gcc trampoline nested function で調べてね。

2022/09/04(日) 22:27:57.67

main内の void hello(void); てプロトタイプ宣言(?)意味あんの?

2022/09/05(月) 01:27:33.63

具体的に言うと、ここの
『UMLの状態遷移図をC言語のStateパターンで実装&単体テストしてみる』というタイトルのブログの

void init_last_substate(FSM *fsm);
関数のプロトタイプ宣言です。State.c内でプロトタイプ宣言すればいいのに
なぜかState.c内のState_init関数内でプロトタイプ宣言しているのはなんでかなと。
実装自体はSubState.c内で定義されているのでState.c内で使うのであれば
プロトタイプ宣言が必要であることはわかるんですが、なんで関数内でプロトタイプ
宣言しているのかなと。

2022/09/05(月) 01:31:45.75

>>106
言語仕様にもある有効な文法だけれど、それほど使われることはない。
宣言はそのスコープで有効になるから直接的な理由としては >>107 が述べている通り限られた範囲での使用を想定しているということだと思う。
範囲を限りたいのが何故かなのかというのはプログラム全体の構成によるので全体を見ないと意図を推し量ることは出来ない。

なので正確な事情はわからないけども、あえて一例として私がそういう書き方をするとしたらという前提で空想すると
　・あまり色々なところで呼ばれたくない関数がある
　・しかし呼び出し箇所は他の翻訳単位にあるので内部リンケージにすることも出来ない
というようなときにはヘッダにもファイルスコープにも宣言を書きたくないと思うことはあるかもしれない。

2022/09/05(月) 01:40:28.48

>>110
確かにそのコードはstatic宣言を各所に織り交ぜており、他ファイルからは関数が
呼び出せないようにしてありました。公開する関数は最小限にという感じ。

関数内でも関数のプロトタイプ宣言できるというのも、C言語の中では単なる変数宣言
double p;
と同じ扱いみたいに考えればいいのかもしれないと思いました。
typedef で関数型定義できますが、それと同じような扱いということです。

とりあえず納得しました。ありがとうございます。

2022/09/05(月) 04:58:10.54

>>106
理由は昔のいわゆるK%R Cの名残だ

main(argc, argv)
char **argv;
{
extern printf(), exit();
auto i 0;
for ( ; i < argc; i =+ 1)
printf("%s\n", argv[i]);
exit(0);
}

2022/09/05(月) 04:59:26.44

今そんなことをする必要は皆無

関数の実体がグローバルなのに
宣言がローカルなのは合理性を欠くだけ

2022/09/05(月) 05:43:33.44

staticじゃなけりゃどこからでも呼べるからな

2022/09/05(月) 11:16:15.22

そこらへんはプログラム的な都合だけでなく読む人に対しての意思表示という場合もあるから必要性だけで解釈することは出来ないよ。
今から書くプログラムではやめといたほうが良いが、この場合は今、目の前に実際にそう書かれているものがあるという話だから……。

2022/09/05(月) 12:45:24.21

何か古い記述方法だった気がする

2022/09/05(月) 17:10:39.70

何十年も前の機種依存C言語かもな

2022/09/05(月) 21:43:16.79

古い表記を引っ張ってきたのか
意思表示としてそう記述した（可能性が高い）のか
全て俯瞰してみないとい結論は出ないだろうが
そうできたところで、自分が使うことはないだろうといった代物

2022/09/05(月) 22:13:22.67

うむ。ないなあ。

2022/09/06(火) 09:31:54.11

namespace ってイマドキの C にあるの？

2022/09/06(火) 10:01:27.84

ない

2022/09/06(火) 20:11:23.99

今度の規格には static_assert は入るのでしょうか？

2022/09/06(火) 20:15:43.73

>>122
C23 に static_assert は入る。
C11 から _Static_assert が有ったけどこれも Alternative Spelling として残る。

2022/09/07(水) 01:40:32.73

構造体の一括初期化の仕組みがよくわかりません。
#include<stdio.h>
enum Flag { First = 1, Second = 2, Third = 3, Finish = 4 };
typedef struct _FSM {
size_t eof;
size_t bytes;
size_t flags;
} FSM;
static FSM initState = { 0, 0, First};

void FSM_init(FSM *self) {
self = &initState;
}

int main(void) {
FSM fsm;
FSM_init(&fsm);
printf("%zu", fsm.flags);
return 0;
}
とFSM_initでFSM構造体のメンバの初期化を行おうとしたのですが、fsm.flagsにはゴミの値が入ってしまいます。
&self = initState;ではなく一つ一つ所属物を初期化すればちゃんと初期化できるのですが、
できればこの一括で初期化する方法のどこがまずいのか教えてほしいです。

2022/09/07(水) 01:42:03.54

肝は
static FSM initState = { 0, 0, First};
でここの初期化がまずいみたいですがよくわかりません。

2022/09/07(水) 01:45:22.24

*self = initState;

2022/09/07(水) 02:03:29.87

>>126
うまくいきましたが、すいません。
*self=initState;
と
self = &initState;
の違いがわかりません。
ポインタに対してなんでアドレスを渡す形だとまずいことが理解できません。

2022/09/07(水) 02:27:51.81

>>127
>self = &initState;
selfはアドレスをコピーした仮引数

2022/09/07(水) 03:14:26.39

*selfはselfの実体の参照
&initStateはアドレスの参照

2022/09/07(水) 07:32:36.16

>>127
self = &initState;
これはポインタ変数selfにinitStateのアドレスを代入するが
このままFSM_init関数から戻っているので、代入結果が即座に破棄され
何もしていないに等しい

*self = initState;
これはポインタ変数selfが指し示す先つまり構造体変数fsmに
構造体変数initStateの内容を転記する
FSM_init関数から戻ってもmainの変数fsmは残っているので
後続のprintf関数の実行結果に反映される

2022/09/07(水) 09:54:43.70

void func(int a) { a = 10; }

int b = 50;
func(a);

とやっても a は 10 にならず a は 50 のまま
関数引数の型のままの書き戻しは呼び出し元に反映されない
これを int → int * に読み替えた場合が質問のケース

2022/09/07(水) 10:01:21.59

訂正
　int b = 50;
　func(b);
　とやっても b は 10 にならず b は 50 のまま

2022/09/07(水) 10:16:34.68

・ポインタを渡して関数内ではその指し先を利用して内容を書き換える　(scanf みたいな感じ)
・戻り値で内容をどかっと戻す　（＝呼び出し元で代入してね）

Cの文法ではこの２パターン

**ハノン** ◆QZaw55cn4c (US 0Hff-KcK1) · 2022/09/07(水) 20:35:02.84

>>127
参照 & は「ポインタで書くやりかた」の見せ方を変えただけ、と考えるのがいい
すなわち、ポインタを使った書き方に習熟しないかぎり、参照の意味はわからない
参照をポインタから切り離して理解するのは不可能

参照がわからなければ、まず、ポインタを使った書き方ばかりで書きまくり、ポインタなら自信がある、くらいになるのがいい
参照はポインタを理解してからはじめて使い始めるべきもの

2022/09/07(水) 21:11:00.47

>>134
いやさすがにそこはわかるんで・・・。

ポインタ変数を格納している仮引数に新しいアドレス値を代入しても
関数から出たら破棄されるので意味ないってことやね。
ポインタ変数宣言してたんで勝手に実体参照されるものかと思ってた。

当初fsm構造体のメンバにstateという構造体の変数をおいてそれを初期化していたので、
fsm->state = &initState;
だとうまくいくのになんでだろうと思って聞いた。
この場合、fsm->stateで実体参照しているわけやね。

2022/09/07(水) 22:08:19.73

FILE *fp;
errno_t err;
err = fopen_s(&fp, "file.txt", "rb");
でfopen_s関数の場合、第一引数はFILE構造体のポインタのアドレス参照したものを
渡さないといけないですが、これなんでポインタじゃまずいんですか。

2022/09/07(水) 22:22:19.78

ポインタに入ってる数値を書き換えるからそうじゃなきゃ変えられないでしょ
fopenの中でメモリ確保しててそのポインタの数値を確保したアドレスに書き換えてるの

**ハノン** ◆QZaw55cn4c (US 0Hff-KcK1) · 2022/09/07(水) 22:26:00.67

もっとも、私は pascal から入ったから、ポインタなくして参照を理解していた人なのではありますが‥‥うーむ

2022/09/07(水) 22:31:50.29

ポインタのアドレス取ったときとかポインタのポインタでごちゃごちゃになる人は
とりあえずポインタは整数を保存してるだけって考えればいいよ
整数を関数内で書き換えるためにはそれをポインタ渡しする必要があるので参照演算子つけて渡すの

2022/09/07(水) 23:04:25.54

>>137
なるほど。
FILE *fp の中身が0というアドレスで、
fopen_sの中で例えば123456というアドレスに変更したいんだったらポインタ自体渡しても
変更できないことですね。*つけてポインタにならないと変更できないと。

2022/09/07(水) 23:32:06.28

int hoge(int *a) { *a = 1; }
int hoge(int &a) { a = 1; }
これが全く同じアセンブリ言語にコンパイルされるのを見て、参照を理解した

2022/09/07(水) 23:35:11.50

>>141
int hoge(int &a) { a = 1; }
関数定義でアドレス演算子使えるんですか？

2022/09/07(水) 23:39:24.34

何回も質問しているものです。
base64エンコーディングのプログラムを作っていました。
エンコード部分は作れた、と思ったのですが、certutil -f -encode の結果と
突き合わせると後半合いません。
１行目もなぜか幅が合いません。
状態マシンを初めて作って実装したのでどこが問題かわからないのでだれか見ていただけませんか。

https://ideone.com/rPlXWX

2022/09/07(水) 23:39:37.84

>>142
それは C++ の機能の話ね。
機械語にされたときの実体としては参照はポインタと同じことをしている。

2022/09/07(水) 23:41:02.70

最初の付近はうまくエンコードされているんですが、途中でごみの値が入ってくる
ようでずれてきます。どこにゴミが入っているのかわかりません。

2022/09/08(木) 00:50:34.87

tmpfile()で作られる作業ファイルはどこに作られますか？
/tmpですか？
なんかそれらしきファイル無いんですが

OS:Linux Mint

2022/09/08(木) 01:00:19.58

>>146
glibc だと P_tmpdir が使われた上で失敗したら /tmp に作る。
musl だと /tmp に決め打ち。
作ったファイルはクローズするかプロセスが終了したら削除される。

**143** (ﾜｯﾁｮｲ c710-CzlZ) · 2022/09/08(木) 02:30:52.24

コードの構造が自分でもわかり難かったので、フルスクラッチで書き直しました。
https://ideone.com/ddQPJy

でも相変わらずどこかにゴミデータが入り込んでいるようです。
C言語特有の問題に由来していると思うのですが。。

2022/09/08(木) 02:56:32.93

>>148
上から下までスクロールしたら一瞬で分かったw

2022/09/08(木) 08:55:08.15

>>147
サンクス
読み書きは出来るので作業ファイルは作られているんだろうけど・・・
getchar()でプロセスが終了しないようにしててもP_tmpdirの場所（/tmp）に作業ファイルは作られてないわ

なんかモヤモヤするな

2022/09/08(木) 09:15:06.66

>>150
3.11 以降の Linux カーネル、かつファイルシステムのサポートがあれば名前のないファイルを作るということらしい。
他のプロセスからは観測することが出来ない。

2022/09/08(木) 09:25:12.09

>>143
3の倍数と4の倍数でずれるから
穴埋め方法の仕様嫁

2022/09/08(木) 09:54:46.94

8bit目が立ってるデータだと char を size_t にキャストするとよろしくない可能性
あと末尾のパディング処理

最新は rfc4648 か

2022/09/08(木) 10:12:47.05

>>148
わざわざenum定義してるのに使うための変数をsize_tで宣言するとか意味わからんw

2022/09/08(木) 10:22:53.70

>>150
作った直後にunlinkすれば他のプロセスからは見えなくなるしプロセスが異常終了したら勝手に削除されるからunixの時代からテンポラリファイルのtipsとして有名だよ
https://sonic
64.com/2004-12-07.html

2022/09/08(木) 10:30:42.77

>>148
主旨とはずれるが……

下線で始まる識別子はファイルスコープで予約されている。
下線で始まって大文字が続く識別子は常に予約されている。
予約されている識別子についてなんらかの宣言・定義した結果は未定義。
入門用の解説でやってることもよくあるけど真似しちゃ駄目。

構造体タグは使わないなら省略してしまったほうがよいと思う。

2022/09/08(木) 10:34:35.91

>>150
>>155

ありがとう！すっきりした

2022/09/08(木) 10:35:11.25

>>150→>>151ね

2022/09/08(木) 23:34:00.51

>>148
解決したのか知らんけど、freadが必ずBUFSIZE分読み込むとは限らんぞ
なので、直後のforループはnreadまでにしないとゴミを処理してしまう

2022/09/09(金) 00:38:56.32

>>159
ありがとう。まだ未解決。格闘中。
なんとかそこには気づいたんですが、どうすればeofまでの分読み込ませればいいかわからず、
結局１バイトづつ読み込ませるしかないのかと思ってましたが、nread分読み込ませればいいのか。
ただ、最終行以外もゴミデータが紛れ込んでいるようなのでそこの原因がなんなのか。

**148** (ﾜｯﾁｮｲ c710-CzlZ) · 2022/09/09(金) 01:45:37.54

読み込むデータによってゴミデータが入ったり入らなかったりすることがわかった。
すごい厄介なバグだわ。某所から２進数表示する関数パクッて全部表示させてみると
ある特定の箇所でスタックデータが0b11111....に初期化されているみたい。

https://ideone.com/HRogms
読み込みデータはこのプログラム”base64s.c”だとこの現象がでる。
何がまずいのかな。

**148** (ﾜｯﾁｮｲ c710-CzlZ) · 2022/09/09(金) 01:56:18.41

わかった。日本語部分が処理できてなかったことが原因だ。

vscodeでWindows、clangでコンパイルしているんだけど、freadで単純に読み込んで
出力すると日本語部分が文字化けしてしまうのはなぜ？

**148** (ﾜｯﾁｮｲ c710-CzlZ) · 2022/09/09(金) 01:57:45.15

1バイトで読み込んでるから２バイト文字がうまく読み込めないということかな？

**148** (ﾜｯﾁｮｲ c710-CzlZ) · 2022/09/09(金) 02:04:19.38

１バイトづつバイナリデータを読み込みしたかったので、fread(buf,...)の
bufは
char buf[BUFSIZE];
で宣言したのですがここが２バイト文字のバイナリ読み込むときにまずいんでしょうか。

単純に自分自身のコードを読み込んで標準出力に書き込むと文字化けする。
https://ideone.com/GvpcAm

０１０１１１．．．．のビット列を単純に書き込んでいるという理解だったのですが、
そういうわけではないんですかね？

2022/09/09(金) 02:19:22.29

>>153が正しい
size_t stack = (size_t)(unsigned char)c;

2022/09/09(金) 02:52:44.78

>>165
スタックデータが１１１１１・・・に初期化されるという問題は直りました。
charだと11111111の取り扱いまずいんですね。
char 0~255 の値を格納できるという素朴な理解で使ってたんですが、
unsigned char と char ってどう違うのか、ざっと調べたんですけどよくわかんないですね・・・。

**148** (ﾜｯﾁｮｲ c710-CzlZ) · 2022/09/09(金) 02:53:47.99

>>153
読み返してみると鮮やかですね。昨日の段階では何のことやら？って感じでしたが。
ありがとうございます。

2022/09/09(金) 03:37:48.54

>>166
>unsigned char と char ってどう違うのか

unsigned charは符号なしで値域は 0 ~ 255
signed charは符号ありで値域は -128 ~ 127

charは処理系依存でsignedかもしれないしunsignedかもしれない
他の整数型にキャストしたり比較したりする時は特に注意が必要

2022/09/09(金) 06:49:36.79

>>168
char は 8bit とは限らん、というのは置いといて
> charは処理系依存でsignedかもしれないしunsignedかもしれない
charはsigned charやunsigned charとは違う型だよ
https://www.jpcert.or.jp/sc-rules/c-str04-c.html

2022/09/09(金) 10:32:00.65

数値と文字コードの認識の違いはどこらへんに出てくるのでしょうか？

2022/09/09(金) 16:58:25.15

環境依存によるとこが多すぎて、その都度環境に応じて調べるしかない
プログラム全般に言える事

2022/09/09(金) 20:26:03.68

文字はutf-8でも一文字が数バイト必要な事があるので、charはもはや要らない子と言える
バイト列を使いたければuint8_tを使って、ちゃんと文字として扱うなら、wchar_tとかchar32_tを使うべきだろうね

2022/09/09(金) 20:34:47.77

なお中国や日本、韓国などに限る

2022/09/09(金) 21:21:58.31

wchar_tこそ要らない子やん
お前一体何バイトなんだよ

2022/09/09(金) 23:02:27.43

>>169
>char は 8bit とは限らん、
うん、その指摘はされると思ってた。
>charはsigned charやunsigned charとは違う型だよ
なるほど、その認識はなかったは。

2022/09/09(金) 23:22:11.84

自分はvb→C言語→機械語だけど
機械語知らないとダメだよなって思ったわ
大体CPUの仕様と合わせるんだよな
8bitも昔のCPUの慣習出しさ
だからプレステのCPU大好きとかライゼンサイコー、いやいややはりインテルだろう
なんて言う自作オタがやり始めるとかなり速いんだよな
自作PCの構造はCPUの中身に似てるから

2022/09/10(土) 00:37:03.60

>>174
Windowsだと2byteでLinuxだと4byteだな
しかしバイト数を気にしてはいけない
気にしなければ可搬性のあるコードを書ける

**148** (ﾜｯﾁｮｲ 5d10-V+uT) · 2022/09/10(土) 02:16:33.70

文字化けのところは手に負えないですが、おかげさまでbase64エンコーディングプログラムが完成しました。
ここで言われたことは全部含めてみました。
構造体のタグ、enum型、charじゃなくてuint8_t、終端処理など。

https://ideone.com/7wolLZ

コードが汚いなど直すところありましたらどしどしご意見ください。
とりあえず、最初に使ってみる言語はbase64エンコーディングプログラムを組んでみて
なれてみようという方針なので。
次はVBAで組んでみるか、sha256プログラムをC言語で組んでみようか考えてます。

2022/09/11(日) 09:33:54.88

struct tmって、冗長な設計になってるよね
たとえば tm_mon == 1 && tm_mday == 1 なら tm_yday == 0 のはずだけど tm_yday >= 1 にもなれる
こういう矛盾がある場合の扱いって規格票のどっかに書いてあったっけ？

2022/09/11(日) 14:26:36.00

たとえば規格書のmktimeにはカレンダー時間で表現できなければ-1を返すって書いてあるかそう実装するのが正しそうだけども

2022/09/11(日) 14:31:15.93

>>180
tm_yday は無視するとも書いてあるぞ。

2022/09/11(日) 14:32:58.51

レス㌧x

カレンダー時間で表現できるか否かということは
tm_year, tm_mon, tm_mdayのことで、tm_ydayには該当しない議論だよね
逆にtm_ydayに合わせるように補正はしないとなると
ここに優先順位があるのかな

2022/09/11(日) 14:34:54.92

すまん、ちょっと外出する
夜には戻る

2022/09/11(日) 14:37:22.22

あらほんとだ。戻り値の説明しか見てなかったわ

2022/09/11(日) 15:00:19.15

>>182
そもそもtm_wdayとtm_ydayは更新されるって書いてあるし
関係ないけど
・tm_mday: 1 から 31 の範囲の日付。
・tm_mon: 1 月からの月数 (0 から 11 の範囲)。
なのは毎回もやるわ、なぜ両方0スタートじゃないのか...

2022/09/11(日) 15:04:45.97

>>185
月は (英語では) 月の名前に置き換える (配列から名前を引く) という都合から自然にそうなったという説は聞いたことがあるな。
日は番号をそのまま表示するもんだから最初から番号通りのほうが都合がいいし。

2022/09/15(木) 17:53:22.84

ローカル変数の宣言で、宣言しようとしているポインタの初期化子に、同じ文で
宣言された変数を参照するのは規格上OKですか?

/* test1.c */
1 | int main(int argc, char **argv)
2 | {
3 | char s[100] = {'A'}, *p = s;
4 | int i = 10, *a[10] = {&i};
5 | return 0;
6 | }

最新の gcc で試したところ、-std=c89 -pedantic の場合に下記の警告が出ます。
特に3行目が OK で、4行目が駄目な理由がよく分からないです。
どちらもスタック上の相対位置はコンパイル時に決まると思うのですが。
Cの文法について詳しい方、教えてください。

gcc --version
gcc (GCC) 12.2.1 20220819 (Red Hat 12.2.1-1)

gcc -O0 -std=c89 -pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-variable -c test1.c
test1.c: In function ‘main’:
test1.c:4:27: warning: initializer element is not computable at load time [-Wpedantic]
4 | int i = 10, *a[10] = {&i};
| 　　　　　　　　　　　^

gcc -O0 -std=c99 -pedantic -Wall -Wextra -Wno-unused-parameter -Wno-unused-variable -c test1.c
警告なし

2022/09/15(木) 20:06:58.44

C99より前は集成体(配列、構造体)に対する初期化子定数式(アドレス定数式)でスタックは認められていないっぽい
3行目の初期化対象は配列じゃないでしょ

2022/09/16(金) 06:50:50.62

int main(void)
{
int a = a;
}
これもＯＫなんだが

2022/09/16(金) 19:26:37.47

>>189
スタック上のアドレスを使ってポインタを初期化できるかって話だろ

2022/09/16(金) 19:31:34.25

>>187
{&i}だけだったら初期化は簡単だけど
その書き方だと本来{&i,&グローバル変数,NULL...}などと書けるのでそうなると特殊な初期化が必要になるんじゃないかな

2022/09/16(金) 19:59:25.14

一見
スタックに実体をもつ配列の先頭はセーフで (3行目)
スタックに実体をもつ変数のポインタはアウトというふうに見えるけど (4行目)
{ } の中か否かの差もあるんやね

2022/09/17(土) 00:57:57.08

>>190
そんなん言い出したら自動変数をポインタで指せるのかさえ怪しくなってくるな

2022/09/17(土) 12:49:57.03

スコープ内でアドレスが参照されたならば
自動変数はレジスタ変数にはならなくなる
「自動」の意味

2022/09/17(土) 19:52:14.52

win10(以下win)
strawberry perl入れた時一緒にいれたgcc

wsl
ubuntu22.04 gcc

どっかでみた配列関係のサンプルで
(間違えるとnull見つかるまで一生探し続けるよ的なコード)
で試したら

winで値がおかしい
linuxで正しい

とりあえずwin側でgdbで見ると
winで格納アドレスが逆順になってました
例えばコード上で

array1うんたら
array2かんたら

とあって
array2がアドレス100番台
array がアドレス200番台
みたいになってました
この挙動は環境依存なのかバグなのか知りたいです

まぁ結局両方windowsなんですが

2022/09/17(土) 19:56:51.12

ネットワークオーダーとかエンディアンとかが絡んでる可能性はあるけど、コードを見ないとなんとも

2022/09/17(土) 20:03:08.34

>>195
抽象的すぎて全然わからんｗ

2022/09/17(土) 20:04:45.56

コードは
https://www.delftstack.com/ja/howto/c/length-of-char-array-in-c/
手入力でミスってたらごめんなさい

2022/09/17(土) 20:08:18.29

因みにこっちのwin環境だと
上サイトで24byteになるはずの所が10byteになります

2022/09/17(土) 20:22:45.77

strlenのことか？
文字列と違ってchar配列の末尾には自動的にnull挿入されたりしないから、nullまで数え上げるstrlenが何を返すかわからないし、環境によってはメモリアクセス違反で落ちるかも