C言語なら俺に聞け 162

2023/10/30(月) 17:13:00.82

!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

C23 最新ドラフト
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3047.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言語なら俺に聞け 161
https://mevius.5ch.net/test/read.cgi/tech/1682053520/

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

2024/01/05(金) 10:49:08.39

その程度なら、自作できるだろう

2024/01/05(金) 11:38:06.91

#define val abc

2024/01/05(金) 12:10:00.56

enum { val = abc }

2024/01/05(金) 12:13:38.69

enum の方はエラーになる

2024/01/05(金) 12:27:56.38

#define もエラーになる

2024/01/05(金) 12:30:33.41

#define val "abc"

2024/01/05(金) 12:30:55.30

>>335
そういうのをどう解決するかを自分が考えて実現するのが楽しいのに…

自分なら
設定ファイルを「環境変数を設定する」に変更して、perlもCも環境変数から設定項目を読むに変更する。
そのために
perl側を変更する権利を得る
OSに依存して良い条件
を確保する様に、喫煙所に通う

2024/01/05(金) 12:49:25.99

>>335
別の解決案
・Cに優しい形式（右辺を全部展開した形で、イコール前後のスペースもなし）で吐き直すツールを、perlで作る
・自分で全部Cで作る
・lex/yacc を使って軽言語解釈ルーチンを作る

それぞれデメリットがあって、質問に直接答える「そういったライブラリはあるか」に一番合ってるのが、最後のlex/yaccだけど、それは一番バカらしい答えでもある。お好きに

2024/01/05(金) 12:51:00.35

>>337
君、答える側になれる実力ないだろ

2024/01/05(金) 12:54:37.44

sscanfで読めばよかろうもん

2024/01/05(金) 13:07:45.12

>>335
その説明では何をやりたいのか伝わってないので仕様書を書いてみて。
理想的なライブラリがあったとして、そのテストケースという形式でもいい。
曖昧模糊な要望だと説明が下手なだけでなく説明しようとしている内容が見当違いな可能性を疑う。
(いわゆるXY問題)

2024/01/05(金) 13:32:24.69

Cのソースでその展開もどきを行いたいのか
Cで書いてるプログラムがとあるファイル食って文字処理するんだけど、同じことを実現したいのか

2024/01/05(金) 13:37:38.46

>>335
これは実装するとなると簡易言語になっちゃうな
でも変数と変数参照だけだから大して難しくないよ
たぶん1000行ぐらいに収まる

2024/01/05(金) 14:59:38.28

どうしても既存の設定ファイルをそのまま使いたい、それを処理できるようなものが欲しいということなら
そんな都合の良いものがあるわけない。自分で書くしかしょうがない。

完璧にそのままのフォーマットでなくおおよそ似た機能があればよいなら
TOML とか JSON とか YAML とかの広く使われているフォーマットを採用したほうが面倒が少ない。
Perl でも C でも処理できるライブラリがいくつもあるし。

これらには変数展開のような機能はないが、
設定ファイルで動的な操作を可能にするのは問題を引き起こしやすいと考えられていて、
アプリケーション側でやるかプリプロセッサでなんとかしたほうがよい。
(強いて言えば YAML のエイリアス機能は変数のようなものとも言えるけど文字列を結合したりは出来ない。)

逆に設定どころではなくユーザーによるカスタマイズをどんどんやってもらうようなものなら
Lua とかのアプリケーション拡張言語を埋め込んでしまうという方法もとれる。

2024/01/05(金) 15:39:37.20

Perlにそんな便利機能あったっけ

2024/01/05(金) 18:09:30.90

Cは遅延評価を積極的にやるための言語ではないからなあ
C++やC#ならあるんだけどね
lex/yacc はちょっと古くて
今なら flex/byson ですね

2024/01/06(土) 15:06:00.15

