shared_ptrのデリータは、カスタムアロケータによって割り当てられたメモリに格納されていますか?

23
Lightness Races in Orbit 2019-11-19 11:25.

私が持っていると言うshared_ptrカスタムアロケータでカスタム削除手段。

削除機能を格納する場所について説明している標準には何も見つかりません。カスタムアロケータが削除機能のメモリに使用されるとは言われていませんし、使用されないとも言われていません。

これは不特定ですか、それとも何かが足りないだけですか?

3 answers

12
AProgrammer 2019-11-19 18:48.

C ++ 11のutil.smartptr.shared.const / 9:

効果:オブジェクトpとデリータdを所有するshared_ptrオブジェクトを構築します。2番目と4番目のコンストラクターは、のコピーを使用して、内部使用のためにメモリーを割り当てます。

2番目と4番目のコンストラクターには次のプロトタイプがあります。

template<class Y, class D, class A> shared_ptr(Y* p, D d, A a);
template<class D, class A> shared_ptr(nullptr_t p, D d, A a);

最新のドラフトでは、util.smartptr.shared.const / 10は私たちの目的と同等です。

効果:オブジェクトpとデリータdを所有するshared_ptrオブジェクトを構築します。Tが配列型でない場合、最初と2番目のコンストラクターはpでshared_from_thisを有効にします。2番目と4番目のコンストラクターは、のコピーを使用して、内部使用のためにメモリーを割り当てます。例外がスローされると、d(p)が呼び出されます。

したがって、アロケータは、割り当てられたメモリに割り当てる必要がある場合に使用されます。現在の基準および関連する欠陥レポートに基づいて、割り当ては必須ではありませんが、委員会によって引き受けられます。

  • インタフェースががshared_ptrあり、制御ブロックと、すべてのことはありません実装可能にshared_ptrし、weak_ptrリンクリストに入れているが、実際にはそのような実装ではありません。さらに、たとえば、use_countが共有されていることを前提として、文言が変更されました。

  • 削除者は、構築可能なもののみを移動する必要があります。したがって、に複数のコピーを含めることはできませんshared_ptr

特別に設計されたものに削除機能を配置shared_ptrし、特別なものshared_ptrが削除されたときにそれを移動する実装を想像することができます。実装は適合しているように見えますが、特に使用カウントに制御ブロックが必要になる可能性があるため、奇妙です(使用カウントで同じことを行うことはおそらく可能ですが、さらに奇妙です)。

私が見つけた関連のDR:545、575、2434、(すべての実装が制御ブロックを使用していることを確認幾分それを強制そのマルチスレッド制約を暗示しているように見える)2802デリータのみ構築可能に移動することを必要とする(したがって、実装場所を防ぎ削除機能はいくつかshared_ptrの間にコピーされます)。

5
Paul Evans 2019-11-19 18:57.

std :: shared_ptrから:

制御ブロックは、以下を保持する動的に割り当てられたオブジェクトです。

  • 管理対象オブジェクトまたは管理対象オブジェクト自体へのポインター。
  • 削除者(タイプ消去);
  • アロケータ(タイプ消去)。
  • 管理対象オブジェクトを所有するshared_ptrsの数。
  • 管理対象オブジェクトを参照するweak_ptrsの数。

そして、std :: allocate_sharedから次のようになります。

template< class T, class Alloc, class... Args >
shared_ptr<T> allocate_shared( const Alloc& alloc, Args&&... args );

共有ポインタの制御ブロックとTオブジェクトの両方に1つの割り当てを使用するために、タイプTのオブジェクトを作成し、それをstd :: shared_ptr [...]でラップします。

したがって、std :: allocate_sharedはをで割り当てる必要があるように見えdeleterますAlloc

編集:そしてn4810§20.11.3.6作成から[util.smartptr.shared.create]

1全てに適用される共通の要件make_sharedallocate_sharedmake_shared_default_init、及びallocate_shared_default_init過負荷、特に断りのない限り、以下に記載されています。

[...]

7備考:(7.1)—実装は1つだけのメモリ割り当てを実行する必要があります。[注:これにより、煩わしいスマートポインターと同等の効率が得られます。—エンドノート]

[すべての私の強調]

したがって、標準では、制御ブロックに使用するstd::allocate_shared 必要があるとされていAllocます。

3
L. F. 2019-11-19 19:23.

これは不特定だと思います。

関連するコンストラクターの仕様は次のとおりです。[util.smartptr.shared.const] / 10

