C言語なら俺に聞け 150

2019/02/06(水) 13:39:03.21

↑
次スレを作る時は上記1行をコピーして2行に増やして必ず1行目に入るようにしてください。

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

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

**756** (ｽﾌﾟｯｯ Sd1f-3vnr) · 2019/03/14(木) 06:58:22.51

>>757>>758
誘導ありがとうございます
上のスレの方に行きます

2019/03/16(土) 19:25:45.05

>>758
ソースを何らかの方法で PNG なり JPEG なり GIF なり

2019/03/17(日) 00:34:59.62

Cはじめましたよろしくです。これみてやってください

FILE *fp;
char *p;
char fname[100];
char str[500];

gets(fname);
fp = fopen(fname, "r");
p = fgets(str, 500, fp);

while(p != NULL){
printf("%s", str);
p = fgets(str, 500, fp);
　}
　
とやって難なくファイル表示してくれましたが、これpはしょれんじゃね？と思ってこうしてみましたの

gets(fname);
fp = fopen(fname, "r");
p = fgets(str, 500, fp);　　　　　　とりあえず放置

while(str != NULL){　　　　　　　p→strに書き換え
printf("%s", str);
//p = fgets(str, 500, fp);　　　コメ停止
　　　　fgets(str, 500, fp);　　　　　　こうしてみた
　}

すると
・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・・っと無限に続いて

2019/03/17(日) 00:35:16.47

なんで止まらないんでしょ？

2019/03/17(日) 00:37:54.05

>>761-762
str が NULL になることは無いので。
配列として確保した str の「場所」は中身が何であろうと同じ場所にある。

2019/03/17(日) 00:43:34.56

>>763
もすこしだけおしえてください
fgetがfpに指定したというか登録したファイルから指定数読み込んで、それをpに渡して…
このときに文字終端ならpにNULLも渡ってそれでwhileの条件に合致して止まると思いまして　←ここまであってますか？

なら、pに渡さんでもfgetsが読みに行ったときにもう読む行ないならＮＵＬＬも引っさげて帰ってくるからｓｔｒにNULLがはいってて
じゃーああいうふうに掛けばpいらねんじゃね？と思ったんですがなぜこれだとＮＵＬＬはいってないんでしょ

2019/03/17(日) 00:48:28.87

printf("%s", str);
memset(str, 0, sizeof(str));←これ入れてみ
fgets(str, 500, fp);

どうしてかは、自分で考える

2019/03/17(日) 00:50:56.68

>>764
str が「どこにあるか」と「何が入っているか」は別物。
NULL と比較するのは「どこにあるか」であって、中身とは関係ない。
何度ループしても str の場所は同じなんだよ。

2019/03/17(日) 00:56:16.34

配列名strは先頭要素のアドレス&str[0]と同じ
strの評価結果は常に同じアドレスを返す
配列が正常に確保されている限りNULLになることは無い

2019/03/17(日) 00:56:29.02

>>765
>>766
うぉあー　小一時間なやんできますありがとうございました！

2019/03/17(日) 00:57:37.07

>>767
NULLがなにかよくわかってないことがよくわかりましたｗ　いってきます

2019/03/17(日) 01:47:18.69

>>764
fgets()は成功したら配列の場所を返す（つまりp == str）けど
失敗した場合はNULLを返す（つまりp == NULL）

ここで問題なのは他の人が言ってる通り「引数にとった配列の場所は変わってない」こと

char str[500];
っていうのは（今回はファイルから文字を読み込むために）char型のデータ領域を500個確保するってことで、
わざわざ取った場所を変更したり勝手に消したりはしない

対してNULLはまぁ何もない場所のアドレスって考えでとりあえずはいいと思う
だから、strの領域の（内容は変わってるかもしれないけど）場所はfgets()の結果がNULLでも確保してあるだけだから変わらない

最初の（動いた方の）プログラムで、fgets()した後に
printf("p=%p, str=%p\n", p, str);
とかやってアドレス表示させて途中と最後比べてみたら感覚的に分かるかも

2019/03/17(日) 04:30:49.94

fgets の戻りはポインタである必要は無く、int （bool) でいいと思うんだ
printf("%p\n", fgets()) のように直接重ねても、ファイルエンドでぬるぽ踏むわけだし

