C言語なら俺に聞け 150

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん (ｱｳｱｳｸｰ MM57-IE4z)
垢版 |
2019/02/06(水) 13:39:03.21ID:c4bnQMl3M
↑
次スレを作る時は上記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言語なら俺に聞け 149
https://mevius.5ch.net/test/read.cgi/tech/1540731704/
VIPQ2_EXTDAT: checked:vvvvv:1000:512:----: EXT was configured
2019/03/01(金) 21:27:08.50ID:xM2kasch0
マクロなのか　乱暴な解決法と見るか予約語にしなかった・できなかった理由があったのだろうか
2019/03/01(金) 22:01:55.94ID:HVxvwZsK0
>>428
bool 型は C99 では _Bool 型となり「bool」そのままではありません
2019/03/01(金) 22:19:15.38ID:wVb5PmwP0
>>425
#undef bool
あと死ね
2019/03/01(金) 22:36:40.53ID:4P/9ohSca
>>413
口調が似てると思ったら、やっぱりあいつだったのね
2019/03/02(土) 00:57:50.68ID:SIJCHEbM0
>>418
if ((n / 10 != 0) != 0) とは書かないのですか？
if (((n / 10 != 0) != 0) != 0) とは書かないのですか？

if (n / 10) で充分だろ
434デフォルトの名無しさん (ﾜｯﾁｮｲ b75f-tQZn)
垢版 |
2019/03/02(土) 01:28:32.24ID:ixsZHls30
if文の仕様がまずかったんだよな。演算子がコマンドで数値を返すところがいまとなってはわかりにくい。
2019/03/02(土) 02:00:30.74ID:tMatklv80
C の _Bool は完全に後付けだし、
true, false の型は int (整数リテラルの 1 や 0 に展開されるマクロ) ってのも
C らしい歴史的経緯ってやつだよねぇ……。
2019/03/02(土) 02:41:15.96ID:LTb7iLna0
なんでもいいがboolは使った方がいいよ
キャストするとちゃんと0と1になるよ
437デフォルトの名無しさん (ﾜｯﾁｮｲ b75f-tQZn)
垢版 |
2019/03/02(土) 03:06:19.06ID:ixsZHls30
キャストしないといけないのか
2019/03/02(土) 04:52:10.38ID:x2TrvqAV0
#define TRUE (1==1)
#define FALSE (!TRUE)

昔はこう書いて使ってたっけなあ
2019/03/02(土) 06:31:18.66ID:uyGBCzAL0
_Bool型(stdbool.hインクルード時はboolも可)の値は0か1しか取り得ないのでわざわざキャストする必要は無い
しかしながら自分はC言語では普段は_Boolもboolもどちらも使わない
単純にintなどの数値型を0か非0かだけで判断して使ってる
尤もC++ではbool型は普通に使っているけど
https://i.imgur.com/47mIrVh.png
2019/03/02(土) 06:54:46.28ID:uz1yhwTy0
>>376 を見て、久し振りに『プログラミング言語C』を開いてみたところ、
確かに p.105 に printd() って関数が載ってる(第2版)。
ここのテーマは再帰なので printd() は「1文字出力 putchar() を使って、
整数値を10進数で表示する再帰関数」の例。

話題の if (n / 10) では「n が 10 以上か」を判定してる。
直前で符号の処理をしてるので n が負ではないことは保証される。
(さらに「だだし n == INT_MIN の場合は…」に相当する注記あり)

で if (n / 10) が if ((n / 10) != 0) の意味だってことは、
p.68 第3章 制御の流れ 3.2 If-Else でさらりと説明されてるし、
その前 p.63 の条件式(三項演算子)の部分なんかにも載ってる。
たぶん他にも、あちこちで出てるんだろう。


「真と偽」みたいな独立した項目を立てた方が良かったんじゃないかな。
そうすりゃ索引からも探せるようになるし。