template<class Y, class D> shared_ptr(Y* p, D d);
template<class Y, class D, class A> shared_ptr(Y* p, D d, A a);
template <class D> shared_ptr(nullptr_t p, D d);
template <class D, class A> shared_ptr(nullptr_t p, D d, A a);

効果:shared_­ptrオブジェクトpとデリータを所有するオブジェクトを構築しますdTが配列型でない場合、最初と2番目のコンストラクターshared_­from_­thisp。で有効になります。2番目と4番目のコンストラクターは、のコピーを使用して、a内部使用のためにメモリーを割り当てます。例外がスローされた場合、d(p)が呼び出されます。

さて、私の解釈では、実装が内部使用のためにメモリを必要とする場合、それはを使用して必要としますa。実装がすべてを配置するためにこのメモリを使用する必要があるという意味ではありません。たとえば、次のような奇妙な実装があるとします。

template <typename T>
class shared_ptr : /* ... */ {
    // ...
    std::aligned_storage<16> _Small_deleter;
    // ...
public:
    // ...
    template <class _D, class _A>
    shared_ptr(nullptr_t, _D __d, _A __a) // for example
        : _Allocator_base{__a}
    {
        if constexpr (sizeof(_D) <= 16)
            _Construct_at(&_Small_deleter, std::move(__d));
        else
            // use 'a' to allocate storage for the deleter
    }
// ...
};

この実装は「のコピーをa使用して内部使用のためにメモリを割り当てる」のでしょうか?はい、そうです。を使用する場合を除いて、メモリを割り当てることはありませんa。この素朴な実装には多くの問題がありますがshared_ptr、ポインタから直接構築され、コピー、移動、その他の方法で参照されることはなく、他の問題がない最も単純な場合を除いて、アロケータの使用に切り替わるとしましょう。重要なのは、有効な実装を想像できないからといって、それ自体が理論的に存在できないことを証明するものではないということです。私は、そのような実装が実際に現実の世界で見られると言っているのではなく、標準が積極的にそれを禁止していないように見えるだけです。

Related questions

MORE COOL STUFF

Reba McEntire は、彼女が息子の Shelby Blackstock と共有する「楽しい」クリスマスの伝統を明らかにしました:「私たちはたくさん笑います」

Reba McEntire は、彼女が息子の Shelby Blackstock と共有する「楽しい」クリスマスの伝統を明らかにしました:「私たちはたくさん笑います」

Reba McEntire が息子の Shelby Blackstock と共有しているクリスマスの伝統について学びましょう。

メーガン・マークルは、自然な髪のスタイリングをめぐってマライア・キャリーと結ばれました

メーガン・マークルは、自然な髪のスタイリングをめぐってマライア・キャリーと結ばれました

メーガン・マークルとマライア・キャリーが自然な髪の上でどのように結合したかについて、メーガンの「アーキタイプ」ポッドキャストのエピソードで学びましょう.

ハリー王子は家族との関係を修復できるという「希望を持っている」:「彼は父親と兄弟を愛している」

ハリー王子は家族との関係を修復できるという「希望を持っている」:「彼は父親と兄弟を愛している」

ハリー王子が家族、特にチャールズ王とウィリアム王子との関係について望んでいると主張したある情報源を発見してください。

ワイノナ・ジャッドは、パニックに陥った休暇の瞬間に、彼女がジャッド家の家長であることを認識しました

ワイノナ・ジャッドは、パニックに陥った休暇の瞬間に、彼女がジャッド家の家長であることを認識しました

ワイノナ・ジャッドが、母親のナオミ・ジャッドが亡くなってから初めての感謝祭のお祝いを主催しているときに、彼女が今では家長であることをどのように認識したかを学びましょう.

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セントヘレナのジェイコブのはしごを登るのは、気弱な人向けではありません

セント ヘレナ島のジェイコブズ ラダーは 699 段の真っ直ぐ上る階段で、頂上に到達すると証明書が発行されるほどの難易度です。

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

バイオニック読書はあなたをより速く読むことができますか?

バイオニック読書はあなたをより速く読むことができますか?

BionicReadingアプリの人気が爆発的に高まっています。しかし、それは本当にあなたを速読術にすることができますか?

2017年の最も人気のある投稿

2017年の最も人気のある投稿

ここLifehackerでは大きな年でした。一緒に、私たちはミツバチを救おうとし、ハッキングされ、太陽をじっと見つめ、グロスチェーンレストランの食べ物を食べ、核爆弾から身を隠しました。

ラストコール:素晴らしき人生だ、コーシャワイン、そしてジュリアチャイルドはユールログを作るのが苦手