2019/03/17(日) 05:46:27.76

int返したらprintfに食わせられないじゃん

2019/03/17(日) 06:11:49.28

そんなことしねえから大丈夫

2019/03/17(日) 15:32:50.89

暗黙の型変換で配列がポインタになるってのが諸悪の根源なんだよな。
まあそれでだいぶん書くのが楽という面もあるんだけど、
この手の思い違いが連発するのはやっぱりどこか良くない設計だったのかもなと
思わないでもない。

2019/03/17(日) 16:10:49.52

配列名や関数名はアドレスを指しているというだけであって暗黙の型変換とは無関係

2019/03/17(日) 16:16:25.40

>>775
配列名は配列型を指すし、関数名は関数型。
それがアドレス (ポインタ) になるのは暗黙の型変換による。

2019/03/17(日) 16:36:25.05

>>776
https://ideone.com/2hzQXi

2019/03/17(日) 16:51:58.33

>>777
int[10] が int* 型に型変換されたり、 void(void) が void(*)(void) になったりするという暗黙の型変換の結果だね。

2019/03/17(日) 17:12:17.93

>>778
配列Array[]の型はint[]型であるけど、配列名Arrayの型はint*型(値は＆Array[0])
関数Func()の型はvoid(*)(void)ではあるけど、関数名Funcの型はvoid*型
暗黙の型変換など関係なくポインタに代入出来る

2019/03/17(日) 17:24:35.69

配列と配列名を別物としているようだけど、それなら配列と配列名を暗黙変換しているわけだろう。

2019/03/17(日) 17:32:23.78

配列Array[]と配列名Arrayは別のオブジェクト
配列名Arrayは配列の先頭要素のアドレス&Array[0]と同一オブジェクトの糖衣構文

2019/03/17(日) 17:47:18.78

>>781
それは明らかに間違った理解。
これ以上の説明はしないので仕様を読んで。

2019/03/17(日) 18:28:05.39

結局何が正解なんだ

2019/03/17(日) 18:33:42.80

sizeof の時に区別していない/区別できないのなら　糖衣構文でも納得できるんだがね

2019/03/17(日) 20:04:24.76

T型の配列は一部の例外を除き「配列の先頭の要素を指すT型へのポインタへと型変換される」（C11 6.3.2.1.3）
だから暗黙の型変換で間違いない

2019/03/17(日) 20:47:21.33

>>774
左辺値変形が諸悪の根元だと？
じゃあ printf(&"Hello world"[0]); などと書かされるのが
おまえさんの望みなのか

2019/03/18(月) 01:00:19.91

>>786
繰返しになるけど、暗黙の型変換で書くのが楽になってるのは承知してるんだってば。
ただ、初心者が (時にはベテランでも) 変な理解をしがちな理由はこれだろうな
っていう意味での根源は暗黙の型変換にあるっしょ。

2019/03/18(月) 04:00:43.39

おじゃまします
printf("[%s][%d][%p]\n", str, str, &str);

こう表示させたとき%sと%pに出る値は意味わかるのですが（文字列とアドレス）
はわかるのですが%dに出る数字の羅列はなにになるんですか

2019/03/18(月) 04:05:51.06

>>788
str は char の配列ということでいい？
だとするとアドレス。

str が配列であれば str と &str はアドレス値として見れば同じになるはず。
型は違うけど。
(整数への変換で何が起こるかは言語仕様でははっきりした規定は無い
ので、表現が変わってしまうことな無いとは言えない。)

2019/03/18(月) 04:51:21.12

>>789
なるほど！
値が違ったのでアドレスじゃないのかと思いましたの
%dと%pではアドレスの表現が少し違うという解釈でよさげですね
いつもありがとうございます

2019/03/18(月) 06:31:42.89

>>790
表示が違うのは %p は16進表示になってるとかじゃない？

2019/03/18(月) 06:49:00.10

単に%dだからアドレスの10進表記になると思ってだけど、はっきり決まってはなかったんだ。

2019/03/18(月) 07:14:51.68

>>787
そういう諸悪の根元なら左辺値変形ではなく
関数仮引数で空の角括弧を許していることだろうが

2019/03/18(月) 07:38:07.69

まぁ、双方明示的に(個人の感想です)strとキャストすべきなんだろうな。

