如何從類對象返回值？

Question

是否有可能有一個類的對象返回真/假值，所以我可以做這樣的事情：

MyClass a; 
... 
if (a) 
    do_something(); 

我可以完成（幾乎）我想通過重載！運營商：

class MyClass { 
    ... 
    bool operator!() const { return !some_condition; }; 
    ... 
} 

main() 
    MyClass a; 
    ... 
    if (!a) 
     do_something_different(); 

，但我還沒有找到一種方法來重載這將是「空」操作符。當然，使用==運算符來檢查真/假也是可能的，事實上我到目前爲止一直在做這些事情。

Answer 1

超載的void *的類型轉換操作符：

operator void *() const { return some_condition; }; 

這是怎麼流的工作，讓你說：

if (cin) { 
    // stream is OK 
} 

採用void *的，而不是布爾防止正在使用的投在某些情況下的錯誤，例如算術，在這種情況下是不可取的。除非你想在這些情況下使用它，當然。

Answer 2

嘗試過載（布爾）運算符：

operator bool() { /* ... */ } 

Answer 3

顯而易見的解決方案 - 通過operator bool提供的隱式轉換到bool - 是一個壞主意。

這就是爲什麼如圖尼爾的回答標準庫使用operator void*。

然而，值得指出的是，即使這個解決方案有缺陷，因此不再被認爲是安全的。不幸的是，想出更好的解決方案是不平凡的...

有在Artima描述safe bool idiom的文章了。對於一個真正的圖書館來說，這絕對是一條路，因爲它提供了最難以使用錯誤的最強大的界面。

Answer 4

奇怪，沒有人迄今已提到safe bool idiom。到目前爲止描述的所有其他解決方案都有缺點（您可能會也可能不關心），所有這些方法都在文章中描述。簡而言之，安全布爾成語如下所示：

class Testable { 
    typedef void (Testable::*bool_type)() const; 
    void this_type_does_not_support_comparisons() const {} 
    public: 
    operator bool_type() const { 
     return /* condition here */ ? 
     &Testable::this_type_does_not_support_comparisons // true value 
     : 0; // false value 
    } 
    };