Виртуальный оператор явного преобразования перекрывая

Question

У меня есть класс Base, ограничивающую explicit operator bool:

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

И у меня есть подкласс Derived, определение operator bool:

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

Как вы можете заметить, Derived::operator bool явно не отмечено explicit, но отмечено override, поэтому я ожидал, что компилятор будет жаловаться. Однако, как gcc, так и clang, похоже, согласны с тем, что это действительно. Было ли мое ожидание необоснованным?

Кроме того, если я использую классы следующим образом, TakesBool(base) не компилируется (как и ожидалось), но TakesBool(derived) делает:

void TakesBool(bool b) {} 

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

Это показывает, что Derived имеет (не- explicit) operator bool, который , однако, отмечается override без объявления virtual. Как это возможно?

Answer 1

Вы могли бы подумать, что в Derived Непостоянство explicitoperator bool не отменяет explicitoperator bool в Base, нет, это делает. explicit specifier не имеет значения, это не является частью сигнатуры функции.

От стандарта, §10.3/2 Virtual functions [class.virtual]:

(курсив мой)

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 .

Так что компилятор будет жаловаться только тогда, когда имя, параметр-тип-лист, резюме квалификация или реф-Спецификатор функция не соответствует, явный спецификатор не будет рассмотрен.

---

^{Вы сказали, что «отмечен override без virtual декларации», обратите внимание, что virtual декларации функции члена в производном классе является излишней, это также virtual.}