2019/03/18(月) 14:12:42.17

ポインタに対してprintf()で%d指定した時ってアドレスがちゃんと出るって保証されてたっけ？

2019/03/18(月) 14:15:34.40

voidのポインタの便利さに気づきました
こんな私に何かアドバイスはありますか？

2019/03/18(月) 14:23:43.30

次は汎用ポインタの不便さ面倒臭さに気付きましょう

2019/03/18(月) 14:23:54.47

横質問で申し訳ない

NULL の実際の値
'\0' の実際の値

は実装依存ということで間違いない？？？

2019/03/18(月) 14:29:25.93

>>798
はい、間違いはございません

2019/03/18(月) 14:46:34.54

'a' の実際の値は決まってるとでもいうのか

2019/03/18(月) 14:57:23.82

>>795
保証されていない。
というより、値がアドレスには違いないのだけど
その表現がどうなっているか未定義なので、
意味のある値なのかどうかはわからない。
(常識的にはデタラメな値ということもないだろうけど……)

整数とポインタの関係について確実に保証されているのは、
ポインタをポインタのサイズより大きい整数型に入れたなら、
元の型にキャストしなおすと変換前と等しいってことくらい。

2019/03/18(月) 14:59:53.22

>>799
即レス感謝です

2019/03/18(月) 15:01:51.19

>>800
実装として、ASCIIとEBICDIC以外で「これは認識してないとダメ」なものがあれば御教示くださいませんか？

2019/03/18(月) 15:50:43.53

一部の文字が示す値の連続性の保証があったような

2019/03/18(月) 15:56:04.05

>>804
数字 ('0'～'9') に対応する文字コードが連続する保証は有る。

2019/03/18(月) 16:33:31.22

'0' ～ '9' で挟んで '0' で引き算するのは保障されてるので成立するけど
'a' ～ 'f' , 'A' ～ 'F' で挟んで - 'a' + 10 や - 'A' + 10 は保障外のコードになる　と。

2019/03/18(月) 17:09:05.92

>>801
未定義じゃねえ処理系定義だ
未定義に該当するためには何らかの禁止を破らねばならない
禁止を破っていないのに決まっていない事項は未規定
未規定のうち文書化されるのが処理系定義だ

先輩方が変な言葉遣いをするから
若いのが勘違いするんだよ
気をつけな

2019/03/18(月) 17:42:10.10

>>807
「処理系が必ず定義しなければならない」
「純粋に処理系依存なので、規格としては何も触れない」

この違いがイマイチ良く分からんのですが

2019/03/18(月) 17:56:16.31

>>803
ないです
都度確認すればいい

2019/03/18(月) 21:11:30.38

>>808

> 「処理系が必ず定義しなければならない」
それが処理系定義
たとえば sizeof(int) が返す値だ

> 「純粋に処理系依存なので、規格としては何も触れない」
これは未規定
たとえば printf("%d %d", getchar(), getchar()); の場合の左右の getchar の実行順序だ

わかってないんなら、ちゃんと規格票で確認しとけ

2019/03/18(月) 23:08:12.32

>>795,801 ポインタの表現形式とは関係なく、未定義の動作になります。
https://www.jpcert.or.jp/sc-rules/c-fio47-c.html

実際の処理系での挙動を説明しようとするとポインタの表現形式で説明が付く
ことが多いだろうとは思います。

2019/03/18(月) 23:15:18.00

C11 7.21.6.1.9で「変換指定子が不正である場合の動作は未定義」ってあるね
処理系定義は%pの時のポインタの値の表現形式と間違えてないか

2019/03/18(月) 23:23:41.88

>>810
規格で「何も」触れられていないのは未定義 (undefined) なのでは？
禁止を破るほか、規格に定めのないところの動作も含まれます。

規格で示される選択肢のうちのどれを処理系が選ぶかが定められておらず
処理系任せ（文書化も不要）なのが未規定 (unspecified) かと。

2019/03/19(火) 08:12:11.66

自分はc言語とc#(pcツール開発用途)使うけど、
c言語は仕様がコンパクトで、このスレのような議論があって面白いな。
c#はライブラリが充実してて凄く便利

2019/03/19(火) 09:23:10.29