$ の変数展開しかやらないなら複雑な構文解析にはならないから全部自作した方が楽なのでは?
少し楽したいなら perl に読ませて $ 展開させた文字列に変換して出力したのを C の側で読むとかね。そうすると少し楽ができる。
これの問題は perl が使えない環境では動かないことかな。

2024/01/06(土) 16:25:37.13

今なら packcc おすすめ

2024/01/06(土) 16:27:28.51

設定ファイルのデータ構造が key/value の組だけ、 value は単なる文字列という程度なら
パーサジェネレータはかえって邪魔じゃないのかな。

2024/01/06(土) 21:36:47.69

lex/yaccは使った事ない人にはハードル高いだろうね。逆に、使い方が分かると何でもそれでやりたがる時期が来る。どんなツールや言語でもそうだろうけど

2024/01/06(土) 21:39:52.15

BNF書いても大した量にならないだろうし俺ならフルスクラッチで書いちゃうな

2024/01/06(土) 21:45:36.68

で、設定ファイル、shで環境変数を設定すりゃ済む、という案に誰も反応してもらえないんだが、どうだい？ windows ならcmdだろうけど

設定項目ってのは、パス文字列とか、メモリサイズとか、ほぼ固定だけどあとから変えたい場合もあろう、っていう定数だよね。環境変数ってまさにその目的だと思ってる。

ドル記号で一時値の展開もできる。Cからも簡単に読める。

2024/01/06(土) 21:56:18.04

shで、設定ファイル兼、実行ファイル起動ラッパを書いて、利用者には直接実行ファイルじゃなくラッパを起動せよと説明して

export XXX_ROOT=/var/xxx
export XXX_INPUT_DIR=${XXX_ROOT}/in
export XXX_OUTPUT_DIR=${XXX_ROOT}/out
export XXX_READBUF_SIZE=32768

exec ${XXX_ROOT}/bin/xxx

Cで読む処理は

get_conf_str(...) //文字列項目用
get_conf_i64(...) //整数項目用

どっちもパラメータに
(環境変数名, 環境変数が未設定時の具体値)
って指定する。これが、ソース上の1箇所でズラッと並ぶと「設定項目名とハードコード値の、一覧表」風になるの。分かる？

2024/01/06(土) 22:02:36.24

get_conf_str() と get_conf_i64() の中身は
getenv() を使って簡単に実装できる、のは分かるよね？

2024/01/06(土) 22:09:41.74

単なる文字列だけなら正規表現の置換でいいだろ

2024/01/06(土) 22:20:12.76

struct conf_t {
char* input_dir
char* output_dir;
int64_t readbuf_size;
} g_conf;

文字列項目はC++だとstd::string にする所だが、Cだとstrdup（的なもの）で実装しても良いんじゃないかい。

g_conf.inputdir = get_conf_str(
"XXX_INPUT_DIR", "/var/xxx/in");
g_conf.outputdir = get_conf_str(
"XXX_OUTPUT_DIR", "/var/xxx/out");
g_conf.readbuf_size = get_conf_i64(
"XXX_READBUF_SIZE", 32768);

とかってするとソース上で一覧表風になるでしょ。タブ文字も入れて桁そろえて。

2024/01/06(土) 23:25:47.33

まあ落ち着けよ質問者はそんなこと聞いとらんだろうよ

2024/01/07(日) 00:35:50.01

for(;;){
if((result = fgets(line, MAX_LEN, stream)) != NULL){
p1=result;
p3=p1+strlen(line);
p2=strtok(p1, "=");
}
}

これで、p1とp2から左辺、p2とp3から右辺が取り出せる。
$の展開は、マクロ展開処理の要領で
右辺に$があるかチェックして、あったら定義値に置き換えるという
10ステップ程度の処理でできるだろ。

2024/01/07(日) 08:57:04.03

>>335
＞Cから読み込む場合は、自分で展開する必要があると思ってます
その通りです

＞それをやってくれるライブラリや関数等、ありますでしょうか
ありません
自作する必要があります

