shared_ptr的std :: atomic_compare_exchange_strong與原始指針進行比較

Question

是否有可能在shared_ptr的atomic_compare_exchange_strong中與原始指針進行比較？

像這樣：

struct Chunk{ 
     // atomics 
     std::shared_ptr<Chunk> prev; 
     std::shared_ptr<Chunk> next; 
    }; 

    // chunk is guaranteed to stay alive while this operation 
    void remove_chunk(Chunk* chunk){ 
     std::shared_ptr<Chunk> prev = std::atomic_load(&chunk->prev); 
     std::shared_ptr<Chunk> next = std::atomic_load(&chunk->next); 

     // Can I do this? 
     std::shared_ptr<Chunk> self{chunk}; 
     std::atomic_compare_exchange_strong(&prev, &self, next); 

     ... 
    }; 

我想過這個，因爲http://en.cppreference.com/w/cpp/memory/shared_ptr/operator_cmp說，僅比原始指針。但是，這是否需要標準，或只是優化的副作用？

這個問題只是關於atomic_compare_exchange_strong的正確性。

Answer 1

幾乎可以肯定，這是錯誤的。在remove_chunk(Chunk* chunk),chunk可能只是識別要刪除的塊。在std::shared_ptr<Chunk> self{chunk};中，您意味着您是chunk的所有者，並且self成爲新的所有者。