Проверка времени компиляции метода, определенного как виртуального

Question

Я пытаюсь найти способ проверки в производном классе, определяется ли метод базового класса как «виртуальный». В основном я хотел бы иметь следующий код:

class A { 
    virtual void vfoo() {} 
    void foo() {} 
    virtual ~A() {} 
}; 

class B : public A { 
    virtual void vfoo() { 
    MAGIC_CHECK(m_pA->vfoo()); // succeed 
    // code 
    m_pA->vfoo(); 
    // code 
    } 
    virtual void foo() { 
    MAGIC_CHECK(m_pA->foo()); // fail compilation because foo is not virtual! 
    // code 
    m_pA->foo(); 
    // code 
    } 
    A * m_pA; 
}; 

Вопрос в том, как я могу реализовать эту MAGIC_CHECK? Одним из решений для этого может быть использование -Woverloaded-virtual compilation. Может ли кто-нибудь предложить решение, которое не будет включать этот флаг?

Спасибо!

Answer 1

В C++ 03, невозможно, чтобы проверить, объявлен ли метод virtual или нет.
Вы можете следовать,

• стандарты кодирования
• экспертной оценки
• , возможно, некоторые статического анализа

Answer 2

В C++ 11, что можно добавить override в конце функции декларации в class, и она будет давать предупреждение, если функция ничего не отменяет:

class B : public A { 
    virtual void vfoo() override { //OK 
    } 
    virtual void foo() override { //error 
    } 
};