0からの、超初心者C++相談室

**デフォルトの名無しさん** · 2018/11/12(月) 14:55:13.35

何にも知らない0からの出発、超初心者のためのC++相談室

**デフォルトの名無しさん** · 2023/06/20(火) 19:05:08.72

なんか変換されたｗ
∑merでなくて＆summerです

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/20(火) 20:45:04.07

>>488
参照が絡むとややこしくて単純に説明できないんだけど
代入演算子の左側は変更可能な lvalue (modifiable lvalue) であることということになっていて
そのキャストだと prvalue になってしまうから代入できないという結果になる。

たとえば
int x = 1;
x = 2;
は有りだけど
1 = 2;
は駄目なのはわかるでしょ。

この代入のときの x はそこに入っている 1 という値に意味はなくて場所に意味がある。
値として取り出されてしまうと代入できないんだ。

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/20(火) 20:54:10.99

どういうときにどういう値カテゴリに属すことになるのか正確なところはここ見て。
https://timsong-cpp.github.io/cppwp/n3337/basic.lval

C++03 時代は lvalue と rvalue だけの単純な (と言ってもそれなりに複雑だが……) 世界だったんだけど
右辺値参照の概念を整理するため (?) かだいぶんごちゃついてる。

**デフォルトの名無しさん** · 2023/06/20(火) 23:48:13.65

>>490
返答ありがとう。

なぜconst_cast<Summer*>(summerConstPtr)が左辺としていけないのかがわかりませぬ。
summerConstPtrはconst_cast<Summer*>によって「Summer *const」から「const」が外れて「Summer*」となって
Summer *summerPtr;
summerPtr = &summer;
とするときの左辺summerPtrと同じようになったわけではないのでしょうか？

どうもこの左辺summerPtrと同じようにするためには、const_cast<Summer*&>としなければならないようだが、この「&」にはどんな意味ががが？？

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/21(水) 00:33:00.36

>>492
型とは別に (型と無関係ではないが) 文脈にカテゴリが存在するというのが肝心な部分。
どれがどのカテゴリに属すのかはダラダラとした箇条書きで書いてあって単純な原則では示せない。
(結果的には辻褄の合うようになってるけど……。)

& は参照を表す記号という解釈は正しい。
参照は lvalue なのでキャストの結果も lvalue ってだけ。

**デフォルトの名無しさん** · 2023/06/21(水) 01:03:31.08

>>492
その理解だと↓も通ることになると思うんだけど、これが通らない理由もわからない？
int i = 0;
static_cast<int>(i) = 1;

**デフォルトの名無しさん** · 2023/06/21(水) 11:05:32.10

>>493,494
「&」はやはり参照でしたか。
左辺の規則と右辺の規則があり、キャストしたポインターでは左辺の規則に従ってなくて、キャストした参照なら左辺の規則に従っていると、そうなっていると覚えるほかないのでありますな。
ありがとう。

**デフォルトの名無しさん** · 2023/06/29(木) 00:53:29.69

なんで可変長配列の名前がvectorなの？

**はちみつ餃子** ◆8X2XSCHEME · 2023/06/29(木) 08:14:12.68

伝統。

**デフォルトの名無しさん** · 2023/06/29(木) 13:14:41.30

https://www.google.co.jp/search?q=%E3%83%99%E3%82%AF%E3%83%88%E3%83%AB+%E6%84%8F%E5%91%B3
向きを持つ量をベクトルという
向きを持つためには複数の量が必要（単一の量はスカラーという）
それを抽象化して、要素を一列に並べたものをベクトルという

**デフォルトの名無しさん** · 2023/07/04(火) 17:43:58.34

c++に限定される疑問ではないかも知れませんが標準出力がどうやってコンソールに出力しているか？というところで躓いてます
gnuのlibcを見てもわからず、アセンブラを見て0x80というシステムコールをしているところまで辿り着いたけど無学なので理解できずにいます
OSが用意している機能を実行しているという認識であってますか？

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/04(火) 17:52:47.39

>>499
そうだよ。
現代の OS は権限の管理がしっかりしてて、アプリケーションは
プロセスの外のリソース (メモリやデバイス) を直接には使えない。
OS に要求して適当なところに橋渡ししてもらう構造。

