c++ - 重写嵌套类并将外部类作为基类返回是否合法？

Question

让我们考虑以下代码:

class Base{

protected:
    struct BaseInner{
        virtual void func() = 0;
    };

    BaseInner* ptr;

public:
    void func(){
        if (ptr){
            ptr->func();
        }
    }
};

Base generateBase(){
    class Driven : public Base{

    protected:
        class DrivenInner : public Base::BaseInner{
            virtual void func() override{
                std::cout << "driven class\n";
            }
        };

    public:
        Driven() { ptr = new DrivenInner(); }
    };

    return Driven();
}

int main()
{
    auto base = generateBase();
    base.func();
    return 0;
}

(让我们把内存泄漏放在一边)
由 generateBase 进行的切片本身在语言上是合法的，但是调用 ptr->func() 是否合法？从逻辑上讲，程序会向 vtable 询问正确的函数并调用它，但标准对此有何规定？以及关于整个类都定义在函数内部这一事实？

谢谢。

Answer 1

因为 ptr 指向一个有效对象，该对象是 Base::BaseInner 的子类实例，所以代码是有效的。

在函数内部定义的类只会影响定义的范围，即类名可见的范围。
它在其他方面等同于在函数外定义类。