使用可变参数模板实现类型列表替换操作

我正在尝试为类型列表的可变参数模板版本（受Modern C++ Design启发）实现 ReplaceAll 元函数，到目前为止，我可以使用以下代码实现所需的结果：

template struct Typelist {};
//
// helper metafunction to set "Head" of typelist
//
template struct PushFrontT;
template
struct PushFrontT, T> {
using Result = Typelist;
};
//
// metafunction to replace all occurences of "T" with "U"
//
template struct ReplaceAll;
template
struct ReplaceAll, T, U> {
using Result = Typelist<>;
};
template
struct ReplaceAll, T, U> {
using Result = typename PushFrontT<
typename ReplaceAll, T, U>::Result, U
>::Result;
};
template
struct ReplaceAll {
using Result = typename PushFrontT<
typename ReplaceAll, T, U>::Result, Head
>::Result;
};


它以Typelist( 有效地用T目标 type替换所有出现的type U)的形式返回一个类型列表。

现在的问题是，当我尝试不使用 helper 元函数时PushFrontT，会以Typelist>>>不正确的形式创建嵌套的类型列表结构（尽管替换了Twith 的所有实例U）。

错误版本的代码如下：

template
struct ReplaceAll, T, U> {
using Result = Typelist<>;
};
template
struct ReplaceAll, T, U> {
using Result = Typelist typename ReplaceAll, T, U>::Result
>;
};
template
struct ReplaceAll {
using Result = Typelist typename ReplaceAll, T, U>::Result
>;
};


基于我对可变参数模板的有限了解，我认为附加的Typelist是包扩展的副作用，但我不确定。

这是一个简单的测试程序来检查上述代码：

#include
int main () {
using tlist = Typelist;
static_assert(
std::is_same<
typename ReplaceAll::Result,
Typelist>::value,
"Incorrect typelist!"
);
return(0);
}


简而言之，我的问题是如何在Typelist不使用外部辅助元函数（例如PushFrontT?