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/11/07(水) 19:11:16.88

それ16bitの結果得るのが面倒なだけだろ
もう少し面白い回答頼むわ

2018/11/07(水) 19:12:35.33

皆様回答ありがとうございます。
今回はビットシフト方式で行こうと思います。

>>12
使ってるCPUとコンパイラがマイナーな、ある意味純粋な16ビット環境で、sizeof(char)もsizeof(short)も1を返し、sizeof(long)は2を返すような特殊な環境なので7ビットマイコンではありません。

2018/11/07(水) 19:46:07.55

intが14ビット
そんな処理系あるの？

2018/11/07(水) 20:47:19.69

>>15
多分ない。
しかし1バイトが6ビットとか9ビットのマシンはあったようだよ。
https://qiita.com/yaju/items/c5da6df2221d5c3611e0

2018/11/07(水) 20:49:47.59

６０～７０年代メインフレームは百花繚乱だったなぁ

ttps://en.wikipedia.org/wiki/Word_(computer_architecture)
27bitマシンとかどーすんだよ

**デフォルトの名無しさん** (ｱﾒ MM7f-Ul28) · 2018/11/07(水) 20:55:36.02

このように1バイトが何ビットかはアーキテクチャ依存のため、EUではハードディスクなどのパッケージにはGB単独表記は認められず、Go（ギガオクテット）を併記または単独で表記しなければならない。
1オクテットは必ず8バイト。

2018/11/07(水) 21:07:14.78

つまりEUでもHDDの容量はわからないってことか

2018/11/07(水) 21:09:34.64

>>18
いや、Octetは8ビットでは？

**デフォルトの名無しさん** (ｱﾒ MM7f-Ul28) · 2018/11/07(水) 21:12:33.55

そうでしたｗｗｗｗｗ

2018/11/07(水) 21:19:59.22

大丈夫。
文脈から理解はしてる。
上げ足取りなだけだ。

2018/11/07(水) 21:47:40.71

バグってそういうもんだろ
笑ってられる神経が異常だ

2018/11/07(水) 23:27:18.47

ﾊﾞｶってそういうもんだろ

2018/11/08(木) 00:45:35.31

>>12
CHAR_BIT は 8 以上、 INT_MAX は 32767 以上って規定があるから、規格非準拠になっちゃう。

2018/11/08(木) 22:02:06.26

だから何？　違ったら笑うしかできない無能か

2018/11/08(木) 22:55:19.89

C89止まりのものです
私のような者が C11などの新しい規格を学ぶのによい書籍はありますか?

2018/11/08(木) 23:16:18.68

このスレは最近独り言が増えたのか？
オレもそうだがな

◆QZaw55cn4c (ﾜｯﾁｮｲ 5360-ZWep) · 2018/11/08(木) 23:21:07.60

>>27
＞C89止まりのものです、私のような者が C11などの新しい規格を学ぶのによい書籍はありますか?
私もC89止まりですが、それで困ることがあるのでしょうか？

2018/11/08(木) 23:28:43.81

>>29
私はC99で止まっていますが、最近はもっぱらPythonを使っているので困りません

2018/11/09(金) 05:43:42.12

pythonいいよな
yieldとかC標準にもほしい

2018/11/09(金) 10:07:36.38

cpythonのyield実装を見ればC言語に移植できるんじゃねえの

2018/11/09(金) 11:42:49.67

yieldって何につかうの？

2018/11/09(金) 12:33:54.85

動き的にgets的な動きする。
表示したら即メモリ解放的な。

2018/11/09(金) 12:41:29.53

>>31-32
yieldはソース上に出ないデータを管理しないといけないからC言語の理念と合わない気がする
※ 個人の感想だが…
C++には欲しいな

2018/11/09(金) 12:52:21.62

yieldはいわばスタック情報の保存だから、setjmp、longjmpで出来そうな出来なさそうな？

2018/11/09(金) 13:11:31.21

ん？thread？

2018/11/09(金) 13:52:10.49

単にコンテキスト保存するだけだからまあ再現はできるよ
書き方としてイテレータとか欲しいのはわかるけど実現方法はどうでもいいわけじゃん

2018/11/09(金) 14:11:15.88

yieldは便利で使い勝手がいーるど

2018/11/09(金) 20:13:38.25

POSIXの<errno.h>にある番号とBSDの<sysexits.h>で全然番号が違うのは理由があるのかな。
いままで<sysexits.h>に従って「許可がない」動作は77を返すものだと思ってたら
Linuxでは1を返すのでなぜだと思って調べたら<errno.h>では権限エラーは1。
嫌だなぁ。

