C++相談室 part159

**デフォルトの名無しさん** · 2022/02/19(土) 11:56:42.14

前スレ
C++相談室 part158
https://mevius.5ch.net/test/read.cgi/tech/1636969758/

**デフォルトの名無しさん** · 2022/02/19(土) 12:05:32.96

C（チンチン）+（プラ）+（プラ）

**デフォルトの名無しさん** · 2022/02/19(土) 13:32:43.00

アセンブリとかC言語だと「この操作はするな」ってのを簡単には禁止できないからね

許可されてる(コンパイラから怒られない)操作が増えるとその分だけ不正解のコードを書くリスクが高くなる

structのこのフィールドは排他制御してから変更してねってのをC言語じゃ簡単には強制できんだろ
C++ならgetter作ればいいだけなのに

**デフォルトの名無しさん** · 2022/02/19(土) 13:38:43.35

>>1乙
>>1000は宣言に従うこと

>>3
それぐらいはC程度の高水準言語であればｷﾞﾘ保証できる
クラスFooに対するgetterやsetterを経由しないアクセスを
Fooの構造体メンバ名を変えたときビルドエラーとして確実にあぶりだせる
ように書くことはFooを書く人の一存で一応できる

**デフォルトの名無しさん** · 2022/02/19(土) 13:52:37.43

カプセル化が簡単にできるというのと、
　オブジェクトC := オブジェクトA + オブジェクトB
　オブジェクトE = オブジェクトC * オブジェクトD
　...
ここで:=は生成、+や*はなんらかのメッセージ（メソッド）
このようにオブジェクトからオブジェクトを作る、的な、
基本単位がオブジェクトなプログラミング環境が維持されないのは
オブジェクト指向プログラミングしているうちに入らないと
思うんですよねー（棒

**デフォルトの名無しさん** · 2022/02/19(土) 15:57:04.56

format.hを待ってますた

**デフォルトの名無しさん** · 2022/02/19(土) 15:59:32.57

>>3
でもそのC++からCを見て不正解のコードを書くリスクが高くなるという話がそのまま
RustからC++を見た場合も当てはまってしまうよな
Rustコンパイラならメモリ安全やデータ競合に問題がある操作をエラーで拒否するのにC++はなぜ許して致命的バグを生み出してしまうのだろう、と

**デフォルトの名無しさん** · 2022/02/19(土) 17:53:08.72

無関係過ぎる
元はアセンブラ必須という人が書き込みがあったので、C++のコンパイラ(gcc)がSIMDを吐く条件についての話をしたんだが・・・
それについては正解できる人や惜しい人すら皆無で、馬鹿がC++全然関係ないOOの話を引っ張ってきて、今じゃC++と無縁な宇宙の話になっている

**デフォルトの名無しさん** · 2022/02/19(土) 18:09:20.91

自分でこんなレスしといて今更何言ってるんだかw
> 組み込み機器用のCPUって特殊なんで、コンパイラが安定しないなんてよくある話
> オブジェクト指向のメリットの本質についての話なので、可能/不可能が実装言語に依存しないというのもよくある話(楽かどうかは別)
> 別に昭和でも平成でも令和でも変わってないけど、>> 991に伝わってないのは確か

**デフォルトの名無しさん** · 2022/02/19(土) 18:26:04.31

馬鹿がID変えてまた登場

**デフォルトの名無しさん** · 2022/02/19(土) 18:50:37.51

明示的にはSSEコンパイラ組み込み関数を使えば実現できるけど、多くのコンパイラはシングルレーンのループの一部を自動的にベクトル化してくれるのね

コンパイラが暗黙的なベクトル化をしてくれる条件ってシングルレーン以外に何があるんだろ

**デフォルトの名無しさん** · 2022/02/19(土) 19:09:18.39

>>10
顔真っ赤じゃんw

**デフォルトの名無しさん** · 2022/02/19(土) 19:43:50.83

その問題はもう答え書いた