**デフォルトの名無しさん** · 2023/07/04(火) 18:05:29.71

>>500
どうやって実行中のコンソールに出力しているのだろうという素朴な疑問だったのですが、この先はOS仕事という事なんですね
自分で見ろって言われるかもしれませんが、OSの処理の実装を見るのは難易度高いですか？
HelloWorldからどちらに進もうか迷ってます

**デフォルトの名無しさん** · 2023/07/04(火) 19:16:32.21

同様のテーマのITmediaの記事を見つけたので腰を据えて取り組んでみようと思います
回答いただきありがとうございましたお騒がせしました

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/05(水) 00:40:03.93

>>501
標準出力の実態はパイプ。
パイプの接続先がターミナルのプロセスが繋がってるだけでカーネルはそれほど大したことはやってない。

と言えれば簡単なんだけど端末制御まわりは歴史的事情でよくわからんことになってるので
ソースコードだけから読み取ろうとするのはしんどいと思う。

**デフォルトの名無しさん** · 2023/07/13(木) 01:46:39.34

shared_ptrの解放時にweak_ptrを登録していたSTLコンテナから登録抹消したいけど、
shared_ptrのデリータでshared_ptr自身は扱えないっぽい。
出来ないということは、何か他にいい方法があるか、根本的に何か考え方間違ってる？

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/13(木) 18:07:22.25

>>504

設計意図次第だけど
コンテナにはオブジェクト本体をいれて shared_ptr は
コンテナ内の要素を指すイテレータを指す
という構造はどうだろう。

#include <iostream>
#include <memory>
#include <set>

int main(void) {
std::set<int> container;
auto [iter, result] = container.emplace(42);
{
// コンテナ内の要素を指す shared_ptr をいくつも作る
auto x = std::shared_ptr<decltype(iter)>(new decltype(container)::iterator(iter), [&container](decltype(container)::iterator* p) { container.erase(*p); delete p;});
auto y = x;
auto z = x;
// コンテナの中には要素が入ってる
for (auto& x : container) std::cout << x << " ";
std::cout << std::endl;
// shared_ptr はここで消滅
}
// デリータが消したのでもう残ってない
for (auto& x : container) std::cout << x << std::endl;
}

**デフォルトの名無しさん** · 2023/07/13(木) 21:30:08.90

>>505 ありがとうございます。実体とイテレータ、参考になります。
おかげで解放時何とかshared_ptrで引数を渡そうとしてましたが、諦めて実体でもいいんではと思い始めました。
回答を見るまでは、shared_ptr<shared_ptr<X>>なら解放時にshared_ptr<X>取れるじゃん、
修正とか色々めんどくさいけど、とかアホなこと考えてました。

処理の概略はshared_ptr側で値管理、コンテナ側は登録されたweak_ptrの値と別の値が合致したら処理、
shared_ptr側解放時コンテナ側から登録抹消(抹消関数の引数にshared_ptr:これがNG)というものです。

**デフォルトの名無しさん** · 2023/07/16(日) 13:37:45.84

設計意図次第

**504** · 2023/07/16(日) 21:29:25.31

何でかshared_ptrって派生出来ないと思い込んでたけど出来た。
shared_ptrで出来ない理由は分からんが、他に変な問題が無ければほぼ当初の想定通り。
ありがとうありがとう。

template<class T>
struct X : public std::shared_ptr<T> {
X(T* t) : std::shared_ptr<T>(t){}
~X(){/*X自体の登録抹消*/}
};

**蟻人間** ◆T6xkBnTXz7B0 · 2023/07/16(日) 22:10:43.92

クラス内部で
using std::shared_ptr<T>;
を付けるとコンストラクタの実装が完璧になるよ。

**蟻人間** ◆T6xkBnTXz7B0 · 2023/07/16(日) 22:12:03.59

>>509
クラス内部で
using std::shared_ptr<T>::shared_ptr;
を付けるとコンストラクタの実装が完璧になるよ。

**504** · 2023/07/16(日) 22:37:21.87

