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/12/06(火) 00:15:19.77

>>737
抱えたまま他の関数を呼び出したり
あと再帰呼び出しとかスタックを利用する一番の利点とされてるけど？
問題なのは呼び出された関数がすでにスタックが残り少ないのを知る手段がなく
そこでクラッシュしても原因がわかりにくいという開発上のトラップだな
まあ大規模なソフト開発してみればわかるよ

2022/12/06(火) 00:17:55.95

それはメモリー不足が何時起きるか分からないと言ってるのと同じ事ですが

2022/12/06(火) 00:44:18.64

スタックオーバーフローという
エラーメッセージがあるのでは?

2022/12/06(火) 00:44:54.36

スタックオーバーフローという
エラーメッセージがあるのでは?

2022/12/06(火) 00:47:21.54

スタックオーバーフローという
エラーメッセージがあるのでは?

2022/12/06(火) 00:47:27.32

スタックオーバーフローという
エラーメッセージがあるのでは?

2022/12/06(火) 00:48:27.88

スタックオーバーフローは、大規模なソフト開発とはあまり関係ないデスね
大規模なソフト開発してて、スタックオーバーフローでプログラム落ちたら、
笑われると言うか、怒られるかも

2022/12/06(火) 01:09:59.63

スタック上に大領域確保するにしても
内部で余計な関数呼ばない結果だけ返す関数作って抱え込まない
深さを限定できない再帰呼び出しもありえないし

2022/12/06(火) 03:07:59.72

699 デフォルトの名無しさん (ﾜｯﾁｮｲ 972d-zuBb) sage 2022/12/01(木) 15:02:39.09 ID:ZPuEPm3M0
ttps://atcoder.jp/contests/abc273/submissions/35667282
このコードを実行するとscanfで入力を待つはずなのですが即座に終了してしまいます
たまにそういうコードを見かけるのですが何が原因なのでしょうか
printfを入れても実行されないのでmainがスキップしているような。。

2022/12/06(火) 03:09:09.32

>>758
いまだにhを取るあたりがもう超絶無能

2022/12/06(火) 03:10:27.42

>>758
25年くらい前のネットの書き方だな

2022/12/06(火) 08:24:16.80

Win98時代は1Mバイト程度の配列変数作っただけで動作がおかしくなってたな。
スタック増やせって言われてコンパイルオプション弄ったけど改善しなかった記憶・・・。

DOSからWinに来たときは64ｋバイト以上のメモリ確保さえ避けてた。

2022/12/06(火) 08:27:50.69

そりゃー8086のセグメント方式なんだから64k超えは問題ありまくりんぐでそ

2022/12/06(火) 11:20:14.67

>>761
> Win98時代は1Mバイト程度の配列変数作っただけで動作がおかしくなってたな。
それは今でも一緒だろ
Windows の既定のスタックサイズは1MBのままだぞ
https://learn.microsoft.com/ja-jp/windows/win32/procthread/thread-stack-size

2022/12/06(火) 11:30:06.24

MS-DOSの頃は、メモリ1MB積んだPCってスゴイ豪華な印象だったな
搭載メモリーを使い切る様なプログラムを、オレは書けるんかって思ってた

2022/12/06(火) 12:01:21.10

I/Oバンク方式かEMSかって時代か

2022/12/06(火) 14:59:37.11

本当のメインメモリとして使えたのは640kBまでで
残りの384kBはバンクかEMSの増設メモリだった

2022/12/06(火) 19:43:39.61

最初はハードウェアで実装してたけれど
そのうち仮想86モードだったかで、
特別なハードを追加せずにメモリアクセス出来る様になってたね

2022/12/06(火) 20:33:29.46

>>766
残りはハードウェアのIOやらROMやらVRAMなどだ
EMSウインドウはその開いている隙間アドレスにねじ込んだだけ

2022/12/06(火) 21:49:14.42

