C++中的前向声明（forward declaration）

/* /data/source_code/mysql-8.0.29/mysql-8.0.29/sql/opt_explain.cc */

.........

#include "template_utils.h"

/* 前向声明（forward declaration）Opt_trace_context 类，
Opt_trace_context类在 sql/opt_trace_context.h 中定义；
class Opt_trace_context {
 public:
  Opt_trace_context() : pimpl(nullptr), I_S_disabled(0) {}
  ~Opt_trace_context();
....

*/

class Opt_trace_context;

using std::function;
using std::string;
using std::vector;

typedef qep_row::extra extra;

.........


bool explain_query_specification(THD *explain_thd, const THD *query_thd,
                                 Query_block *query_block,
                                 enum_parsing_context ctx) {

/* 定义指向 Opt_trace_context 类型的指针常量 trace 指向
&explain_thd->opt_trace 在 sql/sql_class.h中的 
Opt_trace_context opt_trace;  ///< optimizer trace of current statement 类型 */
  Opt_trace_context *const trace = &explain_thd->opt_trace;

  Opt_trace_object trace_wrapper(trace);
  Opt_trace_object trace_exec(trace, "join_explain");
  trace_exec.add_select_number(query_block->select_number);
  Opt_trace_array trace_steps(trace, "steps");
  JOIN *join = query_block->join;
  const bool other = (query_thd != explain_thd);

  if (!join || join->get_plan_state() == JOIN::NO_PLAN)
    return explain_no_table(explain_thd, query_thd, query_block,
                            plan_not_ready[other], ctx);

  THD::Query_plan const *query_plan = &join->thd->query_plan;
.........
}

前向声明：可以声明一个类而不定义它。这个声明被称为前向声明(forward declaration)。例如：class name，在声明之后，定义之前，类name是一个不完全类型(incompete type)，即已知name是一个类型，但不知道包含哪些成员。不完全类型只能以有限方式使用，不能定义该类型的对象，不完全类型只能用于定义指向该类型的指针及引用，或者用于声明(而不是定义)使用该类型作为形参类型或返回类型的函数。类的前向声明只适用于指针和引用的定义，如果是普通类的类型就得使用include了。 

下面来介绍两个类之间的相互引用包含问题，以及如何使用前向声明解决这个问题。   

参考链接：https://blog.csdn.net/baidu_15952103/article/details/110621378