c++ - 前向声明与包含在 Google C++ 风格指南中

Question

Google c++ 风格有以下内容。我不明白为什么前向声明会调用 f(void*)。

可能很难确定是否需要前向声明或完整的#include。将#include 替换为前向声明可以悄无声息地改变代码的含义:

  // b.h:
  struct B {};
  struct D : B {};

  // good_user.cc:
  #include "b.h"
  void f(B*);
  void f(void*);
  void test(D* x) { f(x); }  // calls f(B*)

如果 B 和 D 的 #include 被替换为前向声明，test() 将调用 f(void*)。

Answer 1

分别考虑这两种情况。通过替换 #include有了标题的内容，我们首先有:

struct B {};
struct D : B {};

void f(B*) {}
void f(void*) {}
void test(D* x) { f(x); }

有两种可能的重载。自 D继承自 B然后D*可隐式转换为 B* .出B*和 void*第一个是更好的匹配，因此选择了过载。但在转发声明的情况下 B和 D :

struct B;
struct D;

void f(B*) {}
void f(void*) {}
void test(D* x) { f(x); }

D不知道从 B 继承所以不可能从 D* 进行隐式转换至 B* .唯一匹配的重载是 f(void*) .