**デフォルトの名無しさん** · 2022/02/19(土) 20:38:46.85

恥の上塗りかよw
答えを書いたとか関係ないだろ
> 馬鹿がC++全然関係ないOOの話を引っ張ってきて
に乗っといて何言ってるんだよ

**デフォルトの名無しさん** · 2022/02/19(土) 21:13:10.67

可哀想な馬鹿が勘違いしてるみたいだからちゃんと書いておくと、>>13は>>11へのレスな

**デフォルトの名無しさん** · 2022/02/19(土) 21:45:03.99

人をバカにしても恥ずかしいレスは消えないよw

**デフォルトの名無しさん** · 2022/02/20(日) 02:19:28.36

>>7
実際そうだよ
生のポインタを使ってる限りはどこに所有権があるか自分で管理するしかない

Rustの考え方はC++使いからすれば羨ましいわ

**デフォルトの名無しさん** · 2022/02/20(日) 05:27:00.10

けんかをやめてふたりを止めて
わたしのために争わないで

**デフォルトの名無しさん** · 2022/02/20(日) 09:25:04.73

きみC#さんだよね

**デフォルトの名無しさん** · 2022/02/20(日) 10:18:23.47

>>17
だからスマポで出来るやん、それ
てか欧米産の大手ゲームの解析なんかしてると普通に向こうもスパゲッティコードだらけだけどな
なんだかんだで力技ゴリ押し開発になっちゃうんだよ結局

**デフォルトの名無しさん** · 2022/02/20(日) 10:23:29.96

ゲームはハード性能をゴリゴリに引き出すのが正義だからスマポ程度のオーバーヘッドでも許容できないんよ

**デフォルトの名無しさん** · 2022/02/20(日) 10:30:30.73

>>21
いや俺もゲーム開発しとるけどスマポどころかGC任せにするのがもうここ10年くらいは主流だぞ？（最終的にはネイティブ化されるけどそれでもゼロオーバーヘッドになる訳では全くない）

**デフォルトの名無しさん** · 2022/02/20(日) 10:31:03.74

え？
ゲームでもスマートポインタは普通に使うよ

**デフォルトの名無しさん** · 2022/02/20(日) 10:36:14.20

ああ、ゲームって最新の3Dグリグリのやつな（欧米の大手って言うからそっち想像しちゃった）
スマホゲーやブラウザゲーはまた別よ

**デフォルトの名無しさん** · 2022/02/20(日) 10:37:11.73

>>24
タルコフ見て同じ事言える？

**デフォルトの名無しさん** · 2022/02/20(日) 10:40:48.26

ID:mD/m0vxj は知ったかぶりだね
なんのためにC++相談室スレにデタラメを書き込んでるの？

**デフォルトの名無しさん** · 2022/02/20(日) 10:43:58.31

共用体が良くわからないのですが、同じメモリーアドレスを複数のメンバで共用するとは
どういうことなのでしょうか？
メモリの節約と書いてあるのですが、よくわかりません。
同じ型の共用体が複数あったときに使ってないメンバ変数が勝手に消されるなんてわけないですよね
どなたか共用体と構造体の違いを教えていただければ幸いです。
(まだクラスについての知識はほとんどないです。)

**デフォルトの名無しさん** · 2022/02/20(日) 10:51:16.26

PODで型変換するくらいしか使わんのでは

**デフォルトの名無しさん** · 2022/02/20(日) 10:53:23.74

>>27
とあるデータの見方を複数用意するのが共用体
union { intptr_t integer; void* pointer; } value;
↑が構造体であればvalueはポインタ*2分のメモリを使うところ、共用体だとsizeof(value)は4(32bit)or8(64bit)って感じで変数1個でしかない
integerとpointerは実体は全く同じデータを見ていて、その見方を二つ用意しただけ
value.integer = 8;ってするとpointerも8になる

**デフォルトの名無しさん** · 2022/02/20(日) 10:55:47.01

