C言語なら俺に聞け 143

2017/10/27(金) 21:28:08.20

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言語なら俺に聞け 142
http://mevius.2ch.net/test/read.cgi/tech/1502364083/

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

2017/11/23(木) 09:17:29.44

>>461
mmap で割り当てた物理メモリは munmap、プロセス終了時以外にも解放される契機はあるのでしょうか？

madvise の MADV_SEQUENTIAL で解放するとか書かれてますが、ソース見てみるとフラグ的にはノーマルと変わらない処理してるみたいなんですよね

2017/11/23(木) 09:34:44.63

MMUにもよるんじゃない

2017/11/23(木) 09:46:31.82

ディスクリードがあるのでmmuにはよらないかと

2017/11/23(木) 10:51:34.50

結局何を聞きたいの？
mmapで割り当てた仮想メモリが解放されるかどうかであれば、解放されない
物理メモリの話なら解放される

madviseが実際に指示通りに動くかどうかは実装次第だけど
一応LinuxとかはMADV_DONTNEEDで物理は解放できる

というか、これはC言語の話じゃないから各環境のスレで聞け

2017/11/23(木) 12:41:47.79

>>465
mmap 時の物理メモリ使用量とその変化を知りたかったんです。
結局非DIRTYなら物理メモリは解放されることあるんですね。
ありがとうございます

一応linuxの場合で考えてました
ホットで適当なスレが見当たらず、一番mmap使いそうなcスレでいいかと
失礼しました

2017/11/24(金) 13:07:13.19

>>466
一応一般的には
非dirtyならまだ物理メモリは割り当てられてない、が正しい
物理メモリの再利用についてはdirtyでもswapがあれば行われる（そのためのswap)

2017/11/24(金) 14:08:06.79

コーディングの仕方的な教材になる本あるかな？
コーディングとはこうやって沿っていくと良いよ的な本
それを読んでからテクニックの本を読もうとしてる(effective)

2017/11/24(金) 15:12:46.00

>>468
まず「リーダブルコード」読んどけ。

2017/11/24(金) 15:20:30.73

>>467
つまりreadonlyでmmapし場合、dirtyにならないから物理は割り当てられないと
すごいな

2017/11/24(金) 16:33:20.57

割り当てられてないメモリーにアクセスするとページフォルトが起きてから
OSが割り当てる遅延ファイルマッピングの事をいいたいんじゃないのかな。

2017/11/24(金) 17:19:21.14

DMA涙目だな

**デフォルトの名無しさん** (JP 0H4b-9mpY) · 2017/11/24(金) 17:56:03.88

ポインタのことなんだけど、*pt と pt みたいに同じ名前で宣言したら、別々の変数になる？

2017/11/24(金) 18:18:10.79

>>473
まずはやってみろ

2017/11/24(金) 18:23:00.58

>>474
たしかに
家帰ったらやってみる

2017/11/24(金) 19:41:11.01

つか、どうしつて区別すると思うんだ？

2017/11/24(金) 19:44:50.18

*も含めて変数名と思ったんじゃね？

2017/11/24(金) 20:43:22.73

>>466
まあここでいいと思うぞ

madviseはあまり関係ない
落とされる前提でポリシー決めてるだけ
MAP_SHAREなら解放される可能性がある
MAP_LOCKEDで解放されない

他のフラグは知らん、試せ

2017/11/24(金) 21:30:01.83

これまた初歩的な質問なんだけど、intとdoubleとかで変数名が衝突したらどうなる？

2017/11/24(金) 21:34:30.17

衝突してるぞエラーになる

2017/11/24(金) 22:01:24.27

>>479
>>474

2017/11/24(金) 22:54:20.18

確かにエラー出るんだけど、できないってことでいいの？

2017/11/24(金) 23:29:26.60

外のスコープで定義されたものと名前が衝突した場合は内側の方が有効になり
同じスコープで衝突した場合はエラーになる

2017/11/24(金) 23:30:01.94

cでは出来ない。という仕様

2017/11/25(土) 00:53:38.80

サンガツ

2017/11/25(土) 06:12:18.91

同じ変数名でもスコープが違えば出来るよ。

2017/11/25(土) 06:35:32.53

int* ptの意味は意味int *ptだよ。
ptをデリファレンス演算子で評価したらint型になるよという宣言だよ。

2017/11/25(土) 08:28:27.42

変数名が型ごとに独立した名前空間に属する、という言語があるのかな。
原理的には可能だと思うけど、えらく組みにくそうな気がする。
「型だけが異なる同名の変数を使わない」みたいなコーディング規約を強制されそう。

2017/11/25(土) 08:44:13.26

構造体のネームスペースみたいに
全部の変数に型名をつけるようになるだろうな。

