sizeof、malloc、およびキャストを使用したC++オブジェクトのインスタンス化

Question

Javaでは、 'Class'メソッド 'newInstance'を使用してオブジェクトをインスタンス化できます。私は現在、C++で同様のことを達成しようとしています。

これはどのように達成されるかもしれませんが、いくつかのリフレクションの後ではわかりませんでした（あなたはそれを得るのですか...そうですか？）私は、ClassDescriptionクラスを作成することで可能かもしれないと思います。クラスインスタンスの 'sizeof'属性を保持する属性と、この量のメモリをmallocしてvoid *として返すnewInstanceメソッドです。呼び出し側のコードはこれを適切にキャストする必要があります。

C++言語は、これが有効かどうかを適切に定義していますか？

ところで..私は、バックアップ計画であるクラスのファクトリを持つレジストリを作成できることを認識しています。この質問への回答については、私が議論したことがうまくいくかどうかという特定の質問に重点を置くことが重要です。

よろしく

*追加のコンテキスト*この要件のため 理由は、ライブラリのユーザーは、ライブラリ自体の意識ではなく、あるクラスをインスタンス化する汎用的なライブラリーを可能にすることです。ライブラリは、これを達成するために使用するいくつかのメタデータを持ち、クラスのサイズを伝えることができます。ユーザーの視点からは、メタデータにファクトリオブジェクトを追加する必要がないように、「きれい」です。

Answer 1

これは場合によっては有効です。このタイプは、タイプが"plain old data type" (POD)（see also this answer）である必要があります。複雑なものがあれば（仮想メンバ関数、仮想メンバ関数を持つメンバ、ベースクラスもPODなどでなければならない）、それは動作せず、未定義の動作です。実行して

することはできcheck if a type meets these requirements：一般的に

#include <type_traits> 

static_assert(std::is_pod<A>::value, "A must be a POD type."); 

それはおそらく、あなたはそれが間違ってやっていることを示しているけれども。 C++はJavaではないので、潜在的な実際の問題を解決するにはおそらくもっと良い方法があります。

Answer 2

mallocとキャストの方法に欠けているものは、オブジェクトの構築です。 newを使用すると、両方ともメモリを割り当てて構築します。これには、vテーブルの作成、コンストラクターの呼び出しなどが含まれます。型キャストmalloc割り当てられたメモリが無効です。

Answer 3

正しいサイズのメモリブロックを作成すると、生のメモリが得られます。このメモリブロックに目的のクラスのオブジェクトを構築する必要があります。これはplacement newを使用して実現できます。