ついでに言えば、この場面では if (n / 10) より if (n >= 10) の方が
やってることが明解だし、処理も軽い気がするなぁ。
2019/03/02(土) 07:05:29.88ID:uyGBCzAL0
単純に開発当時のC言語としては処理をシンプルにしてパフォーマンスを稼ぎたかったのだと思うよ
普通のCPUは0か0でないかの判断は得意だけど0か1の判断は手間が掛かる
少しでもパフォーマンスを稼ぎたい場合(現在では組込み用途など)では余計な処理は極力除くように工夫する
2019/03/02(土) 07:30:56.47ID:0NQezXSh0
>>440
処理が軽いかどうかはちゃんと実測で比べろ
妄想だけで完結するアフォがよくいる
2019/03/02(土) 07:57:45.28ID:THGEifYn0
CPU/ハード毎に違い出るだろ。
2019/03/02(土) 08:01:55.04ID:uz1yhwTy0
いや、さすがに単純な整数値の大小比較と、割り算とで
どちらが速いか実測しなくちゃ分からないってのは
「実測しろ」って原則を無批判に(条件反射的に)
振りかざしてるんじゃないの？
予測は一切禁止ってルールじゃないでしょ。
2019/03/02(土) 09:30:10.68ID:+HGsrEwZM
>>433
n / 10
と
(n / 10) != 0
の型を意識しない底辺乙 w
2019/03/02(土) 09:37:08.49ID:Co1I1oSR0
>>444
そもそも>>440が言いたかったのは「やってることが明解だし」の方だろうしな
なんにでも噛み付く老害なんでしょ、スルー推奨
2019/03/02(土) 10:48:59.21ID:op59Vyc6a
でもcのコンパイラって割り算の時は最初に比較があって、n < 10なら比較直後に0返すんじゃなかったかな。
昔アセンブラの実習でやった気がする。
帰ったらみてみよ。
2019/03/02(土) 10:57:46.09ID:x2TrvqAV0
n / 10 と (n / 10) != 0 とで違うコード吐くとか？
オプティマイザなめんなよ
2019/03/02(土) 11:32:55.24ID:TCm6U75d0
>>439
最新のwindowsでもフォントにアンチエイリアス掛かってないのか
Mac唯一の利点だな
2019/03/02(土) 11:41:06.22ID:x3fQB5qB0
唯一ってｗ
2019/03/02(土) 13:58:43.76ID:S/SxCgBS0
MSゴシック以外のとこはアンチエイリアスかかってるだろ
452デフォルトの名無しさん (ﾜｯﾁｮｲ b75f-tQZn)
垢版 |
2019/03/02(土) 16:14:23.72ID:ixsZHls30
>>447
割り算はコンピュータにとって簡単なことではない。人間だってそうだろ。
2019/03/02(土) 16:42:33.79ID:/q2pZC1F0
>>445
0〜1以外を取るかどうかが違うだけで型は同じでは？
等価演算子（==と!=）は真の時に1、偽の時に0を返すとしか明記されてないでしょ
2019/03/02(土) 16:43:44.00ID:/q2pZC1F0
>>453
自己レス、型はintって書いてあったわ
2019/03/02(土) 17:04:52.74ID:tMatklv80
C では比較演算子が返すのも、 if の判定にも真偽値型は現れない。
真偽値型は後付けで、言語の中核の意味論には関与しない。
真偽値型は整数型の一種だから何か演算しようとすると整数拡張で int になってから計算するしな。

_Bool で表現してもほとんどの場合にコメントと同程度にしか意味ない。
コメントと同程度に「意図」を表せるならそれはそれで有用ではあるけど、
型システムが間違いを防止する役に立つ場面はあんまりない。

