使用元编程技术找到最佳匹配

Question

我正在调查模板中表示的最佳匹配算法，完整指南 实现如下

template<typename List>
class FrontT;

template<typename Head, typename... Tail>
class FrontT<Typelist<Head, Tail...>>
{
 public:
  using Type = Head;
};

template<typename List>
using Front = typename FrontT<List>::Type;
 template<typename List>
class PopFrontT;

template<typename Head, typename... Tail>
class PopFrontT<Typelist<Head, Tail...>> {
 public:
  using Type = Typelist<Tail...>;
};

template<typename List>
using PopFront = typename PopFrontT<List>::Type;
template<typename List>
class LargestTypeT;

// recursive case:
template<typename List>
class LargestTypeT
{
 private:
  using First = Front<List>;
  using Rest = typename LargestTypeT<PopFront<List>>::Type;
 public:
  using Type = IfThenElse<(sizeof(First) >= sizeof(Rest)), First, Rest>;
};

// basis case:
template<>
class LargestTypeT<Typelist<>>
{
 public:
  using Type = char;
};

template<typename List>
using LargestType = typename LargestTypeT<List>::Type;

我很难理解的是下面一行

using Type = IfThenElse<(sizeof(First) >= sizeof(Rest)), First, Rest>;

很明显First是TypeList中的第一个元素，sizeof是这个类型的大小。但我对Rest 感到困惑。 Rest 的大小是多少？ Rest 它是一个列表，其中包含 typelist 中包含的其余元素。

例如，如果定义如下

LargestType<TypeList<int,bool,char>>

在第一个循环中 First 是 int 和 sizeof 是 4 Rest 是 bool,char ，sizeof 是什么？ 在第二个循环中 First 是 bool 和 sizeof 是 1 Rest 是 char 和 sizeof 是 1

Answer 1

休息的大小是多少？ Rest 它是一个列表，其中包含 typelist 中包含的其余元素。

不，Rest（名字有点不好）实际上不是列表的其余部分，而是列表其余部分中最大的类型，从它的定义可以看出：

using Rest = typename LargestTypeT<PopFront<List>>::Type;

Answer 2

我与其他人混淆了。休息的大小是多少？ Rest 它是一个列表，其中包含 typelist 中包含的其余元素。

看Rest的定义

using Rest = typename LargestTypeT<PopFront<List>>::Type;

Rest是List中最大的类型，不包括(PopFront)第一类型(First)。

在第一个循环中，首先是 int，sizeof 是 4，其余是 bool,char，sizeof 是多少？在第二个循环中 First 是 bool 并且 sizeof 是 1 Rest 是 char 并且 sizeof 是 1

不完全是。

在第一个循环中，First 是 int，Rest 是 bool。

在第二个循环中（第一个循环的Rest 被选为bool）First 是bool，Rest 是char。

在第三个循环中（第二个循环的Rest 被选为char）First 是char 和Rest 是char。

在第四个循环中，您有基本情况（或基本情况，根据您的喜好）

template<>
class LargestTypeT<Typelist<>>
{
 public:
  using Type = char;
};

选择Type（第三个循环中的Rest）作为char