>>813
嘘つくんじゃねえ
規格で触れられていない事項は未規定だ
未定義は「知るかボケてめーが悪いんだろうが」という意味の用語だ

2019/03/19(火) 10:26:28.12

>>815
http://kikakurui.com/x3/X3010-2003-01.html#9
> この規格の制約以外の箇所で現れる…（し）なければならない又は…（し）てはならないという要求をプログラムが守っていない場合，その動作は未定義とする。
> この規格では，このほかに，用語未定義の動作を使うことによるか又は動作の明示的な定義を与えないことによって未定義の動作を示すこともある。
> これらの三つの書き方は強調度において何ら変わりはなく，それらはすべて未定義の動作を規定する。

2019/03/19(火) 11:35:26.58

未定義な動作っていうのはプログラムが未定義な動作をするわけじゃなくて
コンパイラー製作者が決める動作が未定義だから好きなように動作を決めれるってことだぞ

2019/03/19(火) 11:43:35.24

>>816
こちらの指摘を認めたんだな？

2019/03/19(火) 12:40:50.73

ID:LKFNCpsT0は言語仕様の前に日本語を勉強すべき

> 動作の明示的な定義を与えないことによって未定義の動作を示すこともある。

2019/03/19(火) 13:28:08.89

>>819
未定義とは何かの本文は「3.4.3 未定義の動作(undefined behavior)」だ
おまえが出してきているのを、この本文に対する補足説明と理解して読み直してみろ

2019/03/19(火) 17:11:50.12

>>816
> 未定義の動作を示すこともある

https://www.jpcert.or.jp/sc-rules/c-msc15-c.html
http://www.c-lang.org/detail/undefined_behavior.html

「この辺読んでおけ」ってかんじですか

**デフォルトの名無しさん** (ｽﾌｯ Sd1f-QpYv) · 2019/03/19(火) 17:56:13.66

>>815
JIS X 3010:2003 3.4.3
未規定の動作（unspecified behavior）この規格が，二つ以上の可能性を提供し，個々の場合にどの可能性を選択するかに関して何ら要求を課さない動作。

C11 3.4.4
未規定動作
不特定の値の使用、あるいは当国際標準が提示する2つかそれ以上の可能性があり、いずれを選ぶかに関してそれ以上の要求を課さないその他の動作。

一応選択肢は与えてるように見えるな

2019/03/19(火) 18:02:59.01

「異常なプログラム」、「正しくないプログラム」、「正しくないデータ」
↑
このへんのキーワードが、なぜ「未定義の動作」という用語をわざわざ作っているのかの存在意義だ
他の「処理系定義の動作」や「未規定の動作」と見比べてみな
「未定義」だけ異質な点はただ１つ

2019/03/19(火) 19:53:17.00

>>820
あほか、そこに「正しくないプログラム構成要素」って書いてあるだろ
規格には正しいプログラムの定義は書いてある
書いてないことは全て正しくないプログラムだよ
そもそも全ての未定義を定義できるわけないことぐらいはアホでもわかるだろw

2019/03/19(火) 20:49:49.43

CとC++のことで少しはまったことがあったので質問です。
はまった部分を単純化して例を挙げます。

1.単純化した例
FuncC.c
#include <stdio.h>

void Func(void) { puts("FuncC"); }

FuncCpp.cpp
#include <stdio.h>

void Func(void) { puts("FuncCpp"); }

main.c
void Func(void);

int main(void) { Func(); return 0; }

上記3つのファイルを gcc *.c *.cpp でコンパイルリンクするとFuncC.cのFuncが呼ばれます。
main.cをmain.cppに名前を変更して同じことをするとFuncCpp.cppのFuncが呼ばれます。
clでも試しましたが同じ結果です。

2.はまったこと
拡張子によって呼ばれる関数が違うことに気づかず延々と的外れなことをやっていた。

3.知りたいこと
1の結果がなぜそうなるのかちゃんとは分かっていません。
なぜそうなるのか分かるサイト等あれば教えてもらえませんか？

2019/03/19(火) 20:58:40.16

>>825
C++ は extern "C" {} のブロック内にC言語書かないと駄目なんじゃなかったっけ？
で、C++って同じ関数名で引数の違う関数作れるよね。だからCと見た目そっくりでも作られるコードが少し違うんじゃないの？

2019/03/19(火) 21:04:51.38