2018/11/09(金) 20:53:23.68

77とか1とかのリテラルで書くバカって今でもいるんだ…

2018/11/09(金) 23:18:17.74

POSIXで具体的な数値決めてたっけ？

2018/11/10(土) 05:46:23.69

>>40
<errno.h> の方はC言語でシステムコールしてエラーになった時の errno 変数の値で、
<sysexits.h> はプログラムが exit() 等で終わる時に使う値なので全く用途が違う。

2018/11/10(土) 06:30:10.24

>>43
つまり<errno.h>で定義された値はユーザーからは見えないんだね。

2018/11/10(土) 06:43:06.70

>>44
見えないというか、ただの数値なのでどこにでも使えないわけではないが、errnoの値をexit()で返す事は想定して作られていない。

2018/11/10(土) 11:37:20.64

>>45
わりとerrnoを返してくる人多いけどね

2018/11/10(土) 11:58:28.71

errno返してもらっても困る

2018/11/10(土) 17:42:25.30

#defineマクロ定数はプリプロセッサで単純置換されるだけだからな

2018/11/10(土) 18:12:43.61

>>46
多いか？
別にそう作っちゃいけないということはないが、できれば exit() では <sysexits.h> の方を使って欲しいな。
単なる個人的な希望だが。

2018/11/10(土) 18:13:54.94

>>45
>>46
ありがとう。
ユーティリティ自体の終了ステータスはPOSIXの範囲では0もしくは非0，
BSD拡張で<sysexits.h>で定められている値を使えばまあユーザーの助けにはなるって認識でいいかな。

2018/11/10(土) 18:26:46.25

そう。

2018/11/11(日) 12:27:27.91

struct S {
size_t len;
type-X buf[0];
};
という状況下で、

size_t const len = 500;
struct S* const p = (struct S*)malloc(sizeof(struct S) + sizeof(type-X)*len);

p->len = len;
p->buf = (type-X*)((size_t)p + sizeof(struct S));

という処理を偶に見かけますが、これだと末尾パディングの影響でbuf[1]のアドレスがtype-Xのアライメントに沿っていない可能性があるので、不正な気がします
具体的には

struct S {
size_t len;
type-X* buf;
};
として、

size_t const len = 500;
size_t const padding_for_align_x = alignof(type-X)*(sizeof(struct S)%alignof(type-X) == 0 ? 0 : 1);
struct S* const p = (struct S*)malloc(sizeof(struct S) + padding_for_align_x + sizeof(type-X)*len);

p->len = len;
p->buf = (type-X*)((size_t)p + sizeof(struct S) + padding_for_align_x);

...などとしないとアライメント違反になりそうな気がするのですが、この認識は正しいでしょうか

2018/11/11(日) 12:57:16.34

すいませんよく考えたら自己解決しました
>>52の質問は取り下げます

お騒がせしました

2018/11/11(日) 14:07:31.98

>>4
へー。musl-libc知らなかったけど組込Linuxとかの界隈では有名っぽいね。
ソース見たけどすごく短かいのが多くて逆に不安になったw

2018/11/11(日) 15:17:31.04

sysexits.h って初めて知った

>>49
Linuxとかだと ls unko で 2 が返るとか割と普通

2018/11/11(日) 16:17:47.42

>>55
まあBSDでプログラミングしたことないとあんまり知りえないと思うわ。
だいたいPOSIXで定められてる訳じゃないから知っておくべきなのはBSDプログラマくらい。

ただLinuxプログラムのエラーコード周りはなぜか非統一的なんだよね。
GNUコーディング規約で事細かに決められてそうなものだけどねw
apt(1)なんて権限エラーに100返すんだぜ？

2018/11/11(日) 16:41:45.09

>>52
『MSDNこそC++である』という格言があるように、構造体の末尾の配列は不定長に出来ます

構造体内の可変長配列
ttps://msdn.microsoft.com/ja-jp/library/b6fae073(v=vs.120).aspx

2018/11/11(日) 18:01:07.65

VLAとは違うんだよな
そのページのサンプルに限っては不完全型配列の直前にサイズ情報があって確かに可変長だが
配列そのものがサイズ情報を含むのではないので、不定長とでもいうべきものだ

2018/11/11(日) 18:07:53.58

どうでもいいけどそのURLの書式はなんだ？
URLパラメータってそんな位置に置けたっけ。

2018/11/11(日) 18:21:19.83

先頭さえ確定できれば後ろなんてどうでも良い
さすがのC言語さん

2018/11/11(日) 21:36:09.88

>>57
その格言は初めて聞きましたｗ