>>767
あったねー、ソフトウエアEMS＞ハードウエアEMSなんて珍現象

2022/12/09(金) 05:45:28.61

#include <stdio.h>
#include <time.h>

void
main(void)
{
time_t now, now2;

now = time(NULL);
now2 = time(NULL);
struct tm *tm1 = localtime(&now);
struct tm *tm2 = localtime(&now2);

tm2->tm_mday = 1;
tm2->tm_mon = 1;

printf("%d %d\n", tm1->tm_mday, tm1->tm_mon);
printf("%d %d\n", tm2->tm_mday, tm2->tm_mon);
}

2022/12/09(金) 05:46:27.95

tm2を変更するとtm1も同じ値になってしまいます。
回避方法を教えて下さい。

2022/12/09(金) 05:47:05.17

OS:Linux Mint
コンパイラ:gcc です

2022/12/09(金) 06:15:54.45

https://linuxjm.osdn.jp/html/LDP_man-pages/man3/ctime.3.html
localtime_r()を使いましょう

struct tm *tm1 = localtime(&now);
こんな使い方をするって時点でlocaltime()が「何」を返すのか、察しましょう

2022/12/09(金) 06:58:19.07

>>773
サンクス、動いた

2022/12/09(金) 07:14:28.04

このへん、言っちゃなんだけどクソだね
なんでこんな変な設計にしたんだろう

2022/12/09(金) 07:27:22.65

ローカルで構造体を定義してそこへのポインタを返すとスタックから消えてデータが壊れますか？

2022/12/09(金) 07:54:25.65

>>775
いちいち使う人に領域確保させる手間をかけさせたくなかったってことでしょ
マルチスレッドなんてない時代だし

2022/12/09(金) 07:57:34.07

>>776
構造体に限らずローカル変数へのポインタを返すとポインタの指す先の内容は壊れる（かもしれない）

2022/12/09(金) 13:31:15.00

未定義の動作という

2022/12/09(金) 15:26:27.10

>>775
strtok

2022/12/09(金) 15:41:02.97

何らかの要因でテンパって煮詰まってコーディングしてて
変なものができてしまうこと、皆さんも経験あるのでは

2022/12/09(金) 17:25:23.52

>>776
スタックから消えるというか、言語仕様的な用語でいうと生存期間が終了していることになる。
そんでオブジェクトを生存期間の外部で参照したときの動作は未定義なので何が起こるかわからん。
C でいう未定義ってのは「何が起きてもいい」なのでデータが壊れる (意味不明の値が読みだされる) だけでは済まないかもしれない。

2022/12/09(金) 17:34:59.55

恋と同じで、はかなく消える運命

2022/12/10(土) 01:00:03.41

>>776
すぐ消えないことがあるので読めてしまうかも知れない。しかし何かをすると一瞬にして破壊されて終わるかも知れない。
あてにしてはいけない。

ていうかこの頃のコンパイラってそういうのは警告出したりエラー扱いにしない？

2022/12/10(土) 08:35:32.63

コンパイル時に常に摘出できるわけじゃないし

2022/12/10(土) 08:43:06.25

いやバグは睾丸みたいに摘出はできないだろ

2022/12/10(土) 11:08:12.32

warning C4172: ローカル変数またはテンポラリのアドレスを返します: hoge

VS2022

2022/12/10(土) 11:18:10.60

>>787
https://learn.microsoft.com/ja-jp/cpp/error-messages/compiler-warnings/compiler-warning-level-1-c4172?view=msvc-170

2022/12/10(土) 11:34:37.41

そういうときはレジスタ変数のアドレスを返すようにコーディングしなさい

2022/12/10(土) 11:49:59.77

staticの出番は？

2022/12/10(土) 12:13:19.32

そして>>773の仕様となるのであった…

2022/12/10(土) 12:55:16.29

int *fuga(void){
　register int i = 123;
　return &i;
}

error C2103: '&' レジスタ変数のアドレスを得ようとしました。

