C言語なら俺に聞け 163

2024/07/16(火) 22:43:54.18

!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言語なら俺に聞け 162
https://mevius.5ch.net/test/read.cgi/tech/1698653580/

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

2025/02/17(月) 01:18:04.49

有効な同型ポインタの比較において、同一オブジェクト/配列由来でない場合、
== の結果は 0
(未定義動作ではない)

C99(N1256) Annex J.2 Undefined behavior

— Pointers that do not point to the same aggregate or union (nor just beyond the same
array object) are compared using relational operators (6.5.8).

ここに Equality operators の記述がない。

6.5.8 Relational operators
6.5.9 Equality operators
でも同様の内容となっている。また、

N3231 https://www.open-std.org/jtc1/sc22/WG14/www/docs/n3231.pdf
2024/03/21 Kleynhans, TS 6010 A Provenance-aware Memory Object Model for C, Revision Draft
N3005
2022/06/16 Gustedt, A Provenance-aware Memory Object Model for C, draft TS 6010, version June 2022

では、provenance と abstract address という用語が導入されてスッキリとした文面になっている。

2025/02/17(月) 10:52:55.67

C99 をあらためて読み返してみたら確かにそうだ……。

・ふたつのポインタが等しいと判断される条件が書いてあって「その場合に限り」等しいとする
・各演算子は指定された関係が真の場合は1を，偽の場合は0を返す
・未定義と書いてある (またはそれと等価な言い回し) か動作の明示的な定義がない場合は全て未定義

等しい条件を満たさないなら 0 が返されることを保証していることになるので未定義ではないことになる。

でもまあ現実的に考えたらおかしいし、欠陥報告が出てたりしない？

2025/02/17(月) 19:30:42.26

>>648のサンプルプログラムで同じことが起きることってある？

2025/02/22(土) 07:05:24.68

>>680
WSL2 の Ubuntu 22.04.5 にインストールされている gcc 11.4.0 で gcc -O でコンパイルしたら起きた。
-O なしだと起きない。

2025/02/22(土) 12:11:54.96

余計なことを

2025/02/22(土) 14:47:10.43

最適化オプションの有無で違いが出る状態はできれば止めて欲しかったな。やるとしても別オプションでやって欲しかった。

2025/02/22(土) 16:41:59.90

その壁越えられないやつ多いよね
仕事でも最適化すると動かなくなるからってオフでリリースしてた雑魚エンジニアいたわ

2025/02/22(土) 17:57:58.33

コンパイラのバグって事じゃないのか？

2025/02/23(日) 20:21:42.14

>>683
-0 はいくつかの具体的な最適化オプションを束ねたものだよ。
https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#index-O
このうちのどれが効いてるのかは知らんけど。

2025/02/23(日) 21:01:43.23

>>684
最適化オフでのリリースは一つの有力な選択だと思います。

2025/02/23(日) 21:45:10.07

最適化に副作用あるのは常識

2025/02/23(日) 21:54:21.08

>>687
まザコならしょうがないわな
組み込みならハードのコスト一段下げられるけど諦めるしかない
そんなザコ会社だから低収入もしかたない

2025/02/24(月) 01:00:54.17

自己紹介かな

2025/02/24(月) 17:12:08.95

gccなら-O0でも実施される最適化はあるので本気で最適化オフにしたいなら-O0で有効になる項目を-fno-に個別に指定する必要がありそこそこ面倒

2025/02/24(月) 17:18:13.77

最適化オフとか言ってる人は、UBを踏んでしまってるから最適化で動作が変わるってことわかってんのか？

2025/02/24(月) 17:22:09.48

まあコンパイラの最適化バグである可能性もないわけではないがな

2025/02/24(月) 20:28:13.00

組み込み分野だと最適化によりデバッグがしづらくなることが多い。

警備員[Lv.1][新芽] (ﾜｯﾁｮｲ d5f7-a+6O) · 2025/02/24(月) 21:56:17.54

gccで -O2 なし -Wall ありでコンパイルすると strict aliasing の警告がでないけど、
-O2 -Wall ありだと strict aliasing の警告が出るケースに当たったのだけど、
strict aliasing って安全に最適化するためのアレなのですかね(最適化しないときは strict aliasing には無頓着)

2025/02/24(月) 22:52:40.44

この人たちホントgccが大好きだよね

2025/02/24(月) 23:27:53.22

