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
- 使用作用域解析明确调用:
ir1->IInput::update(); ir2->IGameLogic::update(); - 在派生类中重写该函数,并分别转发:
void update() override { IInput::update(); IGameLogic::update(); } - 如果两个接口本应统一语义(如都表示“帧更新”),考虑合并为一个更通用的接口,而非强行共存
- 避免让接口类相互继承(如
class IAdvancedRenderer : public IRenderer),除非语义上确实是“is-a”强化关系;否则优先组合(成员变量持有一个std::unique_ptr)
纯虚函数可以有实现吗?什么时候该这么做
可以,但仅限于提供公共逻辑骨架,且必须由派生类显式调用。C++ 允许为纯虚函数提供定义(在类外),但它不能被“自动调用”,必须靠派生类用 Base::func() 显式触发。
适用场景极少:比如日志记录、参数校验、资源预分配等跨所有实现的前置动作。
class ILogger {
public:
virtual ~ILogger() = default;
virtual void log(const char* msg) = 0;
};
void ILogger::log(const char* msg) {
printf("[LOG] %s\n", msg); // 实现体,但不会被多态调用
}
派生类中需写:void FileLogger::log(const char* msg) { ILogger::log(msg); write_to_file(msg); }
容易踩的坑:以为写了实现就能被多态调用;或者在纯虚函数实现里访问派生类的成员(此时对象尚未构造完成,UB)。
接口类真正的难点不在语法,而在职责划分——一个接口是否真的只描述“能做什么”,而不是“怎么做”或“带什么状态”。很多设计崩塌,是从第一个非静态成员变量或第一个非纯虚函数开始的。