ふむ

2022/12/10(土) 13:24:22.34

>>788
説明とコードが対応してる気がしない
どういうこと？

2022/12/10(土) 13:32:02.53

>>348
レジスタに割り当てた変数には左辺値はないよ
だって、ハードウェアのレジスタだから

2022/12/10(土) 13:43:23.28

言いたいことはわかるけど日本語が変
左辺値はメモリアクセスを意味する式なので
レジスタに左辺値がないのではなく
記憶クラスがregisterの変数の識別子は左辺値ではない

2022/12/10(土) 13:46:04.91

>>789への疑問やろ

2022/12/10(土) 14:05:33.41

>>793
floatからdoubleへ変換したうえでその参照を返してる
パッと見分かり辛くて人間の認知への挑戦かと思うなw

2022/12/10(土) 15:12:06.94

>>792
register 指定が付いたらアドレスを取る操作自体が出来なくなるように制限されてるよ。
配列を register 付きで宣言したらなにも出来なさ過ぎてワロタｗｗｗというのはよくあるネタ。
(言語仕様的には配列 (の要素) へのアクセスもポインタ演算の構文等になってるから暗黙にアドレスを取る操作。)

>>794-795
左辺値であるかどうかと記憶クラスは関係ない。
必ずしもメモリにアクセスすることを意味しない。
register 宣言でアドレスを取れなくなるのは左辺値でなくなるからではなく
& のオペランドは register 付きで宣言されたものであってはならないという直接的な制約。
どこをどう見ても左辺値の定義自体には register 指定は関係しない。

更に C99 の 6.5.3.2 から単項 & の制約について抜粋

> The operand of the unary & operator shall be either a function designator, the result of a
> [] or unary * operator, or an lvalue that designates an object that is not a bit-field and is
> not declared with the register storage-class specifier.

JIS の日本語だとこうなってる。

> 単項&演算子のオペランドは，関数指示子，[]演算子若しくは単項*演算子の結果，又は左辺値でな
> ければならない。左辺値の場合，ビットフィールドでもなく，register記憶域クラス指定子付きで宣言
> されてもいないオブジェクトを指し示さなければならない。

左辺値のときは register 指定されていてはいけないというのは逆に言えば register 指定されている左辺値というものも存在することを示唆する。

2022/12/10(土) 15:19:28.45

> register 指定されている左辺値というものも存在することを示唆する。

具体例ある？

2022/12/10(土) 15:24:22.50

>>799
具体例というか、 register 指定は左辺値か右辺値かの定義に無関係なので
左辺値なものは register 指定されていようがいまいが左辺値って話。

変数の宣言のときに register 指定を付けたら全て register 指定のついた左辺値だよ。

2022/12/10(土) 15:44:01.19

メモリにアクセスすることを意味するでしょ。

6.3.2.1 左辺値
左辺値が評価されたときにオブジェクトを指し示していなければ，動作は未定義とする。

3.14 オブジェクト（object）　その内容によって，値を表現することができる実行環境中の記憶域の部分。
参考オブジェクトを参照する場合，オブジェクトは，特定の型をもっていると解釈してもよい（6.3.2.1 参照）。

なんでそういう決まりになっているのかを理解せずに条文の字面に書いてあることだけ表面的に言う人とは歯車が噛み合わないな。

2022/12/10(土) 15:50:02.57

>>792みたいなのはレジスタ変数じゃなくてもやっちゃダメだけどｗ

2022/12/10(土) 15:51:48.45

昔の CPU はレジスタが少なくて
なんでもかんでも register 付けて宣言すると
CPU の持ってる実 register 数以上に宣言してしまうことが多い
では使い切った後の変数はどこに割り当てられるのか？

2022/12/10(土) 16:30:03.16

>>801
話を >>794 といっしょくたにしたのが誤りだった。すまぬ。

