确定派生类是否重写基类的方法

Question

class B {
virtual int foo();
};

class D : public B {
virtual int foo() { cout<<"D\n"; }
};

int B::foo()
{
   /* how do i tell if this->foo() is overridden by a subclass, or if it will */
   /* simply recurse into B::foo()? */
   this->foo();
}

main()
{
D d;
d.B::foo();
}

Answer 1

答案：你不能。

如果有什么可以扩展的，我会扩展。

Answer 2

一种方法是在B中使foo()纯虚函数，和也定义它。这样您就可以确保 B 的派生类必须定义foo()。这是 B，

class B
{
public:
        virtual int foo() = 0; //pure virtual function
};

//pure virtual function also has a default implementation!
int B::foo()
{
        std::cout << "B" << std::endl;  
        this->foo(); //this will call the overridden foo() in the derived class!
        return 0;
}

如果 B 的派生类没有实现 foo()，那么你甚至无法创建此类派生类的实例！

请参阅 ideone 上的完整工作代码： http://www.ideone.com/m8O2s

顺便说一下，我个人的观点是，这样的类设计一开始就不好。如果从派生类 foo() 调用 B::foo() 会怎样？递归？

Answer 3

我什至讨厌提供这个..但这里是

int B::foo()
{
std::cout << "B" << std::endl;  
if (typeid (*this) != typeid(B))
    this->foo();
return 0;
}

编辑

我想证明它在MSVC++ 2010中有效。

#include "stdafx.h"
#include <iostream>

class B {
public:
virtual int foo();
};

class D : public B {
public:
virtual int foo() {
    std::cout<<"D\n"; return 0; 
}
};

int B::foo()
{
std::cout << "B" << std::endl;  

/* how do i tell if this->foo() is overridden by a subclass, or if it will */
/* simply recurse into B::foo()? */
if (typeid (*this) != typeid(B))
    this->foo();

return 0;
}


int main(int argc, _TCHAR* argv[])
{
D d;
d.B::foo();

B b;
b.foo();
return 0;
}

输出

B
D
B

证明它并不总是有效

把D改成这个就不行了

class D : public B { };

Answer 4

正如其他人指出的那样，没有可靠的方法可以做到这一点。我敦促你重新考虑你的设计......

Answer 5

最安全的方法是根本不重写 foo()，但如果您不信任程序员，则允许重写从基类调用的 OnFoo() 函数。 MFC 做了很多这样的事情来确保某些默认行为（而不是防止递归）。

然后，同样在静态级别，任何实现 OnFoo() 的内容都可以通过“在文件中查找”轻松发现。

例如（未测试语法/编译且不是线程安全的）

class B
{
public:
    B()
    {
        m_bInFoo=false;
    } 

    int foo()
    {
        if( !m_bInFoo )
        {
            m_bInFoo=true;

            int nRet = OnFoo();

            m_bInFoo=false;

            return nRet;
        }

        return 0;// probably throw exception
    }

protected:
    // inherited classes override OnFoo(), and never call OnFoo();
    virtual int OnFoo(){ return 0 };

private:
    bool m_bInFoo;
}