なぜC ++ではコンストラクタのアドレスを取得できないのですか？

これが概念的に言語を破る特定の理由、またはこれが技術的に実行不可能である特定の理由がありますか？

使用法はnew演算子を使用します。

編集：私は「新しいオペレーター」と「新しいオペレーター」をまっすぐに取得することへの希望をあきらめ、率直になります。

問題のポイントは、なぜコンストラクターが特別なのかということです。もちろん、言語仕様は合法であるが必ずしも道徳的ではないことを教えてくれることに留意してください。通常、合法とは、言語の他の部分と論理的に一致するもの、単純で簡潔なもの、コンパイラーが実装できるものによって通知されます。これらの要因を評価する際の標準化委員会の考えられる理論的根拠は、意図的で興味深いものです。したがって、質問です。

メンバーへのポインター関数は、同じシグネチャを持つ複数のメンバー関数がある場合にのみ意味があります。そうでない場合、ポインターに可能な値は1つだけになります。しかし、C ++では同じクラスの異なるコンストラクターが異なるシグネチャを持たなければならないため、コンストラクターでは不可能です。

Stroustrupの代替案は、コンストラクターがクラス名と異なる名前を持つことができるC ++の構文を選択することでしたが、既存のctor構文の非常にエレガントな側面を妨げ、言語をより複雑にしました。私にとっては、オブジェクトの初期化をctorから別のinit関数（メンバーへのポインターができる通常のメンバー関数）に「アウトソーシング」することで簡単にシミュレートできる、めったに必要とされない機能を可能にするだけの高価格のように見えます作成した）。

コンストラクターは、オブジェクトがまだ存在しないときに呼び出す関数であるため、メンバー関数にはなれません。静的である可能性があります。

実際、コンストラクターは、メモリーが割り当てられた後、完全に初期化される前にthisポインターで呼び出されます。結果として、コンストラクターには多くの特権機能があります。

コンストラクターへのポインターがある場合、それは静的ポインター、ファクトリー関数のようなもの、またはメモリー割り当て直後に呼び出されるものへの特別なポインターのいずれかでなければなりません。通常のメンバー関数ではなく、コンストラクターとして機能します。

頭に浮かぶ唯一の有用な目的は、使用するコンストラクターで間接的にできるようにnew演算子に渡すことができる特別な種類のポインターです。これは便利かもしれませんが、重要な新しい構文が必要になります。おそらく答えは次のとおりです。

一般的な初期化コードをリファクタリングしたい場合、通常は通常のメモリ関数で十分な答えが得られ、それらの1つへのポインタを取得できます。

これは、それらがコンストラクタの戻り値型ではなく、コンストラクタがメモリ内にスペースを予約していないためです。宣言中の変数の場合に行うようにu。たとえば、単純な変数Xを書き込むと、コンパイラはこの意味を理解できないため、コンパイラはエラーを生成します。しかし、Int xを書くとき; その後、コンパイラーはint型data variableであることを知るようになり、変数用にスペースを予約します。

結論：-結論は、戻り値の型を除外するため、メモリ内のアドレスを取得しないということです。

私はワイルドな推測をします：

C ++のコンストラクタとデストラクタは、関数ではありません。マクロです。オブジェクトが作成されるスコープと、オブジェクトが破棄されるスコープにインライン化されます。同様に、コンストラクタもデストラクタもありません。オブジェクトはISです。

実際、クラス内の他の関数も関数ではなく、それらのアドレスを取得するためにDONTがインライン化されるインライン関数であると思いますその関数を最適化します）、そして、関数は「まだそこにある」ように見えます。

C ++の「オブジェクト」の仮想テーブルはJavaScriptオブジェクトのようなものではなく、そのコンストラクタを取得し、実行時にオブジェクトを作成することができnew XMLHttpRequest.constructorます。 、オブジェクトを作成する機能を除きます。そして、それは構造体を削除しようとするようなものであるため、オブジェクトを「削除」することすら意味がありません。クラスを4つの整数として使用します。

/* i imagine this string gets compiled into a struct, one of which's members happens to be a const char * which is initialized to exactly your string: no function calls are made during construction. */
std::string a = "hello, world";
int *myInt = (int *)(*((void **)&a));
myInt[0] = 3;
myInt[1] = 9;
myInt[2] = 20;
myInt[3] = 300;

メモリリークはありません。問題はありません。ただし、オブジェクトインターフェイスと文字列のために予約されているスタックスペースを事実上無駄にしていますが、プログラムを破壊することはありません（使用しない限り）再び文字列として）。

実際、以前の仮定が正しい場合：文字列の完全なコストは、これらの32バイトと定数文字列スペースを格納するコストです：関数はコンパイル時にのみ使用され、インライン化されて捨てられる可能性がありますオブジェクトが作成され、使用されます（構造体で作業しており、関数呼び出しなしで直接参照している場合と同様に、関数ジャンプの代わりに呼び出しが重複していることを確認しますが、これは通常より速く、スペースを節約します）。本質的に、関数を呼び出すたびに、コンパイラーはその呼び出しを、言語設計者が設定した例外を除き、文字通り実行するための命令に置き換えるだけです。

要約：C ++オブジェクトには、それらが何であるかがわかりません。それらとインターフェースするためのすべてのツールは静的にインライン化され、実行時に失われます。これにより、構造体にデータを入力するのと同じくらい効率的にクラスを操作でき、関数をまったく呼び出さずにそのデータを直接操作できます（これらの関数はインライン化されます）。

これは、コンパイラがこの情報を捨てることができないため、実行時のオーバーヘッド、メモリ管理、構築の呼び出しを犠牲にして、型情報を動的に保持するCOM / ObjectiveCおよびjavascriptのアプローチとはまったく異なります。動的ディスパッチ用。これにより、実行時にプログラムと「対話」し、実行中に反映可能なコンポーネントを使用してプログラムを開発することができます。