C言語なら俺に聞け 157

2021/06/28(月) 11:22:51.50

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

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

2021/08/31(火) 20:16:31.77

Fire Fox TV

**507** (ﾜｯﾁｮｲ 2236-u6Y8) · 2021/09/01(水) 07:07:18.21

>>522
必ず通るようにしたいです。最小二乗法のようなものじゃないです。

2021/09/01(水) 09:37:56.74

スプライン補間
https://github.com/okumuralab/algo-c/blob/master/src/spline.c

**507** (ﾜｯﾁｮｲ 2236-u6Y8) · 2021/09/02(木) 18:15:48.70

>>525
サンキュー、サー！

2021/09/11(土) 14:53:10.23

代入時など左辺に＆をつけない理由って、元々左辺の変数はその変数のアドレスを示しているんですか？

2021/09/11(土) 17:29:15.71

左辺にアドレス値を書いても、そのアドレスに格納してくれるわけではない

2021/09/11(土) 19:49:04.18

変数は（多くの場合）メモリ上に置かれる
a=bの式をコンパイラは「bのアドレスのメモリにある値をaのアドレスのメモリにコピーする」と解釈する

でもそれをソースコード上で＆a=＆bと書かせてもお得なことはないよね
言語上では「a, bは（抽象化された）変数」で、その変数への代入は「a=b」でいいよね

2021/09/11(土) 20:30:31.76

>>527
C++だと参照型が近いけど、あれはあれで窮屈ながらも、便利っちゃ便利かもな。
でもポインタ幅きかせてるCであえて拡張したい記法かといえば微妙よね。
void func(char &c) { c *= 2; }
みたいなのね。

2021/09/11(土) 22:33:45.82

皆さんありがとう
scanfで変数に&を付ける理由はいろんなとこに書いてあるんだけど、
それならなんで普通の代入の時に&を付けないんだ？
って疑問に思ってました

2021/09/11(土) 23:06:30.86

void f(int *p)
{ *p = 1; }

….
int i;
i = 0;
printf("%d\n"); // 0
f(&i);
printf("%d\n"); // 1

2021/09/12(日) 00:21:46.80

scanfに限らず、関数に変数を渡すと、その関数は、
渡された変数の値を受け取れるだけで、
変数の値の書き換えは出来ません
書き換えて欲しいときは、書き換える場所を関数に教えます

普通の代入の時は、その変数を直接操作できるので
あえてアドレス表記する必要が無いです

2021/09/12(日) 02:58:55.75

memcpy(&a, &b, sizeof(a));

なんてことを、昔々構造体の変数の代入が出来ないCのサブセットのコンパイラでやったことがあったような気がするが、もはや記憶も曖昧になるぐらいの大昔。時の経つのは早いものぢゃ。

2021/09/12(日) 10:12:20.10

サブセットつーか、そもそもK&R Cは構造体代入できないね

2021/09/12(日) 14:36:50.48

>>531
int c;に対して&c = 100という記述はだめなのって疑問かな？
代入演算子は左辺に変数を置いて値を書き込む特別な演算子だけど、
それをその変数の型を含むアドレス値を左辺に置いてそのアドレスに
書き込むという定義とするわけだ。

定義自体がややこしいし、
アドレス全面押しにする理由がない（むしろ遮蔽したい）、
頻繁に用いる演算子ゆえタイプ数が増えたりするのは好まない、
などメリットがないのだろうね。

=と==を=にまとめてしまって、代入時は&付けるという方向は
あるかも知れませんが、コード中代入のが多いでしょうから、
代入をシンプルにしたのではと。

2021/09/12(日) 14:42:45.51

FORTRANの代入を真似ただけだろ

2021/09/13(月) 01:06:14.49

>>535
あ。そうだったっけ。忘れてた。

2021/09/13(月) 01:13:16.73

int c;
*(&c) = 1;
ていうのなら出来る。
コンパイラは何の警告も出さずにコンパイルするかも知れないが、結局 c = 1; をやっているのと同じコードが出力されると思う。

2021/09/13(月) 01:28:42.84

代入演算子の左辺に現れることが出来るのは変更可能な左辺値 (modifiable lvalue) で、
>>539 の例はその条件を満たす。

