LOKI C++：“ScatterHierarchyTag”如何解决继承歧义？

Question

我正在阅读Alexandrescu 的现代 C++ 设计的第 3 章。它解释了 HierarchyGenerators.h 的实现，但是从那时起对库进行了更改。

我无法理解 ScatterHierarchyTag 如何解决解析 Field 函数中的歧义（该函数允许我们访问由特定 Base<type> 定义的成员，例如 Field<int>(Object) 将让我们获得 &Base<int> 到Object)，当用于生成层次结构的类型列表有重复时。 （例如：GenScatterHierarchy<TYPELIST_4(int,int,string,Widget), Base> Object）我看到它在每个分支中添加了一个唯一的“类型/标签”，就在根 Base<type> 类之前，但仍然存在歧义，对吗？

提前谢谢你。

编辑：

图表显示类型列表中重复类型的多重继承问题。 GSH = GenScatterdHierarchy

我相信，对于到Base<int> 的两个连接中的每一个（用蓝线标记一个），唯一的标签都是单独插入的（根目录下的其他基类也是如此）

另外，为了方便大家理解，我插入了图片。如果它不符合 stackoverflow 的指南，请告诉我，我将删除它。

Answer 1

ScatterHierarchyTag 没有消除歧义。它的作用是使模棱两可的基类可访问。

考虑以下类层次结构：

class A {};
class B : public A {};
class C : public A, public B {};

C 类包含A 类的两个副本（当 A 不为空时更有意义:)，一个是由于直接继承而创建的，另一个是由于通过 B 间接继承而创建的。您可以先访问第二个实例转换为B：

A &indirect_base = static_cast<B>(C_instance);

对于另一个实例，根本无法访问它。因此，它被称为“不可访问的基地”。

这个例子自然地嵌入到GenScatterHierarchy创建的类层次结构中：

1. GenScatterHierarchy<int, Base> 是 A，
2. GenScatterHierarchy<TYPELIST_3(int,string,Widget)> 是 B，
3. GenScatterHierarchy(TYPELIST_4(int,int,string,Widget)) 是 C。

因此，为类型列表中的第一个 int 创建的 Base<int> 实例是不可访问的基础。但是，如果添加了ScatterHierarchyTag，我们可以先转换为GenScatterHierarchy<ScatterHierarchyTag<int, TYPELIST_3(int,string,Widget)>, Base> 来访问它。