Sự không tương thích giữa thành ngữ bool an toàn và toán tử bool

Question

Tôi đang nghĩ đến việc thay thế tất cả các trường hợp thành ngữ bool an toàn bằng explicit operator bool trong mã đã sử dụng các tính năng C++ 11 (vì vậy các trình biên dịch cũ không nhận ra chuyển đổi rõ ràng) các nhà khai thác sẽ không quan trọng), vì vậy tôi muốn biết nếu nó có thể gây ra một số vấn đề tinh tế.

Vì vậy, tất cả khả năng không tương thích nào (thậm chí là những điều ít nhất) có thể xảy ra do chuyển từ thành ngữ bool cũ sang mờ sang explicit operator bool mới và sáng bóng?

EDIT: Tôi biết rằng chuyển đổi là một ý tưởng tốt, vì sau này là một tính năng ngôn ngữ, được hiểu bởi trình biên dịch, vì vậy nó sẽ làm việc không tồi tệ hơn những gì trong thực tế chỉ là một hack. Tôi chỉ muốn biết những khác biệt có thể có.

Answer 1

Nếu bạn đã sử dụng chuyển đổi bool an toàn không chính xác trong mã của mình, chỉ sau đó explicit operator bool không tương thích, vì nó sẽ không cho phép bạn thực hiện những việc không chính xác một cách dễ dàng. Nếu không, nó sẽ là tốt mà không có bất kỳ vấn đề. Trong thực tế, ngay cả khi có vấn đề, bạn vẫn nên chuyển sang explicit operator bool, bởi vì nếu bạn làm như vậy, thì bạn có thể xác định vấn đề trong việc sử dụng chuyển đổi an toàn bool.

Theo this article, một số trình biên dịch phát ra hướng dẫn hiệu quả để thực hiện an toàn-bool sử dụng con trỏ hàm thành viên,

Khi mọi người bắt đầu sử dụng thành ngữ này, người ta phát hiện ra rằng có một hình phạt hiệu quả trên một số trình biên dịch - các con trỏ hàm thành viên gây ra một lỗi trình biên dịch dẫn đến việc thực hiện chậm hơn khi địa chỉ được tìm nạp. Mặc dù sự khác biệt là biên, nhưng thực tế hiện tại thường sử dụng một con trỏ dữ liệu thành viên thay vì một con trỏ hàm thành viên.

Answer 2

Có lẽ sự khác biệt lớn nhất, giả sử mã của bạn không có lỗi (tôi biết, không phải giả định an toàn), trong một số trường hợp, bạn có thể muốn chuyển đổi ẩn thành chính xác bool. Chức năng chuyển đổi explicit sẽ không khớp.

struct S1 
{ 
    operator S1*() { return 0; } /* I know, not the best possible type */ 
} s1; 

struct S2 
{ 
    explicit operator bool() { return false; } 
} s2; 

void f() 
{ 
    bool b1 = s1; /* okay */ 
    bool b2 = s2; /* not okay */ 
}