>>510 基底クラス(shared_ptr)のコンストラクタを派生側に引っ張って来る便利な奴ですね(覚えきれてない)。
ありがとうございます。自前実装不要なのは助かります。

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/17(月) 00:18:57.61

>>508
それって本当に意図通り？
X のデストラクタが起動するのは X 型のオブジェクトが解体されるときであって
参照カウントがゼロになったときじゃないんだよ。

**504** · 2023/07/17(月) 01:33:58.67

>>512 …あー。それは意図通りではないですね。実際の解放はデストラクタで
use_count()==1であることを確認する必要があるのかな。ありがとうございます。

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/18(火) 09:19:59.88

パブリック継承した型では基底への型変換を禁じることができない。
つまり
X<int> foo = new int(1);
std::shared_ptr<int> bar = foo;
みたいなことが出来てしまう。

間違った使い方を想定するとキリがないから
なんでもかんでもガチガチに型を設計する必要はないんだけど、
この場合はどこかでミスりそうと思うので
私なら継承でスマートポインタの挙動をカスタマイズしようとはしないと思う。

**504** · 2023/07/19(水) 03:16:45.39

>>514
御忠告ありがとうございます。
高々shared_ptr自身を解放するだけと思っていたんですが、色々難しいですね。

> パブリック継承した型では基底への型変換を禁じることができない。
そんな問題があるとは。
派生クラスのキャスト演算子は引っかからず、基底クラスの
コピーコンストラクタをいじらないと禁止出来ないっぽかった。
protected継承にしてみたら代入は出来なかった。うーん、他に問題が無ければこれですかね。

> 間違った使い方を想定するとキリがないから
> なんでもかんでもガチガチに型を設計する必要はないんだけど、
> この場合はどこかでミスりそうと思うので
> 私なら継承でスマートポインタの挙動をカスタマイズしようとはしないと思う。
候補はprotected継承(暫定)、shared_ptr相当自作、或いは他の未知なる何か。
しかし一番素直で的確に機能を実現可能と思っているのがshared_ptrの拡張なので、
別の形で実現する方法はどうも迂遠過ぎて自分には思いつかないです。
# shared_ptr側がデータ実体と登録したコンテナの情報を持ち、コンテナ側はweak_ptrで参照
なので流石に自作は無し、とりあえず他に致命的な問題が無ければprotected継承で実装して、
他により良い方法を思いついたらそっちに乗り換えることにします。

**504** · 2023/07/19(水) 18:45:15.41

そういえばweak_ptr試してない…？と思って試したら当然の如く代入できなかったので、
public継承でほったらかします。

**デフォルトの名無しさん** · 2023/07/20(木) 15:28:07.42

templateの世界へようこそ

**はちみつ餃子** ◆8X2XSCHEME · 2023/07/21(金) 13:23:19.14

std::unique_ptr なら型引数でもデリータを与えることが出来て、
型引数が異なれば異なる型ということになる。

#include <memory>
template<class T> struct custom_delete : public default_delete<T> {};

int main(void) {
std::unique_ptr<int, custom_delete<int>> foo{new int(42)};
// ↓ 別の型なので移動できない。エラーになる。
std::unique_ptr<int> bar = std::move(foo);
}

ところが std::shared_ptr では型引数でデリータをカスタマイズすることが出来ない。
解体は動的な型に従うという保証をしているので。

#include <memory>
struct foo {};
struct bar : public foo {};

int main(void) {
// 解体のときに foo ではなく bar の
// デストラクタが呼ばれることが保証される
std::shared_ptr<foo> x{new bar};
}

std::shared_ptr は動的な情報 (実行時の情報) を元に挙動が決まるというのが
設計理念なので削除方法をカスタマイズしたいならコンストラクタにデリータを渡す
というのが最も自然な形と言える。

std::shared_ptr を継承する形でカスタマイズしようとするのは
してもそれ自体は仕様に反しないけれど不自然だなぁとは思う。 (個人の感想です。)

**504** · 2023/07/21(金) 20:08:15.21

