C言語なら俺に聞け 154

2020/01/14(火) 19:32:30.16

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

C11
http://www.open-std.org/jtc1/sc22/WG14/www/docs/n1570.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言語なら俺に聞け 153
https://mevius.5ch.net/test/read.cgi/tech/1566050562/

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

2020/04/28(火) 19:01:58.68

>>696
たしかに後半はそう書いてありますね…

# ime で半角ハイフンに見える別の文字をと疑ってますがｗ

2020/04/28(火) 20:05:39.72

普通のハイフンに見える別文字だろう

どっかのサイトでコードとコマンドを丸々コピペ、
そのコピペしたコマンドに何故かノンブレーキングハイフンとかが含まれていた、あたり

2020/04/29(水) 04:32:11.62

プリミティブ型が解放されるタイミングはいつですか？
例えば
int a = 0;
a = 1;
のコードでaのメモリは上書きされるのか別の場所に確保されるのか
それらは参照が切れるまでかまたはプログラムの終了かまで解放されないのか？

また、
for(int i = 0; 10 > i; i++)
だとiは10回確保されるのかもしくは1週ごとに上書きされて制御を抜けると解放されるのか？
お願いします

◆QZaw55cn4c (CA 0Hcb-8vus) · 2020/04/29(水) 04:40:50.47

>>699
＞プリミティブ型が解放されるタイミングはいつですか？
＞例えば
＞int a = 0;
＞a = 1;
＞のコードでaのメモリは上書きされるのか別の場所に確保されるのか

プリミティブ型・構造体・共用体にかかわらず、static, extern をつけない auto 変数は、
その変数が定義されたスコープ { } から抜けると「解放される」ことになります
auto 変数はスタックに確保されるのが普通です、この場合は解放という言葉はちょっと意味が違ってきます

＞for(int i = 0; 10 > i; i++)
＞だとiは10回確保されるのかもしくは1週ごとに上書きされて制御を抜けると解放されるのか？

for() 文から抜けると i はスタックから外れます

2020/04/29(水) 05:43:54.19

スタックが普通でもないけど

2020/04/29(水) 06:35:41.63

for (int i = 0; 10 > i; i++) {
　/* i==0 から i==9 まで i はずっと同じ i */

　int n = 0; /* 「i==0 のときの n」と「i==1 のときの n」は別物 */
　...
　/* n は「}の直前」で消滅 */
}
/* i は「}の直後」に消滅 */

こんな感じだったかね。
確保・解放と言うより、名前の同一性かも知れんけど。

2020/04/29(水) 07:34:06.20

今どきのコンパイラだとregister指定がないauto変数でもレジスタになってることがよくあるから
メモリを確保・解放しているとは限らないけど、そんな下らないことは考えなくても
変数の存在期間がスコープに合わせて階層的になっていることは
スタックを使って実現しているであろうと想像するのが最も無理がない

昔のメインフレームみたいな、ひねくれた実装で考えたいやつは勝手にしろってやつ

2020/04/29(水) 08:17:54.33

何を使って実現してるとか考える必要はないと思うけど
コストだけ知ってれば

2020/04/29(水) 08:59:54.99

いきなり何nsとだけ言われても
そこから応用が全く利かないだろうが

2020/04/29(水) 09:07:16.86

>>700
「スコープ」は名前の有効範囲で静的・ソースコード上のことで
動的・実行時のことなら「ブロック」というべきじゃないかな

2020/04/29(水) 09:45:29.84

流石に釣りだろ
毎回確保してたらなんでforループが回るんだよ
javaのintegerオブジェクトみたいな話ならわかるがメモリそのまま使ってんだからさ

2020/04/29(水) 09:54:13.18

>>706
ISO C 規格より引用。
> ... There are four kinds of scopes: function, file, block, and function prototype. ...
同じく:
> A block allows a set of declarations and statements to be grouped into one syntactic unit.

少なくともCではそんな区別は無いね。

2020/04/29(水) 14:26:19.40

>>708
それ、
>「スコープ」は名前の有効範囲で静的・ソースコード上のこと
を肯定してるように読めるよ

2020/04/29(水) 15:34:59.85

関係ないが、iが10個確保されるという考え方は面白いな
ループを再帰で書いたような感じか

2020/04/29(水) 15:52:26.64

アセンブラをちょっとやるとそこら辺の迷いも無くなるしポインタが何なのかってこともよく分かるんだが、
いかんせん最近のPCは規模が大きすぎてアセンブラでちょっと何かやるのには適さないからなぁ

2020/04/29(水) 15:58:07.06

