C言語なら俺に聞け 156

2020/09/28(月) 14:41:30.00

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

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

2021/05/31(月) 15:00:06.82

どう乖離してるのか具体的に言えるか？

2021/05/31(月) 15:10:57.39

ズレがある＝乖離してる、でしょ
すると、ズレがデカくなりすぎる＝乖離しまくってる、になる

そしてズレがあると現実に影響が及ぶ

2021/05/31(月) 15:35:06.23

ほらな
抽象的なことしか言えない
案の定ってやつ

2021/05/31(月) 17:11:14.35

こっちの方が面白い
https://www.youtube.com/watch?v=2hf105qkx38

2021/05/31(月) 17:12:54.07

ズレ=乖離だよ

ズレがありすぎるから問題なんでしょ
ズレがありすぎるのはまったく違うのとほぼ等しい
特に拡大解釈ではない

2021/05/31(月) 20:09:39.07

>>881
＞テストの点が取れないちょっと頭のいいやつ
がどれだけいるのか定量的に教えてください
できれば、とりこぼしまくって大勢に影響が出た事例についてもお願いします

2021/06/01(火) 05:51:42.02

具体的に例を挙げろつってんの
ズレだの乖離だのの言葉の定義ではなく

2021/06/01(火) 11:04:18.90

>>878で「大勢に影響はない」と言い切ったのはオレじゃねーぞ
お前だぞ

2021/06/01(火) 12:08:12.15

具体的に例を挙げろ
余計な無駄口は聞こえねえ

2021/06/01(火) 13:44:16.89

ズレてるとか言ったのもオレじゃねえからな
>>880だ

2021/06/01(火) 15:23:06.69

出題者の意図を読み取り、期待する回答を書くのは、
社会のすべての事に関して重要

理解力・意思疎通・説明能力

これが無いと、客の意味を取り違えたりする。
ちょっとした技術自慢だけで、実は役に立たない典型的な馬鹿

技術自慢は転職でも、最も嫌われる

意思疎通できない香具師とか、
熱い志がないとか、その会社の製品・事業に興味がないけど、
技術自慢だけしに来る香具師

2021/06/01(火) 16:31:59.27

>>891
具体的に例を挙げろ
余計な無駄口は聞こえねえ

2021/06/01(火) 17:24:06.49

>>889
無いを挙げるのは悪魔の証明になるので
影響があった事例を教えて

2021/06/01(火) 18:04:43.83

言い出しっぺはとっくにいなさそうだしこの話もう終わりにすれば？

2021/06/04(金) 01:41:15.92

>>852
#include <stdio.h>

int main()
{
　puts("ぷ");

　return 0;
}

2021/06/04(金) 01:43:19.30

なぜゼロを固定的に返すのか。

2021/06/04(金) 01:54:39.72

>>897
わかった。君だけは他の値を返すことを許す。

2021/06/04(金) 01:55:33.20

>>897
main で 0 または EXIT_SUCCESS を返すと
成功終了であることをホスト環境に (処理系定義の方法で) 通知するという仕様になってる。

ちなみに main に限っては return 文を省略すると 0 を返したことになるので
書きたくなければ省略してもいい。

2021/06/04(金) 02:05:38.62

身は出しちゃ駄目

2021/06/04(金) 02:19:44.39

>>899
あったなあ、そういう仕様。
main()では必ずexit(0)するコードとかあったっけ…

2021/06/04(金) 02:28:56.87

exit()はmain以外でも使えるから便利ｗ

2021/06/04(金) 02:29:12.39

>>896
なぜputs()のエラー判定をしないのか。

2021/06/04(金) 02:32:02.03

>>902
やるな、ってｗ
longjump()使うとかせいｗ

2021/06/04(金) 04:19:06.21

longjmpのほうがよっぽどないわー

2021/06/04(金) 10:54:44.43

>>905
まだまだ経験が足りんな

2021/06/04(金) 13:19:20.87

inf main(void)

2021/06/04(金) 13:33:17.16

フラグを返して呼び出し直後でif文、またフラグを返して、の繰り返しが
今まで何やってたんだろうというくらい、すっきりする

2021/06/04(金) 14:38:58.11

C++ の例外送出の実装方式にはいくつか種類があるけど、
sjlj と呼ばれる方式は setjmp/longjmp の略で C の setjmp と longjmp と同じことをしている。
(sjlj は移植性はあるがかなり遅いので実際には廃れ気味。)
逆に setjmp と longjmp で例外の真似をするという発想もわからんでもない。

ただなぁ、例外は例外で色々と問題をかかえているし、
後発の言語である Go や Rust がエラーを返却値で返す方式に回帰しているのを見ると、
こういうのでいいんだよこういうので……と近頃は思うようになった。

2021/06/04(金) 21:29:01.37