2017/11/25(土) 08:47:32.78

かえって使いづらい言語になるね

2017/11/25(土) 09:32:16.56

変数の寿命はできるだけ短くしましょう

2017/11/25(土) 13:36:36.33

リーダブルコーディングとeffective以外に本を探してるのだけど他にあるかな？

2017/11/25(土) 14:31:12.80

組込み開発者におくるMISRA‐C:2004―C言語利用の高信頼化ガイド、2006

2017/11/25(土) 16:19:42.50

C実践プログラミング

2017/11/25(土) 16:51:39.14

っコードコンプリート

2017/11/25(土) 17:02:06.40

>>488
perlは$aと@aと%aが違うけどな。型と言うよりはスカラか配列かハッシュかの違いだな。

2017/11/25(土) 17:03:44.75

>>493
ネットで MISRA の詳しい解説はありませんか？

2017/11/25(土) 17:08:09.65

>>497
つ https://srad.jp/comment/2295472

2017/11/25(土) 17:24:25.43

処理重視なら毎回毎回変数宣言って処理が鈍くなるよな？

2017/11/25(土) 17:58:52.01

インタプリタじゃないです

2017/11/25(土) 17:59:36.62

C++でもないのでコンストラクタ走るわけでもないです

2017/11/25(土) 18:34:32.19

スタック操作なんか関数呼び出し時にまとめてやってるから、どこで宣言しようが処理速度は変わらないけどな。

2017/11/25(土) 18:34:37.15

>>499
その程度ならコンパイラが良きに計らってくれますよ

2017/11/25(土) 19:25:41.27

for文の中の変数宣言って外で行うよりオーバーヘッド大きいの？

2017/11/25(土) 19:29:40.95

>>504
言語上ブロック内で有効なだけで、
他の自動変数同様スタックに余分にとられるだけだからまず変わらない。

2017/11/25(土) 20:41:30.63

>>499
宣言だけ？メモリ確保とかは自分でやらずに？
だったら最初に確保する一回分だけの時間しか掛からないと思うぞ。

2017/11/25(土) 20:51:32.38

あ、C++みたいな言語でクラスの中でメモリ確保してデストラクタで解放やってるような場合は
ループするブロックの中で宣言したら最低でもメモリ確保と解放でループの回数分時間
掛かっちゃうだろうけど、C言語にはそういうのはないので掛からない。

2017/11/25(土) 20:59:06.21

動的に確保というのはあるだろうが、
俺を意識した使い方するだろうし

2017/11/25(土) 21:27:39.55

VLAはスコープの出入りで伸縮だと思うが

2017/11/25(土) 22:01:34.55

ああ。そうか。これか。
https://qiita.com/raccy/items/bfcb62086c5f027d57b6
C11のこと忘れてた。

2017/11/26(日) 16:09:01.86

>>506
for文とかの中で宣言してやったりすると毎回確保するから処理の速度が遅くなるってどっかで書いてあった
なるべく何回も宣言しないで中身を変える処理をする方が処理がはやくなるとか言ってた

**デフォルトの名無しさん** (JP 0Heb-DWFp) · 2017/11/26(日) 16:12:10.13

そのレベルの理解なら気にする必要はない
そもそもCを使う必要もない

2017/11/26(日) 16:15:46.29

>>511
> for文とかの中で宣言してやったりすると毎回確保するから処理の速度が遅くなるってどっかで書いてあった
よほどショボいコンパイラでない限り気にする必要はない

> なるべく何回も宣言しないで中身を変える処理をする方が処理がはやくなるとか言ってた
そう言うアホな本は窓から捨てるべき

2017/11/26(日) 16:46:48.52

>>513
それは中の処理が大量になっても大丈夫なのか？
20行、30行ぐらい長い処理でも？

2017/11/26(日) 16:52:44.80

宣言と長い処理って何処に関連が？

初期化の右辺がすんげー長いというのは
変数宣言がループの中にあろうが変数宣言をループの外に追い出しても
同じで必須コストだしそこは論点じゃないよね

2017/11/26(日) 17:10:19.17

>>515
https://qiita.com/EqualL2/items/472035c3f0d3e34734a8
これのループ内での変数宣言ってやつのことを知ってそうしたんだけど

2017/11/26(日) 17:15:43.31

>>516
全部ヒントに「コンパイラが最適化でやる」って書いてあるし
逆にそのコストが重いようならもっと根本的な手入れ（アルゴリズムの見直しとか）が必要だし

2017/11/26(日) 17:20:34.69

なるほどなるほど、アルゴリズムの問題か納得した

2017/11/26(日) 17:23:40.85

C言語じゃなくてC++でのクラス変数じゃないの？

