C++ переопределяет конечные и чистые виртуальные методы

Question

Рассмотрим базовый класс для производных классов, где базовый класс должен предлагать некоторые (полиморфные) методы, такие как перечислимые или перевернутые операторы для всех его производных. Эти операции НЕ должны модифицироваться производными классами для обеспечения правильного выполнения. Однако в то же время я хотел бы получить оценку - функция isError() в моем примере - необходимо, чтобы оператор был индивидуальным для подклассов и чистым виртуальным, чтобы он ДОЛЖЕН быть определен:

class mom 
{ 
public: 
    virtual bool operator && (const mom&) const final 
    { 
    return this->isError() && p_rOther.isError(); 
    } 
pritave: 
    virtual bool isError() = 0; 
}; 

Это не похоже на текущий стандарт, поскольку «чистая виртуальность» подразумевает необходимость для подклассов для реализации всех виртуальных функций базового класса, тогда как «окончательное» ключевое слово противоречит этой парадигме.

Любые предложения или идеи, как справиться с этим противоречием в re?

Answer 1

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

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

Я предполагаю, что вы сбиваете с толку то, что весь Base станет аннотация.

---

Фрагмент ниже в этом сообщении работает очень хорошо и приводит к описанному вами поведению. Несмотря на то, что функция virtual сделала final вид поражений, это цель.

Я бы порекомендовал вас удалить виртуальный спецификатор .

^{Это если ваш Base не наследуется от базы, где виртуальная функция присутствует, и вы хотели бы сделать это ясным будущим разработчикам чтения кода.}

---

#include <iostream> 

---

^c++11

struct Base { 
    virtual bool operator&& (Base const& rhs) const final { 
    std::cerr << "Base ::operator&&()\n"; 

    return this->error() && rhs.error(); 
    } 

    virtual bool error() const = 0; 
}; 

struct Child : Base { 
    virtual bool error() const { 
    std::cerr << "Child::error()\n"; 

    return true; 
    } 
}; 

---

int 
main (int argc, char *argv[]) 
{ 

    Child ch1, ch2; 
    ;  ch1 && ch2; 
} 

выход

Base ::operator&&() 
Child::error() 
Child::error() 

Answer 2

Вы, кажется, ошибаетесь в том, что означает чистая виртуальная функция.

«чистая виртуальность» подразумевает необходимость подклассы реализовать все виртуальные функции BaseClass

Нет, чистая виртуальность требует, чтобы подкласс переопределяет этих конкретную функции. Нечистые функции не должны быть переопределены и, конечно, не могут быть объявлены final.