C言語なら俺に聞け 162

2023/10/30(月) 17:13:00.82

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

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

2023/11/04(土) 12:21:19.50

シンボルの方が意味が判って良いけどな
「マウスかざせば良い」はその通り
場合によっては watch 式

2023/11/04(土) 13:42:18.42

デバッグ段階で意味がいるのか？

2023/11/04(土) 13:50:23.07

デバッガもその設計思想によるだろう。
ソースレベルデバッグなら言語の評価モデルに一致するのが自然だと思う。
そうなるとシンボルのほうが主役で、評価されれば値になるし一部は事前にわかる場合もある。

バイナリ寄りのデバッガなら
シンボル情報 (デバッグ情報) を扱えるものであってもまずそこにあるのは具体的な値であって、
値のほうをメインに見せる (シンボルは補助的な情報) のが筋に思える。

2023/11/04(土) 14:07:46.76

>>53
お前はアドレスさえわかれば関数名も変数名も不要なんだろうな。
俺はソースレベルデバッグを想定してたけどお前は違うの？

2023/11/04(土) 14:20:50.41

>>54
Cのソースレベルデバッガはgdbとそのラッパー(dddとかKDEのkdebug)しか使ったこと無いな。
お前は何使うの？gdb以外のデバッガにはちょっと興味あるかも。

あと、いつのまにかデバッグの話にすり変わってるけど、元は >>40 で *コード書くとき* の話だからな。
>>41 のせいだな。

2023/11/04(土) 15:58:28.43

例の人ですか？

2023/11/04(土) 19:42:10.24

>>62
スレを私物化してないか？

2023/11/04(土) 21:41:26.73

Cは単純だからぽいんた辺りで躓かない限り特に疑問は生まれずスーっと大脳皮質に浸透していく
それに比べて自称モダン言語の気持ち悪さよ
Cが無かったらプログラミングなんてやってなかったろうな

2023/11/04(土) 21:47:47.71

Cも関数ポインタとかたいがいきしょいぞ

2023/11/04(土) 21:53:04.57

Cの関数ポインタはそれ以上でもそれ以下でもない
セキュリティが緩い頃は関数ポインタを駆使すれば関数型言語で言う所の関数のファーストクラスも実現できた
この時やはりコードとデータは分かれているべきと判りみ
と同時にオブジェクト指向は間違った思想と気付く

2023/11/04(土) 21:57:40.47

少なくとも宣言については無茶苦茶な文法だけどな。

2023/11/04(土) 22:08:52.30

C++になると更にきしょいメンバ関数ポインタがあるが

2023/11/04(土) 22:36:43.09

#include <iostream>
using namespace std;
struct Hoge {
int hage_;
int mage () const {return hage_;}
};
void func (const Hoge &obj, int (Hoge::*func) () const) {
cout << (obj.*func) () << '\n';
}
int main () {
void (*f) (const Hoge &, int (Hoge::*) () const) {&func};
Hoge hoge {10};
(*f) (hoge, &Hoge::mage);
return 0;
}
きめぇ

2023/11/05(日) 00:14:17.78

次の仕様拡張で関数配列が導入されます（嘘）

2023/11/05(日) 10:34:57.51

>>59 とか
>>60 の後者の人とかは
ゲーマーか逆アセか改造チートでもしてんのかなと思う

2023/11/05(日) 10:45:42.91

定数はともかく変数の値の変化を監視するとなれば話は変わりますよ

2023/11/05(日) 10:52:46.61

>>66
単に機種依存なくしてユニバーサル化したアセンブラだからキモいも何もない
感覚的に受け付けないという方はもうすぐAIで自然言語でプログラムできるようになるからそれまで待てばいいじゃん

2023/11/05(日) 11:02:20.21

>>70
こう描けばそこまでキモくない
#include <iostream>
using namespace std;
struct Hoge {
int hage_;
int mage () const {return hage_;}
};
void func (const Hoge &obj, int (Hoge::*p) () const) {
cout << (obj.*p)() << '\n';
}
int main () {
void (*f) (const Hoge &obj, int (Hoge::*p) () const) = func;
Hoge hoge {10};
f(hoge, &Hoge::mage);
return 0;
}

2023/11/06(月) 13:51:35.97

>>75
using使えよ

2023/11/08(水) 13:50:08.70

C++の話はスレチ

2023/11/08(水) 19:54:11.21

その言葉が聞きたかった

**あぼーん** · NG

あぼーん

2023/11/12(日) 08:32:02.96