>>527
たとえば
int c = 1;
a = 2;
というのは C では有効なコードだけれど、変数を評価すると格納されている値になるというルールを
そのまま適用すると
1 = 2;
になってしまっておかしい、左辺は「場所」でないといけないという感覚はとても良い感性なのだけれど、
左辺がアドレスということにしたとしてもアドレスはポインタ型の「値」でしかないのでそれはそれで
なんだか変なことになる。
結局は特別な規則を導入必要はあって、 C においてはそれが lvalue という概念というわけ。

2021/09/13(月) 07:34:08.89

わざとやってるのか知らんけどコードくらいまともに書けよ

2021/09/13(月) 09:12:44.29

>>531
C++は面倒なことになったな
#include <iostream>

using namespace std;

int main(int ac, char **av)
{
int a = 3;
int &b = a;
cout << a << b << endl;
return 0;
}

2021/09/13(月) 09:47:47.66

ここはCスレ

2021/09/13(月) 13:35:49.31

>>532
誤＞printf("%d\n"); // 0

正＞printf("%d\n", i); // 0

いまさらですが、第2引数が欠落していました
失礼しました

2021/09/13(月) 16:53:30.27

副作用をポインタを経由して呼び出し元に伝播する　ポインタ渡し
引数変数への代入がそのまま呼び出し元の変数に反映される　参照渡し（C言語には無い）

2021/09/13(月) 16:57:08.25

関数の壁（呼び出し元と呼び出された関数内の記述）を超えるときに & を使って壁を越える工夫をする
同じコード内の変数への代入ならば不要

2021/09/13(月) 17:04:06.19

&使わないと釣り銭をもらえない

2021/09/13(月) 17:52:01.78

C の仕様では引数は一貫して値渡しで、その値の型がポインタ型のこともあるという理屈になってる。
(仕様の理屈はともかくポインタの活用の仕方としてポインタ渡しと呼ぶことを否定するわけではない。)

2021/09/13(月) 17:58:15.13

C言語は昔からアドレス渡しと言っているけどな。

2021/09/13(月) 18:00:26.00

ポインタ渡しだとポインタ変数限定みたいに捉えてしまいそうだなw

2021/09/13(月) 20:02:35.33

「アドレス渡し」の方がアセンブラに近い
ただしポインタ型のサイズで加減するアドレッシング機能付き
「ポインタ渡し」はPASCAL由来やろ

あと配列のサイズも一緒に渡す機能は付いてたらよかったのになーともたまに思う

2021/09/13(月) 21:18:13.15

OSを作るために作られたのに

2021/09/14(火) 01:01:51.69

ポインタには型があるから、オブジェクトの大きさも、structへのポインタなら、各メンバへのオフセットや大きさやら…

2021/09/14(火) 06:05:05.77

>>553
型はあってないようなもの

2021/09/14(火) 07:07:50.62

カーニハンは辛辣なPascal批判の論文書いてるね

2021/09/14(火) 07:08:21.19

これ
http://www.lysator.liu.se/c/bwk-on-pascal.html

2021/09/14(火) 07:16:50.67

>>556
論文って開いてみたら、タイトルクソワロタ。

2021/09/14(火) 07:26:42.56

よかったね

2021/09/14(火) 09:36:35.35

卒論のテーマはこれで決まりだな

2021/09/14(火) 10:50:21.10

アドレス私って、
b = a;
c = a;
とかやってて、a=0にすると、bもcも0になるってこと？

2021/09/14(火) 11:31:36.84

それは参照だ
C++のな

Cでやるなら
#define b a
#define c a

2021/09/14(火) 13:58:37.43

>>557
Matz の論文は I hate C++ だぞω

2021/09/14(火) 15:48:56.00

>>556
性能重視の部分は考え方の違いだな。UNIXを作るにあたって不要な部分を取り除いた結果がC。

2021/09/14(火) 15:51:55.83

>>560
メモリのアドレスを直接、渡すから、呼び出し元の領域をそういうふうに直接、触ることになる。

**ハノン** ◆QZaw55cn4c · 2021/09/14(火) 17:38:29.69

私は pascal は好きなんですけど‥‥

2021/09/14(火) 23:42:22.10

Delphiは昔使ってたな。拡張しまくったPascalというかなんというか。

2021/09/15(水) 00:41:20.00

アセンブラのようなことができた方がいいというのが出発点だからなあ

2021/09/15(水) 01:36:14.40