C++の例外はイケてない
俺はそこそこのC++loverのつもりだが
ここはどうにも愛せない

C++98の動的例外指定をやめてnoexceptにしたおかげでマシにはなったが
まだまだ膿が出し切れてない

もうexceptionやめてnested_exceptionだけに絞った方がいいんじゃないかという気がしてる
あれこそ単一継承教の害悪の典型だろ

2021/06/04(金) 22:27:18.41

>>909
まあその辺の考え方はわからんでもないけどね
ただ、一度longjmp()慣れたら、はっきりいって違和感はないし。
そもそもあちこちでexitするとか、それは昔のIBM系で悪名高い、
おかしくなったらABENDってのと何が違うんだよ、と思ってしまうので
それを考えるとね、exit()するくらいなら、longjmp()で制御戻して
出口一つにしとくようにしようよ、と思うわけさ。
問題って言っても、それこそANSIの最初の標準からあるわけだし。

2021/06/04(金) 22:51:54.40

あと、もう一つメリット。
デバッガで動きを追うときに必ずsetjmp()の後ろにブレークを張っておく、と。
そすると、おおぅ、というような動きで異常終了とかでも、プログラムは落ちないから
グローバル変数くらいは確認できるｗ

2021/06/04(金) 23:18:26.41

それはexitにブレーク貼れば同じことできるのでは？

2021/06/05(土) 16:53:19.77

>>903
　　　　　　　　　　　　／）
　　　　　　　　　　　／／／）
　　　　　　　　　／,.=ﾞ''"／
　　　／　　　　 i f　,.r='"-‐'つ＿＿＿_　　　こまけぇこたぁいいんだよ！！
　　/　　　　　 /　　　_,.-‐'~／⌒　　⌒＼
　　　　／　　,i　　　,二ﾆ⊃（ ●）.　（●）＼
　　　/　　　ﾉ　　　 ilﾞフ::::::⌒（__人__）⌒::::: ＼
　　　　　　,ｲ｢ﾄ､　　,!,!|　　　　　|r┬-|　　　　　|
　　　　　/　iﾄヾヽ_/ｨ"＼　　　 `ー'´ 　　／

2021/06/06(日) 09:53:00.73

BSD, macOS, Linuxで動くgets_sの模範的実装下さい。

2021/06/06(日) 10:02:19.40

C++ならtemplate <typename charT, int N> charT* gets(charT (&ary)[N]);と
従来の使い方をそのまま残してサイズ渡せるんだけどな

2021/06/12(土) 11:53:46.28

BSP

2021/06/12(土) 18:43:44.02

res しない自由

2021/06/14(月) 20:39:15.79

C言語クイズ

void f(char **p) {
printf("%c\n", **p);
}

int main(void) {
char s[100];
f(&s);
return 0;
}

↑のコードは合法か否か？

2021/06/14(月) 21:11:18.60

>>919
違法です

2021/06/14(月) 21:28:44.78

実行犯は逮捕されます

2021/06/14(月) 22:16:38.04