代入の度に左辺変数が新規作成される言語無かったっけ。Python?

2020/04/29(水) 15:59:47.38

>>709
そっちは正しいけど
> 動的・実行時のことなら「ブロック」というべきじゃないかな
がおかしいって話だろ

2020/04/29(水) 16:41:13.25

昔はアドレスレジスタとデータレジスタで簡単に説明できたし、コンパイルして「ほらね」と言う説明もできた
今はその辺が難しい

2020/04/29(水) 17:38:44.58

どう実装されるかは最適化含めて色々あるからなんとなくこんなもん程度で

2020/04/29(水) 17:43:06.84

>>710
OpenMPやSIMDによる並列化を使えば10個くらい同時に出来る

2020/04/29(水) 18:21:25.20

>>713
>708の引用がそれを否定してるようにも読めない

2020/04/29(水) 18:55:17.87

>>717
引用足しとくね。
> A compound statement is a block.
...
> A selection statement is a block whose scope is a strict subset of the scope of its enclosing block. ...
...
> An iteration statement is a block whose scope is a strict subset of the scope of its enclosing block. ...

こんな感じで、ソースコード上の文に対応する概念でスコープ（静的・ソースコード上のこと）を
成すものの一種であるから、これが「動的・実行時のこと」というようなことはありえない。

2020/04/29(水) 18:55:54.46

>>717
そりゃアホな内容をいちいち否定してたらキリないからな

2020/04/29(水) 21:14:04.28

>>718
足してくれても情報量増えてないね
ブロックがスコープの一種であることはわかった（ってかそれを否定してない）けど、
それ以上のことは言ってない

「自動変数の寿命はスコープ（＝関数、ファイル、ブロック、関数宣言）を抜けたら尽きる」
より
「自動変数の寿命はブロックを抜けたら尽きる」
でよくないか？

>>719
ID:U7o9KgzC0さんはそのキリないことをしてくれてるみたいだし
お前もしようとしてるんじゃないの？？

**蟻人間** ◆T6xkBnTXz7B0 (ｽﾌｯ Sdff-wyJ8) · 2020/04/29(水) 21:22:07.90

自動変数はレジスタ割り当てにより記憶領域が再利用されることかある訳だし、最適化で変数自体が消える可能性もあり得る。

2020/04/29(水) 23:20:52.24

>>720
スコープという概念が初心者にとって馴染みがなく伝わりにくいから構文の要素として目に見えて理解しやすいブロックと言い換えて説明する、というなら理解できる。
しかし、発端の>>706で言っているスコープは静的・ソース上のこと、動的・実行時にはブロックという理解は頓珍漢だと思うぞ。

2020/04/29(水) 23:25:04.77

>>720
>706 で言ってるような違いは無くてどっちでも同じ意味になると理解してくれたらないいんだけど、
その言い換えを改めて推してくるとなると何か誤解がありそうな気がする。

ブロックに言い換えることで何がよくなるのか、あるいはスコープだと何がよくないのか、言える？

2020/04/29(水) 23:58:02.35

>>699
言葉遣いや着眼点と、分からないことがアンバランスだなぁ～

**720** (ﾜｯﾁｮｲ a7f9-h83k) · 2020/04/30(木) 00:42:18.37

「スコープは名前の有効範囲で静的・ソースコード上のこと」は正しいと認めてもらえたと思っていいのかな
それを「自動変数の寿命」という動的・実行時のことに使うのが気に入らない
ファイルスコープという関係無いことも含んじゃうじゃないか

2020/04/30(木) 01:17:57.08

>>725
> 「スコープは名前の有効範囲で静的・ソースコード上のこと」は正しいと認めてもらえたと思っていいのかな

それはそう。そしてその点についてブロックも変わらないと言っている。

自動変数の寿命に関する規格の言い回しはこんな感じ。
> ... its lifetime extends from ... until execution of that block ends in any way. ...
...
> ... its lifetime extends from ... until execution of the program leaves the scope of the declaration. ...

「ブロックの実行が終わったら」「プログラムの実行がスコープを出たら」などと定めている。
特に誤解の余地も無いかと。

2020/04/30(木) 08:18:03.97

>>725
> 「スコープは名前の有効範囲で静的・ソースコード上のこと」は正しいと認めてもらえたと思っていいのかな
それに反対して奴なんていないだろ

> 動的・実行時のことなら「ブロック」というべきじゃないかな
が頓珍漢だって言われてるだけ

2020/04/30(木) 08:50:53.47