>>363
p2=strtok(p1, "=");
スペースやタブの処理が必要

2024/01/07(日) 10:17:39.72

せめて既存の気の利いた言語のstring型のメソッドやらを参考にしろよ
ここで再発明しても誰も使わんだろ

2024/01/07(日) 10:25:56.11

質問者、もういない

2024/01/07(日) 11:15:08.19

>>335
>それをやってくれるライブラリや関数等、ありますでしょうか
perlはCで書かれてるけどね

2024/01/07(日) 11:23:13.54

動かすCプログラムをperlに書き直す方が簡単そう

2024/01/07(日) 16:24:59.67

こんな方法もある。しかし $ の変数展開しかしないなら無駄な感じはするね。それだけのためにここまでするのかという。

perlembed - C プログラムへの Perl の埋め込み方
https://perldoc.jp/docs/perl/5.10.0/perlembed.pod

2024/01/10(水) 16:11:15.07

＄がリテラルとして入ってた時はどうするかとか、結構面倒そう

2024/01/10(水) 17:49:56.37

>>370
そうなんだよー、真面目にやるとバカみたいに面倒なのよ

文字列リテラルの中に $ やコメント開始終了記号が入る事もあるし
コメントの中に $ や文字列開始終了記号が入る事もある

# "#"
$aaa = /* $コメント " */ "文字列/**/値";

なので、頭から読み始めて、状態を追いながら（現在の場所が文を書く所か、コメント内か、文字列内か）読まないと、正しいファイルを正しく読めない

んで、つまんないバグを作り込んだりするの。その、もういない誰かが作り込んだつまんないバグを、別の誰かが直すはめになる。そんなの嫌じゃね？

2024/01/10(水) 17:57:07.75

でも本当に、質問者はもうトンズラしたと思うよ。次の話をしよう

2024/01/10(水) 18:00:48.10

次の患者さん、どうぞ

2024/01/10(水) 21:56:41.19

>>327
どっちにしろ質問者のためにやってるわけじゃないからいいんだよ

2024/01/10(水) 22:25:04.83

>>371
そこまでのコメント機能はいらんやろ
シェルスクリプトの設定ファイル程度のことができればいいんだろうから
#が来たら改行までをコメントとするぐらいで

2024/01/10(水) 23:20:02.65

ちなみにCの識別子に$を使える
少なくともgcc, clang, msvcで使える
int $val = 0;
とか

2024/01/10(水) 23:20:30.43

>>375
環境変数設定で「十分」どころか、それがかなりきちんと対応している。

シェルは（shもcmdも）「改行までコメントとみなす」なんていういい加減な実装じゃないよ

2024/01/10(水) 23:36:31.88

パーサー実装の現実的な話がまともにできるニキはここにはいないねw

2024/01/11(木) 02:31:42.07

ほらな、はちみつも黙るやろ
規格は詳しいけどな

2024/01/11(木) 02:42:19.58

パーサーなんて大して難しくないよ
テスト書けば

2024/01/11(木) 06:03:54.69

>>377
いやだからそんな本格的に作る必要ないって話
労力の投入場所を選定するのもプログラマの能力

2024/01/11(木) 07:51:37.56

>>371みたいなので悩むならさくっと正規表現ライブラリやパーサージェネレータ使うな。
学習のために自分でパーサー書いてみたいってんなら別だが。

2024/01/11(木) 09:41:05.64

>>379
仕様が曖昧なのに実装の話をしても無意味だろ。
新しい情報が提示されないなら回答すべきこともない。

2024/01/11(木) 09:42:53.45

誰か、作ってやれよ

2024/01/12(金) 10:13:36.22

strcat() はダメなの？

2024/01/13(土) 00:25:52.89

sscanfで十分だよ

2024/01/13(土) 09:14:54.62

>>385
参加したかったの？

2024/01/13(土) 09:41:46.29

ここに書けば参加したことになるよ

