为何要在抽象类中定义无实现的纯虚函数？C++初学疑问

你觉得“派生类本来就要自己实现，省掉基类的纯虚声明也不影响”，本质上是没意识到纯虚函数从编译期检查、接口约定、多态支持、错误拦截这几个层面，给代码带来的保障，这些价值是完全靠派生类自行实现、不做基类声明换不来的：

• 从语法层面强制派生类完成接口实现，把问题堵在编译期
  如果不在基类声明纯虚函数，完全靠派生类开发者的记忆和自觉实现对应方法，只要有一个派生类漏写了方法、把方法名拼错、或者函数签名和预期不一致，编译器根本不会给出任何报错。等到实际运行时通过基类指针调用对应方法，就会触发未定义行为（直接崩溃、逻辑错乱）。
  把方法声明为virtual void VirtFunc() = 0;之后，编译器会自动做检查：只要一个类没有实现所有继承到的纯虚函数，这个类就会被判定为抽象类，既不能创建自身实例，也没法传递给需要具体类型的逻辑里。哪怕是完全不熟悉项目的新开发者写派生类，只要漏了实现某个必须的方法，写代码的当下就会收到编译器的报错，根本等不到提交代码、上线运行的环节才暴露问题。
• 明确划清接口的约定边界，消除模糊的默认选项
  带默认实现的虚函数本质是告诉开发者：“这个场景有通用的基础逻辑，如果你没有特殊需求可以直接用”。而纯虚函数的信号完全不同：它明确告知所有派生类的编写者，这个方法不存在任何通用的基础逻辑，没有任何可以兜底的默认实现，所有派生类必须结合自身的特性写专属逻辑，从文档和语法层面都不会给开发者留“偷懒用基类默认实现”的空间。
  比如定义支付流程的抽象类时，不同支付渠道的核心逻辑完全没有通用复用的可能，用纯虚函数定义支付方法，就不会误导开发者误以为可以直接调用基类里不存在的支付逻辑。
• 为统一多态调用提供合法的语法基础
  如果你不在基类里声明这个纯虚函数，那你就根本没法通过基类的指针/引用，统一调用不同派生类里的同名方法——因为编译器在基类的类型定义里，根本就没有登记这个方法的存在，自然不允许通过基类类型的变量调用它。
  举个实际的场景：你写一个通用的结算流程，只需要依赖抽象的支付接口，不需要关心具体是微信支付还是银联支付。只要你在基类里把支付方法定义成纯虚函数，就能写出类似下面的通用逻辑，后续新增任何支付渠道都不需要修改这段通用代码：

  void checkout(Payment* payMethod, double orderAmount) {
      // 通用的订单满减计算、发票开具逻辑
      payMethod->pay(orderAmount);
      // 通用的支付成功通知、订单状态更新逻辑
  }
  

• 从语法上禁止无意义的抽象类实例化
  带纯虚函数的类天生是抽象类型，编译器会直接禁止你创建这类类的实例。这刚好匹配抽象类型的设计初衷：比如“形状”“支付渠道”这类概念本身就不是具体的可实例化对象，只有圆形、方形、微信支付这类具体实现才是可以落地的对象。纯虚函数的语法约束，刚好帮你避免写出Shape s;这种没有实际意义的代码。

你提到的“直接在派生类里实现、不写基类的纯虚声明”的写法，本质是放弃了编译器的校验能力、放弃了统一多态的设计优势，把本来可以在编码阶段低成本发现的问题，全部留到测试甚至线上运行阶段才暴露。在多团队协作、需要长期迭代维护的项目里，这种写法的隐形成本会非常高。

内容的提问来源于stack exchange，提问作者ManyQuestions