↑
次スレを作る時は上記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
探検
C言語なら俺に聞け 150
■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん (アウアウクー MM57-IE4z)
2019/02/06(水) 13:39:03.21ID:c4bnQMl3M451デフォルトの名無しさん (ワッチョイ f777-6Vjj)
2019/03/02(土) 13:58:43.76ID:S/SxCgBS0 MSゴシック以外のとこはアンチエイリアスかかってるだろ
452デフォルトの名無しさん (ワッチョイ b75f-tQZn)
2019/03/02(土) 16:14:23.72ID:ixsZHls30 >>447
割り算はコンピュータにとって簡単なことではない。人間だってそうだろ。
割り算はコンピュータにとって簡単なことではない。人間だってそうだろ。
453デフォルトの名無しさん (ワッチョイ 175f-5O6o)
2019/03/02(土) 16:42:33.79ID:/q2pZC1F0454デフォルトの名無しさん (ワッチョイ 175f-5O6o)
2019/03/02(土) 16:43:44.00ID:/q2pZC1F0 >>453
自己レス、型はintって書いてあったわ
自己レス、型はintって書いてあったわ
455はちみつ餃子 ◆8X2XSCHEME (ワッチョイ bf3e-3oSp)
2019/03/02(土) 17:04:52.74ID:tMatklv80 C では比較演算子が返すのも、 if の判定にも真偽値型は現れない。
真偽値型は後付けで、言語の中核の意味論には関与しない。
真偽値型は整数型の一種だから何か演算しようとすると整数拡張で int になってから計算するしな。
_Bool で表現してもほとんどの場合にコメントと同程度にしか意味ない。
コメントと同程度に「意図」を表せるならそれはそれで有用ではあるけど、
型システムが間違いを防止する役に立つ場面はあんまりない。
(余談だが C++ では (組込みの) 比較演算子は真偽値型を返すし、
if の条件節は真偽値型にキャストして判定するので C とは解釈が違う)
真偽値型は後付けで、言語の中核の意味論には関与しない。
真偽値型は整数型の一種だから何か演算しようとすると整数拡張で int になってから計算するしな。
_Bool で表現してもほとんどの場合にコメントと同程度にしか意味ない。
コメントと同程度に「意図」を表せるならそれはそれで有用ではあるけど、
型システムが間違いを防止する役に立つ場面はあんまりない。
(余談だが C++ では (組込みの) 比較演算子は真偽値型を返すし、
if の条件節は真偽値型にキャストして判定するので C とは解釈が違う)
456デフォルトの名無しさん (ドコグロ MMdb-dMaL)
2019/03/02(土) 17:20:40.95ID:vTA45/dSM457デフォルトの名無しさん (ワッチョイ ff63-3oSp)
2019/03/02(土) 17:23:51.58ID:U++dipsO0 若さを売りにするしか無くなったかw
458デフォルトの名無しさん (ワッチョイ 9fab-IBRN)
2019/03/02(土) 17:29:25.11ID:Dgo9YwRe0 >>456
「昭和」言いたかっただけだろがw
「昭和」言いたかっただけだろがw
459デフォルトの名無しさん (ワッチョイ 175f-5O6o)
2019/03/02(土) 17:38:17.44ID:/q2pZC1F0 >>456
「型は同じ」って言っただけで区別不要とはどこにも書いてない訳だが
「型は同じ」って言っただけで区別不要とはどこにも書いてない訳だが
460デフォルトの名無しさん (ドコグロ MMdb-dMaL)
2019/03/02(土) 17:53:06.93ID:vTA45/dSM いや、マジで型安全とか知らなさそうで可哀想ですらあるんだが…
461デフォルトの名無しさん (ドコグロ MMdb-dMaL)
2019/03/02(土) 17:55:42.96ID:vTA45/dSM462デフォルトの名無しさん (ワッチョイ 175f-5O6o)
2019/03/02(土) 18:05:39.73ID:/q2pZC1F0463デフォルトの名無しさん (ワッチョイ ff63-3oSp)
2019/03/02(土) 18:07:30.88ID:U++dipsO0 「ばあさん、いただきものは型を意識した応答だろう」
「いいえ、お爺さん型を意識した応答でしたよ」
「そうかい、わしゃまた型を意識した応答だと思ったよ」
「いいえ、お爺さん型を意識した応答でしたよ」
「そうかい、わしゃまた型を意識した応答だと思ったよ」
464デフォルトの名無しさん (アウアウウー Sa9b-WzxR)
2019/03/02(土) 18:18:58.15ID:5yoALKCSa boolの1と1足したら1になるよね?
465デフォルトの名無しさん (ブーイモ MMbf-NqO3)
2019/03/02(土) 18:45:34.07ID:NrjYyiWtM >>464
ならんよ
ならんよ
466はちみつ餃子 ◆8X2XSCHEME (ワッチョイ bf3e-3oSp)
2019/03/02(土) 18:46:41.44ID:tMatklv80 >>464
双方が int に拡張されて足し算されて 2 になったのが
再び bool にキャストすると 1 になる。
演算子の両方の型が int より小さい場合には
両方が int に拡張されてから計算されるというのが
C の基本的なルール。
(全ての演算子がそうというわけではない。)
双方が int に拡張されて足し算されて 2 になったのが
再び bool にキャストすると 1 になる。
演算子の両方の型が int より小さい場合には
両方が int に拡張されてから計算されるというのが
C の基本的なルール。
(全ての演算子がそうというわけではない。)
467383 (ワッチョイ ff2c-Im2K)
2019/03/02(土) 19:01:27.14ID:Gk4CLPf80 >>455
MISRA-C は、C89/90に、bool という概念をバックポートした。
それを「実質的なブール型」と呼んで、単純な整数型と区別している
ブールを表現する場合は、整数型を使っていても、
それはブール型ですよってアピールする事で、
技術者間での意思疎通を図り、安全性を高める
MISRA-C は、C89/90に、bool という概念をバックポートした。
それを「実質的なブール型」と呼んで、単純な整数型と区別している
ブールを表現する場合は、整数型を使っていても、
それはブール型ですよってアピールする事で、
技術者間での意思疎通を図り、安全性を高める
468さまよえる蟻人間 ◆T6xkBnTXz7B0 (スフッ Sdbf-tIeT)
2019/03/02(土) 19:16:00.81ID:eb7NT9g3d469デフォルトの名無しさん (アウアウウー Sa9b-WzxR)
2019/03/02(土) 19:16:54.91ID:5yoALKCSa あれ、ぶーる同士足し算できないの?
ちょっと信じがたい気はするけど
ちょっと信じがたい気はするけど
470デフォルトの名無しさん (ワッチョイ ffaa-Pjzk)
2019/03/02(土) 19:29:15.37ID:sCjKfj9s0 1bit計算のインストラクションなんぞ
わざわざ作らないだろ
そもそもbool型ってなんだよ
気持ち悪いな
わざわざ作らないだろ
そもそもbool型ってなんだよ
気持ち悪いな
471デフォルトの名無しさん (スププ Sdbf-5O6o)
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));
になるってことじゃないの
bool a = 1;
bool b = 1;
として、
bool c = a + b;
ができたとしても、内部的には
bool c = (_Bool)(((int)a) + ((int)b));
になるってことじゃないの
472383 (ワッチョイ ff2c-Im2K)
2019/03/02(土) 19:43:06.08ID:Gk4CLPf80 整数型には加算はあるけど、
ブール型として扱うなら、加算は存在しない
AND, OR, NOT だけしかない
だから技術者間での、こういう共通意識が大切なわけ。
これは「実質的なブール型」として扱っているから、整数型の演算はできません!
ブール型が無かった時代の、
技術者間での意思疎通を図り、安全性を高める、苦肉の策
ブール型として扱うなら、加算は存在しない
AND, OR, NOT だけしかない
だから技術者間での、こういう共通意識が大切なわけ。
これは「実質的なブール型」として扱っているから、整数型の演算はできません!
ブール型が無かった時代の、
技術者間での意思疎通を図り、安全性を高める、苦肉の策
473さまよえる蟻人間 ◆T6xkBnTXz7B0 (スフッ Sdbf-tIeT)
2019/03/02(土) 19:48:16.19ID:vmi2lFb5d bool a = true, b = true;
int c = a + b;
これは2
int c = a + b;
これは2
>>467
>それはブール型ですよってアピールする事で、技術者間での意思疎通を図り
そういうのは、わりきってハンガリアンを使う方がいいのでは?
bool を使うことで文法的縛りが導入されないことには意味がない気がします
>それはブール型ですよってアピールする事で、技術者間での意思疎通を図り
そういうのは、わりきってハンガリアンを使う方がいいのでは?
bool を使うことで文法的縛りが導入されないことには意味がない気がします
475デフォルトの名無しさん (ワッチョイ 175f-5O6o)
2019/03/02(土) 20:00:32.34ID:/q2pZC1F0 仕様の話とコーティング規約とか作法の話が混ざってるからややこしくなってるのでは
476デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
2019/03/02(土) 20:02:44.72ID:uyGBCzAL0 MSVCではbool変数同士の論理和でも加算でも再評価されて0か1のいずれかが再設定されてる
内部処理は全く同じ
gccの内部処理は分からんけど
https://i.imgur.com/3EzADoO.png
内部処理は全く同じ
gccの内部処理は分からんけど
https://i.imgur.com/3EzADoO.png
477はちみつ餃子 ◆8X2XSCHEME (ワッチョイ bf3e-3oSp)
2019/03/02(土) 20:47:30.41ID:tMatklv80478デフォルトの名無しさん (ブーイモ MMcf-NqO3)
2019/03/02(土) 21:01:54.09ID:0outH6mLM479デフォルトの名無しさん (アウアウウー Sa9b-WzxR)
2019/03/02(土) 22:47:35.40ID:WsmBPiyqa 最後に評価されるタイミングで一致してりゃなんでもいいんだけどね
+って相当するのはxorだかorだかわからんという問題もあるね
+って相当するのはxorだかorだかわからんという問題もあるね
480デフォルトの名無しさん (ワッチョイ 9f01-dMaL)
2019/03/03(日) 06:55:31.52ID:EUJr/Yte0 >>479
> 最後に評価されるタイミングで一致してりゃなんでもいいんだけどね
とか言うなら内部処理ガーとか言うなよ
って話だろ
> +って相当するのはxorだかorだかわからんという問題もあるね
orはわかるがxorになることなんてあるのか?
> 最後に評価されるタイミングで一致してりゃなんでもいいんだけどね
とか言うなら内部処理ガーとか言うなよ
って話だろ
> +って相当するのはxorだかorだかわからんという問題もあるね
orはわかるがxorになることなんてあるのか?
481デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
2019/03/03(日) 07:58:48.98ID:ojZ/TgF60 ついでにいくつか検証
xorは排他なので当然true同士はfalseに反転する
2項演算や0/1以外の値の代入(boolの範囲外の値であっても)は内部処理は共通
単項演算のインクリメントやデクリメントはコンパイル時に1か0を割り当てるため別の処理らしい
https://i.imgur.com/STxUA6o.png
xorは排他なので当然true同士はfalseに反転する
2項演算や0/1以外の値の代入(boolの範囲外の値であっても)は内部処理は共通
単項演算のインクリメントやデクリメントはコンパイル時に1か0を割り当てるため別の処理らしい
https://i.imgur.com/STxUA6o.png
482デフォルトの名無しさん (ワッチョイ d77b-vPGa)
2019/03/03(日) 08:25:42.12ID:HIAqsaOR0 ブール値は 0/1 しかとらないから1ビットの整数値、と解釈して
true + true == 1 + 1 == (2進数で)10 → 下位1ビットを採用して結果は 0
よってブール値での加算はビットでの排他的論理和と同等、
という考え方もあるんだわ。
「無符号整数のオーバーフローの方式を1ビット幅まで狭める方向に推し進める」
とでも言おうか。
true + true == 1 + 1 == (2進数で)10 → 下位1ビットを採用して結果は 0
よってブール値での加算はビットでの排他的論理和と同等、
という考え方もあるんだわ。
「無符号整数のオーバーフローの方式を1ビット幅まで狭める方向に推し進める」
とでも言おうか。
483デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
2019/03/03(日) 08:41:37.16ID:ojZ/TgF60 基本的なハーフアダー演算器の考え方だね
キャリーを出力してビットを反転させる
多ビット加算の基本構成
いくら高級アセンブラとしてのC言語であってもキャリーを抽象化した演算を実装するのは結構面倒だけど
多バイト加算はそれなりに手間が掛かる
キャリーを出力してビットを反転させる
多ビット加算の基本構成
いくら高級アセンブラとしてのC言語であってもキャリーを抽象化した演算を実装するのは結構面倒だけど
多バイト加算はそれなりに手間が掛かる
484デフォルトの名無しさん (ワッチョイ d7f2-W5e4)
2019/03/03(日) 08:57:40.87ID:oO/57lY20 仕様を小さくするため論理演算をビット演算で代用する言語はあったと思うが、
わざわざ下1bitだけで真偽を表すってのは見たことないなぁ。
わざわざ下1bitだけで真偽を表すってのは見たことないなぁ。
485デフォルトの名無しさん (ワッチョイ 9f01-dMaL)
2019/03/03(日) 10:00:14.37ID:EUJr/Yte0 >>482
> よってブール値での加算はビットでの排他的論理和と同等、
> という考え方もあるんだわ。
そんなの聞いたことないw
お前のオレオレ理論じゃないと言うならその考え方を示してる例を出してくれ
> よってブール値での加算はビットでの排他的論理和と同等、
> という考え方もあるんだわ。
そんなの聞いたことないw
お前のオレオレ理論じゃないと言うならその考え方を示してる例を出してくれ
486482 (ワッチョイ d77b-vPGa)
2019/03/03(日) 10:41:34.05ID:HIAqsaOR0487デフォルトの名無しさん (スププ Sdbf-5O6o)
2019/03/03(日) 10:46:47.10ID:3MaRmCtMd 少なくともC言語である限りは規格に反するんじゃ?
_Bool型は0に等しければ0、その他は1って明記されてる(C11の6.3.1.2)から2進数で10は0に等しくないように思うが
_Bool型は0に等しければ0、その他は1って明記されてる(C11の6.3.1.2)から2進数で10は0に等しくないように思うが
488デフォルトの名無しさん (ワッチョイ 9f01-dMaL)
2019/03/03(日) 11:22:47.67ID:EUJr/Yte0 >>486
ハーフアダーはキャリーとセットで話すべきものだからハーフアダー云々は頓珍漢過ぎる
ハーフアダーはキャリーとセットで話すべきものだからハーフアダー云々は頓珍漢過ぎる
489デフォルトの名無しさん (ワッチョイ d77b-vPGa)
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 → 真偽値では偽!
という事態も起こりうるのでご注意。
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 → 真偽値では偽!
という事態も起こりうるのでご注意。
490デフォルトの名無しさん (アウアウカー Sa6b-WzxR)
2019/03/03(日) 11:31:58.04ID:f6/fijs9a 加算てのは常に状態を変える操作なので、論理演算としてはXORの方が似てるんですよ。
もちろん単に似てるという話で、加算は禁止するくらいが正しいといえば正しい。trueとfalseを1と0に割り当てたせいで足し算できそうな気になってしまったのがよくない。
1ビット整数だと考えてもいいが、元々そんなもんないからsizeofも1以上にするしかないという。
構造体に入れたらビットフィールドと同じメモリのレイアウトになるんだろうか。実装としては。
もちろん単に似てるという話で、加算は禁止するくらいが正しいといえば正しい。trueとfalseを1と0に割り当てたせいで足し算できそうな気になってしまったのがよくない。
1ビット整数だと考えてもいいが、元々そんなもんないからsizeofも1以上にするしかないという。
構造体に入れたらビットフィールドと同じメモリのレイアウトになるんだろうか。実装としては。
491デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
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に割り当てて妥協するしか無いと思う
C++のbool型のtrueの内部表現は1
bool(論理型)をcharやintなど(整数型)にcastすると1が返される
C++では論理型同士での四則演算は不可能なので問題は生じないが論理型の存在しないC言語ではどうしようもない
trueを1に割り当てて妥協するしか無いと思う
492デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/03(日) 20:59:55.81ID:7VSfwDmM0 >>444
おまえ除算器作ったことあるの?
おまえ除算器作ったことあるの?
>>444
>「実測しろ」って原則を無批判に(条件反射的に)振りかざしてるんじゃないの?
いいところを突きますね、そうそうその調子、いい感じですよ
百人一首の上の句と下の句をつなげる、みたいな思考力を使わない、言葉のオートマタを批判するのはすばらしい着目です、感心しました
>「実測しろ」って原則を無批判に(条件反射的に)振りかざしてるんじゃないの?
いいところを突きますね、そうそうその調子、いい感じですよ
百人一首の上の句と下の句をつなげる、みたいな思考力を使わない、言葉のオートマタを批判するのはすばらしい着目です、感心しました
>>492
作ったことはあります、最初 C でちょろちょろっと書いたのが、いつのまにか成長してまとまったものになりました、まだまだ改善は必要ですが
https://mevius.5ch.net/test/read.cgi/tech/1434079972/51
作ったことはあります、最初 C でちょろちょろっと書いたのが、いつのまにか成長してまとまったものになりました、まだまだ改善は必要ですが
https://mevius.5ch.net/test/read.cgi/tech/1434079972/51
495デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/04(月) 06:25:09.82ID:kNFhD2SD0496デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
2019/03/04(月) 07:32:41.06ID:yZdj1rJq0 昔8bitマイコンの組込みシステム開発で、被除数が24bit長、除数が固定値(値は3)の除算処理が必要となったとき、
C言語の除算処理では実行時間が要求仕様を満足しなかったのでインラインアセンブラで書き下ろしたことがある
処理系そのものは16bit長までしか対応してなかったので、32bit長の汎用演算ライブラリ関数が付属してたのはいいけど
そのライブラリが遅くて使い物にならなかった
C言語の除算処理では実行時間が要求仕様を満足しなかったのでインラインアセンブラで書き下ろしたことがある
処理系そのものは16bit長までしか対応してなかったので、32bit長の汎用演算ライブラリ関数が付属してたのはいいけど
そのライブラリが遅くて使い物にならなかった
497デフォルトの名無しさん (アウアウウー Sa9b-mjQG)
2019/03/04(月) 09:27:34.36ID:uCsPZ+haa 昔bool型ってのを初めてみたときは、誰が使うんだよ気持ちわりーって思ったな。charで8個もフラグ取れるし、
flg & 04とかで好きな位置のビット取れるし、なんでわざわざtrue,falseと思ったもんだ。
flg & 04とかで好きな位置のビット取れるし、なんでわざわざtrue,falseと思ったもんだ。
498デフォルトの名無しさん (ワッチョイ 9fa5-JAd8)
2019/03/04(月) 09:33:39.42ID:7yhUbPfx0 貧民の発想だな
499デフォルトの名無しさん (ドコグロ MMcb-dMaL)
2019/03/04(月) 12:25:39.90ID:LMssFTDPM 貧民てか脳がアセンブラに侵されてる
Pascalから入った俺はintでBooleanの代用とかサボりすぎだろって思ったわ
Pascalから入った俺はintでBooleanの代用とかサボりすぎだろって思ったわ
500デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/04(月) 15:44:36.25ID:kNFhD2SD0 当初から予想された抵抗だ
Pascal教に対する宗教改革じゃけえの
Pascal教に対する宗教改革じゃけえの
501デフォルトの名無しさん (ワッチョイ bf02-wVf3)
2019/03/04(月) 16:53:38.87ID:TpCWsYE80 >>497
思い切り最適化されて最終的なコードがそうなれば誰も文句言わないんだろうけどな。
思い切り最適化されて最終的なコードがそうなれば誰も文句言わないんだろうけどな。
502はちみつ餃子 ◆8X2XSCHEME (ワッチョイ bf3e-3oSp)
2019/03/04(月) 17:08:34.72ID:Cw9L4ZBc0 bool は真偽値を格納するのに充分であればいいんだから普通は 1 バイトだろっていうのも昔の話で、
今の主要な処理系はだいたい int と同じ幅だったりしてあんまりリソースの節約にもならんかったりするし。
今の主要な処理系はだいたい int と同じ幅だったりしてあんまりリソースの節約にもならんかったりするし。
503デフォルトの名無しさん (ワッチョイ d77b-vPGa)
2019/03/04(月) 17:13:39.42ID:7Cz1/mIW0 ブール値の変数を1ビットで表現して1バイトに8個押し込めば
容量の節約にはなるだろうけど、速度的には損な気がするな。
(これも「実測しなけりゃ何も分からない人」向けの釣り餌かも)
ブール値をバイトなりワードで記憶すれば、CPUによっては
レジスタにロードした時点でゼロフラグに反映されて
ゼロとの比較やマスク演算が不要という利点を得られる場合もある。
容量の節約にはなるだろうけど、速度的には損な気がするな。
(これも「実測しなけりゃ何も分からない人」向けの釣り餌かも)
ブール値をバイトなりワードで記憶すれば、CPUによっては
レジスタにロードした時点でゼロフラグに反映されて
ゼロとの比較やマスク演算が不要という利点を得られる場合もある。
504デフォルトの名無しさん (ワッチョイ bf02-wVf3)
2019/03/04(月) 17:16:40.19ID:TpCWsYE80 >>503
CPUしだいだろうね。レジスタに入れないで0かどうかだけ調べる命令があったらそれの方が速いかも知れんし。
CPUしだいだろうね。レジスタに入れないで0かどうかだけ調べる命令があったらそれの方が速いかも知れんし。
505デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/04(月) 17:18:44.97ID:kNFhD2SD0 / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
|CPUしだいだろうね。レジスタに入れないで0かどうかだけ調べる命令があったらそれの方が速いかも知れんし
\___________ _______
V
/ ̄ ̄ ̄ ̄ ̄ ミ / ̄ ̄ ̄ \
/ ,――――-ミ / |
/ / / \ | ∨∨∨∨∨\ |
| / ,(・) (・) | |▲ ▲ ||
(6 つ | |(・) (・) 6)
| ___ | | | ||
| /__/ / | ¨ /
/| /\ \/\ /\
/ ̄ ̄ ̄ \
∧
/ ̄  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
| なわけねーだろ!!
\__________________
|CPUしだいだろうね。レジスタに入れないで0かどうかだけ調べる命令があったらそれの方が速いかも知れんし
\___________ _______
V
/ ̄ ̄ ̄ ̄ ̄ ミ / ̄ ̄ ̄ \
/ ,――――-ミ / |
/ / / \ | ∨∨∨∨∨\ |
| / ,(・) (・) | |▲ ▲ ||
(6 つ | |(・) (・) 6)
| ___ | | | ||
| /__/ / | ¨ /
/| /\ \/\ /\
/ ̄ ̄ ̄ \
∧
/ ̄  ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄
| なわけねーだろ!!
\__________________
506はちみつ餃子 ◆8X2XSCHEME (ワッチョイ bf3e-3oSp)
2019/03/04(月) 17:21:36.33ID:Cw9L4ZBc0 真偽値の超巨大な配列が必要な場合ならともかく、
今の時代なら 1MB が 8MB になったくらいならたいした差ではないしな。
ただ、キャッシュにのるかどうかで劇的な差になったりもするから、
そこらへんは状況によるというか、それこそ実測しなきゃわからん。
今の時代なら 1MB が 8MB になったくらいならたいした差ではないしな。
ただ、キャッシュにのるかどうかで劇的な差になったりもするから、
そこらへんは状況によるというか、それこそ実測しなきゃわからん。
507デフォルトの名無しさん (ワッチョイ 17de-Pjzk)
2019/03/04(月) 17:42:05.47ID:VsmIFGpH0 >503
ロードストアに比べて
ALUの制約は少ない
だから詰めたほうがいいとなる
スペックシート読めずに
実測して速い遅い語ってる人は
遅くなると断言しよう
ロードストアに比べて
ALUの制約は少ない
だから詰めたほうがいいとなる
スペックシート読めずに
実測して速い遅い語ってる人は
遅くなると断言しよう
508デフォルトの名無しさん (アウアウカー Sa6b-WzxR)
2019/03/04(月) 18:01:28.91ID:jkGA6AVca プリミティブな静的変数のビットフィールドにアクセスするときってロック意味あると思う?
509デフォルトの名無しさん (ワッチョイ f7d2-mfNA)
2019/03/04(月) 18:13:29.18ID:9wLIIjqc0510デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/04(月) 18:18:11.00ID:kNFhD2SD0 10進で2桁程度の「整数値」にもintを使えという主張に似ているな
511デフォルトの名無しさん (ワッチョイ bf02-wVf3)
2019/03/04(月) 18:38:48.94ID:TpCWsYE80 >>505
あれ?そう?そう断言できる根拠あるの?
あれ?そう?そう断言できる根拠あるの?
512デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/04(月) 18:51:09.16ID:kNFhD2SD0 >>511
レジスタに入れないでって無理
メモリREADサイクルでどのみちラッチするんだから
名前のある公開レジスタか、名前のない非公開レジスタかという違いにしかならない
どうしても疑うんならHDLでCPU書いてみろ
レジスタに入れないでって無理
メモリREADサイクルでどのみちラッチするんだから
名前のある公開レジスタか、名前のない非公開レジスタかという違いにしかならない
どうしても疑うんならHDLでCPU書いてみろ
513KAC (ブーイモ MMcf-KKw9)
2019/03/04(月) 18:58:51.95ID:HyYNE7F2M IA32のTEST命令も思い出してあげて下さい
514503 (ワッチョイ d77b-vPGa)
2019/03/04(月) 19:06:20.72ID:7Cz1/mIW0 自分にツッコミ。
「ブール値の変数を1ビット幅にしてメモリ1バイトに8個押し込む」方式は
Cの規格とは相性悪いね。
&でポインタ取ったときにバイト番地で表現できないとか、
sizeofで1より小さな小数を返すのか、とか。
「ある変数が1バイトより小さな領域しか占めない」って性質が原因だ。
>>509
その点は気がつかなかった。1回の判定しか考えてなかったわ。
1バイトを1回だけ読んでマスク値をシフトしながら判定と、
1バイトずつ8回読むのとで比較しないといけないね。
一度にもっと多く、4バイト単位とかで処理できるかも知れないし。
「ブール値の変数を1ビット幅にしてメモリ1バイトに8個押し込む」方式は
Cの規格とは相性悪いね。
&でポインタ取ったときにバイト番地で表現できないとか、
sizeofで1より小さな小数を返すのか、とか。
「ある変数が1バイトより小さな領域しか占めない」って性質が原因だ。
>>509
その点は気がつかなかった。1回の判定しか考えてなかったわ。
1バイトを1回だけ読んでマスク値をシフトしながら判定と、
1バイトずつ8回読むのとで比較しないといけないね。
一度にもっと多く、4バイト単位とかで処理できるかも知れないし。
515デフォルトの名無しさん (ワッチョイ d701-WeXs)
2019/03/04(月) 19:30:00.46ID:FaqzbzR10 ソフトから見て1命令でも、メモリに対して1バスサイクルでビット操作は不可能だからねぇ。
メモリビット操作命令は裏でマイクロコードが暗躍して結局ロードストアアーキと同じ動きしてる。
lockが必要ない利点はあるけども。
メモリビット操作命令は裏でマイクロコードが暗躍して結局ロードストアアーキと同じ動きしてる。
lockが必要ない利点はあるけども。
516デフォルトの名無しさん (ワッチョイ d7f2-W5e4)
2019/03/04(月) 22:21:47.12ID:tJNb7RRD0 >>514
ここはCスレだけど、それまさにstd::vector<bool>でやらかしたやつだね。
ここはCスレだけど、それまさにstd::vector<bool>でやらかしたやつだね。
517デフォルトの名無しさん (ワッチョイ bf02-wVf3)
2019/03/05(火) 00:00:07.09ID:VLRAu/TX0 >>512
知らんよ。そういうCPUがあればそうだねってだけの話だし、お前もその自分の体験や知識から言ってるだけで全世界の全CPU調べた上で言ってるわけじゃないだろ?予想外の変なCPUはあるかも知れんから断定はできんだろう。
知らんよ。そういうCPUがあればそうだねってだけの話だし、お前もその自分の体験や知識から言ってるだけで全世界の全CPU調べた上で言ってるわけじゃないだろ?予想外の変なCPUはあるかも知れんから断定はできんだろう。
518デフォルトの名無しさん (ワッチョイ bf02-wVf3)
2019/03/05(火) 00:07:19.93ID:VLRAu/TX0 >>514
一応C言語では構造体にビットフィールドがあってビット単位で扱う事が出来るようになっているな。まああれは数値変数として扱うだけでboolではないわけだけど。効率が良いかどうかはどう最適化されるかに掛ってるかな。
一応C言語では構造体にビットフィールドがあってビット単位で扱う事が出来るようになっているな。まああれは数値変数として扱うだけでboolではないわけだけど。効率が良いかどうかはどう最適化されるかに掛ってるかな。
519デフォルトの名無しさん (ワッチョイ ff63-3oSp)
2019/03/05(火) 00:12:21.39ID:/9vlYliD0 要素が3ビットの多次元配列が簡単に作れて扱える様になると便利ですね
520KAC (ブーイモ MM3b-KKw9)
2019/03/05(火) 00:55:28.63ID:zhV7s4kGM >>515
メモリバスがネックになるようなシステムなら、
バス幅のビット分情報が詰まってるほうが、
メモリのアクセス回数減らせるから利点もあるだろう。
なんにしろ、一長一短は有るんだから
正しく理解して正しく使うことが重要かと。
メモリバスがネックになるようなシステムなら、
バス幅のビット分情報が詰まってるほうが、
メモリのアクセス回数減らせるから利点もあるだろう。
なんにしろ、一長一短は有るんだから
正しく理解して正しく使うことが重要かと。
521デフォルトの名無しさん (ワッチョイ d77b-vPGa)
2019/03/05(火) 05:52:07.47ID:Q+OO1XNi0 >>518 1ビット幅のブール変数をビットフィールドと同じ扱い、
つまり「アドレスを求めることもsizeofを適用することもできない」
というルールにする手はあるか。
と言っても、アドレスを取れないとなると、ポインタ経由での操作、
配列に入れてインデクスで順番に走査することもできないわけで
非常に使い勝手の悪いものになってしまうね。
つまり「アドレスを求めることもsizeofを適用することもできない」
というルールにする手はあるか。
と言っても、アドレスを取れないとなると、ポインタ経由での操作、
配列に入れてインデクスで順番に走査することもできないわけで
非常に使い勝手の悪いものになってしまうね。
522デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
2019/03/05(火) 06:03:05.43ID:C3u1nlxm0 ビットフィールド構造体はあくまで構造体であるのでアドレスを返すことは出来る
というか自分ならビットフィールドだけでは使い勝手が悪いので構造体をcharなどと一緒に共用体に纏める
構造体を配列で操作するときなどは同一アドレスのchar変数でビットフィールドを纏めたパッケージとして取り扱う方が使い勝手がいい
というか自分ならビットフィールドだけでは使い勝手が悪いので構造体を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
(%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
524デフォルトの名無しさん (ワッチョイ 9fda-W5e4)
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;
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;
525デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/05(火) 06:48:30.63ID:SFzBJqTc0526デフォルトの名無しさん (アウアウウー Sa9b-mjQG)
2019/03/05(火) 09:35:09.67ID:XZEd/J30a >>521
謎だな。
ブールの配列ならint bool やら char boolやらした時点で確保されるメモリをそのまま使って、and or xorあたりでビット操作してshiftで走査したらいいじゃん、ってのが爺の言い分。
どのビットを何に使ってるかってのはコメントに書いておいたり仕様書に書いといたりカンペ回したり。
メモリ確保もロードも最小単位があるんだから、単独1ビットのブール変数ってのは無理だろ。
あ、組込み用のマイコンは知らないけど。
謎だな。
ブールの配列ならint bool やら char boolやらした時点で確保されるメモリをそのまま使って、and or xorあたりでビット操作してshiftで走査したらいいじゃん、ってのが爺の言い分。
どのビットを何に使ってるかってのはコメントに書いておいたり仕様書に書いといたりカンペ回したり。
メモリ確保もロードも最小単位があるんだから、単独1ビットのブール変数ってのは無理だろ。
あ、組込み用のマイコンは知らないけど。
527デフォルトの名無しさん (アウアウウー Sa9b-RuLt)
2019/03/05(火) 12:23:27.77ID:TQUHbSsoa528デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/05(火) 12:35:19.43ID:SFzBJqTc0529デフォルトの名無しさん (アウアウウー Sa9b-RuLt)
2019/03/05(火) 12:58:00.63ID:TQUHbSsoa >>528
マウントご苦労様です。
マウントご苦労様です。
530デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/05(火) 13:03:24.22ID:SFzBJqTc0 まだいたの? アンダードッグ君
531デフォルトの名無しさん (アウアウウー Sa9b-RuLt)
2019/03/05(火) 14:27:58.97ID:TQUHbSsoa >>530
いつもマウントありがとうございます。
いつもマウントありがとうございます。
532デフォルトの名無しさん (ワッチョイ 9fad-kdfS)
2019/03/05(火) 14:29:27.16ID:TEkYesPv0 使用中なので取り外しが出来ませんでした
533デフォルトの名無しさん (スプッッ Sd3f-x13U)
2019/03/05(火) 18:49:30.99ID:t42KPL8Wd >>505
結局レジスタに入れずにってのは有りうるの?喧嘩せずに冷静に結論を出してくれると嬉しい。気になる。
結局レジスタに入れずにってのは有りうるの?喧嘩せずに冷静に結論を出してくれると嬉しい。気になる。
534デフォルトの名無しさん (ワッチョイ b702-IBRN)
2019/03/05(火) 18:58:34.77ID:6hPuHs1J0 intが64ビットの環境で32ビットの変数を扱いたいので、
とりあえず(私の環境で) typedef long INT32;とか定義してるんですが、
longを使うのが普通でしょうか?
環境によって違うらしいとは知っているのですが、
typedefに出来るだけ無難な型を使っときたいという意図です。
とりあえず(私の環境で) typedef long INT32;とか定義してるんですが、
longを使うのが普通でしょうか?
環境によって違うらしいとは知っているのですが、
typedefに出来るだけ無難な型を使っときたいという意図です。
535デフォルトの名無しさん (ワッチョイ d7b3-dc4V)
2019/03/05(火) 19:06:56.91ID:04oqNpdo0 >>534
stdint.hかinttypes.hをインクルードしてint32_tを使うのはダメなの?
stdint.hかinttypes.hをインクルードしてint32_tを使うのはダメなの?
536デフォルトの名無しさん (アークセー Sx0b-WeXs)
2019/03/05(火) 19:08:28.28ID:JrR+GNVhx レジスタに入れずに直接メモリ上のビット操作はないよ。
そりゃやろうと思えばメモリセルの制御単位を1ビットにしてデータバスを1ビット、アドレスバスのアドレス単位も1ビットにでもすれば1バスサイクルでのビットアクセスができるだろうけど、あまりにも非効率なのでやらないだろう。
そんな汎用CPUはどこにもないと断言しても良いレベル。
そりゃやろうと思えばメモリセルの制御単位を1ビットにしてデータバスを1ビット、アドレスバスのアドレス単位も1ビットにでもすれば1バスサイクルでのビットアクセスができるだろうけど、あまりにも非効率なのでやらないだろう。
そんな汎用CPUはどこにもないと断言しても良いレベル。
537デフォルトの名無しさん (アークセー Sx0b-WeXs)
2019/03/05(火) 19:09:18.75ID:JrR+GNVhx538デフォルトの名無しさん (ワッチョイ b702-IBRN)
2019/03/05(火) 19:13:46.41ID:6hPuHs1J0539デフォルトの名無しさん (ワッチョイ ffaa-Pjzk)
2019/03/05(火) 19:21:59.58ID:pv4h1d4+0 こんなデタラメまじりの掲示板で
聞いた所で所詮オカルト
はっきりさせたきゃ
sdramの転送どうなってるか
自分で読めばいい
聞いた所で所詮オカルト
はっきりさせたきゃ
sdramの転送どうなってるか
自分で読めばいい
540デフォルトの名無しさん (ワッチョイ ff63-3oSp)
2019/03/05(火) 19:22:03.60ID:/9vlYliD0 それなら提供されている範囲で使える物を使うしかない
32ビットもあえて使わなくても良いように思うけど
何かこだわりがあるのかな?
32ビットもあえて使わなくても良いように思うけど
何かこだわりがあるのかな?
541デフォルトの名無しさん (ワッチョイ d77b-vPGa)
2019/03/05(火) 19:25:55.02ID:Q+OO1XNi0 >>538 コンパイラ付属のヘッダファイルも存在しないのかな。
その場合は、コンパイラの取説でも見て、32bitになる整数を選んで
typedef すれば良いかと。
どのみち移植する際には、その辺も含めて丸ごと再検討ってことになるだろうし。
その場合は、コンパイラの取説でも見て、32bitになる整数を選んで
typedef すれば良いかと。
どのみち移植する際には、その辺も含めて丸ごと再検討ってことになるだろうし。
542デフォルトの名無しさん (ラクペッ MMab-AU+X)
2019/03/05(火) 19:45:54.06ID:nFLweowNM543デフォルトの名無しさん (ワッチョイ d7da-mjQG)
2019/03/05(火) 20:04:57.01ID:/w4kwDux0 >>542
クロスだろ。ターゲットのlongが32なんでしょ。
クロスだろ。ターゲットのlongが32なんでしょ。
544デフォルトの名無しさん (ラクペッ MMab-AU+X)
2019/03/05(火) 20:14:28.31ID:z9gnaYkTM クロス開発でホストのintに何の意味がある?
545デフォルトの名無しさん (アウアウクー MM0b-tQZn)
2019/03/05(火) 20:17:27.37ID:EdVc4MwEM int型が64ビットの環境で、longという型が32ビットなのは引っかけだな。
あとで見た他人に恨まれるぞ。
あとで見た他人に恨まれるぞ。
546デフォルトの名無しさん (アウアウウー Sa9b-RuLt)
2019/03/05(火) 20:37:31.74ID:TQUHbSsoa >>537
話の流れとしてそこはビット単位の話ではなくなっている。
話の流れとしてそこはビット単位の話ではなくなっている。
547デフォルトの名無しさん (ワッチョイ d7da-mjQG)
2019/03/05(火) 20:38:33.36ID:/w4kwDux0 職場でクロス開発やってるけど、家では開発環境無くてVSかなんかで勉強してると妄想してた。
548デフォルトの名無しさん (ワッチョイ 9f2f-W5e4)
2019/03/05(火) 20:43:04.13ID:SFzBJqTc0 >>531
マゾ野郎
マゾ野郎
549デフォルトの名無しさん (アウアウウー Sa9b-RuLt)
2019/03/05(火) 20:50:49.79ID:TQUHbSsoa >>548
昼夜を問わず沢山のマウントありがとうございます。
昼夜を問わず沢山のマウントありがとうございます。
550デフォルトの名無しさん (ワッチョイ d7dc-W5e4)
2019/03/05(火) 21:09:43.62ID:LEdL4Q1r0 ゆうたんなw
551デフォルトの名無しさん (ワッチョイ 9f01-dMaL)
2019/03/05(火) 22:33:03.94ID:QKmISP/B0 >>536
すげー昔の話だがメモリー側で論理演算できるようにして1アクセスでビット単位操作を可能にした特許があったな
元々はグラフィック用で図形の重なりの演算をメモリー側でやるようにしたものだったけど
特開昭61-264453
すげー昔の話だがメモリー側で論理演算できるようにして1アクセスでビット単位操作を可能にした特許があったな
元々はグラフィック用で図形の重なりの演算をメモリー側でやるようにしたものだったけど
特開昭61-264453
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【地震速報】青森県で震度6強 沿岸部に津波警報 ★6 [ぐれ★]
- 「日の丸にバツ印」掲げた大学生 あいまいな国旗損壊罪に「怖い」 The Mainichi [少考さん★]
- 【音楽】BARBEE BOYS・KONTAが事故で四肢麻痺を公表、新体制で活動は継続 [少考さん★]
- 【野球】野球の未来に危機感「マイナースポーツになる」 宮本慎也氏が開催…学童大会 [尺アジ★]
- 中国「捜索レーダー起動は各国の通常の手法」 火器管制用か回答せず [蚤の市★]
- 【訃報】声優・西村知道さん死去 「SLAM DUNK」安西先生役 9月に体調不良のため一時休業 [少考さん★]
- 三角形はカッコいい
- 【画像】大人気Vtuber宝鐘マリンさん、115円…
- ぺこーら、地震で同僚が次々配信を止めるなか強行し続けるので悪目立ちするwww [268244553]
- 今緊急でコマを回しています
- 俺はヤンキーだから
- 【速報】高市早苗、起床 [779938112]