gccはいろんな環境で動かせるので便利ではある

2025/02/25(火) 01:13:30.67

>>694
それ組み込み関係ないから

2025/02/25(火) 08:31:05.22

>>695
警告を出すためには警告の条件に引っ掛かっていることがわからないといけないという単純な前提がある。
結果を使いもしないのに警告のためだけにエイリアス解析を頑張るのは合理的か？

2025/02/25(火) 09:04:02.65

>>698
そうだった

警備員[Lv.1][新芽] (ﾜｯﾁｮｲ d56d-a+6O) · 2025/02/25(火) 23:42:18.97

>>699
最適化しないときは strict aliasing が不要なものなんですかね(最適化のための strict aliasing なんですかね)というつもりで書いたのだけど、分かりにくくてすまんね

2025/02/26(水) 10:14:24.43

>>701
少なくとも GCC や Clang では strict aliasing rules は最適化のためのものという認識で正しいよ。
-fstrict-aliasing (やこれらを含む -O2 以上の最適化) が有効になっているときに限りエイリアスベースの最適化をするし、そのときだけ strict aliasing rules が守られていることを要求する。

2025/02/26(水) 11:04:16.19

strict aliasing rulesを守らないと未定義動作となるのはC言語の決まりなので特定の処理系で問題ないから守らなくて良いという考えは馬鹿のすること

2025/02/26(水) 11:20:14.18

というかstrict aliasing rulesをわかってるやつがあえて守らないって考えにくいでしょ
このスレを見てわかる通りわかってないやつらが大半

2025/02/26(水) 11:38:18.47

ビットパターンを別の型で読み替える可能性があるなら最初から union で書いておいたほうが人にとっても読みやすいしな。
(C++ では union でも common initial sequence の読み替えしか許しておらず、 C より制約が厳しいので注意。)

2025/02/26(水) 15:23:36.19

>>703
未定義は「規格としては何も要求しない」なので処理系が何らかの追加保証をすることを禁じてない。

2025/02/26(水) 15:45:51.57

特定の処理系と心中するつもりでstrict aliasing rulesを守らない奴がいたらすごい馬鹿

警備員[Lv.5][新芽] (ﾜｯﾁｮｲ 09df-a+6O) · 2025/02/26(水) 23:04:05.93

>>702
助言をありがとうございます!!
>>701 より

2025/02/27(木) 00:09:51.30

>>707
移植しないなら別にいいんじゃないの

2025/02/27(木) 08:29:36.37

>>709
将来の更新の可能性も考慮しないわけね

2025/02/27(木) 09:04:57.33

だから将来も移植しないんだろ

2025/02/27(木) 09:23:08.30

移植と更新は違うぞｗ

2025/02/27(木) 10:21:51.11

そのどうでもいい仮定話いつまでやんの？

2025/02/27(木) 22:25:43.54

【帰化朝鮮人を論破】
日本は帰化朝鮮系の家系の人間によって隣国の大韓民国と北朝鮮に侵略行為を受けている
彼らがやっていることは「差別」を盾にした日本人を対象にした迫害であり「民族浄化」である
国際法でもこのような行為は決して許されていない
しかし何となく加害者が日本人で、差別されているの朝鮮系と言う意識を刷り込まれて彼らに遠慮してないか？

事実は逆である、加害者は彼らの方で迫害されているのは日本人である、まずこの意識を共有しよう

なぜそうなっているのか？　新聞、出版社、司法、テレビ局、会社の起業家、大学教授などが帰化系の人間で徒党を組み
日本人を差別、排除してまるで日本人であるかのように振舞っているからである
テレビに映り世論を形成している人間が日本人の振りをして韓国、北朝鮮に有利になるように論調を組み、
日本を支配し、日本人が朝鮮人に隷属することを強要している
これが侵略行為以外のなんなのか？　なぜ日本人が日本で差別の対象にならなければいけないのか？
帰化系が起業し外部の朝鮮系と通じ合い会社を成功させる、または帰化系が既存の会社組織でトップに居座り
管理職を帰化人系のみで固め、日本人は閑職に追いやられ、パワハラで辞職に追い込まれ
その会社の技術を朝鮮半島に流出させ、日本企業が競争力を失っていく
芸能人、テレビ局員、スポーツ選手（五輪代表、野球、サッカー）、報道関係者は帰化系で独占されている
もはやテレビに映る人間はほとんど日本人ではないと考えろ　
では何をするべきか？
もはや野党はほぼ全員、もはや自民党も過半数以上は帰化朝鮮人系の家系の人間が国会議員を占有しつつある