一応発端の動かなかったコードを短くしたのでおいときます。
0.動機:shared_ptr<int>のdeleterでvector<weak_ptr>を削除したい
1.deleter内だとxは有効でuse_count 0だったけど、vectorのweak_ptrは無効だったのでvectorから削除できない。
2.shared_ptr<int>のデリータはint*に対するもので、shared_ptr<int>へのポインタはshared_ptr<int>の
デストラクタじゃないと処理できないけど、既製品だから外からいじられない。
3.んじゃ、手っ取り早くshared_ptr継承してデストラクタを使えるようにすれば？
というのが趣旨でした。

#include<vector>
#include<memory>
int main(){
std::vector<std::weak_ptr<int>> v;
std::shared_ptr<int> x(new int(3), [&x, &v](int* i){
for(int j = 0; j < v.size(); j++){
std::shared_ptr<int> t = v[j].lock();
if(t && t == x){v.erase(v.begin() + j); break;}
}
delete i;
});
v.push_back(x);
}

**デフォルトの名無しさん** · 2023/07/25(火) 09:24:45.92

>shared_ptr<int>へのポインタはshared_ptr<int>のデストラクタじゃないと処理できない

これが無理っしょ

**デフォルトの名無しさん** · 2023/07/28(金) 10:56:39.59

なんで出来ると思ったの

**デフォルトの名無しさん** · 2023/07/29(土) 20:15:59.76

shared_ptrのデリータで他所様のオブジェクトもついでに解体したろっていう発想そのものが危険な香りしかしなくてゾワゾワする

**デフォルトの名無しさん** · 2023/07/29(土) 20:25:36.66

シャー専用ptr

1 · 2023/09/03(日) 20:55:45.58

「プログラム」作るのって、やってみたいけど、全然知らないから、教えて欲しい。
からのスレの目的で建てました。

**デフォルトの名無しさん** · 2023/09/03(日) 20:59:12.95

まず、何が作りたいかイメージしてみましょう

**デフォルトの名無しさん** · 2023/09/04(月) 10:11:49.98

>>524 がC++をやるのは早過ぎる
先にpythonでもやってみろ

**デフォルトの名無しさん** · 2023/10/02(月) 22:07:14.88

次のプログラムを実行するとコメントのように出力がされ、mainの最後で例外が発生してしまいます。
なぜ例外が発生するかわかる方教えてください。
mainを通してnewは2回実行され、deleteも2回実行されるので空ポインタをdeleteしていることもないと思うのです。
#include <iostream>
using namespace std;
class Csmp1 {
private:
int x;
int* p;
public:
Csmp1(int n);
~Csmp1();
void disp() { cout << "x=" << x << endl;}
};
Csmp1::Csmp1(int n) {
x = n;
p = new int;
cout << "constructor " << x << endl;
}
Csmp1::~Csmp1() {
delete p;
cout << "destructor " << x << endl;
}
int main()
{
Csmp1 d3(300); // "constructor 300"と出力
d3.disp(); // "x=300"と出力
d3 = Csmp1(400); // "constructor 400"と出力し、その後"destructor 400"と出力
d3.disp(); // x=400と出力
return 0;
} // デストラクタが呼ばれ、delete の部分で"Unknowin signal"例外発生

**蟻人間** ◆T6xkBnTXz7B0 · 2023/10/02(月) 22:12:06.36

>>527
d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。

**蟻人間** ◆T6xkBnTXz7B0 · 2023/10/02(月) 22:12:09.92

>>527
d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。

**蟻人間** ◆T6xkBnTXz7B0 · 2023/10/02(月) 22:12:23.61

>>527
d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。

**蟻人間** ◆T6xkBnTXz7B0 · 2023/10/02(月) 22:12:42.13

>>527
d3 への代入で暗黙のコピーコンストラクタが使われている。コピーコンストラクタを適切に定義すれば解决する。

**蟻人間** ◆T6xkBnTXz7B0 · 2023/10/02(月) 22:18:32.15

連投すみません。コピーコンストラクタと、代入もです。

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/03(火) 00:13:21.44

>>527
暗黙に生成される代入演算子は全てのサブオブジェクトを代入したような挙動になるルール。