2024/01/13(土) 13:22:56.37

参加することに意義がある

2024/01/13(土) 16:53:47.66

C言語からJSON読み書きにオススメのライブラリやDLL教えてくれさい。
UTF-8↔ANSI変換はAPIでやれそうです。

2024/01/13(土) 19:04:48.77

yyjsonで十分だよ

2024/01/17(水) 13:51:26.07

以下はmalloc()で割り当てた領域を開放してポインタをヌルポインタにするマクロである

#define MYFREE(p) do {free(p); p = 0;} while(0)

このマクロに不備があるかないか、ある場合はどんな不備か答えよ
ただし処理系はANCI C準拠とし、stdlib.hがインクルードされていることとpが左辺値かつmallocで割り当てた領域を指す有効なポインタであることの2点は呼び出し側によって保障されているものとする

2024/01/17(水) 16:32:50.55

宿題は他所でやれ

2024/01/17(水) 19:42:28.17

do-while文で回す意味ってあるの？

2024/01/17(水) 19:44:52.19

使った人に聞きなさい

2024/01/17(水) 19:49:06.18

>>394
セミコロンをつけさせるため

2024/01/17(水) 21:11:00.53

>>392
答えわかったけど教えない

2024/01/17(水) 21:21:33.14

>>394
2つ以上の文をマクロ関数の形にするときに、C言語の仕様において最も合法安全とされるイディオムだよ

2024/01/17(水) 21:47:57.64

>>394
たとえば
#define MYFREE(p) free(p); p = 0
と定義すると

if( 条件 ) MYFREE( p );
と書くと

if( 条件 ) free(p); p = 0;
と展開されてしまいp = 0;は条件に関わらず実行されてしまう
またこの後にelse節が続くとエラーになってしまうなど不具合の原因になる

2024/01/17(水) 23:38:16.60

>>396,398,399
全然知らなかった
ｱﾘｶﾞﾄ

2024/01/18(木) 11:04:17.52

>>392
その条件下ならない
でもpが左辺値という前提がなかったら変なコトになるコードが書けるね

2024/01/18(木) 11:04:49.16

>>400
396はゼンゼン関係ないんだけどホントに分かってんのか?w

**400ではないが** (ﾜｯﾁｮｲ 6e46-Y4mw) · 2024/01/18(木) 12:19:02.31

>>402
396 と 399 は異口同音と読んでいたが、主旨違うの?

2024/01/18(木) 12:27:08.35

>>402
ブロックではなく do / while にする理由としては関係がある。

2024/01/18(木) 12:41:36.76

二つの文が分かれてしまわないようにするだけならブロックで包めばよくて

#define MYFREE(p) {free(p); p = 0;}

と定義しておけば

if( 条件 ) MYFREE( p );

というような使い方で意図通り動作する。問題になるのは else が付くときで、

if( 条件 ) MYFREE( p );
else foo();

みたいなことをすると

if( 条件 ) {free(p); p = 0;};
else foo();

というように余計なセミコロンが if と else の対応付けを壊してしまう。
かといって MYFREE にはセミコロンを付けない使い方をせよというのも不格好なので do / while で囲むといい感じって話。

2024/01/18(木) 13:15:24.78

はちみつ餃子はいい加減改名しろよ、はちみつ先生によ
どんだけタメになる話すりゃ気が済むんだ
目からウロボロスだぜまったく

2024/01/18(木) 13:17:33.34

>>392
「せよ」ってなんだよ。何様のつもりだ？

2024/01/18(木) 20:39:02.28

#define MYFREE(p) (free(p), p = 0)

のほうが単純

2024/01/18(木) 22:45:02.99

今どきのCならマクロじゃないといけない場合以外はinline使え。

2024/01/19(金) 08:59:45.95

>>409
C の関数は多相化できない。
void* と他のポインタは相互に変換可能なんだが
void* 自体の表現や境界調整要求は環境依存なので

