c++ - 匹配模板别名作为模板模板参数

Question

我目前正在编写一个元函数来计算表达式，比如 boost::mpl::apply:

template<typename EXPRESSION , typename... ARGS>
using eval = typename eval_impl<EXPRESSION,ARGS...>::result;

如您所见，我使用 C++11 模板别名来避免在使用求值器时写入 typename::result。

在其他特化中，eval_impl(评估元函数的实现)具有针对用户传递参数化表达式(例如元函数)和一组参数的情况的特化。换句话说，使用 eval 作为高阶元函数来评估具有一组指定参数的元函数。

对于那种情况，我写了一个特化如下:

template<template<typename...> class F , typename... PLACEHOLDERS , typename... ARGS>
struct eval_impl<F<PLACEHOLDERS...>,ARGS...> : public F<ARGS...> {}

现在考虑一个用例:

template<typename ARG , typename... ARGS> using first_of = ARG;

using call = eval<first_of<_1,_2,_3,_4> , bool,float,char,int>;

这里我们定义了一个自定义元函数 first_of 作为模板别名，我们将它与一组要调用(评估)的参数一起传递给 eval。 _1、_2...只是占位符。

我原以为 eval 会调用上面定义的特化实例，但事实并非如此。如果别名类型本身不是类型，而是单参数模板，GCC 4.8.1 说:

Error: Expected one template parameter, two provided

在 eval_impl 特化的实例化点。

因此错误让我认为偏特化的模板模板参数中没有采用模板别名，而是匹配别名类型。

正如您在示例中看到的那样，这不是我想要的，我需要模板别名与任何其他元函数匹配。 有什么办法可以实现吗？

Answer 1

你是这个接近!您只需要使用类而不是别名:

template<typename ARG, typename... ARGS>
struct first_of { using type = ARG; };

参见 live example .

你不能直接使用别名，因为

 first_of<_1,_2,_3,_4>

立即替换_1，它不是eval_impl 预期的形式。

我不认为这是一个限制，因为我们通常以上述形式定义模板函数，然后定义额外的别名，如

template<typename ARG, typename... ARGS>
using first_of_t = typename first_of<ARG, ARGS...>::type;

为了更容易使用。所以我们通常两者都有；您必须将前者与 eval 一起使用。

---

尝试 2。另请注意，无需占位符即可直接使用别名:

template<template<typename...> class F, typename... ARGS>
using alias_eval = F<ARGS...>;

在这种情况下你可以说

using alias_call = alias_eval<first_of_t, bool, float, char, int>;

与您的第一次尝试一样。参见 updated example .但我想这没有用，因为您打算以一种不那么琐碎的方式使用占位符。

---

尝试 3. 另一种选择是延迟替换别名，例如

template<template<typename...> class F, typename... PLACEHOLDERS>
struct holder {};

template<typename EXPRESSION, typename... ARGS>
struct holder_eval_impl;

template<template<typename...> class F, typename... PLACEHOLDERS, typename... ARGS>
struct holder_eval_impl<holder<F, PLACEHOLDERS...>, ARGS...> :
    public F<ARGS...> {};

template<typename EXPRESSION, typename... ARGS>
using holder_eval = typename holder_eval_impl<EXPRESSION, ARGS...>::type;

这非常接近您的预期语法

using holder_call =
    holder_eval<holder<first_of,_1,_2,_3,_4>, bool, float, char, int>;

尤其是当您为 holder 使用短名称时。同样，live example .