ポインタを代入した場合には代入元と代入先のポインタが指す先のオブジェクトは同一なので
一方のポインタを通じて delete したならもう一方のポインタからオブジェクトに触れようとしてはならない。
(もう存在しないので。)

この場合は
d3 = Csmp1(400);
としたときに生成される一時オブジェクトはこの式が終わった時点で解体されるので
d3 内にあるポインタはデストラクタで delete 済み、すなわち無効なポインタとなる。
d3 のデストラクタが起動したときはデータメンバ p が指している先は無効なので
無効なポインタをいじったことになって問題が生じる。

それと d3 のコンストラクトのときに new したオブジェクトはどこからも delete されてない。

**527** · 2023/10/03(火) 00:55:04.57

>>532-533
お二人さまありがとうございます。

>d3 = Csmp1(400);としたときに生成される一時オブジェクトはこの式が終わった時点で解体される

右辺により生成されるオブジェクトが単にd3に格納されるのではないのですか。
それと入れ替わりに、d3コンストラクト時のオブジェクトのデストラクタが呼ばれると思ってました。
（どこからも参照されなくなるので）

自分が根本的に誤っている気がします、すみませんが上の内容でおかしい点を教えてください。

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/03(火) 02:13:14.63

>>534
> 右辺により生成されるオブジェクトが単にd3に格納

JavaScript とか Python の動的型言語の経験があるのかな？
それとも Java や C# の参照型のモデルで考えてる？

C++ では左辺はメモリ上の特定の場所に対応づいていて、
別の場所 (右辺で生成される一時オブジェクト) にあるものを格納するというのは
コピーするということ。

その上で不要になった一時オブジェクトは解体される。
一時オブジェクトは一部の例外を除いて完結式 (完全式ということもある) の終わりのタイミングで
解体されるルールなのでこの場合は行の終わりが解体のタイミングということになる。

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/03(火) 02:13:25.78

>>534
> 右辺により生成されるオブジェクトが単にd3に格納

JavaScript とか Python の動的型言語の経験があるのかな？
それとも Java や C# の参照型のモデルで考えてる？

C++ では左辺はメモリ上の特定の場所に対応づいていて、
別の場所 (右辺で生成される一時オブジェクト) にあるものを格納するというのは
コピーするということ。

その上で不要になった一時オブジェクトは解体される。
一時オブジェクトは一部の例外を除いて完結式 (完全式ということもある) の終わりのタイミングで
解体されるルールなのでこの場合は行の終わりが解体のタイミングということになる。

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/03(火) 02:17:47.16

サーバから書込みエラーが返ってきたのを専ブラの機能でリトライしたら多重投稿になってしまってるな。
なんか不安定な状況っぽい

**デフォルトの名無しさん** · 2023/10/05(木) 17:15:14.18

みんなでリトライするからF5攻撃並みに自爆DOS攻撃

**デフォルトの名無しさん** · 2023/10/05(木) 18:29:28.73

>>527
int *をunique_ptr <int>にすると
コンパイルで弾かれるから
気づきやすいかもね
newとdeleteは直で呼ばない方が良い

**デフォルトの名無しさん** · 2023/10/06(金) 10:09:01.67

newとdeleteを直で呼んでるかどうかと
今回の問題(コピーが発生してるかどうか)は
関係無いんじゃね？

**デフォルトの名無しさん** · 2023/10/06(金) 10:16:23.02

いきなりC++から入るとは…
考え直した方がいい

**デフォルトの名無しさん** · 2023/10/06(金) 12:08:09.60

>>540
「コピーが発生してるかどうか」とは関係ないのはその通り
>>527が恐ろしいのは
コンパイル時点では気づかず実行して初めて明らかになるところ
どうしたら実行前に避けるかの方策として
unique_ptrの常用を提案しました

**デフォルトの名無しさん** · 2023/10/06(金) 13:16:53.99

>>527 に有効な解決策は
コピーコンストラクタじゃなくて
ムーブコンストラクタじゃないのかな

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/06(金) 16:48:00.89

両方やっとけばええじゃろ。

**デフォルトの名無しさん** · 2023/10/06(金) 21:05:50.93