(余談だが C++ では (組込みの) 比較演算子は真偽値型を返すし、
if の条件節は真偽値型にキャストして判定するので C とは解釈が違う)
2019/03/02(土) 17:20:40.95ID:vTA45/dSM
>>453-454
型が同じだから区別不要？
昭和の老害かよw
2019/03/02(土) 17:23:51.58ID:U++dipsO0
若さを売りにするしか無くなったかｗ
2019/03/02(土) 17:29:25.11ID:Dgo9YwRe0
>>456
「昭和」言いたかっただけだろがｗ
2019/03/02(土) 17:38:17.44ID:/q2pZC1F0
>>456
「型は同じ」って言っただけで区別不要とはどこにも書いてない訳だが
2019/03/02(土) 17:53:06.93ID:vTA45/dSM
いや、マジで型安全とか知らなさそうで可哀想ですらあるんだが…
2019/03/02(土) 17:55:42.96ID:vTA45/dSM
>>459
> 型を意識しない底辺乙 w
にレスしてるのに？
なら結局何を言いたかったんだ？
2019/03/02(土) 18:05:39.73ID:/q2pZC1F0
>>461
言い方として「型を〜」っていうのが（あくまでC言語として）おかしいなと思っただけだよ
別に!=0をつけた方が分かりやすいことは否定しないし
2019/03/02(土) 18:07:30.88ID:U++dipsO0
「ばあさん、いただきものは型を意識した応答だろう」
「いいえ、お爺さん型を意識した応答でしたよ」
「そうかい、わしゃまた型を意識した応答だと思ったよ」
2019/03/02(土) 18:18:58.15ID:5yoALKCSa
boolの1と1足したら1になるよね？
2019/03/02(土) 18:45:34.07ID:NrjYyiWtM
>>464
ならんよ
2019/03/02(土) 18:46:41.44ID:tMatklv80
>>464
双方が int に拡張されて足し算されて 2 になったのが
再び bool にキャストすると 1 になる。

演算子の両方の型が int より小さい場合には
両方が int に拡張されてから計算されるというのが
C の基本的なルール。
(全ての演算子がそうというわけではない。)
2019/03/02(土) 19:01:27.14ID:Gk4CLPf80
>>455
MISRA-C は、C89/90に、bool という概念をバックポートした。
それを「実質的なブール型」と呼んで、単純な整数型と区別している

ブールを表現する場合は、整数型を使っていても、
それはブール型ですよってアピールする事で、
技術者間での意思疎通を図り、安全性を高める
2019/03/02(土) 19:16:00.81ID:eb7NT9g3d
>>466
なる場合とならない場合がある。
古いコンパイラではならない。
2019/03/02(土) 19:16:54.91ID:5yoALKCSa
あれ、ぶーる同士足し算できないの？
ちょっと信じがたい気はするけど
2019/03/02(土) 19:29:15.37ID:sCjKfj9s0
1bit計算のインストラクションなんぞ
わざわざ作らないだろ
そもそもbool型ってなんだよ
気持ち悪いな
2019/03/02(土) 19:31:09.19ID:DKrIFalvd
要は
bool a = 1;
bool b = 1;
として、
bool c = a + b;
ができたとしても、内部的には
bool c = (_Bool)(((int)a) + ((int)b));
になるってことじゃないの
2019/03/02(土) 19:43:06.08ID:Gk4CLPf80
整数型には加算はあるけど、
ブール型として扱うなら、加算は存在しない

AND, OR, NOT だけしかない

だから技術者間での、こういう共通意識が大切なわけ。
これは「実質的なブール型」として扱っているから、整数型の演算はできません！