>>725
局所変数(自動変数とstatic局所変数)のスコープは関数とブロックなのだから、ファイルスコープが入るからおかしいという理屈は的はずれだろう。
で、局所変数である自動変数とstatic局所変数の違いが、スコープから出たときに生存期間が終わるかどうかということなのだから、自動変換の生存期間としてスコープを出たらというのはごく自然なことだと思うぞ。

2020/04/30(木) 12:23:16.18

蚊帳の外の住人「それ知ってなんの役に立つの？自分でコンパイラでも作るの？」

2020/04/30(木) 18:49:14.38

コード書くのに何処まで生きているかだけを意思しとけばいいし

2020/04/30(木) 18:54:36.66

デストラクタもないし

2020/04/30(木) 20:01:49.37

>>729
さすがにスコープと生存期間ぐらいは把握してなきゃコード書けんだろ

2020/04/30(木) 20:26:12.67

コードを書くための知識はある
厳密な言葉の定義が論点

2020/04/30(木) 21:11:49.19

>>726
引用ありがとう
規格にそれがあるなら納得するしかないな

>>728
静的なことと動的なことの区別がついていないように感じてしまう
俺が気に入らないってだけのことなんだ、すまんかったね

2020/05/01(金) 07:10:40.17

解放のタイミングが保証されているのではなく
存在の保証が切れるタイミングが規定されているわけだ

2020/05/01(金) 09:05:45.71

面倒なのは同じ用語でも言語によって定義とか意味が違うことだな

2020/05/01(金) 09:13:25.69

実装する側の自由度を持たせるために >>735 みたいな規定になるんだろう

2020/05/01(金) 09:42:08.95

次はmalloc＆free問題ですか？

2020/05/01(金) 12:13:03.23

それは考え方としては分かりやすい

2020/05/01(金) 17:40:11.58

>>737
保証されてないし実際違う

2020/05/01(金) 20:59:04.90

>>740
まるでおまえさんの脳味噌だなｗ

2020/05/01(金) 21:00:09.83

おれの脳味噌は良い方だと思う

2020/05/01(金) 21:00:54.26

大学出てるし

2020/05/01(金) 21:02:34.98

>>741みたいな中卒とは違う

2020/05/01(金) 21:36:47.12

>>744
ここCスレだよ？
ISO/IEC9899に学歴制限書いてあるように見えたの？
それともアホなの？　バカなの？　不細工馬鹿童貞なの？
中学生は生えたかどうか、高校生は剥けたかどうか、大学生はヤッたかどうかが下ネタだけど
３連敗してて、ねえ今どんな気持ち？

2020/05/01(金) 21:40:45.08

次は院だねえ
仕事見つかるかどうかで４連敗ほぼ確定だろｗｗｗｗｗｗｗｗ

2020/05/01(金) 21:41:59.19

さわっちゃいけないヤツだった

2020/05/01(金) 21:44:03.26

図星しすぎたね、ごめんねーｗｗｗｗ

2020/05/01(金) 21:47:34.08

尻尾巻くなら端っから喧嘩売るなよクズ

◆QZaw55cn4c (ﾜｯﾁｮｲ 4798-8vus) · 2020/05/01(金) 21:50:44.92

>>747
触って触って！！

2020/05/01(金) 21:51:48.94

学歴がどうしたって？　オラ出てこい！

2020/05/01(金) 21:55:39.98

ネットで発言するにあたっての注意事項を
絶望的に知らねえど初心者か

バカッターの類だな

2020/05/02(土) 08:39:17.16

これ、どう思う?
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13224055453

何を検証したいのかをなぜ誰も問わないのか。
そして、何を検証したいのだとしても自分で memcpy を書く必要は無いと思うのだが。

2020/05/02(土) 09:03:38.50

なんで状況を何も知らない状況で不要と判断出来るの？

2020/05/02(土) 10:13:13.80

>>753
質問者が理由を明確に書いてるのに読めないのか？

2020/05/02(土) 13:48:44.85

>>753
何とも思わない。

2020/05/02(土) 14:08:39.54

>>753
memcpyとかはコンパイラがインラインで展開したりすることあるからなかなか難しいことやってるな
って言う感想です

2020/05/02(土) 14:11:46.01

メムカピ

**デフォルトの名無しさん** (JP 0H9f-r+sk) · 2020/05/02(土) 14:28:28.96

simulationライブラリで純粋な関数式プログラミングをする
ttp://x0000.net/topic.aspx?id=3631-0