vector dp(N+1,vector(i+1,vector<mint>(i,0)));
これはdp[N+1][i+1][i]個のデータを確保していると思っておk？

**デフォルトの名無しさん** · 2023/10/06(金) 21:10:07.75

OK牧場！

**デフォルトの名無しさん** · 2023/10/06(金) 21:44:11.09

TXH!

**527** · 2023/10/16(月) 23:49:47.91

>>535 を始めとして皆さんまたまたありがとうございます。
アセンブラ、Cを長くやってきたあと、最近C#を少し覚えたのでそちらと混同していました。

コピーコンストラクタと代入の演算子関数を作ろうとしていますがまだ途中。少しずつ進めます。

**デフォルトの名無しさん** · 2023/10/17(火) 23:09:31.94

既製品のクラスライブラリについて、クラス階層が深いところのクラスは、公開メンバの全体をひと目で見渡すことができません。
マニュアルや継承のツリーををたどって地道に調べるしかないのですか。

**はちみつ餃子** ◆8X2XSCHEME · 2023/10/18(水) 09:51:20.64

>>549
ソースコードの構造を調べるのを補助するツールはあるが
どういう意図でどういう使い方を想定してそう書かれているのかは
プログラマが読み解かないとどうしようもない。

**デフォルトの名無しさん** · 2023/10/18(水) 17:06:40.02

既製品ならドキュメントあるだろ
ドキュメントで謳ってないことはやるべきでない

**デフォルトの名無しさん** · 2023/10/18(水) 21:01:33.56

visual studio community 2022で、
他のソリューションで作成されたmoduleをimportする方法がわかりません。
#includeみたいにパスを指定する方法とかがあるんでしょうか？

**デフォルトの名無しさん** · 2023/10/18(水) 21:18:35.91

あるよ

**デフォルトの名無しさん** · 2023/10/18(水) 22:46:30.83

>>553
ぜひ教えてください！

**デフォルトの名無しさん** · 2023/10/19(木) 10:07:14.52

外部モジュール取り込みは言語仕様じゃ無くてIDEの機能だから

**デフォルトの名無しさん** · 2023/10/20(金) 09:56:30.99

IDEに頼ってるとアホになるよ

**デフォルトの名無しさん** · 2023/10/21(土) 16:32:35.29

０のうちにやめとけ
時間がもったいない

**デフォルトの名無しさん** · 2023/10/26(木) 23:16:10.15

typedef uint8_t byte;
:
byte a = 3;
uint8_t b = a;

bの初期化は型不一致エラーにならないと思います。

コンパイラは型の異なる変数の初期化や代入を見つけると、typedefを探して元の型が同一かを調べてエラーにするかどうかを決めるのですか。

**デフォルトの名無しさん** · 2023/10/26(木) 23:23:19.82

>>558
typedef は型の別名を作る機能であって新しい型を作らない。

**デフォルトの名無しさん** · 2023/11/05(日) 12:44:18.01

Visual StudioでソリューションAでビルドしたﾌﾞﾂ（.exe、.dll、lib）、シンボルファイル（.pdb）、必要なヘッダファイル（.h）
をソリューションBで取り込むの場合、Aのビルド後イベントとBのビルド前イベントを駆使してフォルダのパスは
"$(Solution)..\x\$(Platform)\$(Configuration)" みたいなマクロで解決、みたいなローテク頼みという印象、
Visual Studio 2019以降だと今は実はもっと簡単？

**デフォルトの名無しさん** · 2023/11/10(金) 23:40:20.59

class MyClass {
public:
MyClass();
:
};

int main()
{
MyClass* c = new MyClass(); ①
MyClass d;
MyClass* dp = &d; ②
:
}

オブジェクトのポインタは①や②のように取得できると思います。
私からすると①はdeleteしなければならないのでできれば使いたくない。

①の書き方は、よく入門書に出てくる、継承関係にあるポインタの相互代入のためにあると考えて正しいですか。

**デフォルトの名無しさん** · 2023/11/10(金) 23:49:08.54

>>561
その「相互代入」って何ですか?

**はちみつ餃子** ◆8X2XSCHEME · 2023/11/10(金) 23:56:43.46

