Wenn ein Objekt sowohl `operator!` Als auch `operator bool` liefert, was im Ausdruck`! Obj` verwendet wird?

Question

Ich bin auf eine Frage gestoßen, die ich selbst nicht beantworten kann. Auch auf Google und hier habe ich keine Antwort gefunden. Sprich, ich will „ein Objekt prüfen Gültigkeit“ in eine if-Klausel, etwa so:

MyClass myObject; 

// [some code, if any] 

if (!myObject) 
{ 
    // [do something] 
} 

MyClass Lassen Sie etwas wie folgt definiert werden:

class MyClass 
{ 
public: 
    MyClass() { }; 
    virtual ~MyClass() { }; 
    bool operator!() 
    { 
     return !myBool; 
    }; 
    operator bool() 
    { 
     return myBool; 
    }; 
private: 
    bool myBool = 0; 
}; 

Meine Frage ist nun: die eine von Die überladenen Operatoren werden tatsächlich in dieser if-Klausel verwendet? Wie auch immer, das Ergebnis ist offensichtlich dasselbe.

Answer 1

Es wird operator! verwenden.

Eine Funktion, deren Parametertypen mit den Argumenten übereinstimmen, wird vor einer Funktion ausgewählt, die Typkonvertierungen erfordert.

Answer 2

Sie werden feststellen, dass operator ! ausgeführt wird, weil es die direkteste Auflösung ist. Wenn es stattdessen operator bool verwendet, müsste es zuerst den Konvertierungsoperator aufrufen und dann das separat darauf anwenden.

Als allgemeine Regel ist es eine gute Idee, diese Situation zu vermeiden. Es ist im Allgemeinen besser, nur die bool Umwandlung zu definieren, weil genau das ist, was Sie Ihre logischen Operatoren auf, statt MyClass direkt handeln möchten. Die Definition von beiden erzeugt ein kleines Lesbarkeitsproblem und ist eine Form der redundanten Code-Duplizierung (die in Zukunft zu Programmierfehlern führen kann).