>>79
おー、これはワクワクするな

2023/11/12(日) 08:34:12.27

>>80
アホ！
１レスくらい間にはさまないとリアリティが出ないだろｗ

2023/11/12(日) 08:51:33.78

ここまで自演

2023/11/13(月) 22:12:34.37

はじめてのCってタイトル狙ってるよね？

2023/11/14(火) 12:53:07.86

なんかドキドキする💗

2023/11/14(火) 15:40:13.41

>はじめてのC
数十年前からの定番ネタだよね・・・今の中年向けの・・・。

2023/11/14(火) 15:56:04.92

お前らはAの経験もないだろ

2023/11/14(火) 17:17:03.46

小さく投げAするときも左利き。

2023/11/14(火) 17:23:51.01

消えたD言語もｗ

2023/11/14(火) 17:24:41.49

APLは経験ないな

2023/11/14(火) 17:26:26.82

魔球は魔球はハリケーン♪

2023/11/15(水) 02:42:58.51

>>90
あなたの年齢は50歳以上ですね。

2023/11/16(木) 19:17:29.74

Cタ「バルス！」

2023/11/16(木) 20:52:49.80

C名「歌舞伎町の女王」

2023/11/18(土) 16:08:05.16

今はABCって言っても通用しないよ

2023/11/18(土) 17:12:35.80

>>94
音階に倣って「イロハ」だったりするのかな。
プログラミング言語ハとか、ハ++とか、ハ長調とか。

2023/11/24(金) 17:31:57.03

三等車か

2023/11/25(土) 04:21:32.09

Cの関数ポインタに慣れてしまってたんなに奇天烈に見えてたのに今じゃ可愛く見える

2023/11/25(土) 04:36:14.81

　 ∧__∧
　(´∀｀)
　 (⊃⌒*⌒⊂)
　　/_ノωヽ_)

2023/11/25(土) 10:00:22.54

目標をせんたーに入れてスイッチ

2023/11/27(月) 08:24:12.52

左辺値と右辺値のことがよくわからない
char *cp = "abcdefgの"abcdefg"は値を変更できないのに、
char cp[] = "abcdefg"の"abcdefg"は値を変更できる

2023/11/27(月) 09:01:26.52

>>100
それは左辺値/右辺値とは関係ない。
「リテラルを書き換えようとしたら未定義」というルールが関与してる。

前者の場合は文字列の場所を示すアドレスが cp に格納されているので
cp が指す先というのは文字列リテラルだが
後者の場合は確保された配列を初期化子の文字列で初期化するという理屈なので
配列と文字列リテラルとは別の実体を持ち、リテラルではない配列を書き換えることは問題にならない。

初期化子として文字列が出てくるときは初期化の文法としてちょっと特例があるのと
(文字列を含む) 配列は暗黙の型変換で勝手にポインタに変換される特例があって
そういう変則的なルールの積み重ねが分かり難い要因だと思う。

リテラルは書き換えたら駄目なのに型の上では文字列リテラルに const はつかない (C++ では const が付く) ので
ごく単純な場合を除くと書き換えをコンパイラがコンパイル時にエラーとして検出できないこともある。
なるべく (前後の事情によっては出来ないこともあるけど) 変数には const を付けておくのが良い作法だと思う。
const char *cp = "abcdefg";

2023/11/27(月) 09:03:50.85

char *cpa = "abcdefg;
char cpb[] = cpa; // 出来ない

char cpc[] = "abcdefg";
char *cpd = cpc; // 出来る & abcdefgの中身も描き替え出来る

2023/11/27(月) 11:14:55.99

「大前提で文字列リテラルは書き換えたらダメ」があって

初期化と代入が同じ記号の = で行われてる
配列での代入操作は暗黙で先頭のポインタを渡す一方で
配列の初期化はあたかも複製をとったような形になる

ここらへんにややこしさがあってめぐりめぐって１行目にヒットする

2023/11/27(月) 11:25:24.57

>>101　ご親切にありがとうございます。標準的な本にもかいてあることを聞いてしまいました。

2023/11/27(月) 12:06:42.49

ポインタと配列(の先頭番地)は同じように使えるがまったく別のもの

>>102の例だとsizeof(cpc)は8で
sizeof(cpa)はポインターサイズ

2023/11/27(月) 12:39:47.73

"abcdefg"[2] = 'C'; これがＮＧ

2023/11/27(月) 19:49:45.68