ブール型が無かった時代の、
技術者間での意思疎通を図り、安全性を高める、苦肉の策
2019/03/02(土) 19:48:16.19ID:vmi2lFb5d
bool a = true, b = true;
int c = a + b;
これは2
2019/03/02(土) 19:56:01.42ID:Ud+LwFnR0
>>467
＞それはブール型ですよってアピールする事で、技術者間での意思疎通を図り
そういうのは、わりきってハンガリアンを使う方がいいのでは？
bool を使うことで文法的縛りが導入されないことには意味がない気がします
2019/03/02(土) 20:00:32.34ID:/q2pZC1F0
仕様の話とコーティング規約とか作法の話が混ざってるからややこしくなってるのでは
2019/03/02(土) 20:02:44.72ID:uyGBCzAL0
MSVCではbool変数同士の論理和でも加算でも再評価されて0か1のいずれかが再設定されてる
内部処理は全く同じ
gccの内部処理は分からんけど
https://i.imgur.com/3EzADoO.png
2019/03/02(土) 20:47:30.41ID:tMatklv80
>>467 >>472
コーディング規約・ガイドラインを設けるのは結構だが、
それを守っている組織・プロジェクトの中では意思統一しやすいという話であって、
技術者一般にまで適用できるほど強い権威は MISRA-C には無いよ。

仮に (あくまで仮に！) MISRA-C がとても良い習慣だとしても、
言語仕様としての理屈を理解しておくことは大前提だ。
元の質問者である >>376 みたいなのに MISRA-C を勧めても何のたしにもなりゃしないだろ。

規約としての理屈よりも言語としての理屈をまず説明してわかってもらわんと。
2019/03/02(土) 21:01:54.09ID:0outH6mLM
>>476
内部処理は全く同じ？
逆汗までしたのにどこ見て言ってんの？
2019/03/02(土) 22:47:35.40ID:WsmBPiyqa
最後に評価されるタイミングで一致してりゃなんでもいいんだけどね
+って相当するのはxorだかorだかわからんという問題もあるね
2019/03/03(日) 06:55:31.52ID:EUJr/Yte0
>>479
> 最後に評価されるタイミングで一致してりゃなんでもいいんだけどね
とか言うなら内部処理ガーとか言うなよ
って話だろ

> +って相当するのはxorだかorだかわからんという問題もあるね
orはわかるがxorになることなんてあるのか？
2019/03/03(日) 07:58:48.98ID:ojZ/TgF60
ついでにいくつか検証
xorは排他なので当然true同士はfalseに反転する
2項演算や0/1以外の値の代入(boolの範囲外の値であっても)は内部処理は共通
単項演算のインクリメントやデクリメントはコンパイル時に1か0を割り当てるため別の処理らしい
https://i.imgur.com/STxUA6o.png
2019/03/03(日) 08:25:42.12ID:HIAqsaOR0
ブール値は 0/1 しかとらないから1ビットの整数値、と解釈して
true + true == 1 + 1 == (2進数で)10 → 下位1ビットを採用して結果は 0
よってブール値での加算はビットでの排他的論理和と同等、
という考え方もあるんだわ。

「無符号整数のオーバーフローの方式を1ビット幅まで狭める方向に推し進める」
とでも言おうか。
2019/03/03(日) 08:41:37.16ID:ojZ/TgF60
基本的なハーフアダー演算器の考え方だね
キャリーを出力してビットを反転させる
多ビット加算の基本構成
いくら高級アセンブラとしてのC言語であってもキャリーを抽象化した演算を実装するのは結構面倒だけど
多バイト加算はそれなりに手間が掛かる
2019/03/03(日) 08:57:40.87ID:oO/57lY20
仕様を小さくするため論理演算をビット演算で代用する言語はあったと思うが、
わざわざ下1bitだけで真偽を表すってのは見たことないなぁ。
2019/03/03(日) 10:00:14.37ID:EUJr/Yte0
>>482
> よってブール値での加算はビットでの排他的論理和と同等、
> という考え方もあるんだわ。
そんなの聞いたことないw
お前のオレオレ理論じゃないと言うならその考え方を示してる例を出してくれ
2019/03/03(日) 10:41:34.05ID:HIAqsaOR0
>>485 分かりやすく説明できる自信はないけど、一応答えてみる。
と言っても、新しい情報は出ないので期待されちゃ困る。

