Thiếu bình đẳng giữa shared_ptr và weak_ptr

Question

Mặc dù tôi hiểu tại sao không có operator== cho shared_ptr và unique_ptr, tôi tự hỏi tại sao không có số nào cho shared_ptr và weak_ptr. Đặc biệt là vì bạn có thể tạo một weak_ptr thông qua tham chiếu trên shared_ptr. Tôi giả định rằng 99% thời gian bạn muốn lhs.get() == rhs.get(). Bây giờ tôi sẽ tiếp tục và giới thiệu điều đó vào mã của tôi trừ khi ai đó có thể đặt tên cho tôi là một lý do chính đáng, tại sao người ta không nên làm một điều như vậy.

Answer 1

weak_ptr doesn 'có phương thức get() vì bạn cần khóa rõ ràng weak_ptr trước khi bạn có thể truy cập con trỏ cơ bản. Làm cho điều này rõ ràng là một quyết định thiết kế có chủ ý. Nếu việc chuyển đổi được ngầm định thì sẽ rất dễ dàng để viết mã sẽ không an toàn nếu đối tượng cuối cùng bị hủy trong khi con trỏ cơ bản thu được từ số weak_ptr vẫn đang được kiểm tra.

This boost page có mô tả tốt về những cạm bẫy và lý do tại sao weak_ptr có giao diện hạn chế như vậy.

Nếu bạn cần so sánh nhanh, bạn có thể thực hiện shared == weak.lock(). Nếu so sánh là đúng thì bạn biết rằng weak vẫn phải hợp lệ khi bạn giữ riêng shared_ptr cho cùng một đối tượng. Không có đảm bảo như vậy nếu so sánh trả về sai.

Answer 2

Vì nó có chi phí.

A weak_ptr giống như người quan sát, không phải là con trỏ thực. Để thực hiện bất kỳ công việc nào với nó, trước tiên bạn cần lấy một shared_ptr từ nó bằng cách sử dụng phương thức lock() của nó.

Điều này có tác dụng giành quyền sở hữu, nhưng tốn kém như sao chép số shared_ptr thông thường (số lần tăng, v.v ...) nên không có gì là tầm thường.

Như vậy, bằng cách không cung cấp ==, bạn buộc phải lùi lại và thực sự kiểm tra xem bạn có thực sự cần điều này hay không.