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/09(日) 15:56:34.95

>>311
よくもまあPL/SQLを知らないのに批判できるよな。

PL/SQLの例外処理はOracle DatabaseがSQL、ビルトインパッケージの結果をうまく例外として伝播してくれる。

あなたは単に例外を作り出す方の実装が悪いものを見ているだけ。

2018/12/09(日) 15:58:53.53

>>317
アドレスを指しているアドレスがポインタ。

ポインタが指しているアドレスにポインタがあるわけではない。

2018/12/09(日) 16:03:51.04

>>388
C言語は低水準言語であるから、うまくやれば速いマシン語になるが、ちょっとしたことでむしろ遅くなるマシン語を生みやすい。

アーキテクチャの知識がない場合は、誤解したアーキテクチャを想定したコードを書いてしまい、実行速度が遅いものができあがる。

2018/12/09(日) 16:59:21.16

>>392
>>393
ん？？

2018/12/09(日) 18:56:28.62

>>392
>>393
どうやら違う世界線から紛れ込んできたと見える

なんでこういうcrazyなことを言う輩に限って自信満々に断言するんだ
謎

2018/12/10(月) 15:01:58.63

初心者です。
>>392-393のレスを読んでちょっと混乱しているんですが、
C言語は高水準言語で、
ポインタ変数自体は「アドレスを格納できる4バイト？の変数」っていう認識で合っていますか？

2018/12/10(月) 15:10:08.76

何バイトかは決まっとらん。
サイズに注意出来るようになったらあなたは中級者。

2018/12/10(月) 15:44:39.90

あーそうか、
4byte(32bit)だと0x00000000から0xFFFFFFFFまでの?4294967296通りのアドレスが保存できるんですね。
なので処理系？によって変わるってことなんですね。
ありがとうございます。

2018/12/10(月) 15:58:27.14

この頃の64bit環境だとアドレスも64bitだと思う。
クロスコンパイルする場合や意図的に32bit用のバイナリを作るようにコンパイルする場合を除く。

2018/12/10(月) 16:54:58.91

ポインタ変数のサイズは32bit幅、
ただしセグメント部16bitのオフセット部16bitで
有効な全範囲はトータルで20bit。

2018/12/10(月) 16:56:42.73

いつの時代の話だろう

2018/12/10(月) 17:03:42.11

プロテクトモード
何それ美味しいの？

**デフォルトの名無しさん** (JP 0Hdd-nAVI) · 2018/12/10(月) 17:04:09.37

やべー
あの頃から35年も経ったのかよ
漠然と20数年かなとか思ってたよ

2018/12/10(月) 17:16:13.17

一体何の話をしているんです！？
教えてくださいおじい・・・紳士さま。

2018/12/10(月) 17:33:22.27

16bitCPU時代のアドレスの話

2018/12/10(月) 19:37:12.53

映画タイタニックでも「near far wherever you are」と謳われているほどポインタは面倒

◆QZaw55cn4c (ﾜｯﾁｮｲ 5360-460t) · 2018/12/10(月) 20:20:50.73

>>406
…うまい

でも near far とかもう通じないんじゃないかな？

2018/12/10(月) 20:29:46.12

>>404
昔々、8086があったとさ。
めでたしめでたし。
終わり。

2018/12/10(月) 20:32:35.54

英語版

A long time ago,in a galaxy
far,far away....

2018/12/10(月) 23:14:07.07

>>396
OSによる。
4バイトは8ビット(=1バイト)x4なので32ビット。
32ビットOSなら、それで正しい。

じゃあ16ビットOSや64ビットOSの場合は？

2018/12/10(月) 23:16:39.78

>>400
セグメントは16ビット迄だよね～。

2018/12/10(月) 23:22:09.98

>>411
つPAE

2018/12/10(月) 23:38:01.37

いあ、知ってるよ？
でも今でも意味あるの？
Athlon64にPCの64ビット化を先越された時代の、その苦し紛れの拡張。

64ビット標準だけで今後PCに乗り切れる時代は来ないであろうメモリ容量をサポートしてるのに。
(理論上の限界来る前に、製造技術上の限界が来る)

Winはあえて制限してるが、時代とともに緩めるだけっしょ。

2018/12/10(月) 23:53:27.02

このスレッドは妄想コンピュータで話すやつが張り付いているね。昔は単純な話だったけどさ。

2018/12/11(火) 00:26:54.92

8ビットがなつかしいね？

2018/12/11(火) 07:34:54.16

>>413
> 64ビット標準だけで今後PCに乗り切れる時代は来ないであろうメモリ容量をサポートしてるのに。
32ビットになった時にもそんな話をしてたな w

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ポートにマッピングされてることを想定した仕様
コンパイラによる省略とかを許さず書いてある通りにアクセスする