>>482 は、そう考える考え方(代数系)が可能、という意味で、
そのように内部処理してるプログラミング言語の処理系が存在する、
という主張とは違うって点をまず断っておく。

その「ブール値の加算を排他的論理和と同等に扱う」体系が
内部的に矛盾を生じないこと、実用的な面で利用価値があり、
現実にも使われているってことは、>>483 がコメントしてくれた
前半部分で、十分に例示されてると思う。
て言うか、俺が下手にクドクド書いてもあのレベルは無理。
2019/03/03(日) 10:46:47.10ID:3MaRmCtMd
少なくともC言語である限りは規格に反するんじゃ？
_Bool型は0に等しければ0、その他は1って明記されてる(C11の6.3.1.2)から2進数で10は0に等しくないように思うが
2019/03/03(日) 11:22:47.67ID:EUJr/Yte0
>>486
ハーフアダーはキャリーとセットで話すべきものだからハーフアダー云々は頓珍漢過ぎる
2019/03/03(日) 11:25:33.68ID:HIAqsaOR0
Cの、ビット幅の狭い整数値は int に変換してから計算するってルールにより
true + true → (int)1 + (int)1 == (int)2 → true
という流れで true + true == true であることは納得してるんだ。
型が _Bool でも適用されるよね。勘違いなら訂正求む。


(今回の話とは直接関係ないけど、まるっきり無関係でもない余談)
ただ、これが例えば unsigned int の値を真偽値として扱う場合だと、
unsigned int a = UINT_MAX; // 真偽値としては真
unsigned int b = 1; // 真偽値としては真
a + b == UINT_MAX + 1 == (オーバーフローして)0 → 真偽値では偽！
という事態も起こりうるのでご注意。
2019/03/03(日) 11:31:58.04ID:f6/fijs9a
加算てのは常に状態を変える操作なので、論理演算としてはXORの方が似てるんですよ。
もちろん単に似てるという話で、加算は禁止するくらいが正しいといえば正しい。trueとfalseを1と0に割り当てたせいで足し算できそうな気になってしまったのがよくない。
1ビット整数だと考えてもいいが、元々そんなもんないからsizeofも1以上にするしかないという。
構造体に入れたらビットフィールドと同じメモリのレイアウトになるんだろうか。実装としては。
2019/03/03(日) 11:46:05.73ID:ojZ/TgF60
C言語の_Bool型(boolはただの別名)のtrueを1以外に割り当てるとC++との互換に問題が生じる
C++のbool型のtrueの内部表現は1
bool(論理型)をcharやintなど(整数型)にcastすると1が返される
C++では論理型同士での四則演算は不可能なので問題は生じないが論理型の存在しないC言語ではどうしようもない
trueを1に割り当てて妥協するしか無いと思う
2019/03/03(日) 20:59:55.81ID:7VSfwDmM0
>>444
おまえ除算器作ったことあるの？
2019/03/03(日) 21:09:45.45ID:OccEVyH10
>>444
＞「実測しろ」って原則を無批判に(条件反射的に)振りかざしてるんじゃないの？

