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

Matching template aliases as template template parameters

本文关键字：参数 别名      更新时间：2023-10-16

我目前正在编写一个元函数来评估表达式，类似于 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专业化的瞬间。

因此，错误使我认为模板别名未在部分专用化的模板模板参数中采用，而是匹配别名类型。

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

你这么接近！您只需要使用类而不是别名：

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

请参阅实时示例。

不能直接使用别名，因为

 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>;

就像你第一次尝试一样。请参阅更新的示例。但我想这是没有用的，因为你打算以一种不那么微不足道的方式使用占位符。

尝试 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.再次，活生生的例子。

相关文章：