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となる

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

>>40
ありがとうございます。
すごいっす、メチャすごいっす。
あまりの喜びに敬語忘れてすみません。
"共用”なのですね。
ってことは共用体はいくつかメンバ変数を用意しておいて、一個だけ使なら使ってもいいよ。
しかも、いちばん最後に代入された値が採用されるよと言うことで大丈夫でしょうか？

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

ポイントだけ聞くようにして全部聞こうとすんなアホ

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

そもそもC++スレ

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

>>40
おかげさまで何とか理解できました。
自分の書いた上の記述(>>41)もちょっと違ってたような気がするけど
まぁ置いておいて・・・。
本当にありがとうございます。

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

共用体とビットフィールドでウハウハよ

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

>>20
スマートポインタを徹底すればできるが記述量が結構増えるのよ
結局面倒臭くなって使わなくなってしまった

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

共用体はデータ量をケチる目的では使わんでしょ
(マイコンとかバイナリデータとかの)データの配置順に意味があるやつとの相互運用にしか使ったことないぞ

union A{
struct{ char low; char high;};
short data;
};

union B{
struct { int head; double body;};
char data[12];
};

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

スマポは使えば楽できるときと
そうでないときがあるからな
見境のないスマポ厨はただのマゾ

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

>>48
大量に確保するデータの場合1バイト2バイトが大きく影響することもあるから、データ量目的でも使うよ

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

参照オブジェクトを処理するのに
何故か内部でスマポ使いだしたとしたら
予めそいつの代わりに謝っておいてやろう。スマポ。

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

共用体は特定のアーキテクチャで上位下位とか分けるのに使うのが多かったけど、上に書いたようにstd::variantで使うので主にメモリ節約だと思う

ところで↓でコメントにしてるエラーはなんか悔しくない？どうしてこういう仕様なんだろう？
#include <iostream>
using namespace std;
struct s {
int a;
};
int main() {
s o;
cout << sizeof(o.a) << endl;
cout << typeid(o.a).name() << endl;
cout << sizeof(int) << endl;
cout << typeid(int).name() << endl;
cout << sizeof(s::a) << endl;
//cout << typeid(s::a).name() << endl; // error
return 0;
}

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

sjis/utf8、utf16、utf32を一緒くたに扱う文字列クラスを作った時にそれぞれの型のポインタを共用体で持たせたな
キャストするより楽だったからw

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

>>48
それはお前の経験が足らんだけ
>>34が言うようなケースでも使うよ

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

>>51
これ何であかんの？

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

>>36
アセンブラでアライン覚えて来い青二才

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

共用体使うとシフト演算しなくていいし、
最近のCPU(っても20年まえぐらい)から1ビット操作命令もあるし、パフォーマンスがいいと思うぜ

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

>>54
std::variant見てきた
ただのunionラップクラスじゃねーか

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

>>58
> ただのunionラップクラスじゃねーか
それの何が不満なんだよw

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

ただのunionラッパーをunionの活用例かのような言い方をした >>54 に対する不満だ

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

米大統領と密談した「IQ1200の金星人」ヴァリアント・ソーとは ...

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

>>60
意味わからんw
ラッパーだと活用例じゃないとでも？

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

スマポの記述量が長い問題って皆どうしてんの？

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

C++のstd::variantとほぼ近い、
Rustのenum(＝格納付きenum＝タグ付きunion)を比べると
圧倒的にRustのenumが使いやすくてRust言語の核心部分となっていることからもわかるように
C++ではその分野の言語サポートが弱いんだよな

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

>>63
その件もRustが上手いことやってるよな

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

>>65
そうなのか
正直あんまり触ったことないんだが、そういう話なら触ってみようかな

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

Rustのことはスレ違いだけど、言語機能としてどこまでサポートするかは、分かりやすさと直結してると思う
C++のstd::variantの方が分かりやすいと思う人もいれば
Rustのenumの方が分かりやすいと思う人もいると思う