いいところを突きますね、そうそうその調子、いい感じですよ
百人一首の上の句と下の句をつなげる、みたいな思考力を使わない、言葉のオートマタを批判するのはすばらしい着目です、感心しました
2019/03/03(日) 21:11:38.16ID:OccEVyH10
>>492
作ったことはあります、最初 C でちょろちょろっと書いたのが、いつのまにか成長してまとまったものになりました、まだまだ改善は必要ですが
https://mevius.5ch.net/test/read.cgi/tech/1434079972/51
2019/03/04(月) 06:25:09.82ID:kNFhD2SD0
>>494
違う
ハードウエア除算器だ
2019/03/04(月) 07:32:41.06ID:yZdj1rJq0
昔8bitマイコンの組込みシステム開発で、被除数が24bit長、除数が固定値(値は3)の除算処理が必要となったとき、
C言語の除算処理では実行時間が要求仕様を満足しなかったのでインラインアセンブラで書き下ろしたことがある
処理系そのものは16bit長までしか対応してなかったので、32bit長の汎用演算ライブラリ関数が付属してたのはいいけど
そのライブラリが遅くて使い物にならなかった
2019/03/04(月) 09:27:34.36ID:uCsPZ+haa
昔bool型ってのを初めてみたときは、誰が使うんだよ気持ちわりーって思ったな。charで8個もフラグ取れるし、
flg & 04とかで好きな位置のビット取れるし、なんでわざわざtrue,falseと思ったもんだ。
2019/03/04(月) 09:33:39.42ID:7yhUbPfx0
貧民の発想だな
2019/03/04(月) 12:25:39.90ID:LMssFTDPM
貧民てか脳がアセンブラに侵されてる
Pascalから入った俺はintでBooleanの代用とかサボりすぎだろって思ったわ
2019/03/04(月) 15:44:36.25ID:kNFhD2SD0
当初から予想された抵抗だ
Pascal教に対する宗教改革じゃけえの
501デフォルトの名無しさん (ﾜｯﾁｮｲ bf02-wVf3)
垢版 |
2019/03/04(月) 16:53:38.87ID:TpCWsYE80
>>497
思い切り最適化されて最終的なコードがそうなれば誰も文句言わないんだろうけどな。
2019/03/04(月) 17:08:34.72ID:Cw9L4ZBc0
bool は真偽値を格納するのに充分であればいいんだから普通は 1 バイトだろっていうのも昔の話で、
今の主要な処理系はだいたい int と同じ幅だったりしてあんまりリソースの節約にもならんかったりするし。
2019/03/04(月) 17:13:39.42ID:7Cz1/mIW0
ブール値の変数を1ビットで表現して1バイトに8個押し込めば
容量の節約にはなるだろうけど、速度的には損な気がするな。
(これも「実測しなけりゃ何も分からない人」向けの釣り餌かも)

ブール値をバイトなりワードで記憶すれば、CPUによっては
レジスタにロードした時点でゼロフラグに反映されて
ゼロとの比較やマスク演算が不要という利点を得られる場合もある。
504デフォルトの名無しさん (ﾜｯﾁｮｲ bf02-wVf3)
垢版 |
2019/03/04(月) 17:16:40.19ID:TpCWsYE80
>>503
CPUしだいだろうね。レジスタに入れないで0かどうかだけ調べる命令があったらそれの方が速いかも知れんし。
2019/03/04(月) 17:18:44.97ID:kNFhD2SD0
　　　　　　　　　　　　　　　　　　／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　　　　　　　　　　　　　　　　　|CPUしだいだろうね。レジスタに入れないで0かどうかだけ調べる命令があったらそれの方が速いかも知れんし
　　　　　　　　　　　　　　　　　　＼＿＿＿＿＿＿＿＿＿＿＿　　＿＿＿＿＿＿＿
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　V
　　 ／￣￣￣￣￣ ミ 　　　　　　　　　　　　　　　　　　　　 ／￣￣￣　＼
　　/　　 ,――――-ミ　　　　　　　　　　　　　　　　　　　／　　　　　　 　 ｜
　/　　／　 ／　　 ＼ | 　　　　　　　　　　　　　　　　　　　∨∨∨∨∨＼ ｜
　|　 /　　　,（･）　（･） |　 　　　　　　　　　　　　　　　　　　｜▲　　▲　 ｜｜
　 (6　　　　　　 つ　　|　　 　　　　　　　　　　　　　　　　　｜（・）　（・）　　6)
　 |　　　　　　＿＿_　 |　　　　　　　　　　　　　　　　　　　 ｜　｜　　　　｜｜
　 | 　　　　 /＿＿/ ／　 　　　　　　　　　　　　　　　　　　｜　　¨　　　　 ／
／|　　　　　　　　 ／＼　　　　　　　　　　　　　　　　　　　　＼／＼　　／＼
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　／￣￣￣　　　 ＼
　　　　　∧
　　／￣　 ￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　|　なわけねーだろ！！
　　＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
2019/03/04(月) 17:21:36.33ID:Cw9L4ZBc0
真偽値の超巨大な配列が必要な場合ならともかく、
今の時代なら 1MB が 8MB になったくらいならたいした差ではないしな。
ただ、キャッシュにのるかどうかで劇的な差になったりもするから、
そこらへんは状況によるというか、それこそ実測しなきゃわからん。
2019/03/04(月) 17:42:05.47ID:VsmIFGpH0
>503
ロードストアに比べて
ALUの制約は少ない
だから詰めたほうがいいとなる