>ポインタと配列(の先頭番地)は同じように使えるがまったく別のもの
まったく別と言い切ってしまうのはちょっと語弊があるように思う
言い換えれば配列はアドレスが変更できないポインタとみなせる
後は参照先のメモリ領域が書き換え可能かそうでないかの違いでしかない

2023/11/27(月) 19:53:12.61

配列名は単に文字列が格納されている場所に付けられたラベル

2023/11/27(月) 22:43:46.81

>>108
上で触れられているようにサイズ情報も持ってる

2023/11/28(火) 08:18:33.76

>>109
それは別に配列だからってわけじゃない。

2023/11/28(火) 09:29:06.38

配列の型は配列型だ。

char cpc[] = "abcdefg";

とあればこのときの cpc の型は char[8] をもつ。
式中に配列型の式が現れた場合には sizeof か & のオペランドであった場合を除いてその配列の先頭要素を指すポインタ (この場合は char*) に暗黙に型変換される。
変換が適用されればポインタだし、適用されない場面では配列。

配列自体は左辺値だが変更できる左辺値 (modifiable lvalue) ではないので代入演算子の左辺に現れることはできない。
配列を型変換を適用して出来るポインタは左辺値ではないのでやっぱり代入することは出来ない。

2023/11/28(火) 10:56:51.80

え？左辺値に出来るやん

2023/11/28(火) 15:19:32.77

型の話って、実は結構難しいというか深いよね…

型を認識するプログラム作ってみるとわかるんだけど
「～のポインタである」と
「～の配列である」を同じ情報量では扱えなくて
「～の配列（要素数n）である」としないとだめなの

ポインタであることは1ビットで保持できるのに、配列であるは要素数があるから必要なビット数がやたら多いのよ

2023/11/28(火) 18:36:50.58

((char*)cpc)++ で cpc[0] が 'b' を指すように移動できるの？
これがポインタが左辺値になってるって意味の理解でOK?

2023/11/28(火) 19:17:29.83

＋＋は無理

2023/11/28(火) 19:34:06.06

アセンブラで考えるとよくわかる
cpa:
.dw cpa_static
cpa_static:
.db 'abcdef',0

cpc:
db 'abcdef',0

こんな感じになるだろう
cpaをインクリメントするのが可能だがcpcをインクリメントするのは無理なのがわかるだろう
cpcはアセンブル後には値がなくなる固定値でcpaは領域が確保されてる変数だから

2023/11/28(火) 19:42:59.12

＞((char*)cpc)++

こんな風な事をしたいなら、

*(char*)cpc+i

これでどうだろうか
ｃｐｃは固定値で、加算も減算も出来ないが、その位置からのオフセットならとれる

でも、ふつうの人は cpc[i] こうするだろう

2023/11/28(火) 20:11:54.43

>>114
代入可能であるためには左辺値であることは必要条件なのだけれど十分条件ではない。
配列が代入の対象になりえないにも関わらず
(modifiable という概念を導入してまで) 左辺値という扱いにしていることからもわかるように、
代入できるかどうかで左辺値かどうかは語れない。
左辺値でも代入できないことはある。

右辺値はどこかに代入しない限り捨てられる (その式を超える寿命を持つことはない) という性質があるので
逆にそうでないものは左辺値という扱いにしないと辻褄が合わないからこうなってるんだと思う。

2023/11/28(火) 20:38:05.06

>>112
>>118で「配列が代入の対象になりえないにも関わらず」なんて言い方してるくらいだから
多分左辺値とか右辺値がなんなのかよく分かってないんだろう
まあいつも規約をだらだら載せてるだけだけのコテだしね

2023/11/29(水) 06:07:26.12

なんでcpcを++したいと思うんだろ

2023/11/29(水) 07:30:00.42

左辺値かどうかの簡単な切り分けだと思っただけで
そういう欲求はない

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 11:41:18.63

>>111 正確には、配列名のことをいっているんでしょ？

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 11:43:26.36

でないと文章的につじつまが合わない

2023/11/29(水) 12:08:25.16

何を言ってるのだかわからん。
代入演算子の左辺に配列が現れることは出来ないという説明
に納得いかない (できる状況があると思っている) ということ？

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 12:16:49.24

>>124 そういうことです

2023/11/29(水) 12:18:51.59

代入可能な左辺値一覧

○…代入可能な左辺値
×…代入可能な左辺値ではない