Cは関数名がそのままシンボル名になるけど
C++のほうは関数名に引数の型情報が付加されたmanglingされたシンボル名となるので
リンカーでリンケージする際に区別してる
C++ から C 関数を呼ぶには　明示的に extern "C" と宣言されてないとその機構を突破できない

んじゃなかったかな

◆QZaw55cn4c (ﾜｯﾁｮｲ 6fe9-h1+v) · 2019/03/19(火) 21:13:55.37

>>825
c++ から c の関数を呼ぶのなら extern "C"

2019/03/19(火) 21:14:21.98

おお。多分そうだ。
あとはもっと詳しい人に任せた。

◆QZaw55cn4c (ﾜｯﾁｮｲ 6fe9-h1+v) · 2019/03/19(火) 21:17:38.17

途中で投げてしまった
私がはまったのは、win32api で、 ::RegisterClass() にて登録する WindowProc を extern "C" しなかったために、凄く困った記憶があります

2019/03/19(火) 21:45:25.26

>>825
main()からcallされるasm用関数名が違うのでは

FuncC.c func() ---> funcC()
FuncCpp.cpp func() --> _Z4Funcv()
main.c call func() ---> call func()
main.cpp : call func() --> call _Z4Funcv()

2019/03/19(火) 22:56:54.72

まんぐり

2019/03/19(火) 23:56:04.61

>>825
これ読めばわかるかな。
https://www.wagavulin.jp/entry/2017/02/09/215036

2019/03/20(水) 05:59:53.51

>>824
規格では正しくないプログラムをill-formedという
つまり正しくないプログラムも記載されているということだ

別に規格に限ったことではない
あるものが何であって何でないという境界を明確化するのは
ごく当たり前のものの書き方だ

2019/03/20(水) 06:44:57.57

>>834
> あるものが何であって何でないという境界を明確化するのは
すでに明確だろ？
「正しいプログラムでないプログラム」は「正しくないプログラム」
正しいプログラムの定義は書いてあるから境界はすでに明確だよ
ill-formedとかの名前がどうのこうのは関係ない

2019/03/20(水) 06:54:48.64

>>835
もうやめろ見苦しいから

2019/03/20(水) 07:09:56.04

>>836
見苦しいのは>>834だろ
なんのためにill-formedとか言い出したんだ？ w

2019/03/20(水) 07:25:49.13

どっちが見苦しいか他の連中に聞いてみな

2019/03/20(水) 08:12:13.89

「未定義」と「不定」については Phinloda さんの↓も分かりやすいね。
少々古いのが難だけど、内容は今でも正しいと思う。

初級C言語Q&A(7)
ttp://www.st.rim.or.jp/~phinloda/cqa/cqa7.html

ところで、「不定の動作」であるが「未定義ではない」、
しかも「不定であることの影響をユーザが見ることができる」
コードの例って何かあるだろうか。
ちょいと考えてみたけど、不定の影響を見るために何かすると
そのせいで未定義の領域に突入しちゃうんだよ。

2019/03/20(水) 08:12:56.46

>>838
どう見てもお前だろ
そもそも内容についてレスできないなら黙ってなよw

**KAC** (ﾌﾞｰｲﾓ MMe7-YrE5) · 2019/03/20(水) 09:01:05.62

>>839
少し前に誰かが書いてた関数の引数の評価順序とか

2019/03/20(水) 09:38:01.32

>>840
推測してんなよ
第三者に聞く勇気がねえの見え見えだぜｗ

2019/03/20(水) 10:13:53.38

>>839
foo(), bar()でなんか画面に出力するとかして
その例にある
a = foo() + bar();
でいいんじゃね？

2019/03/20(水) 10:14:13.87

>>842
はいはい、一人で吠えてろよw

2019/03/20(水) 10:40:40.56

>>839には未定義は間違いと書いてあるけどそれは間違いで
未定義が間違いか間違いじゃないかを決めるのも未定義だから
未定義が間違いというのも間違いなんだよな

2019/03/20(水) 10:45:39.91

未定義たぁ不定野郎だ

2019/03/20(水) 12:24:13.19

>>845
そういう話をしたいならまずは君の言う「間違い」とやらをきちんと定義してくれ

2019/03/20(水) 12:34:48.75