法的にはアレだが感情的には(ry

2021/06/14(月) 22:43:48.58

>>919
行けそうな気がするけどダメなのか
char s[100];
じゃなくて
char *s = "abc";
ならオッケーなんだよね

2021/06/14(月) 23:17:08.16

f() は char **p を受け取るようになってるからな。
p が指す先の *p が char * 型で、更にその先の **p が char 型になる。

2021/06/15(火) 00:41:45.66

>>920-923
正解です

>>924
コンパイラ通してみるとわかる
ちなみに俺は今日までこの仕様を知らなかった( ﾟ∀ﾟ)ｱﾊﾊ八八ﾉヽﾉヽﾉヽﾉ＼ / ＼/ ＼

2021/06/15(火) 06:59:43.45

そもそも初期化されていない領域へのアクセスがアレなのでは

2021/06/15(火) 07:34:01.16

未だにchar**とchar(*)[100]の区別がつかないやつがいるのか

2021/06/15(火) 07:39:05.57

未初期化で不定なポインタではなく
指し先の実体が未初期化なだけなのでセーフということにしたい

2021/06/15(火) 07:51:57.42

union
{
char s[100];
char *t;
} u;
char **p;
p = &u.t;
printf("%c\n", **p);
とやってるのと同じで
*pつまりtが不定なのに逆参照しちまってるじゃねえか

2021/06/15(火) 08:28:39.63

あれ？　あれ？

2021/06/15(火) 09:50:49.77

>>929
違う。

2021/06/15(火) 10:26:31.47

>>931
何が？

2021/06/15(火) 14:55:22.33

じゃあ別の問題
char s[100];
のとき
char *p = s; は ok
char **q = &s; は？

2021/06/15(火) 15:02:32.98

ダメに決まってんだろ
別の問題じゃねえじゃん
同じこと聞いてんなよ

2021/06/15(火) 15:03:48.90

通せるコードが知りたいの？
char (*q)[100] = &s;
ほれ

おまえさんがやりそうな
char **q = (char**)&s;
はコンパイルは通るが○はやれないよ

2021/06/15(火) 16:23:49.89

◯とか×とかの恣意的な答えじゃなくてじゃなくて仕様書読めないのがここの限界だよな
オレもだけど
未定義動作なんて又聞きでしかしらねぇや

2021/06/15(火) 16:43:11.36

仕様書読んでる人なんか沢山いたじゃんこのスレ
今はいないの？

2021/06/15(火) 16:43:19.15

このへんを理解するのに規格票なんか読んでたら却って時間かかるよ
規格票は初心者が読むようにはできてないから

それよりポインタの基本をしっかり押さえていくと自然に答えに行き着く
実際、俺がそうだった
じっくり真剣な考察がいるからテキトーこいてるうちはわからない
いわばテキトーセンサーだ

2021/06/15(火) 16:43:29.10

コンパイルで、警告が出るだろ
右折禁止って書いてあるところ無理に右折するから､捕まる

2021/06/15(火) 17:28:08.27

配列sに初期値を入れておかないと表示出来ません
int main(void) {
　char s[100]={'a'};
　char *p=&s[0];

　f(&p);
　return 0;
}

2021/06/15(火) 22:57:25.73

配列とポインタは交換可能な場面が多いけど、結構融通が利かないことが多いですね
そもそもの >919 は定数の s を変数に適用しようとするからダメなのかな

しばらく C をやってないから、すっかりピンとこなくなってしまった
そもそも、こんな紛らわしい、クイズになるような記述はしないけど…

2021/06/16(水) 00:39:49.95

sのアドレスを関数に渡した場合は、
受けとった側がこのアドレスをchar型の要素数100の配列として操作する必要がある。
これは関数f()のプロトタイプである、ポインタのポインタとは違う物である。
コンパイルしたときの警告をよく読んでみよう。

2021/06/16(水) 16:30:37.87

char s[100];
のときの
s と &s[0]
上の二つと &s の違い

2021/06/16(水) 20:00:03.68

アセンブラ「？」

2021/06/17(木) 02:32:09.07

>>919
語弊があるかもしれないけど、
関数 fは charへのポインタの配列(ポインタ)を受けようとしていて、
呼び出し側はcharの配列への参照(ポインタ)を
渡そうとしているんだよね

2021/06/17(木) 11:15:04.23

char **p は　「charへのポインタの配列」　ではないよ

int main(void) {
　char s='a';
　char *p=&s;

　f(&p);
　return 0;
}

2021/06/17(木) 11:32:48.85

ポインタ＝配列と思い込んでいるときの症状だな
char s[100];
char *p = s;
assert(sizeof s != sizeof p);

2021/06/17(木) 12:21:59.90

C言語には一応配列型があるんだっけ？
ほとんどポインタと同義で扱えるから分からんだけらしいが

2021/06/17(木) 12:27:26.73

>>946
その通りです
なので、語弊があるかもと書きました

main の第2引数を
char *argv[]
char **argv
のいずれにもできるアレです
Cには配列型はないので

2021/06/17(木) 12:34:26.88

> Cには配列型はないので

ある！
char s[100];
これが配列型だ

2021/06/17(木) 12:55:46.07

たしかに配列ですけど、配列型なのかな

自分もちょっと理解があやしいので…
誰か男の人来て～！！

2021/06/17(木) 13:09:37.10

「型」とは何だと思う？
こういうのは型で、こういうのは型じゃない、という境界を示せるか？

2021/06/17(木) 14:03:32.36

rui_ueyamaのコンパイラ入門だと配列型とポインタ型は別々だって言ってたよ

2021/06/17(木) 14:06:34.50

951が言いたいのはこういうことか？

typedef char T[100];
T s; //これなら型だ
T s[100]; //これは型なのかな

2021/06/17(木) 15:31:45.57

型って言うと普通はintとかfloatだよね
配列型っていうか「int型の配列」と表現することはあるけど

2021/06/17(木) 15:48:44.73

基本型(数値型と文字型)と集成体型(配列と構造体)とポインタ型

2021/06/17(木) 16:05:49.23

型はintとcharとfloatとdouble等
配列はその型を[100]みたいに指定した固定数だけ宣言して使えるようにしたもの
ポインタは指定した型のメモリ上の場所だけを指し、*allocでサイズが変えれる
配列もメモリの場所を示すポインタで参照はできるがサイズは固定

で覚えた

2021/06/17(木) 16:13:28.27

>>955
キーワードのみで指定される型は基本型(basic type)だ

6.2.5 型　オブジェクトに格納した値又は関数の返す値の意味は，それをアクセスするのに使われる式の型（type）によって決定する。（オブジェクトとして宣言された識別子は最も単純な式とし，その型は識別子の宣言において指定された型とする。）型は，オブジェクト型（object type）（オブジェクトを完全に規定する型），関数型（function type）（関数を規定する型），及び不完全型（incomplete type）（オブジェクトを規定する型で，その大きさを確定するのに必要な情報が欠けたもの）に分類する。

2021/06/18(金) 13:25:25.10

>>958
なるほど

2021/06/18(金) 14:20:34.01

あ、ほんとだ
規格書見たら普通に配列型と書いてあるね
知らんかった
ネットで検索しても「配列型」は引っかからないけど

2021/06/18(金) 14:36:30.74

＞配列型（array type）は，要素型（element type）と呼ぶ特定のメンバオブジェクト型をもつ空でないオブジェクトの集合を連続して割り付けたものを表す(36)。配列型は，その要素型及び配列の要素の個数によって特徴付ける。配列型はその要素型から派生されるといい，要素型がTの場合，配列型は“Tの配列”と呼ぶ。要素型から配列型を構成することを“配列型派生”と呼ぶ。

「Tの配列」という表現は「配列型」と同義なのか、勉強になった

2021/06/18(金) 15:24:35.28

配列が型でなければ、sizeof int[4]とか、(char (*)[4])ptrとか書けないからね

**951** (ｱｳｱｳｳｰ Sa47-QaMB) · 2021/06/19(土) 00:09:10.43

では、cには文字列型があるといえるのかな

2021/06/19(土) 00:14:04.98

関数の引数で

void func(char s[][10])

なんて書き方をすると配列型をちょっと実感できる。

2021/06/19(土) 00:14:26.03

>>963
charの配列を文字列として扱うよ

**951** (ｱｳｱｳｳｰ Sa47-QaMB) · 2021/06/19(土) 00:20:12.06

いや、規格書に書いてあるのだから、私の間違いでした
すみませんでした

2021/06/19(土) 00:48:51.22

NUL終端していないchar配列はただの配列

2021/06/19(土) 05:43:30.69

飛ばない豚はただの豚

2021/06/19(土) 17:04:29.32

void func(char s[][10])
は嫌い
void func(char (*s)[10])
じゃいかんの

2021/06/19(土) 17:34:38.67

>>969
意味は同一。
仕様上の意味付けとしては後者がまずあって
前者はその構文糖という位置づけ。

2021/06/19(土) 17:54:37.68

初心者を救済すべく用意された構文糖が
結果的に初心者を陥れる陰険な罠になっているという皮肉

2021/06/20(日) 06:40:26.90

少なくともCのシンタックスシュガーは熟練者がタイプ数を減らすためのものであって初心者を楽させるものではない気がする

2021/06/21(月) 15:18:17.55

こんなところでCが中途半端に出来るだけが自慢の専門卒みたいな連中に尋ねるよりも
大学の先生かチューターの院生に尋ねた方がいいだろう
進みたい研究室があればそこに行って訊くと良い

2021/06/21(月) 20:27:45.83

院生以下のゴミｗ

2021/06/21(月) 23:06:35.04

// b.c
int b[] = {123, 456};

// a.c
#include <stdio.h>

int a[] = {123, 456};
int main()
{
　　extern int *b;
　　printf("val b\n");
　　printf("%d\n", *(b + 1));

// printf("val a\n");
// printf("%d\n", *(a + 1));

　return 0;
}

こういう分割ソースをコンパイル、リンクして実行すると、何も表示無しで終了する
デバッガー使って実行してみると、SEGVになってる

分割せず、コメント部分のaの表示だけにすると、動く

院生の人、何故かを説明して

2021/06/21(月) 23:10:51.91

こういうの、昔柴田何某のポインタ本で勉強したけど、みんな忘れたな…

2021/06/22(火) 02:41:53.17

extern int b[];にすると動いたから配列型とポインタ型の違いっぽい

2021/06/22(火) 06:19:00.39

配列とポインタを混同するなと教えるときの典型的なサンプルだね

2021/06/22(火) 22:30:25.89

外部りんけーじだと、bのメモリに配置されているのが値なのかポインタなのか分からないからかな
この場合、使用側はbに配置されたのがポインタと決めつけてるけど、実態は値だから？

2021/06/23(水) 00:13:40.21

int b[] = {123, 456};
*b で期待されるのは b=&123;
b[] で期待されるのは b[2]={123,456}
b[]の中身をスタックに積んだ後に*bの場合必要ないからextern更新して無いんじゃね？

2021/06/23(水) 05:17:30.22

現象としてはコンパイル後のアセンブリを見ればいいけど, 一般論としてはODR違反だからどう扱おうがコンパイラの自由だとしか

2021/06/23(水) 06:27:58.72

>>980
ここはCスレなのでCで表現してくれ
オレ語じゃわからん