C言語なら俺に聞け 149

2018/10/28(日) 22:01:44.38

!extend:checked:vvvvv:1000:512
↑
次スレを作る時は上記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言語なら俺に聞け 148
https://mevius.5ch.net/test/read.cgi/tech/1537347410/

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

2018/12/11(火) 09:17:41.73

プロセスルールの限界から実用的で物理的なメモリの上限はあるんだろうけど、何がどう進化するか分からないからねぇ。
単純に超多層化プロセスルールが一般化するかもしれないし、もしかするとクラウドRAMサービスとCPUアーキテクチャが融合してその限界突破なんて時代が来るかもしれん。
人間の創造力は無限と信じよう。

2018/12/11(火) 10:15:17.85

４GBと言う上限は意外に早くたどり着いた
４K動画をオンメモリーで編集したいとなると
途端にぶつかる壁だな

次は誰がこの壁にたどり着くかな？

2018/12/11(火) 12:57:57.93

Visual Studio 2017のC/C++コンパイラってどこのフォルダに置いてあるんですか
(もしくはファイル名、あるいは、商標名？)
調べても「VSに付属するVisual C++にC/C++コンパイラが同梱されている」程度の
情報しか出てこない・・・
そのコンパイラは何て名前でどこに置いてあるんだ・・・

2018/12/11(火) 13:14:43.83

>>419
スタートメニューのVSコマンドプロンプトを開いてみい。

2018/12/11(火) 13:42:28.53

はい
**********************************************************************
** Visual Studio 2017 Developer Command Prompt v15.9.3
** Copyright (c) 2017 Microsoft Corporation
**********************************************************************
C:\Program Files (x86)\Microsoft Visual Studio\2017\Community

2018/12/11(火) 13:48:36.76

\Microsoft Visual Studio\2017\Community\VC　の中を　compiler　で検索した結果

compiler.cpp

ん・・・？これ？
実行ファイルじゃなくてソースファイル・・・？
分からない、もうダメだ(絶望)

2018/12/11(火) 13:51:50.68

その昔は cl.exe に link.exe のフロントエンドで make は別途だったが今はどうなんだろう

2018/12/11(火) 13:55:01.02

cl.exeとかcl64.exeなどの名であると思う。

2018/12/11(火) 14:00:29.46

ありました！(なぜか4つも)
というかcl.exeってコンパイラだったんですね
コンパイラその他を呼ぶための媒介物かと思ってますた
感謝

2018/12/11(火) 14:18:43.44

最近はx64とかx86とかARMとかARM64とかいろんな環境があるから、コンパイラは複数必要になっている。

2018/12/11(火) 14:51:38.89

>とかいろんな環境があるから、コンパイラは複数必要
なるほど勉強になりました

2018/12/11(火) 20:20:15.88

CプログラマでいまのCPUを理解しているやつなんてごく僅か。わざわざC言語を作る必要がない。もっと高水準言語で作って、VMと優秀なコンパイラに任せた方がいい。

2018/12/11(火) 20:46:12.25

初心者です。
>>428ののレスを読んでちょっと混乱しているんですが、

>>いまのCPUを理解
というのがまず何を指しているのか分かりません。
パーソナルコンピュータに内蔵されているCPUでしょうか、炊飯器に内蔵されているCPUでしょうか。

>>C言語を作る必要が無い
作らなくてもすでに存在していると思うのですが、自作が必要なものなのでしょうか。

>>もっと高水準言語
C言語自体が高水準言語だと思うのですが、これ以上の高水準とはどういう基準なんでしょうか。
自然言語をコンパイルするとかでしょうか。

>>VMと優秀なコンパイラ
VMというのはVirtualMachineの略でしょうか。VM上で動作するC言語というのがあるのですか？
VMを動かすほどのリソースが無いようなマシン上では何を動かすのでしょうか。
優秀なコンパイラ、ということは Cのコンパイラは優秀ではないのでしょうか。

おじい・・・紳士のみなさま、ご教授お願いいたします。

2018/12/11(火) 21:55:08.95

Windows でも、ファイル操作なら、Ruby ！
画面なしのツールなら、たいていのものは作れる

ポインタで時間を浪費することもない

2018/12/11(火) 23:16:54.03