今でこそ C は低レイヤ寄りと見做されるけど「高級言語で OS を書きたい」というモチベーションから作られている。
おそらく当時の感覚からすればむしろアセンブラ的な世界からの脱却だったんじゃないかな。
歴史的経緯はある程度は記録を辿れるけど時代を背景にした「感覚」というのは現代人からはなかなか掴みづらくてあくまでも想像だけど。

2021/09/15(水) 05:11:14.87

おおざっぱに言うとアセンブラの見た目を変更したのがC

2021/09/15(水) 07:08:27.66

アセンブラの無駄のなさと、高級言語の移植性の、両取りを狙う試みだね

**ハノン** ◆QZaw55cn4c · 2021/09/15(水) 14:05:30.69

それはどうでしょうか‥
turbo c の asm 文抜きのいきなりインラインはよく使っていましたが、そんな turbo c でもキャリーフラグを直接使えなかった気がします、そんな記憶がふつふつと

2021/09/15(水) 14:16:20.72

ローテート命令はキャリーありの9bit循環とキャリーなしの8bit循環があるから
そこまで言語では面倒見きれなかったってだけ
ステータスレジスタを陽に記述すると移植性なくなるが
そんなことしなくても当時のUNIXの95%を記述できたしな

2021/09/15(水) 15:25:36.81

#ifdef flagresister取得可能(ならば)
専用式
#elseif
~

2021/09/15(水) 15:31:31.69

みたいな専用式を言語仕様に含めたやり方も出来たかもしれん
当時の演算能力内でwrite once,RA かつアカデミック感目指してomit しちゃったんかな

2021/09/15(水) 16:26:01.26

Keep the language small and simple.

2021/09/15(水) 17:05:05.53

>>571
そもそも世の中にはキャリーフラグなんてないプロセッサもあるから
俺の知る限りキャリーフラグを扱える高級言語はTL/1しかない

**ハノン** ◆QZaw55cn4c · 2021/09/15(水) 17:16:31.92

>>576
そうなんですね、なんちゃって多倍長をやっていて、ここでローテート＆キャリーが使えればなぁぁぁ、とつくづく

2021/09/15(水) 17:52:22.20

>>576-577
TL/1 はあくまでも演算子がキャリー/ボロー付き演算の命令にそのままコンパイルされるってだけなんで、
配列アクセスなどのときに勝手にアドレス計算でフラグが設定されてしまうといった意図しない影響があって
あまり使い勝手は良くない。

あまり詳しくないけど LLVM はキャリーフラグを扱う方法があって
かつレキシカルな伝播として記述できたはずなんで、
たぶん LLVM IR でならなんとか記述できるんじゃないかな。
LLVM IR を高級といえるかどうかはたいへん微妙な話だが……。

2021/09/17(金) 10:00:39.91

>576
https://www.zukeran.org/shin/d/2015/04/10/kumajiri-compiler/

2021/09/17(金) 10:32:07.44

>>578
例えばこんなを高級言語って言う？
define i32 @main(i32 %argc, i8** %argv) #0 {
%1 = alloca i32, align 4
%2 = alloca i32, align 4
%3 = alloca i8**, align 8
store i32 0, i32* %1
store i32 %argc, i32* %2, align 4
store i8** %argv, i8*** %3, align 8
%4 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str, i32 0, i32 0))
ret i32 2
}

>>579
ごめん、意味分からん
単なるVTL (Very Tiny Language) の話にしか見えない

2021/09/17(金) 14:21:22.00

>>580
rustよりは高級に見えるな

2021/09/17(金) 14:42:13.05

>>580
そこから様々なターゲットの機械語を生成しうるという意味では
ハードウェアにベッタリと紐付いているわけではなくて
LLVM IR を低水準言語と呼ぶのはなんか違うなって思うけど、
だからといって日常的に人間が直接書くことを前提においてるわけでもない
という点では高級とも言いにくいかな……という意味で「微妙」と評した。

2021/09/17(金) 16:26:05.73

シリコンバレーで働いて気付いた「技術力向上」だけに固執するエンジニアのダメさ【Sansan CTO 藤倉成太】
https://type.jp/et/feature/9402/
DeNA×メルカリ×サイバーエージェント人事担当が面接で必ずする質問とは？「技術力だけアピールしても内定は出ない」
https://type.jp/et/feature/10236/
DeNA・メルカリ・CA人事が証言！スキルはあるのに“面接で落ちる”エンジニアに足りないもの
https://type.jp/et/feature/10402/

