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/09(日) 13:46:45.75

>>594
そのサイトクソだよ

警備員[Lv.6][新芽] (ﾜｯﾁｮｲ 87bc-UTVl) · 2025/02/09(日) 14:22:12.60

>>602
筆算のイメージはあるのですが、整数型でやろうとしたらエラーになって、実数型でやろうとしてもエラーになるので、なんでだろーって思って解説ん見てみたら、[文字列型にしましょう]って書いてあったので[？]ってなってしまうのです。

警備員[Lv.6][新芽] (ﾜｯﾁｮｲ 87bc-UTVl) · 2025/02/09(日) 14:25:19.10

>>602
筆算のイメージもそのサイトの解説みてから、そうなんだと思ったんですけど、どうも初見だとイメージが沸かないんですよ。

2025/02/09(日) 14:27:08.84

イメージ湧かないなら、手を動かそう
そこに答えがあるよ

警備員[Lv.6][新芽] (ﾜｯﾁｮｲ 87bc-UTVl) · 2025/02/09(日) 14:55:17.16

>>606
なるほど、頭で考えるより、手で考えた方が良いのですか。
実践してみます。ありがとうございます！

2025/02/09(日) 17:03:10.36

整数32bitでも64bitでも最大値は決まっている
でも大きい整数を表すのに64bit整数1つだけ使うとは決まっていない

桁溢れをプログラム的に検出して
溢れた分を別の64bit整数に記録すれば大きな整数を扱える
64bit+64bit+....
で整数を表す感じ

2025/02/09(日) 17:04:41.81

文字列って1Byte整数の配列でしょ？無駄が多いよ
8Byte整数の組合せを上で挙げたけど、8Byte整数の配列でも当然できる

2025/02/09(日) 17:14:14.93

無駄を省くより可読性の方が大切
8bit時代のファミコンじゃ無いんだから
そんなキリキリ詰め込んだってわけわからん事になるだけ

2025/02/09(日) 17:36:57.81

>>610
的外れ
いきるな初心者

2025/02/09(日) 18:12:23.04

桁上がりを別に判定しなきゃならないんだから扱えるギリギリの桁で計算するのはバカだろw
アセンブラなら桁あふれフラグ見て簡単に処理出来るだろうが、Cだと無理

2025/02/09(日) 18:46:42.50

>>604
どこのサイト？
それ書いてるやつ多分バカだぞ
参考にすんな

2025/02/09(日) 18:57:40.14

>>610
charでやるのは馬鹿だがアルゴリズムは同じなんだから可読性は変わらない
メモリもほぼ変わらない

2025/02/09(日) 19:00:51.12

整数値それぞれ (左右どっちだっけ)シフト1bitやって(1/2の値)足したのが最大値の半分超えたら桁溢れ
上位桁に溢れるだけ加算
Cでもできるに決まっているじゃんこれだけだよ

2025/02/09(日) 19:09:00.04

文字列って溢れの分が1-9まであって大変そう
バイナリなら1bitだけでしょ

警備員[Lv.8][新芽] (ﾜｯﾁｮｲ 87bc-UTVl) · 2025/02/09(日) 19:15:54.80

>>615
それってシフト演算の話ですか？(違ってたらごめんなさい。)
私、シフト演算は苦手なんですよね。
ただシフトするだけなら参考書とサイトみたらできますけど、ノールックでさらに四則演算になるとできないんですよ。

2025/02/09(日) 19:34:02.21

考えたらシフトは無駄だった
64bit整数のうち63bit整数で考えて最上位ビットを溢れ判定に使えばよいだけ
あんまり書くと宿題の手伝いになってそう

2025/02/09(日) 19:44:20.36

>>618
足したあとの結果から判定する
教えるなら定石を教えろや

2025/02/09(日) 19:51:22.43

二進化十進はたとえば表示の処理なんかは簡単になるので無駄なわけではない。

2025/02/09(日) 20:03:35.95

いまどき文字も16bit時代にケチケチすんなw

警備員[Lv.8][新芽] (ﾜｯﾁｮｲ 87bc-UTVl) · 2025/02/09(日) 22:27:12.88

>>618
なるほどですね。因みにこれは宿題ではなく、自主学習のやつです。とあるサイトの解説がよくわからなくてこの板の方々に質問させていただきました。
ありがとうございます。

2025/02/10(月) 07:27:24.30

あと実数でやったと出たけど要注意
double verybignum;
verybignum += 1.0;
で1.0は桁を合わせると0に消えて足されない場合がある

2025/02/10(月) 11:48:59.09

