可变数据结构模板实例化

Question

以下网页有一个可变参数数据结构（元组）link 的示例。我对以下代码有疑问，据称该代码会生成以下类层次结构。我的问题是，层次结构是如何产生的？我没有看到新的struct type<Ts...> 是在哪里生成的？谢谢

template <class... Ts> struct tuple {};

template <class T, class... Ts>
struct tuple<T, Ts...> : tuple<Ts...> {
  tuple(T t, Ts... ts) : tuple<Ts...>(ts...), tail(t) {}

  T tail;
};

类层次结构：

tuple<double, uint64_t, const char*> t1(12.2, 42, "big");

struct tuple<double, uint64_t, const char*> : tuple<uint64_t, const char*> {
  double tail;
}

struct tuple<uint64_t, const char*> : tuple<const char*> {
  uint64_t tail;
}

struct tuple<const char*> : tuple {
  const char* tail;
}

struct tuple {
}

Answer 1

这里有两个类模板

template <class... Ts> struct tuple {}; #1

和

template <class T, class... Ts>
struct tuple<T, Ts...> : tuple<Ts...> { ... } #2

在这种情况下发生的情况是 #2 被认为更专业，所以当你有

tuple<double, uint64_t, const char*> 

#2 被淘汰给你

struct tuple<double, uint64_t, const char*> : tuple<uint64_t, const char*> 

这一直在创建你拥有的链，直到你到达​​p>

struct tuple<const char*> : tuple {
  const char* tail;
}

这里: tuple没有参数，所以它唯一可以调用的模板是#1，然后生成

struct tuple {};

Answer 2

当无法从类型列表中提取单个类型时（即该列表为空），以下代码生效：

template <class... Ts> struct tuple {};

这是一个空结构，它成为其余类的基础。

如果至少有一种类型，编译器会将列表分为class T 和其余（列表中少一种类型）：

template <class T, class... Ts>
struct tuple<T, Ts...> : tuple<Ts...> {
  tuple(T t, Ts... ts) : tuple<Ts...>(ts...), tail(t) {}

  T tail;
};