UIライブラリ (C#, 2D) を作ったよ
ttp://x0000.net/topic.aspx?id=3688-0

連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0

4Dエンジン
ttp://x0000.net/topic.aspx?id=3677-0

matrixのライブラリ
ttp://x0000.net/topic.aspx?id=3711-0

ある強力なFor関数
ttp://x0000.net/topic.aspx?id=3630-0

SQLライブラリ
ttp://x0000.net/topic.aspx?id=3675-0

2020/05/02(土) 14:38:25.17

主がキモい個人サイトいらね

2020/05/02(土) 17:42:33.39

解りにくかったのなら申し訳ない。
ログ出力をしてから memcpy を呼ぶんじゃだめなのかなってことなんだけど。
当人はログ出力によって何かを検証するのが目的なわけで
動作が変わってしまうかもしれないというリスクを冒してまで
memcpy を書きたいようには見えない。
もちろん、書きたければ書けばいいが、それは当人に聞いてみなきゃ判らない。
そういう確認もなく、なぜ回答が memcpy を書く方向なのかなと。
まあ、自分で回答する気はないんだけどね。

2020/05/02(土) 17:51:23.03

>>761
膨大なソースのmemcpy使用箇所のすべてにログ出力処理を埋め込む方が、自作のmemcpyに置き換えるよりも遥かにバグを埋め込むリスクが高いだろう。

2020/05/02(土) 18:09:51.27

規模によるけど1万ファイル越えとか想像してみ？
その規模で全部のmemcpyをちゃんとログ付き自作関数に置き換えられたか？なんて考えたくない

2020/05/02(土) 19:41:25.20

>>761
> もちろん、書きたければ書けばいいが、それは当人に聞いてみなきゃ判らない。
当人が「ライブラリ関数memcpyを自作の関数に変更したいと考えています。」って書いてるのに何を言ってるんだよ
恥の上塗りしすぎw

2020/05/02(土) 20:25:23.36

デバッガがやってるような技術で memcpy をフックできないもんかね。
そういうツールとか無いんかな。

2020/05/02(土) 20:30:45.84

マクロで置き換えちゃう？

2020/05/02(土) 20:41:48.88

>>765
memcpy全てが素直に1個の関数になってたらいろいろと手はあるけど
そうじゃないからねえ

2020/05/02(土) 20:52:43.50

>>765
動的に置き換えたいってこと？
>>757にも書いたようにインライン展開されるケースとかにまで対応しようと思ったらすげー大変な気がする

2020/05/02(土) 21:14:36.58

システムヘッダファイルの配置先フォルダの設定を変更する

2020/05/03(日) 06:15:32.58

GNUライセンシーを回避しようとしても下層のライブラリ呼び出しでバレてしまう。

2020/05/03(日) 15:03:38.89

関数の引数を構造体で抽象化してるんですが、速度的に問題になる場合ってあるのでしょうか？
抽象化というのは↓のような構造体を

struct args {
int a; // func1の引数
int b; // func2の引数
};

複数の関数に渡します

void func1(struct args *args) { args->a += 1; }
void func2(struct args *args) { args->b += 1; }

呼び出す時は一時オブジェクトで渡します

func1(&(struct args){ .a = 1 });
func2(&(struct args){ .b = 2 });

構造体のメンバが増えると一時オブジェクトの作成に時間がかかるようになって、
func1やfunc2などの関数が沢山呼ばれた場合に重くなるんじゃないかと心配してます

2020/05/03(日) 15:24:56.30

スタックポインタ加減算するだけだから大したことないだろうけど、心配なら測定したら？

2020/05/03(日) 15:38:01.56

どうしても気になるんなら union にしときゃいい

union args {
struct { int a,b,c, … } forA;
struct { double A,B,C, … } forB;
　…
struct { int a,b,c, … } forZ;
};

void func1(union args *args) { args->forA.a += 1; }
void func2(union args *args) { args->forB.A += 1; }

2020/05/03(日) 15:44:14.80

>>772
やっぱり測定するしかないですかね

>>773
なるほど
共用体使えば節約できますね

とりあえず気にしない方向でいきますm(_ _)m

2020/05/03(日) 20:50:14.66

>>771
値のレジスタ渡しをしなくなるから、遅くなると言えば遅くなる。

2020/05/03(日) 21:01:09.61

>>771 の↓の書き方はいつからできるようになったのですか？

＞func1(&(struct args){ .a = 1 });

こういうのはＣ++に任せといてもらいたいなぁ…

2020/05/03(日) 21:10:45.99

スレ汚しですみません、>>776 です
ググりなおしたら分かりました
Ｃ99 からなんですね

2020/05/03(日) 22:27:02.54

逆にC++では出来なかったりするのだ

**入門者** (ﾜｯﾁｮｲ dfad-D935) · 2020/05/04(月) 03:08:12.32

Win32APIを学びたいと思ってて
その前にCかC++を学ばなきゃいけないみたいなのですが
どっちを選んでも同じようにWIN32APIが使えるのでしょうか？
プログラミング経験自体ほぼないです

http://wisdom.sakura.ne.jp/system/winapi/win32/index.html

2020/05/04(月) 03:57:58.15

>>779
うん、どっちでも同じように使える
Win32APIのインターフェースはCで、C++はかなり上位互換なので
だからC++じゃないCでやる意味はあまりないよ

そこだいぶ古いなぁと思ったら、新しいところに移行してるじゃん
http://www.wisdomsoft.jp/
でもやっぱり古いね

猫でもの方がまだちょっと新しい分マシかも
http://www.kumei.ne.jp/c_lang/

2020/05/04(月) 04:23:31.56

>>780
わかりました。難しいことは全く分かりませんが
同じように使えるとお聞きし、安心しました！
教えていただきありがとうございます。

2020/05/04(月) 06:41:41.63

>>775
一時オブジェクトではなくて引数の構造体を使いまわした場合は構造体のほうが早いのでしょうか？

struct args args = { .a=0, .b=1, .c=2 };
func1(&args);
func2(&args);

func1(0, 1, 2);
func2(3, 4, 5);

2020/05/04(月) 06:44:52.23

興味があるなら
コンパイルの結果と測定結果を自分で見ると良い

2020/05/04(月) 07:11:51.47

はい
アセンブラ勉強しないといけないみたいですね

2020/05/04(月) 07:25:22.71

>>782
すみません、これは自分で計測してみることにします
どうもありがとうございましたm(_ _)m

2020/05/04(月) 10:51:06.23

>>779
Win32API を使いたいだけなら
むしろ C++ 知らない方が良い
C からやれ
https://mevius.5ch.net/test/read.cgi/tech/1588339011/

2020/05/04(月) 11:06:11.52

win32apiを学びたいのは何でなんだろう

2020/05/04(月) 11:09:31.13

余計なことを言ってやる気なくさせるな
とっかかりは何だっていいんだよ

2020/05/04(月) 11:12:33.82

C も C++ も経験ないからどっちが良いかって聴かれて
C が良いって言っただけなのに

なんでお前がやる気を無くす必要があるんだ？

2020/05/04(月) 12:14:31.76

>>789
そのとおりだよ
あんたのことじゃない

2020/05/04(月) 12:40:32.82

>>789
> C も C++ も経験ないからどっちが良いかって聴かれて

そういう質問ではない。

>>779
>>789 は Win32API のコード例が何で書かれてあるかといったことをまるきり勘案していないようなので、無視していい。

2020/05/04(月) 12:54:09.43

M$のチュートリアルはわかってる人をも混乱させるクオリティだからなあ
「猫でもわかる」はCだね
http://www.kumei.ne.jp/c_lang/index_sdk.html

2020/05/04(月) 12:54:38.34

C言語用に書かれたコード例って見つけるのが大変かも

2020/05/04(月) 13:08:36.01

いまさらCを勧める理由がわからん

2020/05/04(月) 13:12:22.44

>>792
> 「猫でもわかる」はCだね
C++のクラスとかを使ってないだけ
そもそもサンプルコードのファイル名はsample01.cppとかだからC++としてビルドしてるし

**デフォルトの名無しさん** (JP 0H9f-r+sk) · 2020/05/04(月) 16:02:52.28

simulationライブラリで純粋な関数式プログラミングをする
ttp://x0000.net/topic.aspx?id=3631-0

UIライブラリ (C#, 2D) を作ったよ
ttp://x0000.net/topic.aspx?id=3688-0

連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0

4Dエンジン
ttp://x0000.net/topic.aspx?id=3677-0

matrixのライブラリ
ttp://x0000.net/topic.aspx?id=3711-0

ある強力なFor関数
ttp://x0000.net/topic.aspx?id=3630-0

SQLライブラリ
ttp://x0000.net/topic.aspx?id=3675-0

2020/05/04(月) 16:41:52.22

>>782
一時オブジェクトかどうかじゃなく、関数の引数の型によって内部的な関数の呼び出し方(というか引数の渡し方)が変わる。
int の値のなんかだとスタックに詰まずレジスタで渡す高速な呼び出し方になったりするが、
構造体ポインタ渡しだとポインタそのももはレジスタで渡されても実際の値はポインタ経由のメモリアクセスにならざるを得ないから、理屈の上では遅くなる。