そもそも間違いを定義したくないから未定義にしたんだから定義できるわけないよな

2019/03/20(水) 12:48:55.48

[翻訳]あなたがプログラミングに向いていない10のサイン - Qiita
https://qiita.com/hareku/items/4bfc48e23e83e0d300f3

1 好奇心の欠如
2 自律性と機知の欠如
3 問題に直面しても粘り強さが無い
4 問題解決に成功した気持ちはない
5 学習と理解に焦る
6 思考に飽きたり疲れたりする
7 自分のことを考えられない
8 堅く、狭く、そして無秩序な考え
9 複数の答えの間の「良い」と「悪い」の連続性に気付かず、「正しい」答えを望んでいる
10 細部に注意を払っていない

2019/03/20(水) 15:33:42.99

>>847
何が間違いか、はっきり丁寧に説明してやっても
結局、自らの間違いを認める潔さを絶望的に欠いていて
まったく話にならない痛いやつであることを
ここの連中は目の当たりにしたばかりなんだが

2019/03/20(水) 15:42:05.78

>>850は>>849の9番のサインがあるからログラミングにむいてないな

2019/03/20(水) 15:53:53.83

ワロタｗ

2019/03/20(水) 15:57:42.67

>>851
>ログラミング
10番のサインあり。

2019/03/20(水) 16:28:25.34

ブーメランぶっ刺さってやんのｗｗｗ

2019/03/20(水) 16:36:56.04

日本語を勉強すべきだの、あほかだのと、無礼な態度は若気の至りと
こちらは目を瞑って色々と箇条番号やらキーワードやら出してやってたが
そろそろ見限る頃だな

2019/03/20(水) 16:44:53.17

暇でないなら、直ちに見限るべき

2019/03/20(水) 17:24:29.94

>>841 >>843 (少々長くなった、読みにくくてすまぬ)
2つの関数があって、それらを「同時に」使う式で評価順が不定、
しかも未定義ではない、というのは分かるんだ。

int foo(void) {return 1;}
int bar(void) {return 2;}
func(foo(), bar()); // 関数引数の foo(), bar() どちらが先に呼ばれる?
int a = foo() + bar(); // 式中の foo(), bar() どちらが先に呼ばれる?
・どちらが先に呼ばれても同じ結果が得られる(後者では a の値は 3 になる)
・どちらが先に呼ばれたかをユーザが知ることは不可能

ところが、呼ばれた瞬間を捕まえてやろうと、関数に仕掛けを施すと…
int foo(void) {printf("foo()\n"); return 1;}
int bar(void) {printf("bar()\n"); return 2;}
「二つの副作用完了点の間に、オブジェクトの値を２回以上変更」という、
未定義の動作になっちゃうんだよ(俺はここで勘違いをしてるのだろうか?)。
printf() の内部状態もオブジェクトだろうからね。出力バッファとか。
・どちらが先に呼ばれるか表示される、おそらく結果は同じ(a == 3)だろう
・しかし、このプログラムには未定義の動作が含まれている

実際問題としては printf() を差し込んでも動作が変わらないように
うまくライブラリが作られてると思うけどね。
この投稿の趣旨は、「不定の動作であっても、結果を使うだけなら
プログラムとして正しい。しかし、不定の動作の内実を探ろうとすると、
その活動によって未定義動作を含んだプログラムになってしまう」っていう
不確定性原理みたいな何かが規格に仕込まれてるんじゃないか、という疑い。
(別に陰謀論をブチ上げようって意図はないので安心してくれ)

2019/03/20(水) 17:44:50.88

>>857
そのコードが未定義かどうかは達成しようとしている目的による

たとえば、こういう場合
int x = 0;
int foo(void) { return ++x; }
int bar(void) { return ++x; }
int main(void)
{
int y = foo() - bar();
assert(y == -1);
}
fooとbarの実行順序に依存すると
実行順序は未規定だが、未規定に依存することは禁止で、
その禁止を破ったせいでmainの動作が未定義となる

これに対して、
int foo(void) {return 1;}
int bar(void) {return 2;}
int main(void)
{
int y = foo() - bar();
assert(y == -1);
}
この例では未規定の動作を含むが
その未規定がどう転んでも影響がない、
つまり依存していないので未定義の動作とはならない