吊りならともかく本物の初心者なら文字コードを知らないってこともあるだろうな
多倍長整数をバイト列(1桁0-255)じゃなくて文字列(1桁0-9)で表すのは無駄が多いがアルゴリズムは同じはず
それでもピンと来ないなら先に文字コードについて理解するべき

警備員[Lv.2][新芽] (ﾜｯﾁｮｲ 278e-tGgj) · 2025/02/10(月) 13:13:09.48

IntelのアセンブラならBCDを扱う命令があったと思うけど、Cでやるなら文字に代入する時点で &= 0x0F、計算して出力する前に |= 0x30(でいいんだっけ?)かなー

2025/02/10(月) 13:19:14.90

やや強引だがアドレスとして同じでも比較すると等しくないという結果になる例を作ってみた。
https://wandbox.org/permlink/hpAkiEeiZclvQJsn
概念的にはポインタはアドレスというのでも間違いではないけど実際には言語のルールを把握していないと引っかかることもある。

ホスト規制でしばらく書き込めなかったので遅レスですまぬ。

2025/02/10(月) 16:46:22.93

よく分からないがこうなる理由が分からないという意味の質問かな?
まあそうだとして、C言語では異なるオブジェクトへのポインタを比較出来ないってルールがある
それが行われているので、未定義の動作といってこのプログラムではコンパイラがどんな事をしてもいいことになってる
そのどんな事の中にはnot equalを表示するという動作も含まれているので、たまたまそうなったんでしょう
初心者がよくやるFAQレベルのミスなので、ポインタとオブジェクトを理解する意味でその辺も読んでみればもっと上達するでしょう
他にもヘンな部分があるので色々他の人のコードとかも読むといいね

2025/02/10(月) 17:14:00.11

>>627
ポインタにはアドレスが入ってるだけという話題が出てたからそんなことはないという注意喚起。

2025/02/10(月) 17:18:14.15

>>623
文意がよくわからんが初期化されてないから不定値になってるんじゃない？

**デフォルトの名無しさん** · 2025/02/10(月) 17:44:23.62

>>627
> よく分からないがこうなる理由が分からないという意味の質問かな?
このスレは初めてか？
はちみつさんがそんな質問するわけないだろ

警備員[Lv.5][新芽] (ﾜｯﾁｮｲ 8713-tGgj) · 2025/02/11(火) 00:58:16.10

これはどういうことなんだ?
foo、barの順にスタックに積まれる
bazにはfooの次の(intの境界の)番地(barと同じ)が入り、quzにはbarの番地が入る
bazとquzには同じ番地(値)が入っている
までは分かる
bazもquzもint型を指している
が、bazとquzの内容を比較するとことなる
なんじゃこりゃ～
酔ってなくても分からなそう

警備員[Lv.5][新芽] (ﾜｯﾁｮｲ 8713-tGgj) · 2025/02/11(火) 01:04:37.69

>>627がいうことがそれなのか
未定義だと
アセンブラ脳だと同じとみなしてくれてよさそうだけど、難しいね…

2025/02/11(火) 08:30:33.47

型変換すればOK

2025/02/11(火) 11:05:12.56

>>632
強調しておくけど未定義は何が起こってもよい。
この場合は一応は式が式として評価されたかのように動作してるので比較的マシな部類で、未定義を踏んでいる箇所とは遠く離れた箇所で意味不明の動作が起こることもある。(起こってもよい。)
低レイヤから入った人は未定義をナメてることが結構あるとは思う。
どのような機械語にコンパイルされるか想像できる (と本人は思っている) 故の弊害だなぁ。

2025/02/11(火) 11:22:08.87

Cなんてポインターは全部void*だろ

2025/02/11(火) 11:37:41.91

ご無体な

警備員[Lv.6][新芽] (ﾜｯﾁｮｲ 46ac-tGgj) · 2025/02/11(火) 12:35:30.87

>>626 は僕のgccのパージョンだと
-O2 ありだと "not equal"
最適化なしだと "equal"

-S つけて .s をみると、-O2 ありのときポインタの比較すらせず単純に
puts("not equal");
とするコードを出力していた
"equal" のリテラルすらコードにはない

降参

2025/02/11(火) 13:33:00.20

strict aliasingのルールがなぜあるか理解してたらある程度予想つくだろ

2025/02/11(火) 14:32:56.35

そもそも 8Byteや4Byte変数のポインタが例えば奇数の数値が許されるのかとか

2025/02/11(火) 14:40:28.60

文字列を指すポインタなら、一文字ずつインクリメント出来ないと困るよね

2025/02/11(火) 14:52:06.30

>>639
CPUによる

2025/02/11(火) 15:43:23.98

