回答率: 85.31%

質問するログイン新規登録

トップに関する質問基底クラスをいじらずにアップキャストを禁止したい

編集履歴

質問編集履歴

1

追記

2021/07/23 13:14

投稿

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -185,3 +185,217 @@
 もっと簡潔に書く方法がないかと思い質問させていただきました
 よろしくお願いいたします
+## 追記
+質問欄より
+> なぜ禁止したいのでしょうか？
+次のようなことを考えていました
+クラスAは他者のコードをライブラリとして使っているため いじりたくありません(ライセンスによっては編集できない場合もある)
+そのクラスAには```copy``` ```move```コンストラクタが```default```宣言されています
+しかし、私は```copy``` ```move```コンストラクタも使われたくありません
+なので、継承して```copy``` ```move```コンストラクタを```delete```宣言しました
+誤ってアップキャストしてしまうと↑目的が達成できません
+また、classAが```virtual```デストラクタでもないためclassBが解放されない事故も起きてしまうように思います
+```cpp
+struct A {
+	A() = default;
+	~A() = default;
+	A(A&) = default;
+	A& operator=(A&) = default;
+	A(A&&) = default;
+	A& operator=(A&&) = default;
+public://関数
+	void a() {}
+	void b() {}
+};
+//copy move を delete
+struct B : public A{
+	B() = default;
+	~B() = default;
+	B(B&) = delete;
+	B& operator=(B&) = delete;
+	B(B&&) = delete;
+	B& operator=(B&&) = delete;
+};
+int main(){
+    {
+	std::unique_ptr<A> test1 = std::make_unique<B>();
+    }//B::~Bが呼ばれない
+	A* test2 = new B();
+	delete test2;//B::~Bが呼ばれない
+}
+```
+よく考えたらアップキャストを禁止したところで抜け穴はありますね
+---
+回答欄より
+> is a関係の派生クラスではなく、has a関係のネストクラスを使うのはどうですか？
+is aとhas aについてあまり理解していませんが、それとなく機能しそうです
+ありがとうございます
+```cpp
+struct A {
+	A() = default;
+	~A() = default;
+	A(A&) = default;
+	A& operator=(A&) = default;
+	A(A&&) = default;
+	A& operator=(A&&) = default;
+public://関数
+	void a() {}
+	void b() {}
+};
+struct B {
+	B() = default;
+	~B() = default;
+	B(B&) = delete;
+	B& operator=(B&) = delete;
+	B(B&&) = delete;
+	B& operator=(B&&) = delete;
+public:
+	A* operator ->() noexcept {
+		return &a;
+	}
+private:
+	A a{};
+};
+int main() {
+	B b;
+	b->a();
+}
+```