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/03(金) 00:15:50.32

その例だとデバッグ時に数字で表示されたほうが安全じゃないか

2023/11/03(金) 08:01:57.68

>ソースコードがありデバッガがビルドの情報も知ってる

両方持ってるのは本物のプロと練習集の初心者素人と両極端に分かれそう

2023/11/03(金) 09:53:21.84

何言いたいんだか全くわからんが

2023/11/03(金) 10:12:48.61

生涯修行僧

2023/11/03(金) 11:32:32.93

>>42
当然だけど規格の話じゃないよ
気がしませんかっていうかコンパイラとデバッガは何十年も前からそうやって連携してる

2023/11/03(金) 11:34:06.16

>>43
数字で表示されないと具体的に何が非安全だと心配してるの?

2023/11/03(金) 21:59:08.35

次に実行するコード
＞hoge[2] = 0;
となった時に
char hoge[foo];
と表示されてると次にfooの値を探すので二度手間
char hoge[1];
と表示されてれば一度ですむ

2023/11/04(土) 00:06:31.86

>>49
何のためにシンボル使うのかわかってないな。
実際の値と値の持つ意味について考えたほうがいいぞ。

2023/11/04(土) 00:27:05.12

哲学には興味ない
なんのためにデバッガ使うかわかっているので充分だ

2023/11/04(土) 02:19:34.08

>>51
なんだ実際のデバッガ使ったことないのか。
普通はシンボルだけじゃなくて値も表示するんだが。

2023/11/04(土) 09:05:55.97

ずいぶん安い煽りに転じたな
表示される情報は最小限のほうがいいんだよ
仕事で使っていればそうなる

2023/11/04(土) 10:09:07.16

自分はデバッガ使う段階なら定数は具体値が出てくれた方がいいです

クロスコンパイル環境の構築からとか、Cならではの現場を辿って来た人と、今どきのGUIのデバッガが前提の人では話は合わなそう

マウスかざせば済むじゃんと思ってるのでは

2023/11/04(土) 11:08:29.93

>>43にアンカうったら>>49で手間がどうこうって返ってきたんだがそういうのを安全って言うのか??
個人的には>>52と同感でマクロにしてもenumにしてもシンボル・値両方確認出来るもんだと思ってたから
どんな環境を想定して言ってるのかちょっとよく話が掴めないな

**デフォルトの名無しさん** (JP 0H09-q9sc) · 2023/11/04(土) 11:41:50.34

gdbなどのデバッガー使っていれば変数名と型と値は全て表示される
必要であれば配列は全ての要素を展開して表示も出来るけどな

2023/11/04(土) 11:48:12.60

printfでOK

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

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