Có phải một bí danh rỗng shared_ptr là một lựa chọn tốt cho việc xóa bỏ shared_ptr không-op không?

Question

Thỉnh thoảng tôi cần shared_ptr trường hợp có dấu phân cách không có op, vì API mong đợi một trường hợp shared_ptr mà nó muốn lưu trữ trong một thời gian giới hạn nhưng tôi được cung cấp một con trỏ thô mà tôi không được phép sở hữu trong một thời gian lớn hơn những gì tôi đang chạy.

Đối với trường hợp này, tôi đã được sử dụng một deleter không-op, chẳng hạn như [](const void *){}, nhưng hôm nay tôi phát hiện ra rằng có một sự thay thế cho rằng, sử dụng (hoặc lạm dụng?) Các aliasing constructor của shared_ptr:

void f(ExpectedClass *ec) { 
    std::shared_ptr<ExpectedClass> p(std::shared_ptr<void>(), ec); 
    assert(p.use_count() == 0 && p.get() != nullptr); 
    apiCall(p); 
} 

Câu hỏi của tôi là, cách tốt hơn để làm điều này là gì và tại sao? Các kỳ vọng hiệu suất có giống nhau không? Với một deleter không có op tôi mong đợi để trả một số chi phí cho việc lưu trữ các deleter và tham chiếu, mà không xuất hiện là trường hợp khi sử dụng hàm tạo aliasing với shared_ptr rỗng.

Answer 1

Về hiệu suất, điểm chuẩn sau đây cho thấy con số thất thường:

#include <chrono> 
#include <iostream> 
#include <limits> 
#include <memory> 

template <typename... Args> 
auto test(Args&&... args) { 
    using clock = std::chrono::high_resolution_clock; 
    auto best = clock::duration::max(); 

    for (int outer = 1; outer < 10000; ++outer) { 
     auto now = clock::now(); 

     for (int inner = 1; inner < 20000; ++inner) 
      std::shared_ptr<int> sh(std::forward<Args>(args)...); 

     auto time = clock::now()-now; 
     if (time < best) { 
      best = time; 
      outer = 1; 
     } 
    } 

    return best.count(); 
} 

int main() 
{ 
    int j; 

    std::cout << "With aliasing ctor: " << test(std::shared_ptr<void>(), &j) << '\n' 
       << "With empty deleter: " << test(&j, [] (auto) {}); 
} 

Output trên máy tính của tôi với clang++ -march=native -O2:

With aliasing ctor: 11812 
With empty deleter: 651502 

GCC với các tùy chọn giống hệt nhau đưa ra một tỷ lệ lớn hơn, 5921: 465.794.
Và Clang với -stdlib=libc++ mang lại con số khổng lồ 12: 613175.