我可以判断是否实现了 C++ 虚函数

Question

我希望能够在运行时判断类的实例是否实现了虚函数。 例如：

struct Base
{
    virtual void func(int x) { <default behavior here> }
    virtual void func2(int x) { <default behavior here> }
};

struct Deriv : Base
{
    virtual void func(int x) override { <new behavior here> }
};

int main()
{
    Base *d = new Deriv;

    if(implements<Base::func(int)>(d)) // This should evaluate true
    {} 

    if(implements<Base::func2(int)>(d)) // This should evaluate false
    {}
}

我已经看到了这个，但它已经过时了，现在可能有一些 c++11/14 必须说的内容： 检测 C++ 虚函数是否已在派生类中重新定义的方法

Answer 1

简短的回答是：不。而且肯定不是以便携的方式。

更长的答案：实际上，多态性的目标是让用户无法区分功能的来源。

即使开发人员不编写代码，编译器仍可能为派生类生成函数的专用版本（为了更好的优化）。 这甚至会抛弃会检查虚拟表的非便携式实现......

然而，另一种方法是抛弃 C++ 自动运行时多态性，而是提供一个临时实现。 例如，如果您要提供自己的虚拟表/指针机制，那么您将拥有更多控制权：

struct VirtualTable {
    typedef void (*FuncType)(void*, int);
    typedef void (*Func2Type)(void*, int);

    FuncType func;
    Func2Type func2;
};

并且您可以检查函数指针是否等于默认值。

Answer 2

我现在想到的是有一个特殊的“计数器”变量，它会根据实现取值，如果调用基类函数则取零。 我认为这听起来有点过时的风格，并尝试立即找到更好的解决方案。 现在看例子：

    struct Base
    {
        virtual void func(int x, int& implemented) {implemented = 0;}

    };

    struct Deriv : Base
    {
        virtual void func(int x, int& implemented) override {implemented = 1;}
    };

如果函数在您的示例中是无效的，您也可以使用“返回代码” - 只需返回已实现的值。