是否有可能识别出不需要的虚函数覆盖？ [复制]

Question

例如：

struct A
{
    virtual void go() { };
};

struct B : public A
{
    void go() { };
};

函数go 的隐式覆盖可能是不可取的，因为无法识别B::go() 隐藏或覆盖了struct A 的相同函数，甚至它可能是struct @ 中不存在的新函数987654326@。 override C++11 的特性在你想要一个理想的虚函数覆盖时很有用，但在我的情况下它是不可取的，我不想覆盖函数 go()，这意味着如果我知道有一个 virtual函数我不会在 struct B 中使用 override 它。

我想要的是类似于 [[check_names]] attribute proposal 的东西，它不支持 C++11。 C++ 有语言特性吗？

顺便说一句，如果发生隐式覆盖虚函数，编译器（例如 GCC 和 VC++）是否可以选择显示警告（如果错误不可用，警告就足够了！）？如果有，你能提供一个 GCC 的例子吗？

编辑：我不是在谈论强制或语言功能，我想要的只是警告或任何能让我识别出不受欢迎的覆盖的东西。

编辑：理想的可以覆盖什么？它可能类似于以下代码：

struct A
{
    virtual void go() { };
};

struct B : public A
{
    virtual void go() { };
};

或：

struct A
{
    virtual void go() { };
};

struct B : public A
{
    void go() override { };
};

或类似的使用属性。

Answer 1

我猜你可以使用标记，

#include <iostream>
#include <memory>

using namespace std;

struct no_override_tag
{};

struct A
{
    virtual void go() { cout <<"A::go" << endl;};
};

struct B : public A
{
    void go(no_override_tag={}) { cout << "B::go" <<endl; };
};

int main()
{
    unique_ptr<A> upA(new B);
    upA->go(); // no override, calls `A::go()` instead of `B::go()`


}

基本上，您添加一个默认初始化的no_override_tag 类型的参数作为B::go() 中的最后一个参数，这将使B::go 的签名不同，无论您在A 中声明什么。不是超级优雅，但它可以工作，但我不知道你为什么真的想这样做。