wirtualnej wyraźny operator konwersji nadrzędnymi

Question

Mam klasy Base wyznaczającą explicit operator bool:

struct Base { 
    virtual explicit operator bool() const { 
     return true; 
    } 
}; 

I mam podklasy Derived, określającym operator bool:

struct Derived : Base { 
    operator bool() const override { 
     return false; 
    } 
}; 

Jak można zaobserwować, Derived::operator bool jest wyraźnie nie oznaczone explicit, ale oznaczone override, więc spodziewałem się kompilator do złożenia skargi. Jednak zarówno gcc, jak i clang wydają się zgadzać, że jest to poprawne. Czy moje oczekiwania były nieuzasadnione?

Ponadto, jeśli mogę użyć klas w następujący TakesBool(base) nie skompilować (zgodnie z oczekiwaniami), ale TakesBool(derived) robi:

void TakesBool(bool b) {} 

int main() { 
    //Base base;  TakesBool(base); // compilation error (as expected) 
    Derived derived; TakesBool(derived); 
    return 0; 
} 

Wydaje się to wskazywać, że Derived ma (nie explicit) operator bool, który jest jednak oznaczony jako override bez deklaracji virtual. Jak to jest możliwe?

Answer 1

Można by pomyśleć, że nie- explicitoperator bool w Derived nie zastępują explicitoperator bool w Base, nie, to robi. explicit specifier nie ma znaczenia, nie jest częścią sygnatury funkcji.

od standardu, §10.3/2 Virtual functions [class.virtual]:

(Kopalnia nacisk)

If a virtual member function vf is declared in a class Base and in a class Derived , derived directly or indirectly from Base , a member function vf with the same name, parameter-type-list ([dcl.fct]), cv-qualification, and ref-qualifier (or absence of same) as Base::vf is declared, then Derived::vf is also virtual (whether or not it is so declared) and it overrides Base::vf .

więc kompilator będzie skarżyć się tylko wtedy, gdy nazwa, parametr typu lista-CV-kwalifikacje lub ref-kwalifikator z funkcja nie jest zgodna, jawny specyfikator nie będzie brany pod uwagę.

---

^{powiedział: „oznaczony override bez zgłoszenia virtual”, trzeba pamiętać, że deklaracja virtual dla funkcji członka w klasie pochodnej jest zbędny, to również virtual.}