> ハードウェアのレジスタだから
の続きで
> メモリアクセスを意味する式なので
をハードウェア的なメモリアクセスの意味で解釈してしまった。
むしろそんなん関係なく言語仕様上の意味で反論してたんだね。

(後から読む人のために補足すると C の言語仕様でいう実行環境は言語仕様で規定する仮想的な実行環境の
ことであって実際の機械語とどう対応づけるか規定されない。どういう機械語が生成されるかは
言語の意味の根拠にならないので言語仕様で再解釈しようとしたのが >>795 だと私は解釈した。)

が、言語仕様の解釈として

> registerの変数の識別子は左辺値ではない

の部分が誤っているということには変わりないよ。

2022/12/10(土) 21:03:51.14

レジスターにもアドレスを割り当てておいたら良かったかも

2022/12/10(土) 22:47:45.19

昔6800系CPUはメモリの固定番地をレジスターと同格に扱うダイレクトメモリアドレッシングで見かけのレジスタ数を増やしていた

2022/12/10(土) 22:55:13.62

レジスタを指すポインタをインクリメントすると、別のレジスタの値を書き換えられる、とか

2022/12/10(土) 22:59:08.86

組込み用の8ビットCPUでも同じような機能があるものもある
ダイレクトアドレッシング、ダイレクトページアドレッシングなど殆どは8ビットアドレスのゼロページ目をレジスタと見做して
メモリ経由することなく直接ALUで演算を行なうことが出来る

2022/12/10(土) 23:32:50.32

レジスター配列とかプログラムコードをレジスタに置くとか

2022/12/11(日) 03:20:22.27

>>804
左辺値がメモリアクセスを意味するのに？

2022/12/11(日) 03:56:09.23

>>810
言語仕様では抽象計算機での動作として記述される。 (C99 なら 5.1.2.3?を参照)
記憶域として書かれているものは抽象的な意味の上での記憶域であって、
実際のメモリにアクセスするかどうかはコンパイラの裁量。
register 指定は変数の意味に関与せず、抽象機械の動作の上ではごく普通に記憶域に割り当てられているのと同じ。
その上で register 指定は「可能な限り速いアクセスを期待する」というヒントであることと、アドレスが取れなくなるという制約が付く。

register 指定は抽象機械の上での記憶域をハードウェアのレジスタに割り当てるなどして高速化してくれたらうれしいなぁ (/ω・＼)ﾁﾗｯ
という指定であって、言語の理屈の上ではアドレスを取れない以外の何の意味も持たない。

2022/12/11(日) 06:45:02.24

抽象計算機の記憶域がメモリではないって？
もういい、あんたとは話にならん

2022/12/11(日) 06:47:07.10

>>812
根本的には register 指定で左辺値でなくなったりはしないという話をしてるんで。

2022/12/11(日) 07:35:55.41

その話の根拠に疑問を示したんだけど、例の屁理屈に逃げるんでもういい

2022/12/11(日) 08:06:06.44

>>814
言語仕様でそうなっているという以外に根拠が必要か？

2022/12/11(日) 08:12:25.56

clang で抽象構文木を見る機能があったわ。
lvalue ってなってるだろ。

https://wandbox.org/permlink/j4csi19c5wVPE8ff

2022/12/11(日) 08:25:20.92

>>815
しつこい

2022/12/11(日) 09:45:19.90

>>805
そういうプロセッサーはあるよ（ディスコンしてるけど）
https://i.imgur.com/Lqs3ejR.jpg
Z80 の裏レジスタは裏側のレジスタを直接触れなくてモヤモヤしたけどこいつは他のバンクのレジスタも直接さわれるからちょっと便利
PCとかもメモリー空間に見えてるプロセッサーもあったような気がするけど具体的なプロセッサー名を思い出せない