#include <stddef.h>
#include <stdlib.h>
inline void my_free(void** x) {
free(*x);
*x=NULL;
}

int main(void) {
int *x = malloc(sizeof(int));
my_free((void**)&x);
}

みたいなことをして正しく動作する保証はないはず。
この場合は「マクロじゃないといけない場合」だと思うよ。

2024/01/19(金) 11:12:10.18

mallocが返すのはvoid*だし、freeが受け取るのもvoid*なのに？？
保証が無かったら俺達はこれからどうすればいいんだw

2024/01/19(金) 11:13:32.08

printf("Hello, work!");

2024/01/19(金) 11:18:44.53

>>411
void* の話じゃなくて void** の話をしてる。

2024/01/19(金) 11:42:42.67

printf("Konyanyachiwa, Sekai no Kuni kara!");

2024/01/19(金) 12:11:49.63

void**とvoid*は相互に変換可能じゃないのか？

2024/01/19(金) 12:19:49.22

変換が可能だということと同じ表現を持つことは別という話。
int* から void* への変換は変換に関するルールだが
int** から void** への変換によって int* を void* として読もうとするのは type punning の問題。

2024/01/19(金) 12:20:09.89

そうなると、
int** a = malloc(sizeof(int*) * 3);
は、保証無いことになるな
俺達はどうすればいいんだw

2024/01/19(金) 12:25:31.50

void** a = malloc(sizeof(void*) * 3);
の方が適切だったか
これで、a[0]の読み書きが保証されないのは困るよ

2024/01/19(金) 12:27:15.27

>>417
繰り返すが変換の話と表現の話は異なる。
void* は全てのオブジェクトを指すポインタと相互に変は可能であることは保証され、
「malloc が返すポインタに限っては」いかなる型とも適合するように境界調整されていることが保証される。

2024/01/19(金) 12:34:27.05

