在 C++ 中显式隐藏基函数

Question

C++11 引入了非常有用的说明符 override 用于显式覆盖一个基本虚函数。但是显式隐藏呢？

例如，考虑代码：

struct A: B {
    void f();
}

1. 如果存在虚拟void B::f()，代码会导致隐式覆盖此函数。
2. 如果存在非虚拟的void B::f()，代码会导致隐藏此功能。

即代码的含义取决于void B::f()的存在性和虚拟性。

问题。如何显式隐藏基函数？如果我尝试隐藏虚拟功能，我想得到错误。

如override是守卫，以保证有虚基函数具有相同的原型，我需要一个守卫来确保没有具有相同原型的虚拟基函数。

---

史诗般的失败示例：

#include <stdio.h>

struct B {
    void f() {printf("Hello\n");}
    void g() {f();}
};

struct A: B {
    void f() {g();}
};

int main() {
    A a;
    a.f();
    return 0;
}

程序打印“你好”。但是如果我将B::f() 设为虚拟程序会导致分段错误（无限递归）。如果B 类是第三方的并且我只是#include 它，这可能是一个真正的问题，那就是更改第三方代码中的虚拟性可能会导致我的代码出现错误。

UPD。我通过 new 说明符找到了 C# have this feature。似乎 C++ 还没有（还没有？）。

Answer 1

你可以用什么来检查基类：

// Class to check that B::f() is not virtual
// struct A requires that this class compiles, else struct A should epic fails.
struct checkInterfaceIsNotVirtual_B : B
{
    void f() = delete;
};

如果B::f() 是虚拟的，它将无法编译：

• g++:

  error: deleted function 'virtual void checkInterfaceIsNotVirtual_B::f()'
  

• 叮当++：

  error: deleted function 'f' cannot override a non-deleted function
  

Answer 2

C++11标准的§8.4.1.1定义了函数/方法定义形式：

8.4 函数定义

8.4.1 一般情况

¹ 函数定义的格式为

  函数定义：
attribute-specifier-seq_opt decl-specifier-seq_opt 声明符 virt-specifier-seq_opt 函数体
函数体：
ctor-initializer_opt 复合语句
功能尝试块
= default ;
= delete ;

virt-specifier 在 §9.2 中定义为：

virt-specifier:
override
final

所以，不，没有类似于override 的关键字用于隐藏。