1 変数に代入 v=x　○
2 変数のアドレスに代入 &v=x　×
3 配列に代入 a[i]=x　○
4 配列の名前に代入(2に相当) a=x　×
5 ポインタ変数に代入 p=x　○
5 ポインタ変数のアドレスに代入 &p=x　×
7 ポインタ変数の参照先に代入 *p=x　○ ただし参照先が書き込み可能でなければランタイムエラー

理解できたかね？

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 12:25:45.50

>>126 まだまだ浅学な者で、３と４の違いが分かれば十分です

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 12:26:51.70

右辺値と左辺値に関しては

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 12:34:21.47

char ss[5];
char *p;
p = ss; 〇
p = &ss[0]; 〇
ss = p; ×
p = ss + 2; 〇
p = &ss[2]; 〇

2023/11/29(水) 12:41:04.72

配列 a があるとき
a[i]=x
という式の左辺は配列に添字演算子を適用したもの (配列の要素) であって
これのことを「配列に代入」と呼ぶと語弊がある。

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-1fOb) · 2023/11/29(水) 12:54:49.45

しかし、食べたらまずそうなコテハンですね('_')

2023/11/29(水) 13:01:54.89

最初はSCHEME餃子と名乗ってたけどSCHEMEスレが過疎ってて暇だから
CスレC++スレにも書く機会が多くて途中で変えた。
私としてはあり得なさそうな組み合わせの語を選んだつもりだったのだけど
はちみつを使った餃子のレシピはあるみたいだよ。

**デフォルトの名無しさん** (ｽﾌｯ Sd7f-RFe5) · 2023/11/29(水) 13:56:20.69

配列には確かに構造体のようにごっそり代入できませんね

2023/11/29(水) 14:07:08.49

構造体に入れてしまえば解決

2023/11/29(水) 15:10:46.39

126 の表現を借りるなら

　3 は配列の要素に代入
　4 が配列に代入

こういう意識だわ

2023/11/29(水) 15:15:32.07

結局てめーの日本語が気に食わないって話かよ
長文は読む気が失せるわー

2023/11/29(水) 16:16:32.90

「配列は」という話をしているときに配列でなくする操作 (要素に対するアクセス) をすれば出来るみたいな話と混同されると困る。

2023/11/29(水) 20:22:44.16

初心者のころ
char text[] = "Answer is _";
text[10] = 'A' + ans;

とか書こうとしてうろおぼえで

char *text = "Answer is _";
text[10] = 'A' + ans;

としたらエラーかワーニングになって
なんでできないんだよ！とずっと悩んでいたことがあるが
そういう話じゃないの？

2023/11/30(木) 06:41:39.94

char a[] = "A";
char *p = a;
は別物(同じだと説明している入門書があるならクソ本)
&a[0] を a と省略出来るだけ
もちろん sizeof p と sizeof a[0] と sizeof a は違う

2023/11/30(木) 13:09:50.69

>>139
もう少しで完全に理解できそうなので
ガンダムで例えてくれ

2023/11/30(木) 14:54:30.13

> &a[0] を a と省略出来るだけ

意味が同じなわけなので記法の上では省略と言えるんだけど
a が &a[0] のことを意味しているというわけではなく、
言語仕様上の理屈としては a のほうにプリミティブな定義があって &a[0] のほうが構文糖という扱い。

① E1[E2] は (*((E1)+(E2))) と等価である
② & のオペランドが単項*演算子の結果の場合，*演算子も&演算子も評価せずに両演算子とも取り除いた場合と同じ
　　(添字演算子の適用結果をオペランドとする場合も同様)
③ 配列 (結果が配列型となるような式) は sizeof か & のオペランドであるときを除いて先頭要素を指すポインタに変換される

つまり &a[0] の場合を順番に当てはめるとまず &*(a+0) と同等と見做され、
&* は無かったことにされるので a+0 となり、 0 を足しても内容は変化しないから無視できて a と同じ。
そして a は配列の先頭要素を指すポインタに変換される。

2023/11/30(木) 14:59:53.10

(順序から言うと配列がポインタに変換されるほうが先だな……。すまぬ)

2023/11/30(木) 15:08:15.57

配列 a は a と書くだけで先頭要素を指すポインタなので
&a[0] と書くってのは 0 を足すという要らんことをしているという扱いってこと。

2023/11/30(木) 20:20:41.06

>>140
pがザビ家でaがジオン公国そのものと言ったら判りやすいだろうか
ジオンはザビ家にNTRれたけど元のジオン・ダイクンが掲げた思想(長さとか)はNTRが完了した時点で失われた
その後出てきたアクシズ(ネオ・ジオン)はもっと酷くてジオンと言える部分はNTRしたザビ家の跡取りとその傀儡だけでジオンとは一体何だったのか語れる人物は一人もいない