2021/09/17(金) 20:48:41.30

>>582
> そこから様々なターゲットの機械語を生成しうるという意味では
> ハードウェアにベッタリと紐付いているわけではなくて
Javaのバイトコードを高級言語って言うの？

2021/09/17(金) 20:59:27.14

>>584
JVM のバイトコードは言語ではないと思うから高級言語とは言わないけど、低水準でもないでしょ。

2021/09/17(金) 21:50:22.49

低水準の話はしてないから
> 高級言語とは言わない
でFAやね

2021/09/17(金) 22:00:48.37

そうか。

2021/09/17(金) 22:31:46.08

C言語だってコンパイルすればバイナリ

2021/09/18(土) 04:33:04.80

倍也

2021/09/18(土) 08:52:55.38

バイトコードをいい加減に扱い過ぎ

2021/09/18(土) 09:19:07.92

>>580
特定CPUのアーキテクチャに言及してないな

2021/09/18(土) 18:56:12.62

宣言と定義についてなんですが

int a; // 宣言
int b = 1; // 定義

宣言と定義ではどちらもメモリ（スタック）は確保されているという理解であってますか？

2021/09/18(土) 19:10:22.14

はい

2021/09/18(土) 19:28:32.87

はいじゃないが

2021/09/18(土) 19:42:16.97

>>592
変数宣言のうちメモリを確保するのもが定義。
その２つは両方とも宣言であり定義でもある。

2021/09/18(土) 19:43:03.59

コンパイラと最適化オプション次第

2021/09/18(土) 19:48:26.79

>>595
定義は宣言の下位概念ってことですか？

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/18(土) 19:55:00.96

>>592
いいえ
定義では格納場所を確保しますが、宣言では存在のみ指示しても格納場所は確保されません、私は気が向けば宣言には extern をつけるようにしないわけではない、という感じかな
なおその例は少し変で、代入を伴えば定義というわけでも、代入がなければ宣言というわけでもない、というのが個人的感覚です、詳しい人の解説を希望します

例外は、リンカが頑張って格納場所を作ってくれる例の何とかとかいうキーワードがあったのですがおもいだせません、今日モデルナを射った後転んで頭を打ってしまった、結果、いっそう馬鹿になってしまいました‥‥

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/18(土) 20:04:32.98

>>592
宣言か定義か、という問題は、単一モジュールでプログラムを構成している段階ではあまり気にしなくてもいいと思います
複数の c ソースを分割コンパイルし、最後に得られたオブジェクトをライブラリともあわせて結合する、という作法に進めば自然に理解できるようになりますのでご心配なさらなくともいいでしょう

私も昔は「extern は要らない子！」とか馬鹿をいっていましたが、これは撤回します、extern がどうしても必要な場面に遭遇したのです
まあそういうわけで一度にいっぺんに賢くなるのは私には難しいことのようです

2021/09/18(土) 20:41:39.21

>>598
たとえば

int a;
printf("%d\n", a);

なんですが、この場合のaは定義されているということですか？
代入式があるのが定義だと思ってました
宣言と定義の文脈はコードによって変わるということなんですかね

2021/09/18(土) 21:25:06.90

簡単に言えば宣言はその名前をコンパイラに伝えるもの
定義はその実体を確保するためのもの
>>592の例は両方共に宣言であり定義でもある
C言語では定義のみすると言うのはできないと思う
宣言のみはexternとか前方参照のためのstruct xxx;とかで使われる

2021/09/18(土) 21:44:48.00

>>596
屁理屈こねんなやボケが

2021/09/18(土) 22:06:39.93

..>>597
「下位概念」という言葉をあてるのは不自然な気がするけど、C言語において定義は宣言のサブセットだよ。

>>600
その２行がコンパイルできる文脈に置かれているなら、 a は定義されている。
（初期化されていない自動変数になるので後続の printf での読み取りは未定義動作になるけど。）
「宣言と定義の文脈はコードによって変わる」は意味が分からないので否定も肯定もできない。
同じ int a; といった記述が宣言か定義か文脈によって変わる、ということならありえる。（構造体メンバの宣言とか。）

2021/09/18(土) 22:22:54.90