ラストコール:素晴らしき人生だ、コーシャワイン、そしてジュリアチャイルドはユールログを作るのが苦手

写真:ゲッティイメージズ経由のハーバート・ドーフマン/コービスさて、昨日、幼い子供たちにマジシャンズを見させて銃を飛び越えていたようです。知っておくと良い!昨夜、娘と私はシカゴの素晴らしいビンテージシアターであるミュージックボックスで映画を見に行きました。年齢に関係なく、誰も問題を抱えてはいけません。それは素晴らしい人生です。

それにふたを置きます。実際、すべてに蓋をしてください。14ドルで12個のシリコンストレッチキッチン蓋を手に入れよう. [エクスクルーシブ]

それにふたを置きます。実際、すべてに蓋をしてください。14ドルで12個のシリコンストレッチキッチン蓋を手に入れよう. [エクスクルーシブ]

Tomorrow's Kitchen シリコンストレッチ蓋 12個パック | $14 | アマゾン | プロモーション コード 20OFFKINJALids は基本的にキッチンの靴下です。常に迷子になり、二度と閉じられない孤立したコンテナーが残ります。しかし、蓋が伸びて、残った容器、鍋、フライパン、さらには大きなスライスされた果物のすべてに適合するとしたらどうでしょうか? その非常に特殊な蓋を失うことを二度と心配する必要はありません。

あなたの最高のワシントン DC ハックを教えてください

あなたの最高のワシントン DC ハックを教えてください

このコラムでは、ロサンゼルスやラスベガスなど、いくつかの産業都市をハッキングしました。今こそ、軍産複合都市の時代です。

米国のフィギュア スケートは、チーム イベントでの最終決定の欠如に「苛立ち」、公正な裁定を求める

米国のフィギュア スケートは、チーム イベントでの最終決定の欠如に「苛立ち」、公正な裁定を求める

ロシアのフィギュアスケーター、カミラ・バリエバが関与したドーピング事件が整理されているため、チームは2022年北京冬季オリンピックで獲得したメダルを待っています。

Amazonの買い物客は、わずか10ドルのシルクの枕カバーのおかげで、「甘やかされた赤ちゃんのように」眠れると言っています

Amazonの買い物客は、わずか10ドルのシルクの枕カバーのおかげで、「甘やかされた赤ちゃんのように」眠れると言っています

何千人ものAmazonの買い物客がMulberry Silk Pillowcaseを推奨しており、現在販売中. シルクの枕カバーにはいくつかの色があり、髪を柔らかく肌を透明に保ちます。Amazonで最大46%オフになっている間にシルクの枕カバーを購入してください

パデュー大学の教授が覚醒剤を扱った疑いで逮捕され、女性に性的好意を抱かせる

パデュー大学の教授が覚醒剤を扱った疑いで逮捕され、女性に性的好意を抱かせる

ラファイエット警察署は、「不審な男性が女性に近づいた」という複数の苦情を受けて、12 月にパデュー大学の教授の捜査を開始しました。

コンセプト ドリフト: AI にとって世界の変化は速すぎる

コンセプト ドリフト: AI にとって世界の変化は速すぎる

私たちの周りの世界と同じように、言語は常に変化しています。以前の時代では、言語の変化は数年または数十年にわたって発生していましたが、現在では数日または数時間で変化する可能性があります。

SF攻撃で91歳のアジア人女性が殴られ、コンクリートに叩きつけられた

犯罪擁護派のオークランドが暴力犯罪者のロミオ・ロレンゾ・パーハムを釈放

SF攻撃で91歳のアジア人女性が殴られ、コンクリートに叩きつけられた

認知症を患っている 91 歳のアジア人女性が最近、47 番街のアウター サンセット地区でロメオ ロレンゾ パーハムに襲われました。伝えられるところによると、被害者はサンフランシスコの通りを歩いていたところ、容疑者に近づき、攻撃を受け、暴行を受けました。

Precios accesibles, nuestro aprendizaje desde la perspectiva iOS

Precios accesibles, nuestro aprendizaje desde la perspectiva iOS

Cómo mejoramos la accesibilidad de nuestro componente de precio, y cómo nos marcó el camino hacia nuevos saberes para nuestro sistema de diseño. Por Ana Calderon y Laura Sarmiento Leer esta historia en inglés.

ℝ

“And a river went out of Eden to water the garden, and from thence it was parted and became into four heads” Genesis 2:10. ? The heart is located in the middle of the thoracic cavity, pointing eastward.

Language