2017/11/26(日) 17:29:05.50

>>514
測定して本当にそれが問題になってるとわかった時に考えればいい

2017/11/26(日) 17:57:37.44

>>516
「実際のところ」と書いてある所をよく読むべき。

2017/11/27(月) 04:22:16.28

コードとは直接関係はないけどメモリリークのテストってlinuxだとどうやるのだろう？

2017/11/27(月) 07:40:08.21

>>522
valgrind か LeakSanitizer

2017/11/27(月) 07:57:21.48

>>522
valgrind (http://valgrind.org/)

2017/11/27(月) 13:20:55.85

脳内ループ最適化かー。結構良く目にするのは
int i;
for(i = rows; 0 < i; i―)
Hoge;

だったりするけど
組み込みでも、このくらい最適化かかるのにねぇ

2017/11/27(月) 19:33:17.36

>>523
>>524
ありがとう調べてみる
別件なのだけど、systemの子プロセス戻り値をみるときって

ret=system(コマンド)
if(wifexisted(ret))
{
wexitstatus(ret)
}

これだけで良い？エラー処理ってほかにいるかね？
wifsignaledとかwtermsigとかいるのかね？ってなってるんだ
その他のマクロについても....

2017/11/27(月) 20:30:19.45

>>526
systemって-1返す事なかったっけ？

2017/11/27(月) 20:31:48.14

>>526
てか、>>443見てみな。

2017/11/27(月) 22:36:43.33

>>522
オレは単純にpsコマンドで、vszとszの推移を見てるだけだなー
確保の仕方にもよるだろうけど。。。

2017/11/27(月) 22:55:20.44

>>529
メモリマップとかは見てると分かった気になれるし、仕事してる感も出るからおすすめ

2017/11/27(月) 23:00:48.16

>>528
うおおおおお
たしかにあった

>>527
-1は素で忘れてた
>>443見てみたけど最後if elseで終わってるからその後がどうなんの？って気になる
if elseってことは他もあるじゃん？ってなるのだがいかんせんman理解できない...

2017/11/28(火) 01:05:27.23

>>531
https://linuxjm.osdn.jp/html/LDP_man-pages/man2/wait.2.html
Linux の場合大きく分けて WIFEXITED と WIFSIGNALED 以外があるのかというと今のところない。
しかし将来的に増えないとも限らないので念のため if で分岐させておいた方が良いと思う。

2017/11/28(火) 01:45:58.95

https://i.imgur.com/NECNUPM.jpg
この問題なんだけど、下の書き方以外に賢い方法ある？
このやり方はごり押し過ぎてさすがに違うと思うんだけど
http://codepad.org/pUUVFFJA

2017/11/28(火) 03:16:49.45

>>533
3点ほど

配列使う必要ある？保持したいのは最大値だけなんだよね？入力ループ内で最大値判定までやったら？

ローカル変数名は input_num とか分かる名前つけようか

main の戻り値

2017/11/28(火) 07:53:02.37

C99以降だっけ?
省略された int main() の返り値として自動的に return 0; が補われる、
という仕様があるはずだけど、それに積極的に依存するよりも
return 0; と1行書く方が良い習慣だわね。

2017/11/28(火) 08:09:45.26

>>532
さんくす
これ読みにくいよなぁ....

子プロセスの配送が停止したとき
具体的に言うとwifstoppedの時は別なのかな？

2017/11/28(火) 18:38:43.18

stdlib.hのSUCCESSなんちゃらをほんにゃら

2017/11/29(水) 02:06:01.37

>>536
試してみればわかると思うけど system() で動かされた子プロセスは SIGSTOP 受け取っても
停止するだけで親プロセスには帰らないよ。system() 内でやってる waitpid() は WUNTRACED
や WCONTINUED オプション使ってないってことだと思う。なので STOP や CONT に関係する
WIF... はやる必要がない。

2017/11/29(水) 15:46:29.13

char str1[10]="AAAAAA";
char str2[10]="BBBBBB";
char str3[10]="CCCCCC";
があって、これをそれぞれ
char strh[0][10]～char strh[2][10]に代入する方法を教えてください。

2017/11/29(水) 15:58:48.18

strcpy(strh[0],str1);
strcpy(strh[1],str2);
strcpy(strh[2],str3);
と適当に書いてみる。

2017/11/29(水) 16:16:35.31

ポインターのコピーじゃダメなんですか？
なんで中身をわざわざ複製して、処理時間を無駄に消費するんですか？

2017/11/29(水) 16:25:56.35

>>538
ありがとうありがとう
そうすることにする

stat関数でのファイル存在確認って破損していたファイルだとエラー返ってくる？
仕様を調べていたけどそのような記載がなかった

2017/11/29(水) 17:24:28.37

>>541
ポインタのコピーだとコピー元の配列(str1[],str2[],str3[])の中身を変更するとコピー先(*strh[0]～*strh[2])の内容まで変わる
値のコピー(strcpy()など)だとコピー元の配列の中身が変わってもコピー先の配列(strh[0][]～strh[2][])の内容は変化しない
配列とポインタでは挙動が違う

2017/11/29(水) 17:38:36.67

初期化でやってしまう話じゃないんだろうな。　多分

char strh[3][10] = { "AAAAAA", "BBBBBB", "CCCCCC" };

2017/11/29(水) 17:49:08.23

配列変数はただのポインタ変数じゃないってマジ？
arr==&arrになるんやが。
arrがポインタなら&arrはポインタのポインタだからこれはおかしい。

2017/11/29(水) 18:28:37.84

配列名が先頭要素へのポインタになるのは構文糖

2017/11/29(水) 18:44:21.59

int a[10];
int *p;

p++; 問題なし
a++; エラー

配列は配列　ポインタはポインタ

2017/11/29(水) 18:50:37.55

arrと&arrじゃ型違うし、比較結果が一致する保証もないけど？

2017/11/29(水) 18:51:10.65

また一人C言語の罠に掛かったようだ・・・

2017/11/29(水) 18:57:26.48

>>545
ポインタの変数はポインタを入れとくための変数だ。
配列変数はポインタを入れとく変数ではなく、単に配列の先頭を表すラベルでしかない。

2017/11/29(水) 19:03:01.69

よし、sizef演算子の出番だな。

2017/11/29(水) 19:11:32.94

>>545
int arr[10]; みたいに配列を定義して
if (arr == &arr) {...} てな具合に比較する話かな。

配列名 arr は &arr[0] (先頭の要素へのポインタ)
配列名に&演算子を作用させた &arr は配列全体(10要素の配列)へのポインタ
…と解釈される、とANSIで決まった、と望洋さんの本に載ってる。
『秘伝C言語問答ポインタ編』p.25 Column1-2 「配列名に&をつけると……」

>>548
型が違うのは間違いないけど、値が一致しない場合ってあるのかな?
それとも型の異なるポインタ同士での値の比較って未定義動作なんだっけ?

2017/11/29(水) 19:31:59.94

＞配列名 arr は &arr[0] (先頭の要素へのポインタ)
＞配列名に&演算子を作用させた &arr は配列全体(10要素の配列)へのポインタ
＞…と解釈される、とANSIで決まった、と望洋さんの本に載ってる。

なるほどな

2017/11/29(水) 19:54:00.64

>>552
>6.5.9 等価演算子
>（中略）
>制約??次のいずれかの条件を満たさなければならない。
>(中略)
>-両オペランドとも適合する型の修飾版又は非修飾版へのポインタである。

「～型」と「～型の配列型」は適合しないから、ポインタの比較は未定義

2017/11/29(水) 20:09:41.35

>>552
型が異なったら、比較できない

例えば、アドレス100番地から10バイトと、
アドレス100番地から20バイトでは、全然違う

仮に、同じバイト数だとしても、中身・内容が異なるし、比較する事に意味がない

2017/11/29(水) 22:15:27.21

>>542
ファイルの破損というのがファイルの中身の論理レベルの話なら正常なファイルとみなされるはずだし、ファイルシステムレベルの破損やメディアの物理的破損なら実装依存じゃないかな。

2017/11/29(水) 22:18:50.37

>>555
いま話題にしているのはarrと&arr[0]の比較であって、これらはどちらも比較演算子のオペランドとしてはint*型として評価されて型も値も一致すると思ってたけど、どうだろう。

2017/11/29(水) 22:20:43.77

>>557
間違えた。arrと&arrね。&arrもint*型のはず、だと思う。

2017/11/29(水) 22:42:55.53

実際にコンパイルすれば型不一致のwarning出るのに、なんでそういう発想になるんだろう
不思議だわ

2017/11/30(木) 06:56:06.98

>>557-558
int arr[10]; と定義されてる場合、
arr の型は int*
&arr の型は int (*)[10]
つまり arr と &arr は型が違う
というのが >>552 の「&arr は配列全体へのポインタ」の意味。

「引数として『10個のintを要素とする配列』のみを受け入れる関数」
(要素数が違うとコンパイルエラー)みたいのを書ける。
もちろん、それが目的で存在する書式じゃないだろうけど。

それにしても &arr の型の書き方は分かりにくいな。
理屈は多次元配列を仮引数にとる関数プロトタイプと同じ、
だと思うんだが。

2017/11/30(木) 07:49:26.15

>>560
色々と記憶違いをしてたよ。サンクス。