>>601
>>603
メモリが確保されているかどうか？という点で定義か宣言か判断すればいいということですね
printf()で参照している場合はaはメモリが確保されているのでaは定義されている状態
printf()で参照しない場合はaはただの宣言になると

2021/09/18(土) 22:32:01.92

>>604
レスの後半はいらないよ
参照されるか否かは関係ないよ

int a;
で定義は完結してるから

2021/09/18(土) 22:36:06.58

>>604
> printf()で参照しない場合はaはただの宣言になると
違う、参照の有無に関わらず領域は確保される
最適化とか鼻から悪魔のコードだから確保を端折るとかはあるけどそれはまた別な話

2021/09/18(土) 22:53:55.61

>>605
>>606

理解しました！

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

↑のaは定義されていてメモリが確保されている状態ってことですね
また定義は宣言のサブセットだから、この状態を宣言と呼んでもいいということですね

2021/09/18(土) 23:32:59.41

aは定義されている、でよいと思います
ちなみに、自分は宣言とか定義とか「言葉」は意識しないです
ただ、ここにオブジェクトが実在するのか、他のどこかにあるオブジェクトを使うのかは明確に意識しなければなりません

int main(void) {
int a;
extern int x:
return 0;
}

ここで xは、関数外のどこかで定義された int型のオブジェクを参照します、という宣言

**ハノン** ◆QZaw55cn4c (ﾜｯﾁｮｲ 9f47-o3tO) · 2021/09/18(土) 23:37:35.98

>>607
そうですね
それに、そのコードは関数 int main(void) も宣言かつ定義していますね
関数の場合は、関数の中身が書いておれば宣言かつ定義、関数の呼び出され方だけしか書いていなければ宣言、とすぐにわかるので、キーワード extern は省かれる傾向にありますね

詳しい人に解説いただき私も感謝します

2021/09/18(土) 23:38:56.69

質問
externを関数内で宣言したとき､有効範囲は次のどれになりますか？
1．宣言した関数のスコープ内で有効
2．宣言したソースの後続行で有効
3．宣言を書いたソースの全体で有効

2021/09/18(土) 23:43:44.98

A.1

2021/09/18(土) 23:45:59.85

通常の変数と同様に、ブロック {} で括られるかと

2021/09/19(日) 00:58:34.79

JISX3010:2003 の 6.7 から抜粋

> 宣言は、幾つかの識別子の解釈及び属性を指定する。
> 識別子の定義 (definition) とは、宣言のうち次のものをいう。
> ・オブジェクトに対しては、そのオブジェクトの記憶域を確保する宣言
> ・関数に対しては、関数本体を含む宣言
> ・列挙定数又は型定義名に対しては、その識別子の（唯一の）宣言

2021/09/19(日) 12:56:33.95

関数の中とか{}ブロックの中とかで
#include とか #define 出来れば良いのにと思うことはある
(いや出来ることは出来るけど)

2021/09/19(日) 14:00:14.49

>614
その辺は古い仕様の限界だから……

2021/09/19(日) 14:08:34.86

>>614
便利だよね
CSV埋め込みとか

2021/09/19(日) 15:49:36.39

>>610
>>611
2だったような
1の方が合理的だが

2021/09/19(日) 16:19:30.05

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

int f(void)
{
extern int glob:
return glob + 1;
}

int main()
{
printf("%d\n", f()); // 124(次行がないとき)
printf("%d\n", glob); // エラー
return 0:
}

// bar.c
int glob = 123;

でした
勘違いだったらごめんなさい

2021/09/19(日) 16:24:53.88

int f(void)
{
__{
____extern int glob:
__}
__return glob + 1; // glob undeclared
}

2021/09/19(日) 18:52:30.28

extern の変数をスコープ内に書きたい場面ってあまり思いつかない。
ヘッダファイルに書くのサボりたい時くらいしかそんな書き方しないな～

2021/09/19(日) 19:48:44.86

>>620
>>608だけど、(関数スコープ内の)宣言のうまい例を思いつきませんでした
自分でもこのような記述はしたことがないです

>>614
ブロック内でも、#includeや#defineは使えるには使えるのでは
使ったことはないけど
ただし、#defineは同じスコープ内で #undefで閉じておかべきだけど
リーダブルコードという本で、define～undefの例を見たような

2021/09/19(日) 19:52:36.17

>>620
俺はそのスコープでしか使わないなら普通にスコープ内に書くけど？