>>561
自動変数の寿命はスコープ単位だから
それより長い寿命のオブジェクトが必要なら new する。
寿命の種類のことを Storage duration といい、
new で生成したオブジェクトは Dynamic storage duration に該当する。

継承関係がどうこうというのは何が言いたいのかよくわからないが、
ポインタの性質はオブジェクトの寿命とは関係ない。

**デフォルトの名無しさん** · 2023/11/12(日) 00:13:49.90

相互代入は言葉がおかしいですね。
基底クラスのポインタで派生クラスのオブジェクトをポイントできるというものです。
オブジェクトのボインタを使う場面があまりないので用途を聞きました。

>>563
>自動変数の寿命はスコープ単位だから
それより長い寿命のオブジェクトが必要なら new する。

自分の場合、関数内より長い寿命が必要となったらそれはもうグローバルにしてしまいます。設計方針がよくないですかね。

**はちみつ餃子** ◆8X2XSCHEME · 2023/11/12(日) 02:00:51.06

>>564
グローバル変数として書いたオブジェクトの寿命は static storage duration に該当する。
この static というやつは main が始まる前に構築されて main が終わった後に解体されるので
必要以上に長い寿命になってしまうことが多いし、
実行時の情報を元にして構築するオブジェクトを static にはしようがない。
dynamic (new でのオブジェクト生成) が必要になる場面はごく普通にある。
ごく普通にあるのに使わずに済ませてるならたぶん不自然な設計になってると思う。

グローバル変数は寿命も長すぎるがスコープも広すぎる。
人間は自分が思ってるより馬鹿だから最初にどういう想定をしてたのか忘れて要らんことをしてワヤにする。
触らせたくないものは隠しておくのはカプセル化の考え方の重要な部分。

本当に人間は忘れるし間違える。
部品ごとに間違った使い方を出来ないように配慮しておかないと規模を大きく出来ない。
まあ逆に言えば小さいプログラムではそんなに凝ったことをしなくても大丈夫なんだけど。

**デフォルトの名無しさん** · 2023/11/12(日) 11:04:18.35

>>561
>①の書き方は、よく入門書に出てくる、継承関係にあるポインタの相互代入のためにあると考えて正しいですか。
そのためだけにあるという訳ではない

>私からすると①はdeleteしなければならないのでできれば使いたくない。
生のポインタではなくスマートポインタ（unique_ptrやshared_ptr）を使えば
deleteはスマートポインタがやってくれる
構築は uniqu_ptr <MyClass> = new MyClass(); や
uniqu_ptr <MyClass> = make_unique <MyClass> (); のようにやる

**デフォルトの名無しさん** · 2023/11/12(日) 13:14:04.39

> 基底クラスのポインタで派生クラスのオブジェクトをポイントできるというものです。
> オブジェクトのボインタを使う場面があまりないので用途を聞きました。

アップキャストのことだろうかね。
必ずといっていいほど使う機会がある。関数の引数にオブジェクトを渡すときとか

**デフォルトの名無しさん** · 2023/11/13(月) 06:27:48.00

>>561 は、最初から必要数が決まっているオブジェクトしか作ったことがないのかな。
リストやツリー構造を自作していれば、①が必要なケースは分かると思うけど。

**デフォルトの名無しさん** · 2023/11/13(月) 10:31:45.02

>>567
型チェックしなきゃ危険だけどな

**デフォルトの名無しさん** · 2023/11/13(月) 13:26:36.10

uniqu_ptr

**デフォルトの名無しさん** · 2023/11/13(月) 18:54:22.80

>>570
おおスマン
typoだね

**デフォルトの名無しさん** · 2023/11/13(月) 23:59:54.01

>>565 ほか皆さんありがとう。

自分の関わってきた分野が小規模組み込みだからか、そもそもCでmallocの使用経験がないのです。
処理系がmallocをサポートしないMCUもありました（使いたいなら自分で作ってという思想、標準入出力も）。
なので>>568 さんの指摘は当たりです。

c++に挑戦している今の環境も小規模なので、newの利用はほどほどに検討してみます。