その方法だとアライメント違反になるかならないかが気になっていたのですが、
* 末尾のbuffer[0]でその型のアライメント以上のアライメントを構造体に強いることができる（拡張）
* 末尾のbuffer[1]の場合は当然構造体にそのアライメント以上のアライメントを強いることができる（c89）
* 末尾のbuffer[]でも同様（c99での仕様）
となり、全パターンでbuffer[i]へのアクセス時にアライメント違反にならないので、
ポインタメンバにしてアライメント気にしてmallocする必要ないのかー、これでいいのかーと解決した次第です

>>58
英語だとflexible arrayでした

2018/11/11(日) 22:09:10.99

>>59
v=vs.120のとこ？
クエリストリングちゃうやろ

2018/11/11(日) 22:26:25.11

>>55
ま、確かにコマンドごとにバラバラだな。
errno とも無関係だったりする。

2018/11/12(月) 13:20:45.59

もうちょっと皆がリターンコードについて考えてくれたらいいね。

2018/11/12(月) 13:26:58.93

コマンドの戻り値って、皆さんどの様に活用されてますか？
成功か失敗か、それが分かれば十分な気はしますけど

2018/11/12(月) 13:50:25.07

>>65
例えば同じ「失敗」でも何が原因なのか分かったほうが問題に対処しやすくない？
ファイルが存在しないのかはたまたファイルが現状の権限では読みとれないのか。
もちろんエラーメッセージを見てもいいけど。

あと，終了ステータスを見ないと成功失敗が分からない場合がある。
例えばdiff(1)ユーティリティーなんかは「1」という（一見失敗してるような）終了ステータスに
「（コマンド自体は成功してるが）不一致が発見された」という意味を割り当ててる。
fsck(1)ユーティリティーはもっと複雑。

まあ知ってるに越したことはないし<sysexit.h>はPOSIX標準ではないにせよ，
Unixプログラミングをする場合は積極的に利用してもいいかも。

2018/11/12(月) 14:11:20.80

イヤ、使い方の可能性としてそう言うものがあるくらいは知っている
実際に使っている人がいたら、どういう使い方をしているかを聞きたいんだ

2018/11/12(月) 16:42:56.85

勘違いしてましたわ
俺の知ってる限りじゃシェルスクリプトでは多用されてるがCではどうだろうね。あまり見掛けない。

2018/11/12(月) 17:16:29.53

diffでちょっと迷うくらいだよな。

2018/11/18(日) 22:01:33.04

#define elif(e) else if (e)
みたいにして
if (...) {
...
} elif (...) {
...
} else {
...
}
↑こういう感じにするのってやっちゃマズいのかな。
個人的にelifキーワードがある言語に慣れてるんでこうやってて
現状特にエラーに遭遇したことはないんだけど
OSSのソースコードとか個人が公開してるソースコード見ても
こういうことやってないんだよね。

2018/11/18(日) 22:14:05.51

>>70
やめとけ

メリットが1ミリもないから誰もやらない。
善し悪しはさておき、C言語での判断基準はほぼ「実行性能」であって、
else if と書けばいいだけの所をいちいちマクロにする馬鹿なんて世界中に誰もいないだけ。
というか、そのレベルで慣れられないのなら、elif言語だけ使っておけ。

2018/11/18(日) 22:24:21.65

#define { begin

みたいなことを本気でやる奴がいたとはw

2018/11/18(日) 22:26:08.72

#define begin {
逆だったわw

2018/11/18(日) 22:35:31.43

ソースコードを静的解析する関係で、文法を強引に変えるような変態な前処理は良くないらしい。

2018/11/18(日) 22:39:49.79

世の中の静的解析ツールは当然プリプロセッサ適用後の状態で解析するわけで

2018/11/18(日) 22:42:50.43

typedefも避けるという流儀はあるからね
まあ気持ちはわかる
むしろGNU拡張のtypeofはアリ

2018/11/18(日) 22:45:11.55

>>73
endは普通に変数名に使われてるから無理だな。
それはさておき、セミコロン嫌いも拗らせておかしくなってるよな。

2018/11/18(日) 22:47:48.36

>>76
> typedefも避けるという流儀はあるからね
それはC++ではないか？Cでは使われまくりだったような。

2018/11/18(日) 23:14:59.59

国際会議で誰も知らない方言を話して良い訳ない。オープンなソースコードは世界中の人が見るんだから。

2018/11/18(日) 23:19:46.27

>>78
多分linuxカーネルの流儀じゃないかな

struct/enum/unionとかの省略を目的としたtypedefは行わない
opaque-type/関数ポインタとかの必然性が無い限り対象は明示するっていう戦略