>>806
それはちょっと話が違う
単にアドレッシングモードとしてゼロページやダイレクトページが短いコードで扱えると言うだけのことでメモリーはあくまでもメモリー
例えば6800はPSH AでAレジスタをスタックにプッシュ出来るけどゼロページの内容を直接プッシュ出来るわけじゃない
6502 のインダイレクト・インデックストYぐらいの機能ならまあベースレジスタをメモリー上に置けるとは言えるけど

2022/12/11(日) 09:47:13.53

>>817
しつこいのは君かと
そもそも左辺値なんて言語仕様で定義されてるんだから仕様書で反論できない時点でお前の負け

2022/12/11(日) 10:26:09.32

IDコロコロ

2022/12/11(日) 10:45:16.87

>>819
べつに勝ち負けを競っているわけじゃない。
根拠 (この場合は言語仕様) に基づく解釈の妥当性がそれで変わることはないので納得しない誰かがいても不都合もない。
5ch に書き込むのはただの暇つぶしだ。
どうせほかに話題もないんだからしつこくてもいいんじゃね。
反応するかどうかは知らんけど。

2022/12/11(日) 11:25:34.59

>>821
そういうレスは流石にしつこいわ

2022/12/11(日) 15:02:48.86

ブレークブレークｗ

2022/12/11(日) 15:25:03.37

みんな仲良くしなよ

2022/12/11(日) 17:37:29.66

ポインタは卒業した。コンパイラあるんだから、ググるより書いて結果を見たほうが早いぞ。
何十回も繰り返せばわかるはず。

2022/12/11(日) 17:42:03.60

亀レスだが機械語を知らないと、いい高級言語は書けない、ってのはわからん。
機械語と高級言語は別物だろう。

機械語を簡単に理解できる知能水準の人は、高級言語を新しく学習したときも
たやすく理解できる、

というのが実態なのに、ネットでは背びれ尾ひれついて、「ハードウェアを知らないと、～」みたいな
論調が市民権を得ているな。

2022/12/11(日) 18:08:31.63

CやC++はアセンブラレベルが理解出来ないとそもそも実装が無茶苦茶だったりするけど
ポインタとかが無いJavaとかはそこまでアセンブラレベルでどうのこうのってのは無いが
それでもコンピュータ的な知識が皆無な奴は論理演算を理解出来なかったりするし
ビットシフトみたいなことやってると、何でこんな書き方しているの？みたいな事言う奴出てくるからなぁｗ

2022/12/11(日) 18:39:34.39

それがメモリー上二銅格納されてるか位は知っておいた方が良いよ
配列データをソートする時、どうやると効率的かがすぐ分かる

2022/12/11(日) 18:40:10.49

メモリー上にどう格納

2022/12/11(日) 18:50:45.41

2の補数表現の知識は機械語の範疇だろう
スタックもそうだ
Cの仕様にスタックなんて言葉は出てこないからな
register指定も完全に機械語だ
タイマとか割り込みを扱う場合は機械語の知識も必要だな
setjmp longjmpも何が保存されてるのか理解するには機械語の知識が必要だ
要するに機械語の知識は必要だ

2022/12/11(日) 19:18:24.83

>>825
ポインタ演算は未定義動作を簡単に引き起こせてしまうので
十分に理解できてない状態で実際に動作させてみるというのはあまりあてにならない。
ある程度は理解した上で実際にやってみたら納得しやすいってことならわかるけど。

2022/12/11(日) 19:19:01.91

何十年前の話題を蒸し返してるのか知らんけど今のコンパイラは賢いからregisterとか使う必要ないぞ
むしろ人間が余計な指示を出すことで効率が悪くなる可能性すらあるからハードウェアの知識が云々とかいう老害理論はパイプラインとかキャッシュとかを全て把握してから言ってくれ
君たちの時代は終わったんだよ

2022/12/11(日) 19:29:49.83

register なんてあてにならんもん、使ってる奴いなかったと思うよ
本当に速くしたい所は、それこそインラインアセンブラ使ったり
アセンブルしたルーチン呼んでたし