**デフォルトの名無しさん** · 2023/11/14(火) 00:03:40.68

>>567
だいたい参照で済んでしまいます

**デフォルトの名無しさん** · 2023/11/14(火) 12:46:18.30

mallocもnewも使ったこと無いってやばいぞ

**はちみつ餃子** ◆8X2XSCHEME · 2023/11/14(火) 15:58:08.40

new 演算子はオーバーロードも出来て、型ごとにメモリの確保の仕方を変えるといったようなことも出来る。
メモリの確保と値の構築を別のレイヤとして定義できるということに意味がある。 (いわゆる関心の分離？)
低レイヤでも便利な場面はたぶんある。

分離する甲斐がないほど小規模ならべた書きが悪いわけじゃないけど
あえてべた書きという設計を選ぶってのとなんもわからんで使わないってのでは違う。
知っておくに越したことはないよ。

**デフォルトの名無しさん** · 2023/11/14(火) 21:59:36.46

空配列を用意してそれを順繰り使い回す
チープなCPUでは必須の方法

**デフォルトの名無しさん** · 2023/11/14(火) 22:15:51.21

RAM2KBでmallocが必要かどうか

**デフォルトの名無しさん** · 2023/11/15(水) 09:06:17.34

よく
　A a = new A();
　a->b();
　delete a;
みたいに生成してすぐ解放ってのがありますけど、
　A a;
　a.b();
じゃ駄目なんでしょうか。前者に何のメリットがあるんでしょうか。

**デフォルトの名無しさん** · 2023/11/15(水) 09:39:21.05

後者はスタックを消費するから A が巨大なオブジェクトだったら困るとかかな

**デフォルトの名無しさん** · 2023/11/15(水) 09:40:08.83

>>578
A *a = new A(); よね、一応
bを呼び出したいだけなら特にメリットはないよ

**デフォルトの名無しさん** · 2023/11/15(水) 10:25:46.06

スタック？
そんな所にゃ領域取らないだろ

**デフォルトの名無しさん** · 2023/11/15(水) 16:06:06.00

何したらここの人らみたいにプログラム詳しくなれるの？PC９８からやらなきゃダメ？

**はちみつ餃子** ◆8X2XSCHEME · 2023/11/15(水) 16:35:01.46

>>578
> ありますけど、

ないよ……。
少なくともそう頻繁にはない。

あるとしたら >>579 が指摘するように A が特に巨大な場合というのはひとつの可能性。
ただ、巨大になるのがわかってるならリソースを分割して A の中で
上手いことやりくりする (A 自体の大きさは抑える) べきで、
クラスを使う側で配慮しなきゃならないのは普通は悪い設計だと思う。

第二の可能性として、 new 演算子をオーバーロードして
そのオブジェクトがメモリの特定の場所に対応づけられる場合。
メモリバス経由でデバイスと接続するようなアーキテクチャもまあまあ有るから
それを C++ 上ではオブジェクトのように抽象化するということはあるかもしれない。
でもそれは低いレイヤだけの話で、
適当にラップするクラスを作ってもうちょっと抽象度の高いクラスを挟むのが普通だと思う。

**デフォルトの名無しさん** · 2023/11/15(水) 18:55:56.04

超初心者スレで揚げ足とったり、マウントしたり

**デフォルトの名無しさん** · 2023/11/15(水) 19:46:52.63

>>582
何か作ってるうちに嫌でも詳しくなるよ

**はちみつ餃子** ◆8X2XSCHEME · 2023/11/15(水) 21:31:49.26

PC9801 時代を知ってる人は色々と詳しいと思うがその知識が役立っているというわけでもなくて、 PC9801 時代からの三十年くらいあれば詳しくなって当たり前ってだけだぞ。
たくさんの知識を身に付けるにはたくさん学ぶというシンプルな話。

**デフォルトの名無しさん** · 2023/11/16(木) 11:26:46.68

当時は役に立ったけど今はオワコンの技術と
今でも役に立ってる技術と
どっちが割合多い？

**デフォルトの名無しさん** · 2023/11/16(木) 11:55:31.84

「技術は陳腐化するが考え方は永遠である」