【AI】Googleの医療面接特化AI「AMIE」は人間よりも正確な診断が可能＆患者への印象に優れるという研究結果 [すらいむ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1705583722/l50
【AI】Google DeepMindが数学オリンピックレベルの幾何学問題を解けるAIを発表、人間の金メダリストに近い性能を発揮 [すらいむ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1705583476/l50
【AI】大学入試共通テスト、3つのチャットAIに解かせてみたら？　GPT-4はバケモノだった [すらいむ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1705585402/l50
【ナゾロジー】「株価の変動を粒子の振動として理解」量子力学で株式市場の法則を読む！ [すらいむ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1705583580/l50
【AI】NTT、自分の分身AIを低コストで作る技術。自分の合成音声を簡単に作れる技術も [すらいむ★]
https://egg.5ch.net/test/read.cgi/scienceplus/1705583313/l50

ボイス・トォ・スカルのコアプログラムの一部は上記を統合している

2024/01/19(金) 12:39:29.69

何を言ってるんだお前は案件

ポインタの中身は指す対象によってアラインが変わるが
ポインタ自体のアラインは原則一種類しかない

2024/01/19(金) 12:51:29.04

>>421
ポインタは型ごとに異なる表現・境界調整要求を持つ可能性がある。
適合する型へのポインタ同士の場合など同じ表現・境界調整要求を持つ条件が定められているが
最後に「これ以外の型へのポインタは、同じ表現又は同じ境界調整要求をもつ必要はない」と仕様に明記されてる。

具体的な部分は処理系定義なので全部が同じ表現であることをあてにしていい環境ならそうすることは否定しなけど、
常にあてにできるわけでもない。

2024/01/19(金) 13:18:44.56

そうは言っても、
void* p = 0;
と直接生成出来るわけで、void*は値としての意味もちゃんとある
それがvoid**にすると元に戻せる保証が無いのは仕様の不備だろw

2024/01/19(金) 13:22:00.51

>>422
それは「ポインタが指す対象」についての記述で
ポインタ自体にはどんな適当な値を書き込むことも可能(そのポインタを使ってアクセスすると何が起こるかわからないというだけ)
ただポインタにNULLを書き込むだけの関数になんの危険もない

2024/01/19(金) 13:35:18.59

>>424
> それは「ポインタが指す対象」についての記述で

この (>>410) 場合はポインタが指す対象に書き込もうとしている話だが。

2024/01/19(金) 15:18:43.59

>>425
そのポインタは関数への引数であり
すでにvoid*を表すものだと型は決まってるではないか

それとは別に
インライン関数で書いた場合はその場で展開されるから
void* p = 0;と書いた場合と同様にコンパイラが適切な０を書き込んでくれるんじゃないの
つまり(void**)をつけると逆に危険
my_free(&x);
でよい

2024/01/19(金) 16:04:16.95

ポインタで0リテラルだけは特殊でNULLと同義だったのではなかったっけ

2024/01/19(金) 16:16:34.10

>>426
> (void**)をつけると逆に危険

これは暗黙に型変換されることが保証される文脈ではないので付けなければコンパイルが通らないだけ。
(コンパイラによっては黙って通すことはあるのかもしれない。)

> インライン関数で書いた場合はその場で展開されるから

言語の意味論としてはインライン関数は
・同じ定義なら (翻訳単位を跨いだ場合でも) 複数回定義してもよい (定義が一回の場合と同じ挙動)
・なるべく高速に呼び出して欲しいことを期待するヒントである (実現方法は規定しない)

ということになってる。
インライン関数がインライン関数ではない関数と異なる動作にはならない。

2024/01/19(金) 16:39:47.61

>>427
せやで。
厳密に言えばリテラルだけじゃなくて「整数の 0 であるような定数 (定数式) をポインタに型変換したときは空ポインタ」というルール。

これも変換に関するルールであって表現に関するルールではないよね。
実際に空ポインタの内部表現が整数の 0 というわけではない環境は存在するが、
型が正しければ適切に変換される。

2024/01/19(金) 16:53:05.15

>>429
それ規格書に書いてあんの？知らんかったわ
でも

if (!ptr)

みたいなポインタがゼロであることを期待するような式は処理系依存になるでしょ？

2024/01/19(金) 17:02:59.57

>>430
いや、それがよく出来てて、ポインタをそういう形で条件に使うのは問題ない。
単項演算子 ! について「式!Eは，(0==E)と等価とする」というルールになっていて
等価演算子 (==) はポインタと空ポインタ定数を比較したときの結果を規定してる。
空ポインタ定数のほうをもう一方のオペランドの型に合う空ポインタに型変換するルール。

2024/01/19(金) 17:32:06.95

>>431
規格書読んできたけど
6.3.2.3　値0をもつ整数定数式は空ポインタになる
6.5.3.1　式!Eは，(0==E)と等価
6.5.9　==は空ポインタ定数をポインタの型へ型変換する
ってことか
なるほど、規格を解釈すれば!ptrは空ポインタと比較されることになるから問題ないのか
勉強になったわ

2024/01/19(金) 18:55:00.05

NULLは処理系定義だしこの辺はややこしいよね

2024/01/20(土) 00:57:56.71

void*の値は作成出来るけど、表現や境界調整要求は未定義とか、おかしいだろ
Cは現実に則した言語だと思ってたけど、妙な未定義だな
ちなみに、インタープリター型言語を作ったら、オブジェクトはみんなvoid*になる
void*の配列を作成したりとか普通に行われる
もはや規格とか無意味
実装がどうなってるかだけが重要だ

2024/01/20(土) 10:29:05.14

>>433
全然ややこしくないでしょ

2024/01/20(土) 10:30:19.13

> 実装がどうなってるかだけが重要だ
もちろんその通りだけど規格上未定義なわけだから実装がすべて統一されているとは限らないわけで
その実装における「限らない」が問題なわけでしょ