匹配模板别名作为模板模板参数

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说：

  

错误：预期一个模板参数，提供两个

即时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

更容易使用。所以我们通常都有;您必须使用前者template<template<typename...> class F, typename... ARGS> using alias_eval = F<ARGS...>; 。

---

尝试2。另请注意，在没有占位符的情况下可以直接使用别名：

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

在这种情况下你可以说

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;

像你第一次尝试一样。见updated example。但我想这没用，因为你打算以一种不那么简单的方式使用占位符。

---

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

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

非常接近您的预期语法

holder

特别是如果您使用{{1}}的简称。再次，live example。