え！？メモリの節約ができるの！？
でも・・・制限があるんでしょ?
って感じで気になるのです。
ただ、基底クラスとか継承っていうのがわからないんだけど、
クラスについての記述がもう少し先にあるから、まだクラスの部分について読みたくない
、クラスを学んでから共用体について学んだほうが良いのでしょうか?

**デフォルトの名無しさん** · 2022/02/20(日) 10:56:42.82

>>29
ありがとうございます今すぐ読みます

**デフォルトの名無しさん** · 2022/02/20(日) 11:01:01.36

そのレベルなら共用体なんて使わないし使うべきじゃないから読み飛ばしていいよ
一通り学習してから戻ってきな

**デフォルトの名無しさん** · 2022/02/20(日) 11:02:54.57

>>30
別に直接的にメモリの節約が出来る訳ではない
>>29の例で言った通り、一つのデータに対して複数の名前を付けるだけの話なのでデータは結局一つしか同時には入れられない
なんか実用的な例ありそうだけどunionはC++だとそんな使わないし積極的に使うべきでもないからすぐには思い浮かばない

**デフォルトの名無しさん** · 2022/02/20(日) 11:15:09.90

variantとかは中身は共用体だった気がする

**デフォルトの名無しさん** · 2022/02/20(日) 11:16:50.11

>>27
例えばスクリプト言語みたいに色んな型が入る変数を定義したい時に
struct {
char c;
int i;
double d;
};
みたいにするとdを使ってる時はc, iの領域が無駄だよね、そういう時に
union {
char c;
int i;
double d;
};
のようにすると領域が無駄にならない

**デフォルトの名無しさん** · 2022/02/20(日) 11:24:25.42

なんか気になっちゃうのです。
union value { int test1; double test2; } ;
int main()
{
value test;
test.test1= 2147483647;
test.test2 = 1.4;
cout << sizeof test<<endl;
cout << test.test1 << endl << test.test2<<endl;
}
これなんですけど、共用体のサイズは8byteで構造体にすると16バイトになります。
でも、doubleって8byteですよね？
共用体valueの中には4byteのtest1と8byteのtest２があるはずなのですが、
なんで共用体valueは8byteなのでしょうか？
そもそも共用体の中に変数があると言う考え方が間違ているのでしょうか？

**デフォルトの名無しさん** · 2022/02/20(日) 11:25:50.54

>>35
ありがとうございます。ちなみにその仕組みとかって・・・聞けたりとか・・・

**デフォルトの名無しさん** · 2022/02/20(日) 11:26:58.89

structだと4byte無駄になるのですね。

**デフォルトの名無しさん** · 2022/02/20(日) 11:28:36.50

何となくなのですが、構造体だと
メンバの中で一番大きな変数のサイズ＊メンバの数
分の領域が確保されるのかな？って思ってみたりしています。

**デフォルトの名無しさん** · 2022/02/20(日) 11:35:01.82

>>36
だから正に"共用"体という名の通り、test1とtest2はメモリの場所を共用してる
君が言う通り、intは4byte、doubleは8byte
この場合はunion全体としてのサイズは大きい方に合わさるが、メモリの場所を共用してる事には変わりないためtest2(double)の下位4バイトとtest1(int)が重なってる事になる
intとdoubleだと出力分かりづらいからunion value { int test1; long long test2; } ;でやってみ

test1 = 0x5;
test2 = 0x2410000000000007;
こうするとtest1は7(0x00000007)、test2(0x2410000000000007)はとなる（下位4byteは共用されてる）

**デフォルトの名無しさん** · 2022/02/20(日) 11:39:14.94

>>40
これがstructだとちゃんと4+8で12byteの構造体となる(アラインメントって概念によりそうでない事もあるけどそれはまた別で勉強したほうがいい)

test1 = 0x5;
test2 = 0x2410000000000007;
structだとさっきと同じ事をしてもtest1とtest2でメモリは共用されておらずそれぞれ独立しているため、test1は0x5、test2は0x2410000000000007となる