C++不像Java和C#那样内置interface关键字，但它提供了一套同样强大的机制来实现接口编程，这就是纯虚函数配合抽象类。所谓接口，本质上是一种契约：调用方只关心对象能做什么，不关心它具体怎么做。在C++中，只要一个类只包含纯虚函数、不包含任何成员数据和具体实现，它就可以扮演接口的角色。本文将从基础语法、完整实现、设计细节三个层面，详细讲解如何用纯虚函数在C++中实现接口。
一、纯虚函数与抽象类的基础概念
纯虚函数是在基类中声明的虚函数，它没有函数体，写法是在函数声明的结尾加上=0。包含至少一个纯虚函数的类被称为抽象类，抽象类不能被实例化，只能作为基类被继承。派生类必须实现基类中所有的纯虚函数，否则派生类依然是抽象类，仍然无法创建对象。这个特性恰好契合了接口的思想：接口定义一组方法签名，强制实现类提供具体行为。
下面是一个最简单的例子，定义一个动物接口，并让狗类去实现它：
// 定义接口：只有纯虚函数，没有数据成员
class IAnimal {
public:
virtual ~IAnimal() {} // 虚析构函数，后面会解释
virtual void speak() const = 0; // 纯虚函数，接口方法
virtual void move() const = 0; // 纯虚函数，接口方法
};
// 实现类：必须实现所有纯虚函数
class Dog : public IAnimal {
public:
void speak() const override {
std::cout << "汪汪" << std::endl;
}
void move() const override {
std::cout << "狗在跑" << std::endl;
}
};
可以看到，IAnimal中没有任何成员变量，两个方法全部是纯虚函数，这就是典型的C++接口写法。习惯上接口类名以大写字母I开头，例如IStorage、ILogger，这是业界广泛采用的命名约定，能让阅读者一眼识别出这是一个接口。
使用时，外部代码只依赖接口类型，不依赖具体实现：
int main() {
IAnimal* animal = new Dog(); // 面向接口编程
animal->speak(); // 输出：汪汪
animal->move(); // 输出：狗在跑
delete animal; // 通过基类指针释放派生类对象
return 0;
}
二、完整示例：用接口实现插件式的日志系统
接口最大的价值在于解耦和可替换性。假设你的项目需要日志功能，如果直接在业务代码里写死文件输出，将来想换成控制台输出或网络输出就要大改代码。正确的做法是定义一个日志接口，业务代码只依赖接口，具体的输出方式由不同的实现类完成，需要切换时只需替换实现类即可，业务代码一行都不用改。
下面是完整的代码示例，包含接口定义、两个实现类以及使用方式：
#include <iostream>
#include <string>
// 日志接口
class ILogger {
public:
virtual ~ILogger() {}
virtual void log(const std::string& message) = 0;
virtual void setLevel(int level) = 0;
};
// 实现一：控制台输出
class ConsoleLogger : public ILogger {
public:
void log(const std::string& message) override {
std::cout << "[控制台] " << message << std::endl;
}
void setLevel(int level) override {
level_ = level;
}
private:
int level_ = 0;
};
// 实现二：带前缀的输出
class PrefixLogger : public ILogger {
public:
PrefixLogger(const std::string& prefix) : prefix_(prefix) {}
void log(const std::string& message) override {
std::cout << prefix_ << message << std::endl;
}
void setLevel(int level) override {
// 演示用，实际可以做级别过滤
}
private:
std::string prefix_;
};
// 业务代码只依赖接口
void doBusiness(ILogger& logger) {
logger.log("订单处理完成");
}
int main() {
ConsoleLogger consoleLogger;
PrefixLogger prefixLogger("[系统]");
doBusiness(consoleLogger);
doBusiness(prefixLogger);
return 0;
}
这个例子体现了接口编程的核心好处：doBusiness函数完全不知道日志的具体实现方式，传入什么实现就调用什么行为。如果未来要增加数据库日志，只需要再写一个继承ILogger的类，业务代码无需任何修改。这正是开闭原则的具体体现，对扩展开放，对修改关闭。
三、必须注意的设计细节与常见坑
1. 析构函数一定要声明为虚函数
这是C++接口设计中最容易踩的坑。当你通过基类指针释放派生类对象时，如果基类析构函数不是虚函数，派生类的析构函数不会被调用，派生类中申请的资源就会泄漏。标准做法是将接口的析构函数声明为virtual，并且可以给一个空实现或使用=default。有些大型框架（如COM）甚至把析构函数也声明为纯虚函数并提供内联实现，普通项目中直接写virtual ~ILogger() = default;即可。
2. 纯虚函数也可以有默认实现
很多人以为纯虚函数不能有函数体，其实这是误解。纯虚函数可以有实现，只是派生类仍然必须重写它，但可以在重写版本中调用基类的默认实现：
class IShape {
public:
virtual ~IShape() = default;
virtual double area() const = 0;
virtual void describe() const = 0; // 纯虚函数
};
// 纯虚函数的函数体写在类外
void IShape::describe() const {
std::cout << "面积是: " << area() << std::endl;
}
class Circle : public IShape {
public:
Circle(double r) : r_(r) {}
double area() const override { return 3.14159 * r_ * r_; }
void describe() const override {
IShape::describe(); // 复用接口中的默认逻辑
}
private:
double r_;
};
3. 虚函数表带来的性能代价
虚函数调用通过虚函数表实现，对象内部会有一个隐藏的虚表指针，每次调用虚函数都需要一次间接寻址。相比普通函数的直接调用，这会损失一部分性能，并且编译器无法对虚函数进行内联优化。不过在绝大多数业务场景中，这点开销完全可以忽略，只有在对性能极度敏感的热点路径中才需要考虑。
4. 不要在构造函数和析构函数中调用纯虚函数
在基类构造函数执行期间，对象的动态类型还是基类，此时调用纯虚函数不会派发到派生类的实现，如果该纯虚函数没有默认实现，程序会直接崩溃。析构过程同理。这是接口编程中另一个隐蔽的坑，设计接口时要避免在构造、析构阶段依赖派生类的行为。
四、总结
用纯虚函数实现接口是C++面向对象设计的标准手法，核心要点可以归纳为四条：接口类只包含纯虚函数和虚析构函数，不包含数据成员；实现类必须重写全部纯虚函数；外部代码通过接口指针或引用使用对象，实现调用方与实现方的解耦；析构函数必须声明为virtual以避免资源泄漏。掌握这套模式后，无论是设计插件架构、编写跨平台抽象层，还是做单元测试时的mock替换，都能游刃有余地写出清晰、可维护、可扩展的C++代码。