スペックシート読めずに
実測して速い遅い語ってる人は
遅くなると断言しよう
2019/03/04(月) 18:01:28.91ID:jkGA6AVca
プリミティブな静的変数のビットフィールドにアクセスするときってロック意味あると思う？
2019/03/04(月) 18:13:29.18ID:9wLIIjqc0
>>508
しらん

>>503
フラグを全部使うなら８回ロードと一回ロード＋マスクする
をくらべないとだめだろ
2019/03/04(月) 18:18:11.00ID:kNFhD2SD0
10進で2桁程度の「整数値」にもintを使えという主張に似ているな
511デフォルトの名無しさん (ﾜｯﾁｮｲ bf02-wVf3)
垢版 |
2019/03/04(月) 18:38:48.94ID:TpCWsYE80
>>505
あれ？そう？そう断言できる根拠あるの？
2019/03/04(月) 18:51:09.16ID:kNFhD2SD0
>>511
レジスタに入れないでって無理
メモリREADサイクルでどのみちラッチするんだから
名前のある公開レジスタか、名前のない非公開レジスタかという違いにしかならない

どうしても疑うんならHDLでCPU書いてみろ
2019/03/04(月) 18:58:51.95ID:HyYNE7F2M
IA32のTEST命令も思い出してあげて下さい
2019/03/04(月) 19:06:20.72ID:7Cz1/mIW0
自分にツッコミ。
「ブール値の変数を1ビット幅にしてメモリ1バイトに8個押し込む」方式は
Cの規格とは相性悪いね。
&でポインタ取ったときにバイト番地で表現できないとか、
sizeofで1より小さな小数を返すのか、とか。
「ある変数が1バイトより小さな領域しか占めない」って性質が原因だ。

>>509
その点は気がつかなかった。1回の判定しか考えてなかったわ。
1バイトを1回だけ読んでマスク値をシフトしながら判定と、
1バイトずつ8回読むのとで比較しないといけないね。
一度にもっと多く、4バイト単位とかで処理できるかも知れないし。
2019/03/04(月) 19:30:00.46ID:FaqzbzR10
ソフトから見て1命令でも、メモリに対して1バスサイクルでビット操作は不可能だからねぇ。
メモリビット操作命令は裏でマイクロコードが暗躍して結局ロードストアアーキと同じ動きしてる。
lockが必要ない利点はあるけども。
2019/03/04(月) 22:21:47.12ID:tJNb7RRD0
>>514
ここはCスレだけど、それまさにstd::vector<bool>でやらかしたやつだね。
517デフォルトの名無しさん (ﾜｯﾁｮｲ bf02-wVf3)
垢版 |
2019/03/05(火) 00:00:07.09ID:VLRAu/TX0
>>512
知らんよ。そういうCPUがあればそうだねってだけの話だし、お前もその自分の体験や知識から言ってるだけで全世界の全CPU調べた上で言ってるわけじゃないだろ？予想外の変なCPUはあるかも知れんから断定はできんだろう。
518デフォルトの名無しさん (ﾜｯﾁｮｲ bf02-wVf3)
垢版 |
2019/03/05(火) 00:07:19.93ID:VLRAu/TX0
>>514
一応C言語では構造体にビットフィールドがあってビット単位で扱う事が出来るようになっているな。まああれは数値変数として扱うだけでboolではないわけだけど。効率が良いかどうかはどう最適化されるかに掛ってるかな。
2019/03/05(火) 00:12:21.39ID:/9vlYliD0
要素が3ビットの多次元配列が簡単に作れて扱える様になると便利ですね
2019/03/05(火) 00:55:28.63ID:zhV7s4kGM
>>515
メモリバスがネックになるようなシステムなら、
バス幅のビット分情報が詰まってるほうが、
メモリのアクセス回数減らせるから利点もあるだろう。