まず「政治家に立候補する時、外国の家系の人間か否かを公表する」を提出して過半の賛成を取って立法化しよう
国際的にもごく一般的で、アメリカでも何系かはすべて明らかにされている
そうなると帰化人の家系の人間に支配されたメディアは差別だと糾弾し始め帰化人たちが暴動やら起こすだろう、
日本は荒廃の一途を辿る、内戦状態に近いものになる
だがそれは当然のこと、国内で隣国の人間による侵略行為、民族浄化行為を受けているのだから
時間はあまりない、やつらが過半数を確保してからでは遅い、韓国北朝鮮に占領されてしまう
日本人よ、まず声を上げるのだ

2025/02/27(木) 22:56:45.28

まず統一を潰さないと

2025/02/28(金) 00:14:09.12

>>713
次のお題が来るまで(ｗ

我流独習マン(俺含む)には、こそっとありがたい話
ややもするとすぐ浦島になっちまうｗ

2025/02/28(金) 10:32:16.41

>>705
念のために確認してたら union のメンバを他の型の違うメンバで読み替えて良い規則は JIS (JISX3010:2003) には書いてないっぽい。
欠陥報告で後から修正したから JIS を出した時点では原文にも書いてなかったんだな。
https://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_283.htm

2025/03/11(火) 17:38:04.47

C の公式サイトが登場！
https://www.c-language.org/

2025/03/12(水) 20:15:01.01

AIのおかげでCが主流になるかもな

2025/03/12(水) 21:03:53.54

>>719
それは無い

2025/03/12(水) 21:59:36.42

AIコーディングが進化した結果直接機械語で出力できるようになったけど人間が読めないのは困るから最低限人間が読めて速度も出るCで出すのが主流になるみたいな妄想

2025/03/12(水) 22:07:09.85

AIは何も指定しなきゃjavaやpythonやC#のコードを吐き出すよ

2025/03/18(火) 10:34:05.62

cはむずい定期

2025/03/19(水) 20:09:43.41

文法的にはポインタ周りが（少し）難しいだけ
個人的にはpythonの方が難しく感じるな

2025/03/19(水) 20:44:03.52

C が未定義をエラーとして補足せずに黙って変になることがあるのは入門書などをまともに読まずにいろいろ弄って学ぶタイプの人には向いてないな。
ちゃんとした入門書をちゃんと読むならそんなに難しいわけではない。
しかし難しくないことでもしょうもないミスをするのが人というものだという現実もあって、特に規模が大きくなると C はしんどい。
難易度とかいうのとは別の話として、理解していても間違う。

2025/03/20(木) 04:57:02.69

まあしかしこの頃のコンパイラは警告やエラーを沢山出してくれて分り易いよ。
昔のはチェックが緩くて出なかったからな。
その状態から gcc で printf() のフォーマットと引数のチェックが出来ると知った時は衝撃を受けた。

2025/03/20(木) 17:01:49.87

>>726
それな、オプションさえちゃんと付ければ昔でもできてたよ

2025/03/20(木) 17:31:14.06

GCC では遅くても 2.95.3 には attribute で文字列が書式であることを指定できて型チェックする機能はあった模様。(2001年頃)
https://gcc.gnu.org/onlinedocs/gcc-2.95.3/gcc_4.html#SEC84
ただな、このスレにいるようなおじさんの言う「昔」は 1980 年頃の話だったりするんよ。
MS-DOS 用とか CP/M 用とかのコンパイラの話なんよ。

2025/03/20(木) 17:39:11.70

その年代の人はおじさんじゃなくておじいさんでは

2025/03/20(木) 17:45:05.08

>>728
スマソ、俺はちょっと若すぎたわ
だいぶ昔からできてた記憶があったがそれよりさらに昔の話とは恐れ入った先輩

2025/03/20(木) 18:23:15.20

メインフレームにダム端末繋げてた時代じゃよ

**デフォルトの名無しさん** (ｽﾌｯ Sd33-4EpX) · 2025/03/20(木) 23:54:14.30

gcc7.1から突然エラーメッセージが親切になったのはあるな
ちょうどclang+llvmが話題になった時期でそれに対抗したらしい

2025/03/21(金) 07:44:18.11

>>727
それはどのぐらい昔かによる。
80年代後半にはまだなかったと思う。

2025/03/21(金) 07:45:09.98

>>728
そうそう。80年代。

2025/03/21(金) 08:19:02.26

真理子版が便利すぎた。

2025/03/22(土) 13:52:41.80

他人にも使わせるツールに環境変数「真里子」はキモすぎてビビった

2025/03/22(土) 14:25:25.39

>>728
scanf, sscanf で float, double に %f, %lf のところを %f, %f にしてバグるのがありがち

**627** (ﾜｯﾁｮｲ 5377-avMV) · 2025/03/22(土) 15:31:32.91

scanfなんて使ったことねーや
ありがちってほど使ってるんか

2025/03/22(土) 15:40:39.16

scanfに道に落ちているを食べさせてはいけません

2025/03/28(金) 08:23:03.00

この警告、環境によっては出ないの?

$ cc ld.c -Wall
ld.c: 関数 ‘main’ 内:
ld.c:6:19: 警告: 書式 ‘%d’ は引数の型が ‘int’ であると予期されますが、第 2 引数の型は ‘off_t’ {aka ‘long int’} です [-Wformat=]
　　6 |　 return printf("%d", offset);
　　　|　　　　　　　　　~^　 ~~~~~~
　　　|　　　　　　　　　 |　 |
　　　|　　　　　　　　　 int off_t {aka long int}
　　　|　　　　　　　　　%ld
$ cat -n ld.c
　　 1　#include <stdio.h>
　　 2　#include <sys/param.h>
　　 3
　　 4　int main() {
　　 5　　off_t offset = 1;
　　 6　　return printf("%d", offset);
　　 7　}
　　 8

2025/03/28(金) 08:29:47.68

おれの作ったCコンパイラはそんな警告出さないけど何か文句ある？

**740** (ﾜｯﾁｮｲ 492a-jhJX) · 2025/03/28(金) 09:29:48.60

>>741
あー、なるほど。↓よ。

$ cc --version
cc (GCC) 14.2.0
Copyright (C) 2024 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

2025/03/28(金) 11:25:13.48

>>740
出さないコンパイラはあるし、その場合に警告を出すコンパイラであっても printf 類を特別扱いしてなんとかしてるので、可変長引数一般では型が合わないときに検出されない。

**740** (ﾜｯﾁｮｲ 492a-aKLX) · 2025/03/28(金) 13:15:49.58

なるぽろ。%ld に変更せず、放っておくか。ありがとう。

ちなみに、逆に、%ld だと警告する場合も有り得るのだろうか。例えば off_t が非 long の機種があるとか。

2025/03/28(金) 13:32:37.75

x86-64 なら System V ABI ではどうせ 64 ビットレジスタで受け渡されるからそこんところでは問題にならないのだが、最適化したときにどうなるかまるで予想がつかない。放置してよいとは言えない。

いったん intmax_t にキャストするのが正当な方法だと考えられている。
https://www.jpcert.or.jp/sc-rules/c-int15-c.html

2025/03/28(金) 15:39:13.17

struct X* x;で自動変数を定義した場合
スタック上のどこかにstruct Xの領域が確保されたりしますか？

2025/03/28(金) 15:47:02.39

されない

**740** (ﾜｯﾁｮｲ 492a-mzfN) · 2025/03/28(金) 17:27:47.76

>>745
> printf("%ju", (uintmax_t) x);

なるぽろ。ありがとう。

2025/03/28(金) 19:09:11.37

なんだよjって、何の略だ？

2025/03/28(金) 22:16:42.65

>>749
なんらかの単語の略 (頭文字) というわけではないらしいよ。
> j is sort of like "i" for integer
https://www.open-std.org/jtc1/sc22/wg14/www/docs/n833.htm

警備員[Lv.2][新芽] (ﾜｯﾁｮｲ 6dcd-maST) · 2025/03/28(金) 23:06:36.11

μ→uみたいなものか

大文字の I はもう使われてふのかな？

2025/03/29(土) 16:07:35.02

long long や unsigned long long の出力に %lld や %llu って昔は使えてた気がするが
最近はだめなんかな
%I64 とか %U64 みたいなのになってるん

2025/03/29(土) 16:54:36.19

>>752
I64 とかはマイクロソフトの拡張。
新しい方法じゃなくてむしろ古い方法が互換性のために残されているだけ。
今となってはあえて使う理由はない。

2025/03/29(土) 17:30:28.12

>>752
> %I64 とか %U64

移植が大変そうね。

2025/04/08(火) 18:05:53.82

sudo で実行すると execl が動作しないように見える。なぜ?
$ cat -n e.c
　　 1　#include <stdio.h>
　　 2　#include <unistd.h>
　　 3
　　 4　int main() {
　　 5　　pid_t pid;
　　 6　　if ((pid = fork()) > 0) return 0;
　　 7　　else if (pid < 0) return 1;
　　 8　　execl("/bin/bash", "/bin/bash", "-c", "echo $$ $PPID >> /tmp/log", NULL);
　　 9　　_exit(2);
　　10　}
$ gcc -g e.c
$ ./a.out
$ cat /tmp/log
10593 1566
$ sudo ./a.out
$ cat /tmp/log
10593 1566
$

**627** (ﾜｯﾁｮｲ 22ca-VGeA) · 2025/04/08(火) 19:31:31.59

まずコピーするなら手を入れるな手を入れると他も全部疑わなきゃいけなくなる
それからsudo -E ./a.outとsudo strace ./a.outを試せ

2025/04/08(火) 19:45:35.63

縦の数字はなに？
普通にエラーになるだろそれ

2025/04/08(火) 20:08:58.79

catの引数に-n指定してるからだろ

2025/04/08(火) 20:57:19.94

手元にあるfedora で試したが、
sudo ./a.out の結果表示は2行になった
多分、正常に処理できたようだ

警備員[Lv.1][新芽] (ﾜｯﾁｮｲ 4df5-hVWE) · 2025/04/08(火) 22:40:53.76

うちはダメでした
>>755 と同じような結果です
ubuntu22.04 lts

警備員[Lv.1][新芽] (ﾜｯﾁｮｲ 4df5-hVWE) · 2025/04/08(火) 22:43:01.77

あ、次のようにしたときです
sudo ./a.out

/tmp/log に追記されませんでした

**755** (ﾜｯﾁｮｲ a92a-ZtHn) · 2025/04/08(火) 22:49:40.17

>>759
えー!? と別環境で実行したら、sudo でも execl が動作したように見える。なにこれ。

$ ./a.out
$ cat /tmp/log
13706 1
$ sudo ./a.out
$ cat /tmp/log
13706 1
13721 1
$

取り敢えず、うちの Ubuntu の「おま環」問題のようでした。お騒がせしました。
ただ、今回のは bash の $PPID が init (1) になるという新たな謎が...

2025/04/09(水) 00:22:33.67

親プロセスが先に死んだら子は init の養子になる。
だけどこの場合だとどちらが先に死ぬかはプロセスのスケジューリング次第で状況によるってことなんじゃないのかな。
Linux の事情はよく知らんけど。

2025/04/09(水) 00:23:29.81

Linux 板で聞いた方が回答ありそうな気がする。

2025/04/09(水) 15:00:16.84

const unsigned char t100_day[3807] PROGMEM = { 0x89, 0x50, 0x4e, 略, }
const unsigned char t100_night[3568] PROGMEM = { 0x89, 0x50, 0x4e, 略, }

String tenki_i = "01";

char*const unsigned char t100_day[3807] PROGMEM = { 0x89, 0x50, 0x4e, 略, }
const unsigned char t100_night[3568] PROGMEM = { 0x89, 0x50, 0x4e, 略, }

String tenki_i = "01";

char* y_icon; // FIXME 型が分からない

if (tenki_i == "01") y_icon = "t100_day";
else if (tenki_i == "01_n") y_icon = "t100_night";
else if (tenki_i == "08") y_icon = "t200_day";
else if (tenki_i == "08_n") y_icon = "t200_night";
else y_icon = "t999_day";

sprite.drawPng((std::uint8_t*)y_icon, sizeof(y_icon), 0, 25);

t100_dayなどは画像なんですけど、tenki_iの中のstrによって画像を変えたいです。
y_iconはどうやって指定したらいいでしょうか？

2025/04/09(水) 15:01:47.32

>>765
コピペ間違えました
正しくは以下です

char*const unsigned char t100_day[3807] PROGMEM = { 0x89, 0x50, 0x4e, 略, }
const unsigned char t100_night[3568] PROGMEM = { 0x89, 0x50, 0x4e, 略, }

String tenki_i = "01";

char* y_icon; // FIXME 型が分からない

if (tenki_i == "01") y_icon = "t100_day";
else if (tenki_i == "01_n") y_icon = "t100_night";
else if (tenki_i == "08") y_icon = "t200_day";
else if (tenki_i == "08_n") y_icon = "t200_night";
else y_icon = "t999_day";

sprite.drawPng((std::uint8_t*)y_icon, sizeof(y_icon), 0, 25);

t100_dayなどは画像なんですけど、tenki_iの中のstrによって画像を変えたいです。
y_iconはどうやって指定したらいいでしょうか？

2025/04/09(水) 15:16:14.76

>>755もそうだし書いちまったもんはしょうがねーけどコードを載せる時は
どうしろこうしろって書いてあんだから従えよ
アンタどこ行ってもそんな感じなのか?

2025/04/09(水) 15:24:40.77

すみません、書き直しました
https://ideone.com/CSy0Nb

t100_dayなどは画像なんですけど、tenki_iの中のstrによって画像を変えたいです。
y_iconはどうやって指定したらいいでしょうか？

2025/04/09(水) 15:27:10.13

>>755
fork呼んだ親プロセスがreturn 0でいきなり終わってるのがダメ
wait呼んでプロセスの終了待ちしろ

2025/04/09(水) 18:01:06.77

>>768
その断片的なプログラムではよくわからんが型を合わせるだけなら y_icon の宣言はこうなるべきだと思う。

const unsigned char* y_icon;

2025/04/09(水) 18:30:26.27

>>768
ところでそれは C++ じゃない？
なんでこのスレで聞くの……。

**755** (ﾜｯﾁｮｲ 6e2a-ZtHn) · 2025/04/09(水) 19:53:07.12

>>769
「お騒がせしました。」と言ったので、勝手ながら質問を終えた気がしていた。見てくれて有り難う。

>>755,762 については、Ubuntu においても sudo で execl は動作していた。
動作しないように見えたのは、Ubuntu 特有のファイル権限設定があり、root といえどもファイルにアペンドできないせいだった。Qiita にあったサマリが解りやすい。

https://qiita.com/skyflare2001/items/1c1934b1d2f405228334#2025118-追記
> Ubuntu の /tmp のユーザファイルに root で追記できない

全く C言語に関係なかった。ごめんちゃい。

2025/04/20(日) 14:12:51.27

stdbool.h 真面目に使ってる人いる？あるいは使ってない方がおかしい？

2025/04/20(日) 16:06:51.19

原則としては論理型が必要であれば stdbool.h (内で定義される bool) を使うべきだと思う。
論理型が C99 で導入されるより前の古いプログラム中で bool という名前を使っている場合に配慮して論理型の名前を _Bool にした上でその別名の bool を stdbool.h 内で定義するという変な構成になっている。
(もし bool という名前を独自の定義で使っている場合は単に stdbool.h を使わないという選択が可能。)
このような状況から、互換性の問題がなければ論理型は bool という名前にしたかったし、論理型の値は true, false と書きたいという意図が感じられる。
自分が書くプログラム内で名前が衝突するような問題がないのなら意図に乗っかっておくのが無難そうに思われる。

C23 からは bool, true, false がキーワードとして直接にサポートされるようになって stdbool.h は意味を失いただ存在するだけになった。
こういう変更をする以上はこれが C のあるべき新しい姿と考えられてるってことなんだろう。
stdbool.h を使うことで (古い規格でも) 新しい姿を先取りできるわけ。

ただ、 C23 の変更はちょっとだけ互換性を損なう部分があるから注意を要する。
stdboo.h で定義される旧来の true, false は 1, 0 に展開されるマクロで、要するに型で言えば int だった。
C23 からの true, false は bool 型のリテラルという立場を持つ。
これが問題になるケースはそれほどないとは思うけど……。

2025/04/20(日) 16:30:31.97

bool型だと関数成功はtrueで1
int型だと関数成功で0とか普通
混ぜるな危険

2025/04/20(日) 17:33:04.38

戻り値が負数ならエラーってやつが(ry

2025/04/20(日) 18:02:02.88

関数の結果がboolのやつはエラー原因丸めて何が問題かわからないからクソだよな

2025/04/20(日) 18:06:56.21

>>773
なんでstdbool.hがあるのかよく分からないってこと?