>>429
嘘を嘘と(ry

2018/12/11(火) 23:27:54.09

相手にするのが時間の無駄。悩む時間で基本情報とITパスポートの勉強するのがはるかにまし。

2018/12/11(火) 23:43:31.10

おじい、とか言って馬鹿にしちゃダメだよ。ワード、エクセルのエキスパートで、原子炉のタービンを設計するような「ものすごい人」も見てるんだからね。

2018/12/11(火) 23:50:36.12

あと補足だけど、３０歳定年説は、人件費を削るための嘘だからね。
人不足の今時にこんなことを言ってるアホの取引先は排除すべし。

2018/12/11(火) 23:59:29.31

今時ハードディスク使ってモニターと照明費を削るようなケチ臭い企業とは取り引きしません！

2018/12/12(水) 00:19:15.01

Code For Japan というイベント内でも、

PDF, Excel などの表示情報が入ったデータを、
エンジニア(住職)が供養する企画をやっているw

2018/12/12(水) 06:43:02.35

>基本情報とITパスポートの勉強

何のことかと思って調べてみれば情報処理技術者試験のことか
そう言えば昔に第一種と上級シスアドに合格してたこと思い出したわ

2018/12/12(水) 11:11:59.11

マシン性能の限界を突破する為に、関数型プログラミングがある。

2018/12/12(水) 11:23:33.13

関数型は抽象表現能力は高いが実行効率を追求する様な用途向きではないぞ
生産効率も圏論などの数学的思考に慣れていないと下手すればOOPよりも悪化する可能性が高い

2018/12/12(水) 12:19:40.64

(　´_ゝ`)ﾌｰﾝ

2018/12/12(水) 12:31:12.08

それ以前にマシン性能を言語で突破できたらノーベル賞ものかと w

2018/12/12(水) 12:38:27.52

CPUは関数型言語を直接実行するようにできてないから遅いでしょ。

2018/12/12(水) 12:42:36.11

フォースとともにあれ

2018/12/12(水) 12:55:07.41

CPUの限界を超えれる関数型言語上で関数型言語を作れば元の関数型言語の限界を突破できる。
その作った関数型言語上でまたry

んなわけねーよw

2018/12/12(水) 13:11:22.57

SFのスレはここですか？

2018/12/12(水) 13:12:45.03

【平和を実現するために】　武器調達の中止、格差拡大の抑止、労働移民の禁止、国政からのバカウヨ排除
http://rosie.5ch.net/test/read.cgi/liveplus/1544586377/l50

2018/12/12(水) 13:15:11.92

関数型プログラミングはλ計算の時点で全く理想的だから
有限のアドレッシングで動いてる今のCPUには全くそぐわない
だから関数型と今のCPUアーキテクチャは根柢から反りが合わないんじゃねえかと

すると関数型の書法を現状の機械語に書き直すだけでロスが出てくる
理想的なモンを劣化させてるに等しいが技術上はそうするしかない

そもそも関数型を直接実行できるようなCPUを人類が作れるかどうか
無限の再帰と無限のストリームが必要になっている時点で怪しい

2018/12/12(水) 13:25:42.01

昔どっかがLisp用にスタックコンピュータだか何だか作ってなかったっけ。

それはともかく、関数型言語でも結局どういうマシン語に落とすかだから、最適化技術で高速化は出来るはずなんだがな。
Cは低水準な操作も出来るから速いコード書けるとはいえ、素直なコードは最適化無しだと他の言語と変わらないし、
速度で言えば別に低水準な操作出来る訳でも無いFortranはC並みに速いわけで。
最適化への技術や時間の掛け方が違うってだけ。

2018/12/12(水) 13:28:27.57

シンボリクスだ

2018/12/12(水) 14:37:12.07

理論的限界を超えたら、その理論のモデルが事実に反する訳だから、理論の反例になってしまう。

**デフォルトの名無しさん** (ｱﾒ MMb5-FdCK) · 2018/12/12(水) 15:28:39.64

ループに展開されることを期待して末尾再起化にハゲむってギャグだよな。
最初からループ書けよｗ

2018/12/12(水) 15:38:07.68

ループだと関数渡せないから。
あとはリストを受け取ってリスト返す関数とか、IOモナドとかは
再帰関数がそのままループになる。
(リストもモナドなので、モナドを返す再帰関数がループになると言える)

2018/12/13(木) 14:18:51.88

初心者です。

inline指定子について教えて頂きたいのですが、
関数ポインタからinline関数を呼び出す場合、どのように展開されるのでしょうか。
また、関数ポインタを格納する配列から呼び出すような場合はどのように展開されるのでしょうか。

2018/12/13(木) 14:32:27.38

inline関数の展開は環境依存
呼び出し方が如何なる方法であれ関数の構造によってはインライン展開される保証はない
ループ構造を含んでいると殆ど期待できない

2018/12/13(木) 14:56:19.82

なるほど、ありがとうございます。
まさに、
for (i = 0; i < length; i++) {
　func_ptrs[i](hoge);
}
みたいなことを試そうとしているところでした。
こういう場合は展開は期待できないということですね。

今回も勉強になりました。

2018/12/13(木) 17:31:05.02

>>418
次は16EBの壁だな

2018/12/13(木) 18:29:51.36

gccもclangも最適化を-O3にしても
if(a=='a'||a=='b'||a=='c'||a=='d'||a=='e'||a=='f')
をif('a'<=a&&a<='f')に置き換えてくれないのな

2018/12/13(木) 18:40:11.12

Tではないと

2018/12/13(木) 18:48:07.23

>>457
え？gccで -O -S で置き換えられたように見えるアセンブリ言語出力したぞ。(97引いて5以下かどうか見ているやうなやつ)。
-Oなしだと一つ一つ比較していて明らかに違う。

2018/12/13(木) 18:48:36.88

GCCの動作環境は特定OSだけではないと思う

2018/12/13(木) 18:51:31.61

CPUによっては一つ一つ比較するように書いた方が速いなんてこともあるのかも知れないが、普通はそうならないように思う。

2018/12/13(木) 19:07:27.96

ソース全体で見たときに(a < 'a') や (a > 'f')の可能性もあるから最適化されないということでしょうか？

2018/12/13(木) 19:08:30.18

>>457
>>461
a=='a'のときにべたの方が速いからだろ。
a-fが均等な確率だ、というのをコンパイラに対して教えてないし、教える方法もない。
だからコンパイラが勝手にそこを改変するようでは困るだろ。
（大半がa=='a'と分かっていて最速コードが欲しいときに記述出来なくなる）

C言語はそういう言語なんだよ。自動的に勝手にやってくれる言語ではない。
細部まで自分で指定できるからこそ極限までチューニング出来る。
最速コードが欲しければ、a-fの確率まで考えて、自分で指定しろ、でしかない。

2018/12/13(木) 19:28:54.20

ワシのとこでも -O で「即値97を引いて即値5と比較…」が出たわ。
-O なしだと真っ正直に即値との比較が6回。

>>457 に書かれた通りの ('a'<=a&&a<='f') にならないと言っても、
'a'以上か? 'f'以下か? の判定2回よりもっと効率的になってるでしょ。

もちろん gcc のバージョンによる違いかも知れんが。

◆QZaw55cn4c (ﾜｯﾁｮｲ aa60-D8NS) · 2018/12/13(木) 19:56:57.11

>>454
ときどき夢にみます、inline 指定がどんな場合にも百発百中 inline になるコンパイラがあればどんなに嬉しいか…

2018/12/13(木) 19:58:30.01

>>463
あー。なるほど。

かといって言語の規格として最適化についてまで決まってたっけ？
その辺は決まってなくてコンパイラしだいのような気がするが。

2018/12/13(木) 20:01:00.67

>>465
しかし関数へのポインタが作れてしまう時点でそれはもう inline ではなくなっているように思うのだが。

2018/12/13(木) 20:23:30.62

>>466
規格云々以前に、適用ヶ所と文化の問題。
C言語がガチで使われている領域はそういうところだから、「書いたとおりのコードを吐け」でないと困るし使えない。
だから適当に改変するコンパイラは嫌われる。

対してC++は「出来るだけコンパイラにやらせる」思想だし、そもそもCほど掘り下げる使い方はされないから、
「可能な限り自動的に最適化しろ」な気はするが。

2018/12/13(木) 21:03:29.67

C言語のアセンブリがすぐ確認できるサイトで調べてみたんだけど、
違うみたいだね。

◆QZaw55cn4c (ﾜｯﾁｮｲ aa60-D8NS) · 2018/12/13(木) 21:27:21.48

>>467
なるほど…
そういうときは、call されたときは inline に展開するけれども、関数のポインタとして渡されたときに動かすためだけに（実際にポインタから呼ばれるかどうかは考えずに）inline の関数を別にバイナリーに展開しておくっていうのはどうですか？

2018/12/13(木) 21:28:48.05

>>468
この人何言ってるんだろう…

2018/12/13(木) 21:30:50.24

>>468
ん？？

2018/12/13(木) 21:53:47.05

>>471
>>472
お前がな

2018/12/13(木) 22:39:39.76

>>470
関数内でstaticの変数が宣言されるケースも忘れずに。

2018/12/13(木) 23:12:49.49

ガイジかな？ w ⇒ ID:y280e6J90

2018/12/13(木) 23:49:06.95

>>475
まずお前がガイジじゃないことを示せよ
ゆとりなら死ね

2018/12/13(木) 23:54:03.07

踏まないように気をつけて歩こう

2018/12/14(金) 05:40:44.32

うわっ、ガイジと言うよりマジキチやん ⇒ ID:y280e6J90
>>477が意味深になってて笑うわ

2018/12/14(金) 06:20:30.12

>>464
どうやったらそんなコードされるの？
なにをやっても全部比較しかでないのだが

2018/12/14(金) 06:26:32.39

いまやったら引き算と比較一回になった。
別の関数の中に比較を入れないと駄目みたいだった。
一個ずつ比較させたいときはvolatileを使えばいいんだな。

2018/12/14(金) 06:30:05.99

最適化をいれるとaが定数だとaが消されるからaを別の関数の引数にすることで
消されないようにできる。
volatileで消さないようにするとなぜか比較が最適されない。

2018/12/14(金) 06:46:52.77

>>480-481
それはvolatileの間違った使い方だから止めとけ。
最近そういう投稿も多いが。

2018/12/14(金) 06:52:31.89

最適化は処理の最中に使う変数が外部(別スレッドや割り込みハンドラ)から変更されないということを前提としてるから、volatileつけるとaの比較途中でaそのものが変更されるかもしれないので逐一比較になる。
まぁスタック上のローカル変数aが外部から変更されるってのは通常は単なるスタック破壊のバグだけどね。

2018/12/14(金) 06:53:45.77

>>468
おまえ4.3BSDのccとかまだ使ってるのか？

**464** (ﾜｯﾁｮｲ 2b93-eQ7e) · 2018/12/14(金) 07:50:49.15

>>479-480
素直なコードで出るはずだけどなぁ。

サンプル abcdef.c
第1引数の最初の文字が [a-f] なら yes, それ以外なら no と表示
(引数が与えられなかった場合は no を表示)

$ cat abcdef.c
#include <stdio.h>

int main(int argc, char *argv[]) {
　　int a;

　　a = (argc>1) ? argv[1][0] : 'z';

　　if (a=='a'||a=='b'||a=='c'||a=='d'||a=='e'||a=='f') printf("yes\n");
　　else printf("no\n");

　　return 0;
}

$ gcc -S abcdef.c
最適化なし比較6回

$ gcc -O -S abcdef.c
最適化 97引いて5と比較

2018/12/14(金) 09:57:08.83

volatileは磁気コアメモリ時代の命令じゃねえのか

2018/12/14(金) 10:14:56.92

>>485
mainで未定の値を作るのがむずかしいんだよ
aを初期化しなければ未定の値になると普通おもうんだけど
何故か何かの値に決められて最適化でaが消えちゃうのよね

2018/12/14(金) 10:15:15.85

現在でも組み込み開発でSFRを弄るにはvolatile宣言は必須

2018/12/14(金) 10:28:42.01

結論を言うとvolatile で最適化を調べるために最適化を抑制したのが間違いの原因だっと
ということだな。

2018/12/14(金) 12:14:57.88

volatileは変数がI/Oポートにマッピングされてることを想定した仕様
コンパイラによる省略とかを許さず書いてある通りにアクセスする

2018/12/14(金) 12:47:24.45

>>490
I/Oだけじゃないよ。
別スレッドなど異なる実行コンテキスト間で共有する領域へのアクセスはvolatileをつけないといけない。
SFRへのアクセスもソフトとハードという実行コンテキストが異なる。

2018/12/14(金) 14:14:04.61

静的変数は全部つけないといかんのだろうね。
利用の趣旨としては。

2018/12/14(金) 15:46:34.42

ID:y280e6J90はvoid君だろ

2018/12/14(金) 16:07:06.94

volatile の使い所

1. マルチスレッドで他スレッドと共有される変数(ただし、別途ロックも掛けた方が良い)。

2. シグナルハンドラとその他の処理で共有する変数。

3. longjmp() 使う時。

2018/12/14(金) 16:08:45.11

これ書き忘れてた。

4. 指している先の内容が本当に揮発性の場合(I/Oポート等)

2018/12/14(金) 16:22:16.94

記述された手続き以外の要素によって変数値が変わるなら

2018/12/14(金) 19:01:54.99

>>494
volatile変数をマルチスレッドに使うとかいう誤った知識を流布しないでくれ
volatileに指定してもマルチスレッド共有変数に求められる

* メモリフェンス
* 演算の原子性

は確保できない

ttps://stackoverflow.com/questions/4557979/when-to-use-volatile-with-multi-threading

2018/12/14(金) 19:20:00.03

原子性って全然直交した概念ちゃうか。
確保できるとかできないとかいう話になるのがおかしい。

2018/12/14(金) 19:41:07.95

>>494-495
×××○
知らない人が見たらマジ議論と勘違いするのも無理はないが、
2chでのlongjmpなんてネタだから無視でいい。

>>497
全くだ。

というかマジな話、何をどこに使うべきかイマイチ分かってないのなら、
とりあえずいわゆる「正しいプログラミング」を目指した方がいい。
ここでの与太話は、ネタをネタと(ry、でしかない。

2018/12/14(金) 20:47:21.99

>>494
マルチスレッドは断じて関係ない

アフォｗヴァカｗｗｗ

◆QZaw55cn4c (ﾜｯﾁｮｲ aa60-D8NS) · 2018/12/14(金) 21:07:51.74

volatile なんか忘れて素直に pthread とか C++11 とか使っていればいいと思うのです…

**497** (ﾜｯﾁｮｲ 0a21-8Bx+) · 2018/12/14(金) 21:15:41.90

>>498
そのはずなのに使えるなんて言う妄言痴言が飛び交っていたんだから重症だよ

>>499
シグナルハンドラに関してはvolatileが必要じゃない？もちろんその変数に対するatomicityも要求されるけど

2018/12/14(金) 22:13:48.43

>>502
知らんよ、俺はLinuxのsignalなんて使って無いし。
そのページには必要だと書いてあるし、そうなんだろうさ。

が、そもそも、俺に言わせれば
・volataileで実装出来る＝ポーリングループ＆せいぜいハンドシェーク＝糞
・プロセス間通信する意味がない
スレッド間通信でsleep/wakeupで何も問題ないし、その方が自然だ。
この場合に自前でvolatileなんて書くことはない。
ハードウェアを直接叩かないのにvolatileとか、設計を見直した方がいいと思うぜ。

2018/12/15(土) 00:19:10.79

>>429
Cのコンパイラは環境依存になるため、コンパイラの出来、不出来がある。

2018/12/15(土) 01:44:33.10

必要条件と十分条件の違いが分かってないやつがいるな。

2018/12/15(土) 09:51:27.56

>>503
フェンスがないのにハンドシェークとは、これいかに

2018/12/15(土) 11:50:06.13

>>506
> 標準シグナルの場合、そのシグナルがブロックされている間に同じシグナルの複数のインスタンスが配送されても、 1 つだけがキューに入れられる。
> https://linuxjm.osdn.jp/html/LDP_man-pages/man7/signal.7.html
しかし実際ハンドシェークだと思うぜこれは。

意識高い系()ゆとり()がCをやるとfenceという『CPU命令』が必要だと思っちゃうのか？
まあ無理も無いとも思えるが。

2018/12/15(土) 11:53:03.04

それはC言語の話なのか、OSの話なのか、CPUの話なのか

2018/12/15(土) 12:22:47.52

フェンスが必要になったのはコンパイラ側の都合だから、C言語の話だね。
これが理解出来ないのはお前がゆとりの馬鹿だからだ。

マジな話、馬鹿の癖に煽るゆとりは死んで欲しいね。
お互いに何も得る物がない。

2018/12/15(土) 16:08:16.17

>>509

2018/12/15(土) 16:24:43.93

フェンスが必要なのはCPUとコンパイラ双方のためだ。やっぱvoid君は馬鹿だね。

2018/12/15(土) 17:21:35.13

>>507
ほうほう、fenceはCPU命令ではないんだな
それでそれで？　volatileとどういう関係があるんだｗ

2018/12/15(土) 18:37:35.51

>>510-512
ゆとりは死ななきゃ直らないと再認識した。
ゆとりが馬鹿であり続ける権利を尊重し、教えてやらないことにする。

つっても、ググればいくらでも出てくるし、ゆとり以外には実害はないはず。
マジな話、上達したい奴は、ググっても疑問が解消しないときのみ、掲示板等に頼るようにした方がいい。
自力で勝手に進んでいけるか、いちいち構ってちゃん状態になるかでは、上達速度に雲泥の差が出る。
こんなところで下らない煽り合いに興じてるから、ゆとりはゆとりのままなのだと思うし。

StackOverflow(英語版）はかなりオススメだ。迷ったらそこを頼れ。

2018/12/15(土) 19:04:30.55

void君は謎の捨て台詞好きだよね。かっこ悪いよ。

2018/12/15(土) 19:15:51.64

ここにはお前に用がある人はいないそうだ

**デフォルトの名無しさん** (ｱﾒ MM47-KgdI) · 2018/12/15(土) 19:17:41.02

霊界は存在するよね。ググればいくらでも出てくるしｗｗ