2023/11/30(木) 20:26:04.69

>>143
そっちのほうが余計なギミックじゃない？
a[]のアドレスが欲しければ&aと書くだけでいいのに
aが自動的にa[]の先頭番地になってしまうからややこしい
ちなみにBASICだと配列と同名の単純変数が作れてしまいこれも今思うと無茶苦茶だった

2023/11/30(木) 20:46:09.47

>>117
意味無いわ

2023/11/30(木) 20:47:46.07

完全に理解した！！！
↓
https://ideone.com/g2912A

#include <stdio.h>

#define N 3

int main(int argc, char **argv)
{
char *hoge[] = {"abcd", "efg"};
char **hige = hoge;
char hage[][N] = {"ab", "cd", "ef", "gh"};
char (*fuga)[N] = hage;
char (*moga)[N] = {"ab", "cd", "ef", "gh"};
printf("%zd %s %s\n", sizeof(hoge), hoge[0], hoge[1]);
printf("%zd %s %s\n", sizeof(hige), hige[0], hige[1]);
printf("%zd %s %s %s %s\n", sizeof(hage), hage[0], hage[1], hage[2], hage[3]);
printf("%zd %s %s %s %s\n", sizeof(fuga), fuga[0], fuga[1], fuga[2], fuga[3]);
printf("%zd %s %s %s %s\n", sizeof(moga), moga[0], moga[1], moga[2], moga[3]);
return 0;
}
↓
説明してみ

2023/11/30(木) 20:51:51.20

アンカ忘れた
>>140

2023/11/30(木) 21:26:27.48

>>145
あくまでも言語仕様の理屈で言えばこうだという説明なのでその言語仕様が良いかどうかの意見は含んでないよ。
色々とアレな部分も多いってのは文句つけても仕方がないいまさらな話だし。

2023/11/30(木) 22:06:24.41

いやいや何を言っとんの?
利便性のためにそういう仕様にしてるんだよ
C書いてりゃさすがに分かんだろうよw

2023/11/30(木) 22:36:56.23

感覚的にはそんなに不自然には感じないんだけど
仕様の規則が変則的なのも確かなので
つまりは人間の感覚は不合理なものってことだ。

2023/11/30(木) 22:41:39.63

>>147
%zd は知らなかったわ。勉強になった

2023/12/01(金) 00:42:09.23

sizeof の結果の型は size_t で、
size_t は符号なし整数というだけしか規定されていない処理系定義なんだけど
unsigned int や unsigned long int の別名として定義されていることが多いせいで
それをあてにした形で説明している資料は割とある。

2023/12/01(金) 02:30:56.67

>>145
> a[]のアドレスが欲しければ&aと書くだけでいいのに
俺はそっちのほうがややこしいと思うけどな

むしろ*(a+10) を [] で表現するなら　*a[10] みたいな書き方になるほうが、理解する上ではややこしくなかったかなとは思うけど（使う上では不便）

[] って箱（マス）に見えるし、まあ直接箱の中身を示すものなのだなって覚えたけど

2023/12/01(金) 05:52:03.14

誰が誰なのかよく分からんけど、キッズが来て荒れた、という話ですか

インデックスアドレッシングを [ ] 記号に当てただけと思うけど、そんなに難しいかね

2023/12/01(金) 05:55:20.08

型の話かと思ってたら、いつの間にか入門者がポインタを理解できない話になった印象

2023/12/01(金) 14:51:35.53

>>145
配列 a に &a としたときに得られるのは配列を指すポインタであって配列の先頭要素を指すポインタではない。
(型が違う。アドレスを数値として見たら同じはずだけど。)

多次元配列にアクセスするとき (添字演算子を重ねて適用するとき) に仕様の通りに解釈していくと配列と先頭要素が都合よく切り替わって最終的にポインタ演算になるのが実に上手いこと出来てる。
配列の要素にアクセスするときの記法を現状のような形にするという前提でならなんだかんだでよく出来ている。

配列に & を付けたら配列を指すポインタになるというのは例外的ではない普通の挙動だからそこに別の意味を割り当てるならそれもやっぱり変則的なややこしい挙動ってことになってしまうよ。

2023/12/01(金) 19:03:26.87

>>157
ポインタ完全制覇でよーく理解できました。
20年以上やってきて配列へのポインタは一度だけ出番がありました。