C++接口类是只含纯虚函数的抽象类,用于定义行为契约;它必须有虚析构函数、无非静态数据成员、不提供函数实现(除极少数需显式调用的纯虚函数实现外)。
什么是 C++ 接口类,它和纯虚函数是什么关系
接口类在 C++ 中没有语言层面的独立语法,而是通过「只含纯虚函数的抽象类」来模拟。关键判断标准是:类中所有成员函数都是 virtual 且声明为 = 0,同时不定义任何数据成员(或仅含静态常量)、不提供构造/析构逻辑(或仅默认/虚析构)。这种设计强制派生类实现全部行为,从而达成接口契约的效果。
常见错误是误把带普通成员变量或非虚函数的类当作接口类——这会破坏“仅约定行为”的语义,也容易引发多继承时的二义性或对象布局问题。
如何正确定义一个可被安全继承的接口类
必须显式声明虚析构函数,哪怕它是空的。否则通过基类指针 delete 派生对象会导致未定义行为。
class IRenderer { public: virtual ~IRenderer() = default; virtual void render() = 0; };- 不要写
~IRenderer() {}—— 这不是虚函数,无法正确析构派生部分 - 避免在接口类中定义非静态数据成员;若需常量,用
static constexpr int MAX_BATCH = 1024; - 禁止在接口类中提供函数实现(除非是 inline 的 trivial 默认行为,如
virtual bool is_ready() const { return true; },但要谨慎,它已偏离纯接口语义)
多重继承接口时怎么避免菱形继承和调用歧义
当多个接口类有同名函数(比如都含 update()),而某个类同时继承它们,编译器不会自动合并,必须显式指定调用路径或重写该函数。
立即学习“C++免费学习笔记(深入)”;
典型错误现象:error: request for member 'update' is ambiguous