なんにしろ、一長一短は有るんだから
正しく理解して正しく使うことが重要かと。
2019/03/05(火) 05:52:07.47ID:Q+OO1XNi0
>>518 1ビット幅のブール変数をビットフィールドと同じ扱い、
つまり「アドレスを求めることもsizeofを適用することもできない」
というルールにする手はあるか。

と言っても、アドレスを取れないとなると、ポインタ経由での操作、
配列に入れてインデクスで順番に走査することもできないわけで
非常に使い勝手の悪いものになってしまうね。
2019/03/05(火) 06:03:05.43ID:C3u1nlxm0
ビットフィールド構造体はあくまで構造体であるのでアドレスを返すことは出来る
というか自分ならビットフィールドだけでは使い勝手が悪いので構造体をcharなどと一緒に共用体に纏める
構造体を配列で操作するときなどは同一アドレスのchar変数でビットフィールドを纏めたパッケージとして取り扱う方が使い勝手がいい
523デフォルトの名無しさん (ﾜｯﾁｮｲ bf8c-Q9lp)
垢版 |
2019/03/05(火) 06:15:17.45ID:BSZ7CWqR0
maxima
(%i1) load("bitwise")$
(%i2) bit_not(i);
(%o2) bit_not(i)
(%i3) bit_not(bit_not(i));
(%o3) i
(%i4) bit_not(3);
(%o4) - 4
(%i5) bit_not(100);
(%o5) - 101
(%i6) bit_not(-101);
(%o6) 100
2019/03/05(火) 06:34:30.57ID:C3u1nlxm0
typedef struct {
unsigned8 b7 :1; /* bit7 */
unsigned8 b6 :1; /* bit6 */
unsigned8 b5 :1; /* bit5 */
unsigned8 b4 :1; /* bit4 */
unsigned8 b3 :1; /* bit3 */
unsigned8 b2 :1; /* bit2 */
unsigned8 b1 :1; /* bit1 */
unsigned8 b0 :1; /* bit0 */
} BYTE_FIELD;
2019/03/05(火) 06:48:30.63ID:SFzBJqTc0
>>517
だから、できると思うんならやってみろよ
うまくいけば特許権で儲かるかも知れんぞ
2019/03/05(火) 09:35:09.67ID:XZEd/J30a
>>521
謎だな。
ブールの配列ならint bool やら char boolやらした時点で確保されるメモリをそのまま使って、and or xorあたりでビット操作してshiftで走査したらいいじゃん、ってのが爺の言い分。
どのビットを何に使ってるかってのはコメントに書いておいたり仕様書に書いといたりカンペ回したり。

メモリ確保もロードも最小単位があるんだから、単独1ビットのブール変数ってのは無理だろ。
あ、組込み用のマイコンは知らないけど。
527デフォルトの名無しさん (ｱｳｱｳｳｰ Sa9b-RuLt)
垢版 |
2019/03/05(火) 12:23:27.77ID:TQUHbSsoa
>>525
君がマウントを取りたいだけのサルということが良くわかった。
ま、頑張れ。
2019/03/05(火) 12:35:19.43ID:SFzBJqTc0
>>527
体験も知識もないやつが妄想を垂れ流すと突っ込まれるという当たり前のことが起きただけだ
今後は身の丈に合った発言を心がけるんだな
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況