>>639
それどこへのレス？

2025/02/11(火) 16:44:48.97

>>640
いつ困るんだ?

警備員[Lv.3][新芽] (ﾜｯﾁｮｲ 1ac9-tGgj) · 2025/02/11(火) 16:59:49.92

>>627は
最適化されると出力されるコードを推測することは無理だ、ということね

2025/02/11(火) 17:19:32.60

無理はいいすぎ
やったことないやつがしったかすんな

2025/02/11(火) 17:20:33.85

ARM系はほんと無理

2025/02/11(火) 18:37:22.58

貴方みたいな人はほんと無理
とか言われたら傷ついちゃう

2025/02/11(火) 21:27:22.00

とりあえず読むべし
旧石器時代のポインタをご利用の皆様へ～provenance入門～
https://qiita.com/__pandaman64__/items/1788a90ae5be79cc908b

警備員[Lv.5][新芽] (ﾜｯﾁｮｲ 465f-tGgj) · 2025/02/11(火) 21:52:04.81

>>648
thx!

2025/02/11(火) 21:58:43.75

こんなの分割コンパイルしたら分からないしライブラリならなおさら
実行時にどのオブジェクト由来なんて情報持っておけるのか？

int func(int *ip, int *iq)
{
if (ip == iq) {
} else {
}
}

2025/02/11(火) 22:39:07.83

コンパイル時に決まってんじゃん

2025/02/11(火) 23:02:33.92

このコテハンの人いつもこんなだよね
まともに出来るのが規格のコピペみたいな事だけで、それ以外だとすぐとんちんかんな事言い出して突っ込まれてる

2025/02/11(火) 23:17:19.29

>>650
わかる範囲でやるってだけ。
わからないところは保守的なコードを生成する。
ただ、今は LTO があるのでわかる範囲がだいぶん広い。

わからないからこそプログラマは未定義なことをしないと仮定した最適化をする (未定義を踏んでたらむちゃくちゃになる) という場合もある。

2025/02/12(水) 10:25:19.84

>>648
ポインタpとqの値が同じにならないんだけど…

2025/02/12(水) 10:28:46.36

Cに余計なもん付けたらいにしえのLinux由来のコードが通らなくなるだろ

2025/02/12(水) 11:20:54.68

未定義の動作がどういうことなのかよく分かっていない人がいるみたいなので補足しておく

>>628
未定義の動作を引き起こすプログラムを提示しても結果が分からないし毎回違う可能性もある点でこれだと何も示せてない
きつい言い方かもしれないが注意喚起になっていない
>>634の2行目を見るとコードの動き方に対しての認識として不定の動作と未定義の動作を混同して勘違いしてるかも知れないね

**627** (ﾜｯﾁｮｲ 6a4d-WFrT) · 2025/02/12(水) 11:21:58.36

>>631
未定義の動作なので2行目から7行目のような事が起きるかどうかは分からない
仮に未定義の動作がなかったとしても行目を自明のように仮定することは出来ない
アーキテクチャが色々ある中そういう処理系もあればそうでない処理系もあるしCでは何も規定してない
スタックの仕組みがないものもあればポインタをそもそも数値や番地で扱わないアーキテクチャもある
後段も同様

**627** (ﾜｯﾁｮｲ 6a4d-WFrT) · 2025/02/12(水) 11:22:39.59

>>644
コンパイラの動作に対して必要条件が何も設定されない状態になるという話で最適化は全く関係ない

ちなみに今回の話はK&Rの頃からあるルールなので>>648とはちょっと違う
ただ内容は大体同じでポインタはオブジェクトを指してるもので、その内部形式や扱い方はユーザーが知る必要はない

2025/02/12(水) 11:47:09.26

>>658
言語仕様上で未定義動作とされている状況が実際の機械の上でどう動作するか (その動作は想像できない) という文脈でヤバさを伝えるためになるべく想像外な結果を生む実例を出そうとしているので最適化は関係ある。

2025/02/12(水) 11:50:24.83

最適化しないと無駄なコードや無意味なコードも忠実に出力されるからなぁ

2025/02/12(水) 12:49:03.57

>>658
未定義だから不明を連呼されても大して参考にならんわけで
なぜ現実のgccではあのような結果になるのか理由を説明できないのか？
わかってないようだけど最適化は大いに関係してるぞ

2025/02/12(水) 13:26:30.21

えーと未定義や環境依存を使ったりとかは
Cおよびコンピュータの理解が不十分な
質の劣るプログラマが存在するからでしょうに

そういう人達に重要プログラムを書かせる責任問題でもある

2025/02/12(水) 15:09:37.68

