ポインタをポインタにキャストしています...ポインタですか？

Question

は、私は今、tは*(Pool**)ans = NULL;が何をするのか理解しようとする時間を超える過ごしたこのスニペットここ

void* operator new(size_t nbytes) 
{ 
    if (nbytes == 0) 
    nbytes = 1;     // so all alloc's get a distinct address 
    void* ans = malloc(nbytes + 4); // overallocate by 4 bytes 
    *(Pool**)ans = NULL;    // use NULL in the global new 
    return (char*)ans + 4;   // don't let users see the Pool* 
} 

https://isocpp.org/wiki/faq/dtors

を見つけました。 ansは無効なポインタなので、Poolポインタにキャストされ、プールは0に設定されていると仮定します。ポインタは左に3番目の*のためポインタですがプール自体はありません。しかしプールにはoperator=が定義されていません。

pointer**は、明らかにポインタへのポインタです...しかし、この文脈では、これは意味がありません。ansは単一のポインタです。 「隠し」、4バイトのヘッダがPool（SO ansへのポインタであると考えPoolへのポインタへのポインタであることをおそらくため

Answer 1

ここPool**を使用する唯一の理由は、セマンティック正確であり、そして*(Pool **)ansを有しますタイプPool *）。

PoolをNULLに割り当てることができない限り、*(Pool *)ans = NULLを実行できませんでした。これはおそらくここで意図した効果ではないでしょう。 *(int **)ans = NULLのようなもの、またはよりばかげた*(Pool ******)ans = NULLの場合は、最終的にはPoolへのポインタであることを意図している場合には、同じ結果が得られましたが、意味的に奇妙でしたでしょう。

+---+---+---+---+- - - 
| 0 | 0 | 0 | 0 | ... and nbytes more bytes 
+---+---+---+---+- - - 

^ ans   ^returned address (ans + 4) 

それらの最初の4つのバイトはどこかPoolへのポインタであることを意図している：あなたがになってしまいます一日の終わりに

。

void * ptr = malloc(sizeof(TYPE)); 
*(TYPE *)ptr = VALUE; 

意味を行う必要があります

これについて考える別の方法は、全体nbytesの事を無視し、この一般的なパターンを考慮することです。

void * ptr = malloc(sizeof(Pool *)); 
*(Pool **)ptr = NULL; 

そして、あなたのケースであなたはまだ、基本的にあなたがやっているの：TYPEはPool *であり、値がNULLであり、あなたがそのパターンにそれに合う場合さて、あなたはそれをすべてはまだ理にかなっているかを確認することができます最後にいくつかの余分なバイトを割り当てていますが、ここのタイプには関係ありません。

ここでは、sizeof(Pool *)ではなく、どこでも4をハードコードするために、ここでの問題（また意味的には怠惰）を求めている可能性があります。

Answer 2

いいえ、「プールポインタにキャスト」されていません。キャストは次のとおりです。

(Pool**) 

これはPoolへのポインタではありません。これはPoolへのポインタへのポインタです。

だから、ansはPool **であるとふりをしてみましょう。その場合：

*ans = NULL; 

これは今NULLからansがへのポインタであるポインタを設定します。 Poolクラスの製造されたインスタンスではありません。しかしそれへのポインタ。

しかし、大きな問題はここにあります：

void* ans = malloc(nbytes + 4); // overallocate by 4 bytes 
*(Pool**)ans = NULL;    // use NULL in the global new 
return (char*)ans + 4;   // don't let users see the Pool* 

これは非常に古いコードであり、それは、ポインタが4バイト長である場合にのみ動作します。

最新の64ビットプラットフォームでは、8バイト長のポインタでは、この全部が悲惨に失敗します...