c++ - 在此指针上使用 static_cast 的无限循环

Question

假设我有两个分类Base和 Derived ，即:

#include <iostream>

    class Base {
    public:
        Base ()
          : m_name("Base")
        {
        }

        virtual ~Base ()
        {
        }

        virtual void method (std::ostream & out) const
        {
            out << m_name << std::endl;
        }

    protected:
        Base (std::string name)
          : m_name(name)
        {
        }

    private:
        std::string m_name;
    };

    class Derived : public Base {
    public:
        Derived ()
          : Base("Derived")
        {
        }

        virtual ~Derived ()
        {
        }

        virtual void method (std::ostream & out) const
        {
            static_cast<const Base * const>(this)->method(out); 
        }
    };

如果我调用 Derived::method() ，我得到一个无限循环。

int main ()
{
Derived d;
d.method(std::cout);

return 0;
}

当然。我可以改变 static_cast<const Base * const>(this)->method(out);至 Base::method(out)一切都会运行良好，但我对这种行为背后的原因很感兴趣。两者不应该有相同的行为吗？

那么有人可以解释这里发生了什么吗？

附带说明一下，我用 g++ -Wall -Wextra -O2 -g foo.cpp -o foo 编译了代码.有没有机会得到这种代码的警告？

Answer 1

可能你已经猜到了:static_cast<const Base * const>(this)->method(out);是一个虚拟调用，这意味着该函数在其自身内部被调用。在这种情况下，它会导致堆栈溢出。 Base::method(out)不是虚拟调用。