2022/12/11(日) 19:33:50.07

>>833
コンパイラが本当に愚直な時は最適化無しで使ってたぞ

2022/12/11(日) 19:38:52.22

それは失礼した

2022/12/11(日) 19:39:00.70

少なくとも gcc とか clang くらいのモダンな処理系ではコンパイラの判断のほうが賢いわな。

低レイヤのコードだと人手で指定を付けたいときもあるかもしれんが
そういう分野ではどうせ処理系の拡張がなきゃどうにもならんので
register キーワード程度のあやふやなものひとつを言語仕様に入れてもあまり役に立たない。
C++ では register は削除された (機能は削除されたがキーワードとしては予約語のまま) わけだし、
C でもその内に削除されるんじゃないかな。

2022/12/11(日) 20:04:06.71

register なんて要らんとか昔からずーっと言われてるけど
つけたらつけたで速くなったのその目で見たやつも居るでしょ？
gcc と gprof だけで頑張ってたとき確かに速くなったけど
だから register は有効有用使うべきとは言わないけどね

2022/12/11(日) 21:31:25.77

>>830
＞setjmp longjmpも何が保存されてるのか理解するには機械語の知識が必要だ
基本スタックポインタとプログラムカウンタだけだと思っていましたが、まあレジスタ全部と他何を保存してましたっけ？

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ a7e6-JdnI) · 2022/12/11(日) 22:26:47.72

>>836
＞C++ では register は削除された (機能は削除されたがキーワードとしては予約語のまま)
auto のように別の形で復活しそうですね
あと、asm はどうなりましたか？

2022/12/11(日) 22:34:58.44

>>838
基本レジスタ全部だな(OSが使うレジスタは含まず)
他は無いはずだけど
ただ、戻り値にレジスタを使ってる場合は、そのレジスタは書き換えられてるだろう

2022/12/12(月) 06:30:06.98

メジャーどころのCPUは大抵、戻り値はレジスタだね

2022/12/12(月) 07:28:31.07

呼出規約
https://ja.wikipedia.org/wiki/%E5%91%BC%E5%87%BA%E8%A6%8F%E7%B4%84

**デフォルトの名無しさん** (ｽﾌｯ Sdff-qs7g) · 2022/12/12(月) 14:27:00.05

static記憶クラス指定子の理解はできますが、いざプログラムを組んでみると、使い方がわかりません。

2022/12/12(月) 14:36:59.78

>>841
CPU関係あるか？

2022/12/12(月) 14:37:08.19

わかるものを使えばいいよ

2022/12/12(月) 15:05:24.79

意訳
メジャーどころのCPU（に対応したCコンパイラ）は大抵、戻り値はレジスタだね

ではないかと
VCだとコンパイルオプションで変化した記憶がある

2022/12/12(月) 16:42:43.35

>>844
呼び出し規約 (を含む ABI) の策定はアーキテクチャを設計したところが主導するもんじゃないのかな。
CPU の特性に反した使い方を基本にされても困るだろうし。
ざっと調べた感じだとよく使われている System V ABI はインテルが議長の委員会で決める体制っぽい。

マイクロソフト (Windows) は引数の渡し方がちょっと違う規約でやってて
文句も出てない (出てないよね？) からそんなに強い強制力があるわけでもないんだろうけど、
CPU ごとに常識的な使い方というものはあるだろう。

2022/12/12(月) 16:59:57.60

B言語でも戻り値はレジスタだったし

2022/12/12(月) 19:01:13.79

>>847
マイクロソフトが作ってるハードはSurfaceとかだろ？

2022/12/12(月) 19:19:51.33

DOS時代にグラフィックライブラリとかをMASMでアセンブルして出来たobjファイルを
Cコンパイラで作ったobjとをリンクさせて
Cからアセンブラのルーチン呼び出したりしてたけど、
COBOLやFORTRANで作った関数をリンクさせて
Cで呼び出したりも出来るの？