相手に過大に説明を要求して、自分は分かろうとしない者は嫌われちゃうよ

2025/02/12(水) 15:17:35.67

gccのフォーラムで質問出してみたら？
参考にできる回答が得られるかも知れないよ

2025/02/12(水) 15:52:05.07

＞ポインタにはprovenanceという，どのオブジェクト由来かの情報が含まれています

↑まずこれがおかしい

2025/02/12(水) 16:26:28.23

ランタイムじゃなくてコンパイル時の静的なルールだろうね

2025/02/12(水) 17:12:16.79

投資家はRustを信頼するって言ってるんだから、Rustとおんなじようにすればいいだけ

俺はC/C++派なので、どんどんRustの実績をぶんどってくるべきって思ってる

2025/02/12(水) 17:47:13.48

>>667
Rust のようにやるなら Rust のほうが巧くやれる。
当たり前だろ。

警備員[Lv.1][新芽] (ﾜｯﾁｮｲ aba3-tGgj) · 2025/02/13(木) 00:32:14.00

移植性が求められることばかりでもないし、最適化などのオプションも頻繁に取ったりつけたりしないし、思い通りに動かなければアセンブルリストみたりするけど、コンパイラが出力するコードが予想通りかなんて観点はないし、実践的ではないけど、人を小馬鹿にしたりしなければ勉強になって面白い話なのに

警備員[Lv.1][新芽] (ﾜｯﾁｮｲ aba3-tGgj) · 2025/02/13(木) 00:34:29.37

実践的でない、はちょっと違うか

2025/02/15(土) 13:31:47.16

Arduino (ESP32)で文字列変換をしたいです。
tの文字列をtm structに変換したいんですが，タイムゾーンのオフセット部分の+9:00の扱いが分かりません。
%Zはタイムゾーンのオフセットを分を指定する場合で、%zだとUTCなどタイムゾーン名を指定する場合に使うみたいでした。
どうやるんでしょうか？

tps://pastebin.com/Jcyj8BG5

2025/02/15(土) 15:04:44.95

strptime で %z や %Z でタイムゾーンを扱えるのは glibc の拡張 (他で真似している場合もあるかもしれんけど) なんだけど、 Arduino の C ライブラリは glibc ベースなの？
そうじゃないなら各ライブラリのドキュメント (またはソースコード) を読まないとわからないし、そもそもそんな機能はないのかもしれない。

2025/02/15(土) 16:19:42.94

>>672
どうもありがとうございます
%zのようなのを使わず+の前後で分けてまず前だけでtm structに変換して後ろはエポック秒が何かに変換して使うのがベターでしょうか？

2025/02/15(土) 16:25:20.46

やり方思いついたならやれ

2025/02/15(土) 16:39:17.28

>>673
どうやら Arduino は newlib ベースの模様。
newlib の strptime はタイムゾーンをサポートしてない。

どうにかしてタイムゾーンを扱いたい場合にどうやって実装するかは個々の事情によると思うのでなんとも言えない。
実績のある実装をどこかから持ってきたほうが良いんじゃないかと個人的には思う。
https://www.google.com/search?q=strptime+implementation+c
パースするだけならたいして複雑なものではないので自分で書いてみてもいいかな。

ちなみにタイムゾーンを略称で扱うのは面倒な事情が絡む。
タイムゾーンを標準時からの差の時間で表すときはその時点での差があれば十分なので簡単なんだけど、略称で表すときはサマータイムの情報もいる。
たとえばニューヨークのタイムゾーン (EST) は普段は -05:00 だけどサマータイム中は -04:00 になる。
単に EST=-05:00 というわけではない。

そんでもってこのへんの扱いが面倒なのは変わることは割とよくあるということ。
サマータイムの期間が変わったりずらす時間が変わったり、あるいはゾーンが増えたり減ったりするのは政治的な判断なので情報を定期的に更新する前提じゃないときちんと運用できない。
パソコンの OS だと適当なタイミングで更新する仕組みがあるのが普通だけど組み込みシステムだとそうもいかないこともある。

2025/02/15(土) 21:12:02.85

基本的なことを書き忘れてた。
strptime は C の言語仕様には無い関数で、 POSIX (UNIX 系 OS の統一仕様) にある。
POSIX は最低限の共通部分だけをまとめたもので実装には雑多な拡張を入れる前提なので各実装によってサポート内容が違う。
POSIX 準拠ではない環境で部分的に POSIX を真似てるだけ (POSIX の最低限の要求も満たしてない) ということもある。

2025/02/16(日) 12:03:53.19

最初からtmstructをUTCで取得した方が楽ジャマイカ

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 が守られていることを要求する。