2018/11/18(日) 23:37:43.07

>>80
> struct/enum/unionとかの省略を目的としたtypedefは行わない
こんなのは当たり前だ。(linuxカーネルに限らず）

そもそも「タイプ数をケチるだけの為に何かする」という文化は最近のWeb系馬鹿言語だけであって、Cにはない。
当然、else if を elif にしたがる奴もいない。
「腕のいい奴のコードは短い」を勘違いしてる馬鹿共がやたら「タイプ数」にこだわってるだけだ。
だいたい、structをタイプしたくなければC++コンパイラ使えば済むし。

2018/11/19(月) 00:20:04.42

ここで聞いていい内容なのかわからないのですが
gccを4.8.1から8.1.0に変えたらwinAPIを使用して図形を表示するプログラムで
図形が表示されずウィンドウだけ表示されるようになってしまった
これは、c言語,gcc,winAPIどれを疑えばいいのでしょうか？
MingW-W64-buildsというところから8.1.0のgccはダウンロードした

2018/11/19(月) 00:24:07.93

図形の描画ルーチンを貼れ。

2018/11/19(月) 00:25:09.76

>>81
なぜ唐突にweb系云々に話が飛ぶのか理解できないのだが、
typedef struct {...} S;
typedef enum {...} E;
void f(S* s, E e);
上のような書き方、結構（昔から）見かける気がするけど

2018/11/19(月) 00:28:01.74

>>82
お前の頭、だな

gcc4.8.1で行けるのならそれでやればいい話。
それを8.1.0に変えただけで問題が発生するのなら、当然そこに問題がある。
そしてそもそも詳しいことはそのソースを作った奴に聞け。

2018/11/19(月) 00:30:44.00

というかこれ以外だとtypedefを使うべき所にしか使わないはずなので、
cだろうがc++だろうがtypedefの使用量に差が出るとは思えない

ああ、実は>>78ってc++ならusing使うべきとかそういう話？

2018/11/19(月) 00:46:59.49

>>84
> 上のような書き方、結構（昔から）見かける気がするけど
個人的には疑問があるが、おそらく実際はそちらの方が正しいのだろう。
C++で対策された＝C言語のそこがウザイと禿が判定した、ということだから。

> なぜ唐突にweb系云々に話が飛ぶのか理解できないのだが、
ググレば分かるが、その辺の言語では「こちらの方が短いから良い」といっているページは結構見かける。
C言語でこれを言っている奴は皆無だ。

>>86
> ああ、実は>>78ってc++ならusing使うべきとかそういう話？
いや、そうじゃない。そちらの取り方で問題ないし、君の typedef の使い方は正しいと思う。

typedefって結局「型に別名を与える」為の物で、
型が自由に定義出来るようになったC++ではほぼ要らないはず、って話。

2018/11/19(月) 01:03:17.87

>>85
そうか...仕様変更、バグ、なにか他にも入れるものがあるとか分かるなら聞きたかったんだが
仕方ない。ありがとう
4.8.1だと古くなってるかなと思って思い切って8.1.0で試してみてるんだけど戻すか

2018/11/19(月) 01:03:24.61

Web系言語界隈は条件演算子をif文の簡略表記（）だの省略形（）だの言ってる池沼も多いからなぁw

2018/11/19(月) 01:16:02.93

>>88
まじめにやる気があるのなら、少しずつ上げて切り分けるのは簡単だろ。自分でやれよ。
ここで聞くより早いと思うぜ。

2018/11/19(月) 01:26:41.23

else if の省略形は確かに頂けない
あれはperlからだっけか？

2018/11/19(月) 01:28:26.32

#elifはあって、elifがないのは変だが、キーワードを節約するためだから。

2018/11/19(月) 01:30:10.27

>>91
歴史的には多分sh
70は多分python

2018/11/19(月) 01:37:20.71

>>90
なるほど、きざんでやってみます
ありがとうございます

2018/11/19(月) 01:38:53.01

>>87
あー...もしかして自分の
>struct/enum/unionとかの省略を目的としたtypedefは行わない
これが「型定義時に、キーワードとしてのstructやenum、unionの省略のためだけのtypedefは行わない」
つまりstruct S{...}という形で定義し、明示的にvoid f(struct S* s)などといった形式で取り扱う
...という意味ではなく、
「structやenum、unionといった型について、それら個々の名前（タグ名）を単に省略するためだけのtypedefは行わない」
つまりtypedef struct SS...SS Sというただの省略形式にするtypedefは行わない
と伝わったのかな

それなら書き方が悪かった、申し訳ない

2018/11/19(月) 12:18:16.63

>>92
自分もここが引っ掛かったんだよね。
プリプロセッサ向けにはelifキーワードがあるのに
コンパイラ向けにはない。
もしもキーワード数を節約したり実行速度のみを重視する実装なら
プリプロセッサ向けにもelifキーワードはなかった筈。
なのにある，ということはなにかしらタイプ数の節約とか読み易さとかを考慮してるんだろうね。
だからコンパイラ向けにelifキーワード（の紛い物）を追加するというのは何らおかしくないと思うのだが。

2018/11/19(月) 13:17:22.86

そもそもC言語にはelse ifって構文はないよ。
んで、プリプロセッサは#の後をスペースなしの1語にした結果だと思う。

2018/11/19(月) 13:27:56.02

フリーフォーマットだからelse if(...)を自分なりに分かりやすくすれば良いだけ。

2018/11/19(月) 21:04:51.99

>>74
賛成

静的解析はツールだけがすることではなく人力でもすることだ
人力「でも」と言ったが、目的意識を持って判断できるのは人間だけで
こちらが主役であることを、小者でアフォなやつほど忘れる

2018/11/20(火) 01:45:19.01

>>99
でも>>75でも言われてるけど
プリプロセッサ命令を効かせてから解析するのが普通なんだから
あんま関係なくね？

2018/11/20(火) 09:35:42.58

>>97
構文にはなくても書けるんだから一緒だろ

2018/11/20(火) 15:56:41.31

負の数を識別できません。

signed int DATA = -128 (0xFF80。int は16ビット)

if (DATA > 0)
{式1}
else
{式2}

なぜか式1 が実行されます。(DATA > 0) は偽ではないのでしょうか。

2018/11/20(火) 16:14:32.18

問題のコードから症状が出るままどんどん削ってって最小単位がそのコード？

https://ideone.com/xcDRkc

実は右辺がcharの変数で　中身が 0x80 なんだけど
符号拡張の過程で char を unsigned char として 0x0080 と拡張したり
(処理系依存だっけか？　リテラルだけだっけ？)
そういう話ではない？

2018/11/20(火) 16:16:24.86

16bitってどういう処理系なんじゃろうか

2018/11/20(火) 16:43:19.22

>>103,104

右辺の0は定数です。
変数DATA の値はPRINT文で16進表示したものです(0xFF80)。

引用先のページは、残念ながら理解できませんでした。

申し遅れましたが処理系は組み込み用16ビットマイコン用GCC です。
処理系に依って前述のような動作になることはありえますか？

2018/11/20(火) 16:49:33.90

右辺云々は初期化の右辺の話だけども、そこが本質じゃなさそうね

sizeof(int) = 2 かつ　printf("%x", DATA)　が ff80 と表示される系で
if (DATA > 0) が成立しないとな

ごめんﾜｶﾗﾝ

2018/11/20(火) 16:59:34.34

最小の全ソースを見せて。
この手の場合、自分では正しいと思ってるとこに思わぬポカミスが入ってることがまれによくある。

2018/11/20(火) 17:07:55.90

>>106,107
すいません。ご察しのとおり、変数DATA に初期値を代入しているわけではありません。
このif 文が評価される直前のDATA 値が-128 という事で、初期値を代入したように書きました。

今日はこの件で非常に疲れたので、ソースの提示は少し時間を下さい。ありがとうございます。

2018/11/20(火) 17:18:12.25

>>107
元コードをそのまま横断的に眺めてるとわからないけど
症状が残るまま、余計な箇所をがんがん削っていって簡単化していくと見つかることがあるよね

a[i++] = i; のような副作用完了点内での複数回の参照とかはどうしようもないけどｗ

2018/11/20(火) 17:26:38.15

値自体は型情報を含んでないという点は押さえないとあかんが、そういう問題でもないか。
妙なtypedefしてたりしてね。

2018/11/20(火) 17:33:06.78

アセンブリコード読んで見るとか
割り込みでレジスタ確認とかすれば
cで見てると気づかないことが見えてくるかも

2018/11/20(火) 19:23:37.02

printf("check : sizeof %d: DATA = %d\n",sizeof(DATA),DATA);
if((signed int)DATA > (signed int)0)
とかやって一つ一つ動作確認してみるとか。

よくわからん動作不良起こした時は配列変数がスタックサイズ超えてたとか
16Bit環境なら32kb/64kb超えたとかが原因だったことあるけど。

2018/11/20(火) 19:37:09.53

>>108
そもそもその環境で>>102のコードを実行したらどうなるのさ？