已前置声明PawnMovementValidator仍报Use of undefined type错误的原因？

前置声明的作用仅仅是告知编译器「某类型是真实存在的」，仅能用于声明该类型的指针、引用，不能用于需要感知类型完整信息的操作。
你代码中触发报错的new PawnMovementValidator{}操作，需要编译器知道PawnMovementValidator的完整结构：包括它的内存大小、构造函数定义、继承关系等信息，只有前置声明是满足不了这个需求的。
而你的代码顺序里，Pawn类的构造函数实现写在了PawnMovementValidator的完整定义之前，编译器处理到new PawnMovementValidator{}时还没有读到该类的完整定义，因此抛出未定义类型的错误。

• 方案1：调整类的定义顺序
  先补充Piece的前置声明，再将MovementValidator和PawnMovementValidator的完整定义挪到Pawn类定义之前，调整后顺序如下：

  struct Piece; // 补充Piece前置声明，供MovementValidator的方法参数使用
  // 1. 先定义MovementValidator基类
  struct MovementValidator
  {
      virtual void Validate(const Piece& piece) = 0;
  };
  // 2. 再定义PawnMovementValidator派生类
  struct PawnMovementValidator : public MovementValidator
  {
      void Validate(const Piece& piece) override
      {
  
      }
  };
  // 3. 最后定义Pawn类
  struct Pawn : public Piece
  {
      Pawn() :
          Piece{ new PawnMovementValidator{} }
      {
      }
  
      Type GetType() override
      {
          return Type::PAWN;
      }
  };
  

• 方案2：把Pawn构造函数的实现挪到类外
  先在Pawn类中仅声明构造函数，等PawnMovementValidator完整定义完成后再实现构造函数：

  // Pawn类内仅声明构造函数
  struct Pawn : public Piece
  {
      Pawn(); // 仅声明
      Type GetType() override
      {
          return Type::PAWN;
      }
  };
  
  // PawnMovementValidator完整定义完成后，再实现Pawn的构造函数
  struct PawnMovementValidator : public MovementValidator
  {
      void Validate(const Piece& piece) override
      {
  
      }
  };
  
  Pawn::Pawn() : Piece{ new PawnMovementValidator{} } {}
  

你当前的代码中Piece析构函数虽然声明为虚函数符合多态销毁的要求，但还需要注意遵守C++三五法则，补充拷贝/移动相关的特殊成员函数的实现，避免出现内存泄漏、重复释放等问题。

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