“is_base_of”的替代实现（检查基/派生关系）

Question

我正在解决一个很好的问题，关于如何在 boost 中实现 is_base_of （这决定了是否一个给定的类在编译时是另一个类的基础]

第一次看到这样的代码，我很惊讶事情如何能够如此顺利地工作！但是，我对许多步骤感到困惑（在阅读了所有答案之后），因此，我想知道是否可以替代地实现此功能：

template<class B, class D>
struct is_base_of
{
  template<typename T> struct dummy {};
  struct Child : D, dummy<int> {};

  static B* Check (B*);
  template<class T> static char Check (dummy<T>*);

  static const bool value = (sizeof(Check((Child*)0)) == sizeof(B*));
};

按照一般情况的预期工作正常。

它 对于 private/protected 继承，它会选择预期的函数，但也会显示错误：- is an inaccessible base of ... 如果有人可以的话，我将不胜感激。建议对代码进行一些小的修改来解决这个问题（如果不是功能方面的，那么至少要消除错误消息）

[注意：我假设 char 和 B * 将始终具有不同的大小，并避免典型的“是”和“否”的类型转换]

Answer 1

我认为链接解决方案中的关键部分是，无论最终结果是什么（相关或不相关） - 所选的转换序列实际上不会包含所测试的继承。编译器在选择 check 函数的适当版本的过程中考虑了这一点。然而，每次最终选择的路径都不会实际使用它。

但是，在您的代码中，如果类相关，则对 check 的调用确实会利用从 Child* 转换为 B* 的继承。这恐怕无法轻易解决，因为您提出的方法非常不同。

如果相关

您的解决方案

Child 是 D 因此也是 B。因此存在从 Child* 到 B* 的转换。因此 Check 的第一个版本是可行的。 Check 的第二个版本是可行的，Child 也是 dummy，因此 Child* 是虚拟*。选择第一个版本是因为它不涉及模板参数专门化。

链接的解决方案

对于 check 的第一个版本：Host 通过用户定义的转换转换为 D*< /代码>。转换结果类型与函数参数完全匹配。这里没有使用继承。

对于 check 的第二个版本：Host 通过用户定义的转换再次转换为 D*。转换结果类型为 D*，可以进一步转换为 B* 以匹配函数参数。这里确实用到了继承。

然而最终编译器选择了第一个版本，因为它注意到转换结果更好地匹配 check 的参数。

如果不相关

您的解决方案

Child 不是 B，因此是 Check 的第一个版本不是一个选择。第二个版本是可行的，因为 Child 仍然是 dummy，因此可以从 dummy 进行专门化。由于只有一种选择，因此选择是微不足道的。

链接的解决方案

对于 check 的第一个版本：Host 通过以下方式转换为 D*用户定义的转换。

对于 check 的第二个版本：Host 转换为 const Host，然后转换为 B* 通过用户定义的转换。

如果不是只有一个版本的 check 函数具有模板参数这一事实，这些路径将是无法比较的。

正如您所看到的，这两种方法有显着不同。